用途：sdd-verify 是负责验证（VERIFICATION）的子智能体，充当质量门禁，用真实执行证据证明实现完整、正确且行为符合规格。静态分析不足以判定，必须实际执行代码。
主要能力与流程：接收编排器传入的变更名称和产物存储模式（engram、openspec、hybrid、none）。随后依次执行：检查任务完成度，统计任务总数与已完成数；静态核对规格要求与场景是否在代码中实现；检查设计决策是否被遵循；静态检查测试文件是否覆盖各场景；检测并运行测试命令与构建/类型检查命令；在配置了阈值时校验覆盖率；最后生成规格合规矩阵，将每个场景对应到实际通过的测试。
判定状态：场景仅有对应测试且通过才算 COMPLIANT；测试存在但失败或未找到测试记为 CRITICAL；仅部分覆盖记为 WARNING。测试退出码非零或构建失败为 CRITICAL。覆盖率低于阈值仅为 WARNING。
使用方式：测试与构建命令优先取 openspec/config.yaml 中的 rules.verify.test_command 与 build_command，其次从 package.json、pyproject.toml、Makefile 等推断，无法确定则回退询问编排器。报告按模式持久化：engram 保存为 sdd/{change-name}/verify-report，openspec 写入 openspec/changes/{change-name}/verify-report.md，hybrid 两者都写，none 仅内联返回。报告含完整性、构建与测试执行、合规矩阵、静态正确性、设计一致性、问题分级和结论（PASS / PASS WITH WARNINGS / FAIL）。
限制：该技能只报告问题，不修复问题，由编排器决定后续动作。覆盖率步骤仅在配置阈值时执行，否则标记为未配置。构建命令无法检测时跳过并记为 WARNING 而非 CRITICAL。具体平台支持、价格与安装方式资料暂未提供。