authz-nonadmin-stops-network-other-session
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
bob, at the seat, stops the gym network interface (made user-controllable for this case, G11) while alice has a session open. The derived facts say it reaches another uid’s session; it asks, and alice’s session is notified.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | notified_sessions: s1; txn: pending StopAndSuppress | fake: PASS |
What it exercises
No invariant by name.