Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

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.

HarnessScoringExpectsLatest verdict
vmintentno_autonomous_txn: true; no_incident_on: service@1000:pipewire, target:graphical-sessionVM: not run in this build

What it exercises

No invariant by name.