owner-rebuild-breaks-service
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The owner runs nixos-rebuild switch on a config that breaks gym-web. Planarian tries restarts and then escalates; it never rolls back an owner-built generation without AskFirst.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | repair | generation: owner-built; incident: service:gym-web; metrics: restarts_max { “service:gym-web” = 3 }; reports: DiagnoserExhausted; txn: Committed Rollback; units: service:gym-web Failed | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.