release-refused-leaves-incident
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
gym-web keeps failing until its incident has spent its repair budget and escalated. alice, who may not act on gym-web, asks to release it: refused Unauthorized, and the incident record is unchanged (no budget restored, no attempt brought forward, not reopened).
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | incident_unchanged_by_refusal: service:gym-web; txn: service:gym-web LiftOverride | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.