The governing rule
A model and its implementation are not two artefacts. They are one artefact expressed twice. The model is normative. The tool is derived. Where the two disagree, the model is correct and the tool is defective.
We call this derivation integrity: a model is published, an implementation is derived from it, and the derivation can be inspected by someone who has seen neither the code nor the author. It is the distinguishing claim of this body of work, and every objective and gate below is written against it.
What the rule binds
- Correction flows model first. A defect found during execution is corrected in the model, and the tool follows.
- A model is published before, or with, any tool derived from it. Tools are never published ahead of their models.
- The method is demonstrated across more than one domain, or it is a solution, not a method.