en-i22-user-cannot-do-admin-things
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A seated, unprivileged user tries, in turn, to roll back, collect garbage, bind a driver and resolve the interlock. Each is refused Unauthorized; nothing executes.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | no_txn_executed: true; reports: Unauthorized; txn: Rollback, CollectGarbage, BindDriver, Resolve | fake: PASS; VM: not run in this build |