journal-torn-write
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A record write is interrupted, and separately a checkpoint write. A torn tail is truncated and never interpreted as a transition; a torn checkpoint never replaces the old one.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | journal_agrees: true; journal_readable: true; replay_equivalent: true | fake: PASS |
What it exercises
No invariant by name.