用途:验证已完成的功能代码是否实现了 spec 文档的全部需求,适用于即将合并的 PR。入口是已完成的功能代码、待合并 PR 与对应 spec 文档;出口是合规性审查报告(通过/不通过+遗漏清单)。通过后进入 verify-quality-code-quality,不通过则退回 build 补齐功能。没有对应 spec 的代码变更、或仍在开发中未声称完成的代码,不适用。
主要能力:以可追溯矩阵为核心,按四类提取需求——功能需求、边界条件、错误场景、验收标准,每条标记 [spec:LXX] 加实现文件路径与测试文件路径,形成 spec 行号→代码→测试的追溯链。采用覆盖门控审查:100% 覆盖是唯一通过标准,功能需求与边界条件缺失为 Critical,错误场景缺失为 Important,验收标准缺测试为 Critical,任何缺口即不通过。同时做范围蔓延检测,检查新增 API 端点、UI 组件、数据库表/字段、配置选项等 spec 未提及的用户可见功能。还界定 spec/代码边界:spec 明确要求但未实现归本技能,spec 未提及但应有归 code quality。
使用方式:先定位 spec(标准路径 docs/features/YYYYMMDD-<name>/01-spec.md,Bug 修复用 docs/bugs/<name>/01-root-cause.md 与 02-fix-plan.md),找不到则询问或要求先创建 spec;再逐行提取需求清单;随后逐项验证实现(功能搜函数/组件/API,边界查 if/guard,错误查 try/catch,验收标准查测试);然后检查 scope creep;最后汇总覆盖率判定并生成报告,输出到 docs/features/YYYYMMDD-<name>/04-review.md 的合规性部分。报告含覆盖率统计、Critical 遗漏表、scope creep 列表、测试缺口与下一步。
限制与注意:spec 描述模糊导致无法验证时应暂停审查,先澄清 spec;实现方式与 spec 不一致但效果相同属灰色地带,由人工判断;scope creep 需人工决定收入 spec 或移除。前置需加载 CANON.md,可参考 references/spec-compliance-examples.md。具体依赖、安装方式与收费信息暂未提供。