unauthorized-change-does-no-work
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
alice, who may not change the configuration beyond her own settings, asks to disable sshd: refused Unauthorized before any source is staged, evaluated or built.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | no_build_work: true; txn: ApplyChange; units: service:sshd Running | fake: PASS |
What it exercises
No invariant by name.