bundle/v0/presentation/DATA_BINDING_SPEC.md

# Data binding

The presentation consumes one `six_anchored_claim_full_matrix_capped5000_analysis` receipt.

Binding requires:

- exactly 14,000 validated task identities and zero rejected rows;
- exactly five recovered identities with a sealed recovery attestation;
- the ordered anchored claim set A1 through A6 from `official_claims_lock.json`;
- the pinned Theorem 5.1 audit and hypergradient receipt sidecar;
- verdicts no stronger than A1 partial, A2 through A5 inconclusive, and A6 partial.

`bound-analysis.json` is the minimal judge-facing view. Its numbers are copied only from the sealed receipt or pinned local evidence. `evidence-lock.json` hashes that view and every pinned input. `evidence-data.js` must be a byte-exact browser encoding of the bound view.

Unknown paper values stay unknown. Capped trajectories stay right-censored. Extra analyses stay outside the six scored claims.