crash-job-outlives-drain
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
An old backend job outlives the 60 s drain. The takeover ends in RecoveryFailed with the interlock set, and no overlapping mutation happens.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | interlock: set; no_overlap: activate_live(candidate), activate_live(revert_to); reports: RecoveryFailed, alert; txn: RecoveryFailed ApplyChange | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.