01 / The mechanism
One corpus supplies both the question and the answer.
A trusted, fixed, versioned gold state supplies the
scenario inputs and the expected persisted result. The application sees the question, never
the answer key. It must construct the contract-defined state through its own supported write
path. The implementation and its tests may supply evidence; neither controls the answer key
or the verdict.
Mechanism at a glance
Operational shorthand
G
→
I(G)
→
X
→
A
?=
E(G)
- G
- trusted, versioned gold state
- I(G)
- input projection derived from gold
- A
- actual state produced by X
- E(G)
- expected-state projection derived from gold
Gold supplies both projections, but X receives only the input
projection. X independently produces actual state, which is compared with Gold’s
expected-state projection under the declared parity contract.
SOURCE / 01Gold state
Independent, fixed, and versioned.
→
PROJECT / 02Input projection
Declared business inputs only.
→
ENTER / 03Official application door
A supported screen or boundary.
→
STORE / 04Persisted state
Records and durable side effects.
→
COMPARE / 05Contract-complete comparison
Every in-scope element classified.
The test store begins from a declared baseline and is never seeded with
gold. Every in-scope element is compared exactly, mapped, verified by rule, or excluded with a
documented separate gate. Anything unclassified fails.