Development record
2026-09-02 — The claim vocabulary is the documents' word everywhere (maintainer's rule that the documents govern): criterion, causal and context on intents, on principles and on the entailment output contract, with the section heading `## Mechanism` unchanged as the causal claim's home (framework 7.1). The shipped intent token `mechanism` (itd-177, itd-190) moves to `causal` in its own change, filed as an intent by the implementer and planned by the maintainer; the principles record store uses `causal` from its first entry. The detection figure of about 611,000 estimated tokens in the object-set entry was measured without the glossary; the presets spec's figure of about 624,000 includes it, and both predate the ledger glossary context and the brief-chapter rows, so the figures the window eval measures at landing are the ones the record keeps.
2026-09-02 — The claim vocabulary is the documents' word everywhere (maintainer's rule that the documents govern): criterion, causal and context on intents, on principles and on the entailment output contract, with the section heading ## Mechanism unchanged as the causal claim's home (framework 7.1). The shipped intent token mechanism (itd-177, itd-190) moves to causal in its own change, filed as an intent by the implementer and planned by the maintainer; the principles record store uses causal from its first entry. The detection figure of about 611,000 estimated tokens in the object-set entry was measured without the glossary; the presets spec's figure of about 624,000 includes it, and both predate the ledger glossary context and the brief-chapter rows, so the figures the window eval measures at landing are the ones the record keeps.
Frontmatter
| id | dcn-2609020000000019 |
|---|---|
| type | decision |
| date | 2026-09-02 |
.abcd/work/decisions/dcn-2609020000000019-the-claim-vocabulary-is-the-documents.md
open on GitHub ↗ · commit history ↗
mentions2
- itd-177An intent's claims are typed and its scope conditions keep their identity across edits — the readiness gate refuses an intent that leaves a context claim unrecorded
- itd-190The claim recording gradient: an intent's three claim kinds carry three recording requirements, and the readiness gate holds them