diff --git a/docs/adr/ADR-0225-contract-residual-read-model.md b/docs/adr/ADR-0225-contract-residual-read-model.md index 4f623abb..3c908e05 100644 --- a/docs/adr/ADR-0225-contract-residual-read-model.md +++ b/docs/adr/ADR-0225-contract-residual-read-model.md @@ -1,9 +1,17 @@ # ADR-0225: ContractResidual Read-Model -**Status:** Proposed +**Status:** Accepted **Author:** Antigravity **Date:** 2026-06-22 +## Ratification note + +Accepted for implementation after #860 review. + +This ADR authorizes exactly one diagnostic-only implementation PR for the `ContractResidual` projection over existing `ContractAssessment` outputs. + +The authorization does not include SearchGate, ComputeBudgetPolicy, GeometricSearchRun, Workbench implementation, serving behavior, teaching/proposal/report/eval mutation, or runtime repair. Those remain separately gated by future ADRs/PRs. + ## Context CORE has introduced a proposal-first diagnostic construction pipeline for representing mathematical word problems and relations within the semantic substrate. In this architecture: