Plan Verification

Plan verification is the step of checking a generated plan for correctness, feasibility, and completeness before execution begins. Verification can be performed by a separate critic model, a symbolic checker, or a set of automated tests against the plan's preconditions and expected outcomes. Catching invalid plans early prevents wasted tool calls and side effects from actions that would never have succeeded.