Level 4 — End-to-end recovery proof

Steps once, checkpoints, simulates restart, recovers, continues, and re-checks the pre-action gate.