journal-record-edited
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A retained journal record is edited on disk while the daemon runs. The next read detects the broken chain as an Integrity failure; no transaction is taken from the edited record.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | invariants: I18; posture: class Integrity, target_reached planarian-failed@Integrity.target; reports: JournalChainBroken | fake: PASS; VM: not run in this build |