用途：用于全系统正确性审计工作。目标是梳理系统结构、识别最高风险行为、证明或推翻具体失败假设，并产出一份无需重读整个代码库即可行动的审计报告。
主要能力：覆盖正确性、竞态条件、安全、过时文档、死代码、设计缺陷与可靠性等类型。工作流程包括：校准审计范围（scope brief）；先读取意图材料（README、CLAUDE.md、架构文档、ADR、测试、近期提交、TODO/FIXME 等）；构建覆盖台账（coverage ledger）；在深入前为每个高中风险子系统写出 2-3 个可证伪假设；逐个子系统端到端审计（入口点、正常路径、错误路径、清理、取消与重试）；按严重程度、状态与置信度分类发现；最后进行收敛检查，去重、重排并做死代码与过时文档的残留扫描。
使用方式：默认采用 chat-first 内联输出；大型或可续审计切换到 artifact 模式，使用 docs/audit/ 或 .claude/docs/audit/ 并遵循仓库既有约定。审计期间不应修改代码，除非用户明确要求修复。发现需包含严重程度、状态（Confirmed/Likely/Needs follow-up）、置信度、类型、精确位置、受影响行为、观察到的证据、推断、已检查项、建议与下一步验证。大型审计可用 00-plan.md、每子系统文件、SUMMARY.md 和 HANDOFF.md 作为控制平面。
适用场景：真实代码库的多子系统正确性与上线就绪度审计、复发或高风险区域排查、跨会话大型审计与交接。
限制：证据标准强调失败测试、可复现路径、直接代码矛盾等强证据优先；仅静态推理通常只能标为 Likely 而非 Confirmed；死代码或过时文档必须展示消费者搜索；不可在未证明的情况下称为 bug；不完整的覆盖缺口需明确列出。