disruption-connectivity-alone-seated-runs
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The same rollback by the same seated administrator, but switching back restarts only the tunnel service (ConnectivityLoss). A local caller is exempt from that floor, so the rollback runs and commits; alice’s session is notified.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | generation: known_good; txn: Committed Rollback | fake: PASS |
What it exercises
No invariant by name.