Skills Development Focused Verification And Proof Stopping

Focused Verification And Proof Stopping

v20260905
verify-and-stop
A specialized workflow for validating existing work against strict acceptance criteria without expanding scope or modifying product code unnecessarily. Use this function for focused gate runs, completion checks, and last-mile proofing. It ensures that only the necessary proof set is executed, precisely reporting pass/fail status and unresolved risks, and stopping immediately upon successful validation.
Get Skill
420 downloads
Overview

Verify and stop

Translate acceptance conditions into smallest sufficient proof set.

  • Reuse still-current results with matching repository state.
  • Run focused checks before wider gates.
  • Distinguish pass, fail, unavailable, and blocked exactly.
  • Do not edit product code unless verification request includes fixes.
  • Do not add polish, cleanup, or unrelated tests after criteria pass.

Stop immediately when acceptance proof is complete. Report commands, results, and unresolved risk only.

Info
Category Development
Name verify-and-stop
Version v20260905
Size 840B
Updated At 2026-09-06
Language