Development record
The verification matrix marks migrating a flat issue list into the ledger as staged with no verb; shipped itd-4 scopes that migration.
The verification matrix marks migrating a flat issue list into the ledger as staged with no verb; shipped itd-4 scopes that migration.
A premise contradiction (severity minor) found by the cross-document consistency pass.
- End A:
.abcd/development/brief/06-delivery/02-verification-matrix.md:71— "promoting a pre-ledger flat issue list into the structured ledger with provenance naming the source file" - End B:
.abcd/development/intents/shipped/itd-4-issue-capture.md:46— "promotes existing.abcd/.work.local/issues.mdentries to the structured ledger on first run after install"
The matrix's capture-migration row is staged. It says the binary registers no verb that reads a flat list, and that capture migrate only rewrites back-links. The shipped itd-4 includes a migration path in its scope: dev-sync promotes existing .abcd/.work.local/issues.md entries into the structured ledger on the first run after install. One document says this behaviour shipped and the other says it does not exist.
Evidence: .abcd/work/reviews/2026-10-26-consistency/00-summary.md, finding 1035.
Grounds
- declined: Closed in the 2026-10-27 triage (dcn-2610271112330536): a later record already settles which end holds. A later decision record already says which holds: no verb reads the flat issues file, and itd-4's own audit notes say so.
Frontmatter
| id | iss-2610262041563970 |
|---|---|
| type | issue |
| lifecycle | wontfix |
| severity | minor |
.abcd/work/issues/wontfix/iss-2610262041563970-the-verification-matrix-marks-migrating.md
open on GitHub ↗ · commit history ↗
References1
- itd-4Nothing You Notice Gets Lostrelated
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.