policy-daemon-session-drop-rebind
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
virtio-gpu is unbound during alice’s session; the diagnoser proposes BindDriver on gpu0. Its disruption is SessionLoss and the proposer is not the session owner, so it is AskFirst, parked and surfaced, and does not run.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | reports: AwaitingApproval, DisruptionSessionLoss; txn: device:gpu0 BindDriver | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.