Independent Conformance

Specification and implementation must not grade themselves

Construction checks whether an implementation obeys engineering constraints. Conformance compares it to an independently authored declaration of what should exist. It must catch both omissions and unapproved additions. If the declaration is generated from the implementation on every run, the comparison is circular and incapable of detecting drift. Independence is a property of the evidence, not just the tooling.