Adaptive mesh refinement for plans — bidirectional verification that catches what single-pass planning misses