crash-runtime-rollback
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
Killed during Checking of a Runtime-tier Rollback; it recovers as a generation operation (serialized, owned, publish_boot, override restored) and completes. (Killed before the activation took effect, the crash table reverts instead, which is also correct.)
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | boot_default: known_good; generation: known_good; journal_agrees: true; override_source: known_good; txn: Committed Rollback | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.