en-i11-session-carries-its-sensitivity
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
In one session, an administrator changes the firewall (Security: approved by root at a terminal, committed), then asks for a display-scale change, Routine on its own. The session’s cumulative effect includes the firewall change, so the second is classified at least as high: AskFirst, not as itself.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | txn: Committed ApplyChange, ApplyChange | fake: PASS |