authz-unprivileged-override-security
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
alice tries to override sshd, a system Security unit. It is held as AskFirst for an administrator; sshd stays up meanwhile.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | overrides: ; txn: pending SetOverride; units: service:sshd Running | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.