This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

itd-77 says abcd's user-level home defaults to `~/.abcd.noindex/`; shipped itd-76 says it defaults to `~/.abcd/`, with the sources corpus at `~/.abcd/sources/`

issuewontfixminoriss-2610262044449331

itd-77 says abcd's user-level home defaults to ~/.abcd.noindex/; shipped itd-76 says it defaults to ~/.abcd/, with the sources corpus at ~/.abcd/sources/

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

  • End A: .abcd/development/intents/drafts/itd-77-relocatable-user-home.md:17 — "That state lives in abcd's user-level home — ~/.abcd.noindex/ by default"
  • End B: .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"

itd-77 names itd-76's confidential-sources corpus as state that lives in the user-level home, and says that home is ~/.abcd.noindex/ by default. itd-76 says the same corpus lives in abcd's user-level home at ~/.abcd/sources/ by default. Both give the default location of the same directory, and the paths differ.

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

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 shipped rename intent says which holds; shipped intents keep the spelling they were written under.

Frontmatter

idiss-2610262044449331
typeissue
lifecyclewontfix
severityminor

References2

mentions1