checkpoint-bad-crc
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The journal is compacted, then its checkpoint is damaged while the daemon is down (its CRC no longer matches). The daemon does not start from nothing: it reports an Integrity failure naming the journal.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | posture: class Integrity; reports: JournalChainBroken | fake: PASS |
What it exercises
No invariant by name.