revert-fails
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
Bad candidate, while an environmental fault (sshd’s port blocked) makes the revert probes fail too. Result: RecoveryFailed, an alert, and the interlock, which blocks autonomous repair of a later unrelated fault until an admin resolves it.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | interlock: clear; reports: RecoveryFailed, alert; txn: RecoveryFailed ApplyChange, service:gym-cache RestartUnit; units: service:gym-cache Running | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.