From 7d5ba55bd81a83560832a122941fcd4c6de1715c Mon Sep 17 00:00:00 2001 From: Shay Date: Mon, 22 Jun 2026 07:07:38 -0700 Subject: [PATCH] docs(kernel): polish ADR-0225 terminology --- docs/adr/ADR-0225-contract-residual-read-model.md | 2 +- 1 file changed, 1 insertion(+), 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 f9eb1964..4f623abb 100644 --- a/docs/adr/ADR-0225-contract-residual-read-model.md +++ b/docs/adr/ADR-0225-contract-residual-read-model.md @@ -80,7 +80,7 @@ We define a closed taxonomy of `ResidualKind` to classify existing `ContractAsse * The taxonomy classifies existing `ContractAssessment` labels; it does not replace them. * `residual_code` must preserve the original missing binding or unresolved hazard label exactly. * `CONTRACT_GAP_UNCLASSIFIED` is restricted to non-searchable diagnostic fallback only. -* Broad, vague, or non-deterministic kinds (e.g., `MATH_FAILED`, `REASONING_FAILED`, `UNKNOWN_TRUTH`) are database-forbidden and structurally disallowed. +* Broad, vague, or non-deterministic kinds (e.g., `MATH_FAILED`, `REASONING_FAILED`, `UNKNOWN_TRUTH`) are architecturally forbidden and structurally disallowed. ## ResidualSourceAxis