Map the seams between the payment machines - #2084

Merged

stefan-burke merged 13 commits into

mainfrom

claude/plan-md-review-jarsho

Aug 17, 2026

Commits on Aug 17, 2026

Declare the impossible combinations of the payment machines
claude
committed
704fdd2
Prove the joint state before a resume acts on it
claude
committed
5d96884
Witness the seam in the crash manufactures
claude
committed
6b2b32f
Crash the completion tail at its two untested points
claude
committed
db158a7
Cover every arm of the seam and its witness
claude
committed
b82827a
WIP: scan for stored impossible combinations — NOT WIRED, page and tests next
claude
committed
db6e621
Give the seam its operator view
claude
committed
a70c925
Derive the seam's vocabularies from the machines they mirror
claude
committed
ae8b750
Prove the balance-changed answer survives a crash
claude
committed
bae6916
Derive the reservation's blank pair from the row-state builder
claude
committed
b22fe40
Absorb the four review findings deferred from the last round
claude
committed
f5d2f8a
One contract per walker test
claude
committed
a569237
Kill the five survivors the branch mutation gate found
claude
committed
7af729f