residue-first-kill-teaches-stop
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A user’s first raw kill -9 of gym-web is caught as the unattributed residue; its notice names planarian stop service:gym-web as the attributed way. A later raw stop of gym-db is inferred the same way, without the lesson again.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | intent | notices_count: , , ; overrides: service:gym-web, service:gym-db, service:gym-app; reports: InferredOverride, Undo | fake: PASS |
What it exercises
No invariant by name.