en-i12-nothing-left-open
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A generation change breaks gym-web, and the revert to the base fails too. The daemon is killed while it is reverting and comes back to finish the revert, which fails again. At the end no journaled transaction is left open, the change is RecoveryFailed with its alert, the interlock holds, and gym-web’s next crash gets no autonomous restart.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | interlock: set; no_txn_on: service:gym-web; nothing_left_open: true; reports: RecoveryFailed; txn: RecoveryFailed ApplyChange | fake: PASS |