Gold-State Parity/write-path acceptance gate

Make done demonstrable.

Tests contribute evidence. A protected expectation and deterministic write-path gate govern acceptance: the application reproduces the expected state, or the change stops.

See the mechanism Why this is more than testing

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
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 / 01

Gold state

Independent, fixed, and versioned.

PROJECT / 02

Input projection

Declared business inputs only.

ENTER / 03

Official application door

A supported screen or boundary.

STORE / 04

Persisted state

Records and durable side effects.

COMPARE / 05

Contract-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.

02 / Gate architecture

Two lanes. One verdict.

Full-interface verification does not scale. The gate separates proof of the translation from validation of the write path, then binds both to an acceptance decision that neither lane can award itself.

LANE / 01

Prove

Version 1.0 of the paper calls this lane “Proof.” A deliberately selected set of scenarios runs through the actual interface. No shortcut or test-only back door. The Prove lane records the instruction shapes produced by supported user actions and verifies the translation from screen to application.

Selected real-interface traces

LANE / 02

Validate

The full in-scope corpus runs through the application’s normal boundary, using only instruction shapes already demonstrated at the interface. A case matching no proven shape fails rather than being inferred.

Full in-scope corpus

03 / Failure evidence

A failure names the fact.

The gate does not report that something broke. It identifies the scenario, record, field, expected value, and actual value. The artifact below shows the required verdict shape, not a claimed production incident.

Verdict shape / illustrative

Stop
Table
table_name
Business key
record_key
Field
field_name
Expected
expected_value
Actual
actual_value

A single compared-field disagreement is not a warning. The change does not pass until the failed scenario is rerun and the stored result satisfies the same versioned oracle.

04 / Claim boundary

A bounded pass is a useful pass.

A gate that claimed everything would be worth nothing. The acceptance claim is explicit about both its evidence and its edge.

What a pass establishes

  • The selected traces satisfied their declared interface obligations.
  • Those traces and the full in-scope corpus reproduced the expected contract-defined state.
  • The verdict is bound to the identified build, runtime profile, oracle version, evidence from the Prove lane, and coverage model.

Where the claim stops

  • Behaviour outside the versioned coverage model is not covered.
  • Parity does not prove that the human-approved gold state reflects business intent.
  • Security, privacy, permissions, performance, resilience, and external delivery outcomes remain separate concerns.

05 / Engagements

Put the gate to work.

The specification is open. The engagements below are the ways the mechanism is assessed, implemented, and identified in practice.

06 / Inquiries

Bring a write path.

For an assessment, an implementation, or a direct question about the specification, write to Melvin Fahnestock.

mel@expectationdriven.com