Development record
Invariant 21 names abcd's home `~/.abcd.noindex`; itd-2609212137128014 records lab evidence at `~/.abcd/lab/`.
issuewontfixminoriss-2610262032094044
Invariant 21 names abcd's home ~/.abcd.noindex; itd-2609212137128014 records lab evidence at ~/.abcd/lab/.
A premise contradiction (severity minor) found by the cross-document consistency pass.
- End A:
.abcd/development/brief/02-constraints/03-invariants.md:179— "the.noindexsuffix the home carries,~/.abcd.noindex" - End B:
.abcd/development/intents/shipped/itd-2609212137128014-abcd-lab-mechanises-the-lab-conventions.md:42— "evidence at~/.abcd/lab/, knowledge through ceremony"
The brief puts abcd's home at ~/.abcd.noindex. The lab intent sets the recorded convention that lab evidence lives at ~/.abcd/lab/. The two place the same store in different folders.
Evidence: .abcd/work/reviews/2026-10-26-consistency/00-summary.md, finding 229.
Grounds
- declined: Closed in the 2026-10-27 triage (dcn-2610271112330536): a later record already settles which end holds. Both ends were true when written and the home-rename intent and ADR say which holds. The brief and the code use the renamed home.
Frontmatter
| id | iss-2610262032094044 |
|---|---|
| type | issue |
| lifecycle | wontfix |
| severity | minor |
.abcd/work/issues/wontfix/iss-2610262032094044-invariant-21-names-abcd-s-home-abcd.md
open on GitHub ↗ · commit history ↗
References1
- itd-2609212137128014abcd lab mechanises the lab conventions three hand-run experiments provedrelated
mentions1
- dcn-26102711123305362026-10-27 — The product thinker accepted on 2026-10-27 the triage of the 1301 records the 2026-10-26 consistency pass filed. The duplicates, the records a later record already settles, the ones that are no contradiction and the one already fixed are closed with each reader's reason. Every other record gets its fix as its remedy, the rulings' accepted answers included, so a drain can take it. The 45 major records left open are deferred past v0.15.1, because the brief's single-home rewrite rewrites or removes most of the passages they quote. The person ruled the major rulings one at a time; the minor rulings take their recommended answers.