check-impl-against-spec

对照规范检查实现

仅在 PR 审查期间存在 spec_context.md 时使用此技能。

目标

确定已检出的 PR 中的实现是否与已批准的规范上下文实质性匹配。这是对常规代码审查的补充，而非独立的输出。

输入

• spec_context.md 包含要对照的规范上下文。它可能包括产品规范内容（预期行为、验收标准）和技术规范内容（实现细节、文件更改）。
• pr_diff.txt 包含 PR 的带注释差异。
• pr_description.md 可能包含额外的范围或理由。
• 工作树包含 PR 分支的内容。

流程

1. 读取 spec_context.md 并提取其做出的具体承诺：
   • 必需的行为（来自产品规范）
   • 需要更改的文件或子系统（来自技术规范）
   • 声明的约束
   • 必需的后续步骤、验证或迁移
2. 将这些承诺与 pr_diff.txt 和已检出文件中的实际实现进行比较。
3. 当保留规范意图时，将小的实现级调整视为可接受。不要标记无害的命名、结构或低级技术差异。
4. 仅在存在实质性不匹配时标记，例如：
   • 产品规范中的必需行为缺失
   • 实现与规范决策矛盾
   • 更改引入了显著的未计划范围
   • 技术规范中要求的验证、迁移或兼容性步骤缺失

输出

• 不要创建单独的报告文件。
• 将规范对齐发现合并到 review.json 中。
• 将广泛的规范偏离问题放入审查摘要中。
• 仅当不匹配可以关联到差异中的更改行时，才添加内联评论。
• 将实质性规范偏离视为至少一个重要问题。
• 如果实现与规范足够接近，不要仅仅为了提及对齐而添加评论。

边界

• 当 PR 安全地实现相同结果时，不要求规范的字面一对一实现。
• 不要推测 spec_context.md 中实际不存在的规范细节。
• 不要直接发布到 GitHub。