journal-compaction-preserves-state
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
Compaction is forced while an Explicit override is live and an incident’s budget is exhausted, then both processes crash and restart. Both survive, and replay from checkpoint plus tail equals replay from full history.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | incident: service:gym-flap; overrides: service:gym-web; replay_equivalent: true | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.