用途：对密集且正确性优先的工件（论文、证明、安全敏感改动、迁移等）做全面对抗式审计，替代逐轮评审。适用于用户要求“全部修复”“更深入”“更快收敛”且已同意多智能体编排的场景。
主要能力：按思想而非章节分解为独立主张、引理、估计量、子系统、不变量，并加入横切失效模式视角；每个组件派一名对抗式查找者，默认“存在缺陷”，要求给出精确位置、一句话缺陷和失败案例；由独立裁决者判定 CONFIRMED/REFUTED/DOWNGRADED；去重排序后修复全部确认项并复验，直到连续两轮审计为空（上限 5 轮）。
失效模式视角：过度声称、证明中的范围蔓延、静默假设、边界情况、循环论证、内部矛盾。
必要用法：用并行 Agent 调用扇出（每组件一查找者），再每组件一裁决者，然后综合；有 Workflow 工具时可用 pipeline(components, finder, judge) 加速。查找者用强执行/分析模型，裁决者用强裁决模型，均按本地 model-routing.md 约定。
机械检查：对每个估计方程、影响函数恒等式、识别主张和总体矩编写可执行检查，在对抗性玩具设计上数值断言，脚本存入仓库测试目录并附 README，公式变更后重跑。
限制：需用户先同意多智能体编排；修复由主循环人工完成；新引入的数学需再审计；无法在既定假设下修复的组件应报告确切缺口而非强行修补。仓库自身审计见 references/repo-infrastructure-audit.md，先运行 ./scripts/backtest.sh。