intent-user-stops-service
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
An admin asks to stop gym-web until they say otherwise. It stays stopped. The override is journaled before the stop, so there is no window in which a repair can race it.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | intent | journal_order: Override(service:gym-web), stop(service:gym-web); no_autonomous_txn: true; overrides: service:gym-web; txn: Committed StopAndSuppress; units: service:gym-web Overridden | fake: PASS; VM: not run in this build |