residue-kill9-undo
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
Continuation: alice uses the offered undo. The inferred override is lifted by an authorized principal and gym-web is started.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | overrides: ; txn: LiftOverride; units: service:gym-web Running | fake: PASS |
What it exercises
No invariant by name.