Development record
itd-189 ruthless findings: a widening proposal whose admission sits behind an unreadable admissions tree is still reported outstanding with a remedy to write a disposition, contradicting the invariant the disposition side enforces (after the admitted check, break when the admissions tree is unreadable; add the mirror test); the issues README store contract still says the ledger root holds two sibling families while four roots are now declared; the held exclusion on the admission leg is untested; proposal is never resolved while occasioned_by is.
issueresolvedminoriss-2608300939008274
itd-189 ruthless findings: a widening proposal whose admission sits behind an unreadable admissions tree is still reported outstanding with a remedy to write a disposition, contradicting the invariant the disposition side enforces (after the admitted check, break when the admissions tree is unreadable; add the mirror test); the issues README store contract still says the ledger root holds two sibling families while four roots are now declared; the held exclusion on the admission leg is untested; proposal is never resolved while occasioned_by is.
Frontmatter
| id | iss-2608300939008274 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | minor |
.abcd/work/issues/resolved/iss-2608300939008274-itd-189-ruthless-findings.md
open on GitHub ↗ · commit history ↗
mentions1
- itd-189What the widening reading proposes is admitted or declined on the record — grounds on admission, dispositions on declines, and surprises as their own entries