intent-start-again-repairs
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
After a user stop, “start gym-web again” lifts the override, and the unit is desired Running again and repaired.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | repair | overrides: ; txn: service:gym-web Committed LiftOverride; units: service:gym-web Running | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.