用途
verify 是 keel-workflow 中的统一验证 Skill，定位为质量审查员，以批判性视角检查一致性，标记偏差而非默认通过。它把文档对齐、实现正确性、UI 设计对齐、开发就绪检查四类验证合并为一个 Skill，替代原有的 devdocs-review、ms-requirements-alignment、devdocs-ui-alignment。
一句话概括：检查文档/实现/UI/就绪性偏差，标记不一致。
主要能力
verify 提供四个验证维度：
- --docs（文档对齐）：验证各层文档之间是否对齐，分三层。层 1 检查原始需求到需求文档（F/US/AC）的语义对齐，检测遗漏、过度扩展、偏移；层 2 检查需求文档到系统设计的映射，包括接口引用可解析、接口有归属、数据模型有消费者、设计内部自洽等；层 3 检查需求文档到测试用例的 AC 映射与正异常路径覆盖。
- --impl（实现正确性）：验证代码实现是否正确，包含 B1 AC 满足度审查、B2 设计符合度审查、B3 追溯完整性审查，以及可选的 B4 实际交互验证（--live）。审查完成后必须回答 CE 三个问题：实现中最难的决策是什么、拒绝了哪些替代方案及原因、最不确信的部分是什么。
- --ui（UI 设计对齐）：两阶段验证。阶段 1 检查设计稿与需求对齐，阶段 2 检查设计稿与实现对齐，对比布局结构、间距、颜色、字体、交互状态、响应式等维度。
- --readiness（开发就绪检查）：在 dev-tasks 到 dev-workflow 过渡时作为质量关卡，检查 AC 与测试用例对齐、任务文件路径具体性、任务依赖无环、设计与任务一致性，以及里程碑分段可交付性。
此外还有 --review-drain 模式，用于集中补跑延后的独立审查。
使用方式
常见调用方式：
/verify：自动检测维度（LLM 路由）/verify --docs：文档对齐/verify --impl：实现正确性/verify --impl "检查 AC"：LLM 自动聚焦 AC 子维度/verify --impl --live：显式启用实际交互验证/verify --ui：UI 设计对齐/verify --readiness：开发就绪检查/verify --schema-drift：合并 drift 报告/verify T-01 T-02：指定任务范围
除 --live 外，二级控制不作为顶部用户面入口暴露，用户用自然语言表达聚焦意图。
适用场景
- 需求/设计/测试文档完成后（--docs）
- 任务开发完成后、对抗式验证之前（--impl）
- UI 相关任务开发完成后（--ui）
- 任务拆分完成、进入开发前（--readiness）
- 用户要求检查文档/实现/UI 对齐
限制
- 本 Skill 为只读：不修改代码、不修改 keel 文档、不修改设计稿，仅生成报告。
- --docs 层 1 依赖需求文档中的「## 0. 原始需求」章节，历史/Retrofit 文档若不存在则输出前置缺失并跳过层 1。
- --ui 无设计稿输入且无 design_context 时不可运行，必须提示用户提供。
- --live 为可选模式，无浏览器 MCP 时自动降级为静态验证；应用启动失败记录为 P2 Warning，不阻塞验证流程。
- 所有发现按 P1/P2/P3 分级，P1 必须列出修复建议，不将 P2/P3 升级为 P1（除非用户要求严格模式）。
- 不适合用于同步文档进度（应使用 /sync）或代码质量审查（应使用 /adversarial-review）。
输出
生成验证报告：--docs / --impl / --ui 输出 docs/devdocs/verify-report.md，--readiness 输出 docs/devdocs/readiness-report.md。报告包含验证时间、verified_commit、验证维度、验证范围、关联文档、结果摘要、问题汇总与修复路由等字段。