用途：审计指定文档集合，检查其内部自相矛盾之处，以及与代码、配置、schema、已批准契约之间的不一致。适用于文档审计、前后冲突、术语漂移、README 检查等。
主要能力：先确定每类主张由哪个权威来源裁定，再决定需修复哪一方。支持三类证据范围：内部比对（仅比对指定文档之间，尊重“只审文档/无代码”）；实现与契约比对（将当前行为主张对照代码与配置，将预期行为对照已批准规格与契约）；组合模式（两者皆做）。
使用方式：识别指定文档范围、受众、场景与请求动作；构建主张映射，记录行为、命令、默认值、生命周期、权限、术语、假设、验收、交叉链接及每类主张的来源优先级；内部证据参考 references/internal-audit.md，实现证据参考 references/checklist.md，争议时可查阅 references/worked-examples.md；按缺陷类型分类：文档缺陷、实现缺口、内部冲突、需证据/决策；提出更新、移动、合并、删除、拆分或解决建议，并区分建议修复与已执行编辑。
模式：仅审计（只交付发现，不编辑）；检查并修复（在授权下修复指定本地文档并复查相关主张与链接，不静默改实现）。
影响分级：P0（有证据表明导致严重错误决策、数据/安全危害或上线失败）；P1（核心场景、范围或验收严重错误）；P2（有界漂移、遗漏、重复或误导性术语）；P3（轻微措辞或链接问题）；需证据/决策（未解决，非确认缺陷）。按实际影响评级，敏感关键词本身不构成发布阻断。
限制与边界：仅格式修改转 readme-beautifier；整篇重写转 hai-rewrite-doc；产品需求或验收定义转 hai-prd；实体字段与存储/迁移定位转 entity-model-auditor；证明软件变更有效需 write-technical-acceptance-report，仅文档检查不足以证明运行时验收。未经授权不扩大指定目标；代码不可用时标记主张未验证而非暗示一致。