quiet-repair-not-deferred
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
While a game holds Foreground, alice’s PipeWire crashes. Repairs of what foreground work depends on are not deferred: it is repaired at once, with exactly one notice.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | repair | notices_count: count 1, match pipewire; units: service@1000:pipewire Running | fake: PASS |
What it exercises
No invariant by name.