From 5c94a8337d8cc6a26677a8b3395abaa3dd0072ab Mon Sep 17 00:00:00 2001 From: Shay Date: Mon, 22 Jun 2026 07:26:30 -0700 Subject: [PATCH] docs(kernel): ratify ADR-0225 ContractResidual read-model --- docs/adr/ADR-0225-contract-residual-read-model.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) 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: