用途：verify-against-spec 用于在实现完成后，对照规格文档逐条核对实现是否满足验收标准，并记录证据。它强调“测试通过不是目标”，关注规格中的每一项承诺是否被兑现、如何证明。
主要能力：
- 收集证据：运行完整检查并记录结果；用详细报告器列出全部测试名称（如 npx vitest run --reporter=verbose 或 pytest -v）；为每条验收标准找到覆盖它的测试与实现它的代码。
- 对每条标准分级：套件完整覆盖（套件中的测试覆盖标准全部部分）；套件部分覆盖（测试覆盖一部分，其余用脚本当场检查）；逻辑已测、入口手动（逻辑有测试，命令或脚本周边手动检查）；仅手动（规格说明为手动，或无法自动化检查）；未满足（行为与标准不符）。要求严格判定，例如仅检查列表 id 的测试不覆盖“显示 id、客户、总额和状态”。
- 用脚本检查缺口：此步骤不修改源文件、不做提交；新测试需用户同意后再加。对每条部分覆盖的标准，在 .scratchpad/<slug>/scripts/verify-gaps.* 写小脚本演练缺失部分（例如通过框架的测试客户端），按测试设置方式构建应用（种子数据、测试密钥）以看到相同状态，运行并记录结果，保留脚本作为新测试起点。命令行与启动类标准用真实命令针对临时数据库检查。
- 超出标准之外：将规格的其他章节（架构、代码布局、错误页面、环境变量、脚本）与代码对比，用红绿灯方式列出偏差（traffic-light-findings）。
- 报告：写 .scratchpad/<slug>/verification-report.md，包含摘要（各分级计数、未满足标准）、验证方式、逐条标准明细（按领域表格：AC | 结果 | 证据）、偏差（非标准项）、建议测试缺口（部分覆盖标准转为测试提案）。在聊天中给出摘要、偏差与建议，并提出把缺口转为测试。
使用方式：按上述五步执行；缺口脚本放在 .scratchpad/<slug>/scripts/ 下，报告写在 .scratchpad/<slug>/verification-report.md。
适用场景：需要严格验证实现是否符合规格、补足测试覆盖证据、审计验收标准落实情况的开发与测试流程。
限制：资料未提供具体平台支持、性能指标或安装命令；新测试须用户确认后才添加；缺口脚本步骤不得修改源文件或提交。