storage-boot-full-publish
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
/boot is full when publish_boot runs. This is treated as a Checking failure, so the change reverts, and the candidate is never the only boot entry.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | boot_default: base; generation: base; journal_agrees: true; override_source: base; txn: Reverted ApplyChange | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.