storage-journal-fs-full
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The journal filesystem is filled to the reserved-block boundary as the daemon’s uid. Either emergency collection is recorded and executed, or mutation stops with an explicit NoSpace or RecoveryFailed. A journal record is never lost or misread.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| vm | must-pass | journal_readable: true; one_of: , , ; replay_equivalent: true | VM: not run in this build |
What it exercises
No invariant by name.