Skip to content

C-319: port the incumbent's shared-cell capture contract — its copy minted a colliding C-302 - #38

Merged
O6lvl4 merged 3 commits into
mainfrom
c319-shared-cell-port
Aug 21, 2026
Merged

C-319: port the incumbent's shared-cell capture contract — its copy minted a colliding C-302#38
O6lvl4 merged 3 commits into
mainfrom
c319-shared-cell-port

Conversation

@O6lvl4

@O6lvl4 O6lvl4 commented Aug 21, 2026

Copy link
Copy Markdown
Contributor

Repairs today's contract-id collision. The incumbent develop's ledger COPY minted C-302 (cb7c00ee4, "shared-cell captures") on the same day this repository's canonical ledger assigned C-302 to the numeric-determinism family head (#35). Contract ids are permanent and global; the judge's ledger is canonical (BOUNDARY.md; the copies await develop's Stage B cutover).

  • The behaviour lands HERE as C-319 (next free id), statement verbatim plus a provenance note; fixture spec/wasm_cross/closure_captured_list_mutation.almd ported with the id rewritten and the port noted in the header.
  • Against 0.58.0 the fixture diverges exactly as the contract says the pre-admission bug did (since = 0.59.0, requirements-first in the provenance ledger — 20 now).
  • The incumbent side is asked (almide/almide issue) to rename its C-302 → C-319 in its copy and fixture header before any further ids are minted there; ids C-320+ are next-free in this ledger, and the durable fix is its cutover (copies deleted, contracts landed here first).

🤖 Generated with Claude Code

O6lvl4 added 2 commits August 21, 2026 09:31
…judge id — its copy minted C-302, already the numeric family head here; ledger here is canonical
@O6lvl4
O6lvl4 force-pushed the c319-shared-cell-port branch from 95ec04b to 7fba2b9 Compare August 21, 2026 00:32
…tain ratchet: 434 to 435, closure shared-cell class)
@O6lvl4
O6lvl4 merged commit 07ebc7a into main Aug 21, 2026
1 check passed
@O6lvl4
O6lvl4 deleted the c319-shared-cell-port branch August 21, 2026 00:34
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