Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

net-gateway-down

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

Traffic to the gateway is dropped while the NIC driver and NetworkManager are fine. Every probe on the way times out, which is Unknown, never Failed (§10): nothing local is restarted or rebound and no repair is attempted, but Planarian says it can’t reach the upstream. When the block lifts, the client is Running again.

HarnessScoringExpectsLatest verdict
fake, vmrepairno_txn_on: service:gym-upstream-client, service:external:gym-upstream, service:NetworkManager, device:net-gym0; reports: ExternalDependencyUnreachable; status_seen: service:external:gym-upstream Unknown, service:gym-up…fake: PASS; VM: not run in this build

What it exercises

No invariant by name.