Development record
itd-187 holds two assemblies byte-identical with only the manifest excluded; itd-2609020625402599 puts a per-run stamp naming the run in every bundle
itd-187 holds two assemblies byte-identical with only the manifest excluded; itd-2609020625402599 puts a per-run stamp naming the run in every bundle
A premise contradiction (severity minor) found by the cross-document consistency pass.
- End A:
.abcd/development/intents/shipped/itd-187-amnesia-is-a-repository-property-proven.md:29— "byte-equality of the assembled input, manifest excluded." - End B:
.abcd/development/intents/shipped/itd-2609020625402599-the-scribe-s-context-is-assembled-and.md:21— "Every assembly, reading or scribe, carries a per-run stamp naming its kind and its run"
itd-187 states the amnesia identity relation as byte-equality of the assembled input with the manifest excluded, so one state assembled twice must be byte-identical. itd-2609020625402599 makes every reading assembly carry a per-run stamp naming its kind and its run. Two assemblies are two runs, so their assembled inputs differ in that stamp. The relation itd-187 states fails unless a second exclusion is added, and itd-187 does not name one.
Evidence: .abcd/work/reviews/2026-10-26-consistency/00-summary.md, finding 1251.
Grounds
- declined: Closed in the 2026-10-27 triage (dcn-2610271112330536): a later record already settles which end holds. The ADR and the test carry the refined relation; itd-187 is a shipped record.
Frontmatter
| id | iss-2610262045054936 |
|---|---|
| type | issue |
| lifecycle | wontfix |
| severity | minor |
.abcd/work/issues/wontfix/iss-2610262045054936-itd-187-holds-two-assemblies.md
open on GitHub ↗ · commit history ↗
References2
- itd-187Amnesia is a repository property, proven by an eval — the same state assembled twice is byte-identical, so no case run is spent evidencing itrelated
- itd-2609020625402599The scribe's context is assembled and its output is ingested by a verb, and the record can show that no session held both a reading and the ledgerrelated
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.