user-unit-after-logout
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
alice logs out and her pipewire stops. A user unit is desired only while its session exists, so no incident opens.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| vm | intent | no_autonomous_txn: true; no_incident_on: service@1000:pipewire, target:graphical-session | VM: not run in this build |
What it exercises
No invariant by name.