override-over-attested-refused
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
alice stops her own pipewire with an override. An administrator then sets a different override on the same unit: Rejected(Precondition), naming alice as the holder; her override stands.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | overrides: service@1000:pipewire; txn: SetOverride | fake: PASS |
What it exercises
No invariant by name.