dep-required-stopped-guarded
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
As dep-required-stopped, under the Guarded posture, where an unattributed stop is not inferred as intended (§11; Phase A repairs it, without the ask window). Root cause is gym-db: it is repaired first, then gym-app.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | repair | incident: service:gym-db; may_change: service:gym-db, service:gym-app; others_unchanged: true; overrides: ; reports: OutOfBandStopHint; txn: service:gym-db Committed RestartUnit, service:gym-app RestartUnit; units: ser… | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.