Replay

For every recorded Stop, the original summarize() and decideStop() run over the ledger prefix with the recorded Jev claims_done answer. No network. A historic ledger does not record which config applied, so a mismatch may reflect a different config, not a non-deterministic gate.