mission-verify 属于 mission SDD 家族中的 verify 阶段，作用是对照任务简报（brief）评判已经构建完成的工作，而不是采信实现者的说法。它会产出按严重程度排序的问题发现，并返回一个 converge 判定。它运行在共享的 executor 契约之下（.agents/skills/factory-mission/references/executor.md）：verify 步骤读取测试与代码产物并输出 findings，converge 步骤读取 brief.md 并给出决定；判定者是独立的，因此它检查的是简报和非目标，而非验证者自己的发现。该技能止步于判定——REVIEW 和 SHIP 属于 factory-review 和 factory-deploy，本技能不会抢先执行。
前置依赖：需要 factory-mission 技能的共享 executor 契约，安装路径为 .agents/skills/factory-mission/references/executor.md；安装命令为 adlc-cli skills add tikalk/adlc-team-skills --skill factory-mission。
本地会话中的 gate 处理：当 ADLC_RUN_ID 未设置、会话中有真人、且没有其他机制会回答 gate 时，运行暂停在当前会话就是你的回合，而不是任务结束。当 adlc-cli workflow run 或 resume 以运行停在 gate 处退出（run_paused，adlc-cli workflow state show <run_id> 显示 status: paused）时，需要向真人询问 gate 的问题和选项，然后运行 adlc-cli workflow resume <run_id> --input <verdict_input>=<answer> 继续。绝不可以在无人被询问的情况下，让一个暂停的运行结束回合。
每个批准 MR 的 gate 后面都跟着一个打开 MR 的步骤。承诺 MR/PR 的 gate 之后会有发布步骤：对变更涉及的每个仓库运行 run-branch.sh 和 open-mr.sh，写入 mr_url（多个时为 mr_urls）。之后才是回写步骤，使完成评论链接到真实的 MR。如果某个 gate 之后没有动作来执行其答案，那就是计划缺陷，应在开始运行前修复计划。在结束回合之前，运行必须处于 completed、failed 或 aborted，或者暂停在一个已经向真人询问过问题的 gate 处。
本技能的功能：mission-verify 拥有 mission SDD 家族的 verify 阶段，它评判已构建的工作是否对照简报，输出按严重程度排序的发现，并返回一个 converge 判定。默认流程为：读取 test 和 code 步骤产出的产物引用；对照 brief.md 而非实现者的说法进行评判，重新运行测试套件、检查差异，并确认非目标未被触碰；converge 判定者依据简报和非目标，而不是验证者自己的发现。将发现按 Critical、Important 或 Minor 分级，每条都与差异、套件输出或某个未被触碰的非目标证据绑定。返回一个 converge 判定：标准满足且达到质量阈值时为 DONE；范围内仍有缺口时为 CONTINUE；某条标准不可度量或范围冲突时为 SPEC_CORRECTION_NEEDED。SPEC_CORRECTION_NEEDED 路由到对应的澄清 gate，绝不路由到代码；CONTINUE 连同发现一起退回实现阶段。绝不批准或合并，批准和合并由人和部署阶段负责。
步骤契约：verify 步骤（phase_type 为 verify，output_type 为 findings，读取 test、code）；converge 步骤（phase_type 为 verify，output_type 为 decision，读取 brief.md）。
Gates：本阶段的 gate 是 converge 判定——它是决策 gate，不是机械的红绿灯 gate（机械 gate 约束 mission-implement 中的构建步骤）。DONE：验收标准满足且达到质量阈值。CONTINUE：范围内仍有缺口，发现退回实现阶段，熔断机制适用。SPEC_CORRECTION_NEEDED：某条标准不可度量或范围冲突，判定路由到对应的澄清 gate，绝不进入代码。
边界：不创建 worktree，隔离属于编排器，本技能在其被交付的树中工作；不持有租约，绝不获取、续期或释放运行租约；不写追踪系统，不写评论、标签、状态转换或创建 MR/PR；不合并也不批准，本技能从不批准、合并或发布；有路由回流——发现路由到拥有该缺口的阶段，CONTINUE 退回实现，SPEC_CORRECTION_NEEDED 路由到对应的澄清 gate 而非代码。