Development record
Invariant 17 lists three readers and what each does with no test behind it, the shape itd-195 forbids
Invariant 17 lists three readers and what each does with no test behind it, the shape itd-195 forbids
A premise contradiction (severity minor) found by the cross-document consistency pass.
- End A:
.abcd/development/intents/disciplines/itd-195-a-claim-about-how-the-code-behaves-is.md:23— "The forbidden shape is a list: "these are the readers and this is what each" - End B:
.abcd/development/brief/02-constraints/03-invariants.md:171— "the three readers that assumed one spec per intent now ask the 1:n question"
itd-195 names a list of the readers and what each does as the forbidden shape: such a claim is backed by a test that runs, or it is not written. Invariant 17 says the three readers that assumed one spec per intent now ask the 1:n question and then states what each of the three does, citing no test that establishes it.
Evidence: .abcd/work/reviews/2026-10-26-consistency/00-summary.md, finding 158.
Frontmatter
| id | iss-2610262031396689 |
|---|---|
| type | issue |
| lifecycle | open |
| severity | minor |
.abcd/work/issues/open/iss-2610262031396689-invariant-17-lists-three-readers-and.md
open on GitHub ↗ · commit history ↗
References1
- itd-195A claim about how the code behaves is executable, or it is not maderelated