degraded-unit-loses-a-probe
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
gym-web is already Degraded: its HTTP check fails (503) while its TCP check passes. A change then breaks gym-web’s listen address, so the TCP check fails too. The check after activation compares each Readiness probe that passed before, not the unit’s status, so Checking fails and the change is reverted.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | generation: base; txn: Reverted ApplyChange | fake: PASS |
What it exercises
No invariant by name.