**Revisions to make:**
1. For each reported blocker, confirm its cause and why the previous approach could not advance.
   Before carrying forward a counterexample from earlier completion verification, follow the requirement in “Scope of inputs used for counterexamples” to check its basis first.
2. If changing task-wide premises or stopping is necessary, state the concrete work that a premise change would enable, or the necessary external action or incompatible requirements.

{{include:instructions/planning-return-guidance}}

{{include:instructions/fix-plan-common}}