residue-inferred-listed-until-ack
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
An inferred override (gym-web killed under Standard) is listed until a user acknowledges it with
planarian ack; acknowledging stops the listing and does not lift the override.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | intent | inferred_listed: ; no_txn_on: service:gym-web; overrides: service:gym-web; reports: InferredOverride; units: service:gym-web Overridden | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.