Prerequisites
- Build is complete
- Every task in
tasks.mdis complete isolationandbound_branchmatch the current worktree- Full workflow execution, TDD, and review modes are selected
Flow
Verification depth
Comet selectslight or full from the task count, delta spec count, and changed-file count:
- Light checks task completion, change ownership, build, relevant tests, security, and the configured code review.
- Full adds proposal, OpenSpec design, Design Doc, acceptance-scenario, and spec-drift checks.
openspec-verify-change to check spec coverage. Code review follows review_mode, but branch delivery always remains in Archive.
The invoked skill
When spec drift needs realignment, verify does not load
brainstorming directly: it returns to Build through verify-fail, and the build stage loads it.
Failure handling
- Objectively fixable build, test, security, or acceptance failures return to Build through
verify-fail. - WARNING and SUGGESTION findings ask the user only when accepting them involves a real tradeoff; the rationale is recorded in the verification report.
- CRITICAL and IMPORTANT findings cannot be waived.
verify-failpreserves existing field values, butbranch_statusshould remainpendingthroughout the normal Verify flow.
Save verification evidence
After verification passes, record the report path:branch_status: handled in Verify, and do not set verify_result: pass by hand.
Then run:
phase: archive and records verify_result: pass and verified_at. branch_status stays pending; Archive handles it after the user confirms immediate remote delivery.
Spec drift
When full verification finds a mismatch between the delta spec and Design Doc, the user can:- Record an Implementation Divergence in the Design Doc;
- Return to Build through
verify-failand realign design with implementation; or - Accept a non-blocking deviation and let the main spec become the final authority during archive.

