用途：作为 VERIFY 阶段使用，证明代码实际可用。前后端通用，校验与覆盖率基于项目自身的测试运行器执行。
主要能力：
- 校验（始终执行）：通过 /validate-code 自动修复格式与 lint、检查类型、运行完整测试套件；若项目能产出覆盖率，则检查变更行（git diff -U0）是否被执行，而不仅看全局百分比；项目无覆盖率工具时跳过。收集全部结果，不因首个失败中止。
- 加载计划（如有）：读取 .specs/plans/<slug>.md；无计划则只报告校验结果。若阶段 1 的主要模块文件不存在，直接报告 0/N 尚未开始，并跳过子代理。
- 核验计划声明：启动只读的通用子代理（非 code-review），逐节读取计划，核对每个 - [ ] / - [x] 项，纳入测试结果，判定各项是否成立，并归为 BLOCKERS（已勾选但不成立、测试失败、契约破坏）与 SUGGESTIONS。
- 更新复选框：仅在 .specs/plans/<slug>.md 中把通过项标 [x]、失败项退回 [ ]，这是本技能唯一的文件写入。进度按各 ## Phase N 下的勾选项统计，合计为 Total。
- 报告：包含 Validation（validate-code 结果、变更行覆盖率及未覆盖行）、Progress（各阶段进度，> 标记首个未完成阶段）、BLOCKERS、SUGGESTIONS。全部通过时输出“All phases complete — implementation verified.”。
- 后续：存在阻塞项则修复后重跑 /test <slug>；干净则先走可选的 /review 质量检查，再执行 /ship。
用法：接受计划 <slug> 或 @file 引用作为参数；省略时匹配 .specs/plans/*.md——单个直接使用，多个以编号列表等待用户选择，没有则仅做校验。交互式提示均以编号列表呈现并等待用户选择。
限制：核验子代理必须只读，不得创建、编辑或删除；本技能不修改实现代码，只观察与报告；除计划复选框外不写任何文件。具体参数、覆盖率工具及价格等资料暂未提供。