approval-dies-with-daemon
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
An administrator asks to disable sshd (AskFirst) and the approval is issued. The daemon restarts before anyone approves. The old approval is void: presenting it is refused, the change is asked for again, and nothing runs until the new request is approved.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | reports: TokenReplayRefused, NeedsApproval; txn: pending ApplyChange; units: service:sshd Running | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.