用途：在已有 spec.md、plan.md、tasks.md 后、进入实现前，做一次只读的跨文档一致性分析，找出不一致、重复、歧义与描述不足之处。必须在完整 tasks.md 存在后运行（通常在 speckit-tasks 之后）。
输入：specs/<feature>/spec.md、plan.md、tasks.md，以及 .specify/memory/constitution.md；还包括用户提出的关注点。宪法为最高权威，冲突一律记为 CRITICAL，需修改 spec/plan/tasks，不得弱化或忽略原则。
工作流：先从仓库根运行 .specify/scripts/bash/check-prerequisites.sh --json --require-tasks --include-tasks 一次，解析 FEATURE_DIR 与 AVAILABLE_DOCS 生成绝对路径；缺失必需文件即报错并提示补齐前置技能。随后只加载最小必要上下文，按需求清单、任务覆盖映射、宪法规则集建立语义模型。
检测项：A 重复需求；B 歧义形容词与未解决占位符；C 缺对象或可测结果的需求；D 宪法对齐；E 覆盖缺口（无对应任务的需求、无需求映射的任务、非功能需求未落到任务）；F 不一致（术语漂移、实体缺失、任务顺序矛盾、冲突需求）。按 CRITICAL/HIGH/MEDIUM/LOW 定级，最多 50 条，超出汇总。
输出：Markdown 报告，含 ID、类别、严重级别、位置、摘要、建议，附覆盖汇总表、宪法问题、未映射任务与指标（需求数、任务数、覆盖率、歧义数、重复数、严重问题数），末尾给出 Next Actions（有 CRITICAL 建议先解决再进入 speckit-implement），并询问是否给出前 N 条问题的修复建议，但不自动应用。
限制：严格只读，不修改文件；不得臆造缺失章节。重跑无变更应得到一致的 ID 与计数。