residue-kill9-service
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A raw kill -9 of gym-web (Restart=no, not Security-sensitive). Under Standard it is accepted until next boot as an inferred, unattributed override, with a notice and an undo. No restart.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | intent | no_txn_on: service:gym-web; overrides: service:gym-web; reports: InferredOverride, Undo; units: service:gym-web Overridden | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.