loom-analyze-artifacts

跨产物一致性分析（analyze-artifacts）

触发条件

• specs/<date+feature>/plan.md、tasks/、traceability.json、requirements.json、spec.md 均已存在。
• 即将进入 approved gate，但还没人做过跨产物一致性检查。

非触发条件

• quickfix / chore / hotfix 等无 spec/plan 的轻量流程。
• 已在 verification 阶段（那时改用 loom-converge）。

执行流程

Step 1：运行分析

调用 loom MCP 工具 loom_analyze_artifacts（参数 spec_dir）。

工具只读分析 spec.md、requirements.json、plan.md、tasks/T*.md、traceability.json、.loom/rules/constitution.md（若存在），执行下列检查并输出 artifact-analysis.json。返回 ok:false 表示有 blocker finding。

Step 2：跨产物一致性检查

按以下维度逐项检查，每条 finding 记录 { id, kind, severity, message, requirement_id?, behavior_id?, task_id?, artifact, suggested_fix }。

1. 重复需求：spec.md 中两个 REQ-xxx 实际描述同一行为。
2. 歧义需求：spec.md 有两种解释且未选定一种。
3. 欠规格：requirements.json 缺少 spec 中的 REQ-xxx，或某 REQ 的 required_categories 未覆盖。
4. behavior 缺失：requirements.json 的 required_categories 没有 behavior 实现。
5. task 未映射：plan.md 引用的 task 文件不存在，或 tasks/ 中文件未在 plan.md 列出。
6. behavior 未映射到 task：requirements.json 的某 behavior 在所有 task frontmatter behavior_ids 中都未出现。
7. task 引用未知 behavior：task 的 behavior_ids 不在 requirements.json 中。
8. task 引用未知 requirement：task 的 requirements 不在 spec.md 中。
9. traceability 缺 REQ/behavior：traceability.json 缺少 spec.md / requirements.json 中的 REQ 或 behavior。
10. traceability 引用未知 REQ/behavior：traceability.json 出现 requirements.json 没有的 REQ/behavior。
11. traceability task 引用不存在：traceability.json 的 tasks 不对应真实 tasks/T*.md。
12. 依赖环：task depends_on 构成环。
13. owns 冲突：多个 task 声明同一 owns 文件。
14. constitution 冲突：task 计划修改的路径与 .loom/rules/constitution.md 的分层/禁止目录冲突。
15. 非功能要求遗漏：requirements.json 声明 performance / security / observability 类型，但没有任何 task 或 behavior 覆盖对应维度。

Step 3：计算 coverage

{
  "requirement_coverage": "已映射 task 的 REQ 数 / spec REQ 总数",
  "behavior_coverage": "已映射 task 的 behavior 数 / requirements behavior 总数",
  "required_category_coverage": "已覆盖的 required_categories 数 / 声明总数",
  "traceability_req_coverage": "traceability 中 REQ 数 / requirements REQ 数",
  "traceability_behavior_coverage": "traceability 中 behavior 数 / requirements behavior 数"
}