residue-infer-stops-false
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A raw kill -9 of gym-backup, whose manifest sets inferStops = false, under Standard: never taken as intended; alarmed and started again, as a fault.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | overrides: ; reports: alarm; units: service:gym-backup Running | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.