core-labs/core
core-labs/core
1
0
Fork 0
Code Issues 12 Pull requests Projects Releases Packages Wiki Activity Actions

docs(kernel): polish ADR-0225 terminology

Browse source
This commit is contained in:
Shay 2026-06-22 07:07:38 -07:00
parent f8d641e80f
commit 7d5ba55bd8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/adr/ADR-0225-contract-residual-read-model.md
View file

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