docs(kernel): ratify ADR-0225 ContractResidual read-model

This commit is contained in:
Shay 2026-06-22 07:26:30 -07:00
parent 8e35c5ecac
commit 5c94a8337d

View file

@ -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: