Claims carry their scope with them.
Engineering completion, verification, authorization, empirical observation, and efficacy are separate evidence classes in this interface.
Canonical DGAF efficacy is NOT ESTABLISHED.
Epoch 001 cannot support its planned primary inference because the protected mapping is unrecoverable. Epoch 002 collection completed, but retained-byte admission, dataset lock, unblinding, and primary analysis remain separate unresolved transitions.
Track A · Epoch 001
The blinded prospective collection and dataset lock completed, but the protected mapping is cryptographically unrecoverable, so the primary analysis is unanalyzable and was not run.
- 50 paired inferential seed units
- 2,250 blinded raw observations retained
- Dataset lock established
- Protected mapping cryptographically unrecoverable
- Primary analysis: UNANALYZABLE / NOT RUN
Track A · Epoch 002
Collection, dataset lock, bounded unblinding, materialization, primary-analysis authorization, local primary-analysis execution, locked-result admission, bounded interpretation, and outcome-agnostic post-interpretation disposition are accepted at their exact scopes; Epoch 002 is closed for this preregistered lane.
- Collection: COMPLETE · 50 paired seed units / 2,250 blinded observations
- Custody: SAME_SYSTEM_NONINDEPENDENT
- Dataset lock: ESTABLISHED
- Bounded unblinding: AUTHORIZED
- Materialization + receipt: ESTABLISHED
- Primary-analysis authorization: ACCEPTED · LOCKED_PRIMARY_ANALYSIS_ONLY
- Primary analysis: EXECUTED_LOCAL
- Locked analysis result receipt: ESTABLISHED · PR #851
- Interpretation tooling: ACCEPTED · PR #855
- Interpretation execution: COMPLETED
- Interpretation note: ESTABLISHED · PR #872
- Interpretation evidence class: SAME_SYSTEM_NONINDEPENDENT
- Post-interpretation disposition: CLOSED_BOUNDED_SAME_SYSTEM_NONINDEPENDENT · PR #881
- Successor empirical epoch: NOT AUTHORIZED
How to read DGAF evidence states
Designed but not demonstrated.
Exists in code or artifacts.
Covered by stated tests in the stated environment.
The exact predicate passed; scope does not widen automatically.
A defined verification predicate passed.
Evidence comes from the same developer/system lineage and is not independent validation.
A separate accepted independence and evidence path was established.
The named execution remains prohibited.
Current evidence does not establish the claim; this is not equivalent to disproven.
Supported by an executed experiment in the exact stated scope.