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.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| vm | must-pass | incident: target:graphical-session | VM: not run in this build |
What it exercises
No invariant by name.