This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

itd-76 puts abcd's user-level home at `~/.abcd/`; the invariants register gives the home as `~/.abcd.noindex`

issuewontfixminoriss-2610262032158901

itd-76 puts abcd's user-level home at ~/.abcd/; the invariants register gives the home as ~/.abcd.noindex

A premise contradiction (severity minor) found by the cross-document consistency pass.

  • End A: .abcd/development/intents/shipped/itd-76-source-provenance-ledger.md:18 — "abcd's user-level home, ~/.abcd/sources/ by default, itself a no-remote git repository"
  • End B: .abcd/development/brief/02-constraints/03-invariants.md:179 — "a name the indexer honours per folder: the .noindex suffix the home carries, ~/.abcd.noindex"

itd-76 places the local-only corpus in 'abcd's user-level home, ~/.abcd/sources/ by default'. Invariant 21 says the home carries the .noindex suffix, ~/.abcd.noindex. Each names a different directory as the single user-level home, so the corpus's default location is not settled.

Evidence: .abcd/work/reviews/2026-10-26-consistency/00-summary.md, finding 244.

Grounds

  • declined: Closed in the 2026-10-27 triage (dcn-2610271112330536): a later record already settles which end holds. itd-76 names the home as it was spelled when written; the shipped rename record says which spelling holds.

Frontmatter

idiss-2610262032158901
typeissue
lifecyclewontfix
severityminor

References1

mentions1