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.