Expand description
Deterministic crash/replay harness for state-machine proof tests.
The harness is intentionally small and data-only: production code exposes named checkpoints, tests simulate a crash at each checkpoint, then restart and verify invariants. The resulting report can be saved as a JSON artifact for later replay or review.