dep-required-stopped
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
root stops gym-db out of band; systemd stops gym-app with it (Requires=). v4.4 (owner decision Q5): the unattributed residue. Under Standard both are taken as intended until the next boot (gym-app linked to gym-db), nothing is restarted, and the notice offers the undo.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | intent | no_autonomous_txn: true; no_txn_on: service:gym-db, service:gym-app; overrides: service:gym-db, service:gym-app; reports: InferredOverride, Undo; units: service:gym-app Overridden, service:gym-db Overridden | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.