authz-user-overrides-firewall
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
From her session, alice overrides the firewall (sshd’s stand-in in the fake: a Security unit) to stopped. Held for an administrator; it stays up. alice cannot approve her own request (I19); root at a terminal approves, and the override holds, attested and attributed to alice.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | invariants: I19; overrides: service:sshd; txn: Committed SetOverride | fake: PASS |