cond-device-unplugged
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
gym-usb0 is hot-unplugged, so gym-usb-reader (desired only under DeviceConnected) stops, and no incident opens.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| vm | intent | no_autonomous_txn: true; no_incident_on: service:gym-usb-reader, device:gym-usb0 | VM: not run in this build |
What it exercises
No invariant by name.