svc-misconfig-listen-address
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The user sets gym-web’s listen address to 192.0.2.10, a permitted value that no interface holds. The change is applied as a transaction, the probes fail, and the change is reverted.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | boot_default: base; generation: base; journal_agrees: true; known_good: unchanged; others_unchanged: true; override_source: base; txn: Reverted ApplyChange; units: service:gym-web Running | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.