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

session-logout-one-of-two

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

alice logs out of one of her two sessions. Her user services (pipewire) keep running; no incident, no transaction.

HarnessScoringExpectsLatest verdict
fakeintentno_autonomous_txn: true; no_incident_on: service@1000:pipewire; units: service@1000:pipewire Runningfake: PASS

What it exercises

No invariant by name.