用途：在代码编译通过后、最终收敛审查与“完成”之前，对任何非平凡的功能、模式、契约、解析器、序列化器、协议、状态机或安全/冻结守卫进行对抗式审查。仅对琐碎或机械性改动可跳过。
主要能力：把攻击面拆成 2–4 个互不重叠的区域（如往返与规范化、判定/状态模型、安全/守卫），每个区域一个智能体，并行后台运行。每个智能体按章程模板指定：唯一攻击面、要证伪的承诺（如“任何真实输入都能无损往返”“只有一种规范编码”“被掩码内容绝不泄漏”“守卫无法被绕过”）、5–10 个具体恶意输入，以及硬性规则——驱动真实系统，不得仅凭源码推理。
使用方式：为每个智能体编写章程，要求其只读、报告发现而不修改；通过路径依赖构建临时测试装置或运行真实二进制，喂入恶意输入；对每个攻击向量标注“真实缺陷”或“已正确处理”，附 file:line、确切触发输入及现有测试是否覆盖；按 BLOCKER/MAJOR/MINOR 排序，最后给出排序缺陷列表与前三项的具体失败测试。
纪律：真实系统优先于推理；自身自检不能替代对抗审查；修复前先独立复现，无法复现的降级。每个确认缺陷都要有修复和回归测试（或新的 proptest 生成器用例）。记录已验证干净的向量与超出范围的发现。
反模式：章程重叠导致重复与遗漏；只说“审查这个文件”会诱发静态阅读；单个巨型智能体弱于多个聚焦并行智能体；未经独立复现就相信发现，或不加回归测试就修复。
限制：资料未提供具体安装命令、收费、平台支持或性能数据，暂未提供。