Adds a restart-surviving demo host - #15

Merged

johnnyt merged 9 commits into

mainfrom

sp-4an.4-restart-demo

Aug 22, 2026

Commits on Aug 22, 2026

Adds a straight-through restart-demo host
johnnyt
committed
6e2a4e6
Adds the restart-demo host implementation plan
johnnyt
committed
f315c7d
Adds the simulated restart to the demo host
johnnyt
committed
a7345ce
Tightens the restart demo assertions
johnnyt
committed
e87da64
Asserts no open timer rows after settlement
johnnyt
committed
c19b0d4
Adds replay determinism and the revision refusal
johnnyt
committed
50c2465
Runs the restart demo over Postgres
johnnyt
committed
12a9500
Documents the restart demo
johnnyt
committed
cdb518b
Adds per-test sabotage notes to the Ecto demo
johnnyt
committed
9222408