Repository navigation

Prove serialization by message, not by execution - #12

Merged

cardmagic merged 4 commits into

mainfrom

fix/serialization-proof-tolerates-retry

Aug 18, 2026

Merged

Prove serialization by message, not by execution#12
cardmagic merged 4 commits into
mainfrom
fix/serialization-proof-tolerates-retry

Commits on Aug 18, 2026
- fix: prove serialization by message, not by execution
  cardmagic
  committed
  cad1924
- fix: let a fenced attempt overlap its replacement
  cardmagic
  committed
  fd29399
- fix: excuse the superseded attempt, not the survivors
  cardmagic
  committed
  59e4a4f
- fix: pair each start with its own finish
  cardmagic
  committed
  b201fe2