Contract and unit audit
Contract and unit audit is one of 28 measurements this engine publishes in full. It is regenerated from a real run rather than transcribed, and it is shown here with its own claim boundary so the number and its limits arrive together.
The measurement
- Schema
- canli.alphac-contract-and-unit-audit.v1
Companion. artifacts/engineering/guards_that_cannot_fire.json is the fourth dimension, and artifacts/engineering/mutation_ledger.json is its behavioural half.
Dimensions
- E
- contract satisfiability beyond the pairs the loader already rejects
- F
- published narrative numbers against the evidence they describe
- G
- units declared by a field's name against the value it holds
Findings
Nested beyond what this page renders. Read it in the artifact.
Refutations are kept. A dimension that found nothing says so, with what it checked. An audit that reports only its hits cannot be told apart from one that did not run.
Check it yourself
Every figure above is read from /glassbox/contract_and_unit_audit.json, the
artifact the engine wrote. Nothing on this page is typed by hand: the page is generated from that
file, so a figure that moves in the artifact moves here and a figure that is not in the artifact
cannot appear here at all.