Skip to content

chore(ledger): de-duplicate issue ids (iss-80 / iss-56 / iss-57) - #55

Merged
REPPL merged 2 commits into
mainfrom
chore/renumber-dup-iss-80
Jul 13, 2026
Merged

chore(ledger): de-duplicate issue ids (iss-80 / iss-56 / iss-57)#55
REPPL merged 2 commits into
mainfrom
chore/renumber-dup-iss-80

Conversation

@REPPL

@REPPL REPPL commented Jul 13, 2026

Copy link
Copy Markdown
Owner

De-duplicates the issue ledger. Three id collisions — all live repros of the
iss-74 branch-local id-minting race — are resolved by keeping the earlier /
referenced original and renumbering the later claimant to the next free id:

Shared id Kept Renumbered →
iss-80 record-id-allocators (CHANGELOG-referenced) run-protocol-missing-plan-preconditioniss-83
iss-56 logbook-adjudication (referenced by iss-73 / iss-36 / drain-2 plan) managed-pre-commit-gatesiss-84
iss-57 capture-source-agent-provenance managed-attribution-configiss-85

The two managed-* issues (the later "prepare-this-repo grilling" pair) renumber
together, staying consecutive; the DECISIONS reference to them is repointed. No
inbound blocked_by edges. Every remaining iss-56/iss-57 reference resolves
to the kept issue.

Result: 46 open issues, all ids unique. record-lint: 0 blockers.

Still open — iss-74: this PR clears its acceptance corpus (the duplicate
files) but not its detector — a uniqueness record-lint check across the three
status dirs, the "never again" guard. Per fix-the-detector, iss-74 stays open
for that lint (happy to arm it next).

Assisted-by: Claude:claude-opus-4-8

REPPL added 2 commits July 13, 2026 09:24
Two open issues shared id iss-80: record-id-allocators (from PR #48, the
canonical one the CHANGELOG references) and run-protocol-missing-plan-precondition
(minted by an abcd capture on a feature branch cut from an older main during the
drain-#2 run). A live repro of the iss-74 branch-local id-minting race. The later
claimant (run-protocol) is renumbered to iss-83, the next free id; the CHANGELOG
reference and record-id-allocators keep iss-80.

Assisted-by: Claude:claude-opus-4-8
Two more branch-local id collisions (iss-74's acceptance corpus). Each pair keeps
the earlier autonomous-run original and renumbers the later 2026-07-10
prepare-this-repo pair:
  iss-56: keep logbook-adjudication (referenced by iss-73/iss-36/the drain-2 plan);
          renumber managed-pre-commit-gates -> iss-84
  iss-57: keep capture-source-agent-provenance;
          renumber managed-attribution-config -> iss-85
No inbound blocked_by edges. The DECISIONS reference to the managed-migration
gaps is repointed to iss-84/iss-85. Ledger now unique across all ids.

Assisted-by: Claude:claude-opus-4-8
@REPPL REPPL changed the title chore(ledger): renumber duplicate iss-80 -> iss-83 chore(ledger): de-duplicate issue ids (iss-80 / iss-56 / iss-57) Jul 13, 2026
@REPPL
REPPL merged commit 1f23b8d into main Jul 13, 2026
12 checks passed
@REPPL
REPPL deleted the chore/renumber-dup-iss-80 branch July 13, 2026 08:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant