用途：以负责批准计划或规格的工程师视角，对当前计划或规格进行对抗式审查。把每个声明视为未经验证，忽略作者身份与工具链，判断计划能否在无不可接受失败的前提下达成冻结结果。
主要能力：按后果、可激活性与可恢复性将发现分为 P0–P3；先攻击最高后果路径，再覆盖所有适用的任务自有表面；对同一根因的多种表现合并为一个发现；在没有当前 P0/P1 证据时立即返回 PASS。支持三种模式：full、incremental、reset-to-full，并依据 Prior 报告与当前证据判断是否收敛。
使用方式：核心输出以 PASS 或 FAIL 开头，随后是 Basis 行。若包含 Write report under:，则写本地时间命名的报告文件，否则仅在对话中返回。codex-task-to-spec 适配器场景需验证命名包清单与哈希、读取冻结锁与种子清单、只审查提供的分离提交，并保持分离工作树只读。Stage: resolution-check 时暂停常规结论格式，只返回 Resolved、Lock、Resume、Basis 四项。
适用场景：计划或规格的审批前审查、代码任务规格的收敛复核、需要证据约束而非泛泛挑刺的红队审查。
限制：不得修改规格、不得自行批准自己的纠正、不得吞并实现或 PR 审查、不得使用数值置信度或风险评分；只读规格、代码、Git 与 PR 状态；仅在绑定权威缺失或矛盾且可能隐藏 P0/P1 时提问并等待。具体分类、价格与平台支持等资料暂未提供。