sdd-verify

sdd-verify

验证实现是否符合规范、设计和任务计划。归档前的质量门禁。

触发方式：/sdd-verify <change-name>、验证实现、质量门禁、验证变更、sdd verify

---

目的

验证会客观评估已实现的内容是否符合规范。它不会修复任何问题，只会报告结果。

同级参考文件

• REPORT_TEMPLATE.md — 持久化的精简格式和对话详情块。

技能解析

按以下顺序：项目本地 → 全局

1. .claude/skills/sdd-verify/SKILL.md     (project-local — highest priority)
2. ~/.claude/skills/sdd-verify/SKILL.md   (global catalog — fallback)

完整算法请参阅 docs/SKILL-RESOLUTION.md。

---

---

Claude 执行接线

这些说明将上面的工具中立逻辑绑定到 Claude Code 执行环境。它们属于不能移植到其他工具的执行层。

• 步骤 0 预加载 — 遵循 skills/_shared/sdd-phase-common.md 的 第 F 节 （项目上下文加载）和 第 G 节（规范上下文预加载）。两者均不会阻塞流程。

• 读取产物（步骤 1） — 使用执行环境的 Read("docs/sdd/{change-name}/<artifact>.md") 工具。如果磁盘文件不存在（旧版变更），则回退到 mem_search(query: "sdd/{change-name}/<artifact>") → mem_get_observation(id)。 如果两者均不存在且 Engram 无法访问 → 编排器会传入内联内容。

• 测试 / 构建执行（步骤 6–7） — 通过执行环境的 Bash 工具运行每条解析出的命令；捕获退出码和标准输出/错误。

• 复用 / 边界与错误呈现（步骤 9.5–9.6） — 中立的“内容搜索”对应执行环境的 Grep 工具；“读取”对应 Read。证据规则的交叉引用为旧版带行号来源中的 SKILL.md:202-208。

• 持久化（步骤 10） — 优先写入磁盘：Write("docs/sdd/{change-name}/verify-report.md", …)。 然后使用 mem_save 保存指针和摘要，其中 topic_key: sdd/{change-name}/verify-report、 type: architecture、project: {project}，内容为 "path: docs/sdd/{change-name}/verify-report.md\n\n{1-3 sentence summary}"。 如果 Engram 无法访问 → 仍写入磁盘产物（事实来源）；仅跳过 engram 指针。

• 回执生成（步骤 10.5） — 中立的“记录审核回执”步骤对应一次 Bash 调用；报告写入后，从仓库根目录运行，且仅当判定结果不是 FAIL 时运行：

  node core/hooks/_shared/receipt-mint.js --minter sdd-verify --verdict <PASS|PASS_WITH_WARNINGS>
  

  如果没有 --files，则会为当前已暂存的路径生成证明。尽力执行：非零退出码或“未生成任何内容”消息会在阶段摘要中报告，但绝不会改变判定结果。

• 编排器输出 — 将中立的输出契约作为编排器所需的 JSON 块返回；如果 engram 指针已写入，artifacts 条目映射到 engram:sdd/{change-name}/verify-report。手动下一步是 /sdd-archive <slug>。