rollback-repair-foreground-dependency
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
alice’s font-scale update commits; then, while a game holds Foreground in her session, the new generation’s NetworkManager fails and restarts cannot fix it. Wi-Fi is something foreground work depends on, so the diagnoser’s Rollback is a repair: it runs at once, during the workload, never parked in Built for a window, and Wi-Fi is back. One notice about it.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | generation: known_good; incident: service:NetworkManager; notices_count: count 1, match NetworkManager: roll back to the known-good generation; txn: Committed ApplyChange, Committed Rollback; units: service:NetworkMana… | fake: PASS |
What it exercises
No invariant by name.