Skip to content

Drop the verification-unavailable prompt with strict plan verification - #51

Merged
DevMando merged 1 commit into
mainfrom
codex/remove-strict-plan-verification
Sep 6, 2026
Merged

Drop the verification-unavailable prompt with strict plan verification#51
DevMando merged 1 commit into
mainfrom
codex/remove-strict-plan-verification

Conversation

@DevMando

Copy link
Copy Markdown
Owner

Why this was done

The paired MandoCode PR removes the second-model step verifier from the planner. This is the Desktop half of that removal.

Desktop had a modal approval prompt — "Step N: verification unavailable" offering Retry verification or Pause plan — that fired when the verifier failed to return a usable verdict. With no verifier, nothing can produce that state and there is nothing to retry, so the dialog is unreachable code that would confuse the next person to read ChatController.

What changed

  • Removed the StepVerificationUnavailable case and its approval dialog from ChatController.
  • Removed the EvidenceFollowupUsed reset from PlanInstructionEditor. Editing a step still resets its acceptance criteria to the newly typed instruction — that behavior, added in Show each plan step's acceptance checks on the review card #50, is untouched. Only the flag for a follow-up mechanism that no longer exists is gone.
  • Submodule bump to carry the planner change.

Impact

No user-visible behavior is lost. The dialog only ever appeared when the verifier malfunctioned; that component is gone. Plan review, acceptance checks on the review card, step editing, pause, and /plan-resume all behave as they do today.

Risk

Low. Two deletions in view-model code, one submodule bump.

Merge order

Merge the MandoCode PR first, then confirm this branch's submodule pointer resolves to a commit on CLI main before merging here.

Testing

Desktop suite green: 243 passed, 0 failed. Desktop builds clean against the updated submodule.

Follows the CLI change that removes the second-model step verifier. The prompt
offering "Retry verification" or "Pause plan" had nothing left to retry, and the
plan editor no longer needs to reset an evidence-follow-up flag that no longer
exists.
Submodule bump carries the planner change itself.
@DevMando
DevMando merged commit da310d6 into mainSep 6, 2026
1 check passed
@DevMando
DevMando deleted the codex/remove-strict-plan-verification branch September 6, 2026 04:12
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@DevMando