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

desktop-second-user-deadline

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

alice’s desktop fails; bob logs in 50 s later. alice’s 60 s deadline still fires on time, because it is bound to her session id.

HarnessScoringExpectsLatest verdict
vmmust-passincident: target:graphical-sessionVM: not run in this build

What it exercises

No invariant by name.