docs / errors / E21

E21 Family invariant violated

Constant
E_FORK
Specification
§10
Lenient mode
Detected when loading the contract

A family breaks one of the five invariants: it changes the inherited core, inserts fields off the tail, or its fixtures do not round-trip. Checked by mini check-forks.

How to see it

In the playground, “Editor & validator” tab, the “Inject 3 errors” button triggers E04, E05, E08 and E09 on the loaded example. From the command line, mini diagnose archivo.mini prints a JSON report with every error and the lines to regenerate.

← E20