Claim
Technical objection
Dependency gap
Lemma / certificate
Circularity audit
Editorial closure
Audit principles
- Same-channel identityLower and upper readouts are tracked on the same terminal channel.
- Bad-atom routingExceptional rows are assigned by first failure rather than hidden cancellation.
- Proof-before-ledger registrationTerminal classes are registered only after material realization.
- Finite realization certificatesBranch claims are paired with explicit terminal realization checks.
For the conceptual development paper, see History.