Proof: one process that mints both receipts is the only place a dual proof can be sealed (V5b2d-4d) - #549

Merged

lemone112 merged 8 commits into

mainfrom

v5b2d-4d-dual-proof-gate

Aug 7, 2026

Commits on Aug 6, 2026

Proof: one process that mints both receipts is the only place a dual proof can be sealed (V5b2d-4d)
Claude Code
committed
8f41873
Proof: the dual-proof job could not have run — two blockers found by review
Claude Code
committed
c2ecc49
Proof: pin the workflow contract the expensive job was missing
Claude Code
committed
8b087e9
Proof: the containment fix shipped a red CI and a second tautology
Claude Code
committed
8d5df1a
Proof: name a lane run after the coordinates it replays
Claude Code
committed
aa73510
Proof: compare the entered group by inode, the way the observer probe does
Claude Code
committed
9376e6a
Proof: verify on the Linux that was here all along, and fix what it showed
Claude Code
committed
d6b4d8f
Proof: two runs claiming one lane must not resolve by whoever downloaded last
Claude Code
committed
e166c72