crash-daemon-restart-reconciles
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
GA demo tail: after the watchdog has reverted (crash-activating-bad), planariad restarts and writes a reconciliation record whose account of what happened matches the journal.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | generation: base; journal_agrees: true; reconciliation: daemon_action none, explains [“killed-during-Activating”, “watchdog-reverted”, “why:candidate not active”], found Reverted, owner watchdog | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.