intent-cli-stop-rewritten
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
An admin issues StopUnit through the CLI; it is rewritten to StopAndSuppress { until: NextBoot }, with a notice.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | intent | no_autonomous_txn: true; overrides: service:gym-web; reports: StopRewrittenNotice; units: service:gym-web Overridden | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.