authz-unprivileged-stop-unauthorized
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
alice tries to stop gym-db, a system unit that is neither Security-sensitive nor user-controllable: Reject(Unauthorized), whatever max_tier says.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | reports: Unauthorized; txn: StopAndSuppress; units: service:gym-db Running | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.