svc-killed-user-scope
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
alice’s pipewire is killed while her session is up; the user-scoped unit is restarted.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| vm | repair | may_change: service@1000:pipewire, service@1000:wireplumber; others_unchanged: true; settle: ready service@1000:pipewire, timeout 60s; txn: service@1000:pipewire Committed RestartUnit; units: service@1000:pipewire Runn… | VM: not run in this build |
What it exercises
No invariant by name.