Development record
Invariant 11 forbids minting ids from the current maximum, but itd-44 has capture write `adr-<next-free>-<slug>.md`.
Invariant 11 forbids minting ids from the current maximum, but itd-44 has capture write adr-<next-free>-<slug>.md.
A premise contradiction (severity minor) found by the cross-document consistency pass.
- End A:
.abcd/development/brief/02-constraints/03-invariants.md:159— "the mint never allocates by looking at the current maximum (two minters sharing a stale view must still produce distinct ids)" - End B:
.abcd/development/intents/drafts/itd-44-fourth-intent-kind-decision.md:122— "adr-<next-free>-<slug>.mdinto.abcd/development/decisions/adrs/"
Invariant 11 says the mint never allocates by looking at the current maximum, so two minters sharing a stale view still produce distinct ids (adr-45, timestamp-numeric ids). itd-44 routes a confirmed decision verdict to an ADR named adr-<next-free>-<slug>.md. That is next-free allocation, the scheme the invariant rules out.
Evidence: .abcd/work/reviews/2026-10-26-consistency/00-summary.md, finding 169.
Frontmatter
| id | iss-2610262031430108 |
|---|---|
| type | issue |
| lifecycle | open |
| severity | minor |
.abcd/work/issues/open/iss-2610262031430108-invariant-11-forbids-minting-ids-from.md
open on GitHub ↗ · commit history ↗
References1
- itd-44A Capture-Time `decision` Verdict That Routes Infrastructure Choices Into The Existing ADR Storerelated
mentions1
- adr-45Record ids are timestamp-numeric, capture-stable, and never allocated by looking at the maximum