用途：对绝对化、笼统、过度自信或异常干净的具体主张进行对抗性裁决。仅在显式 $prove-it 或请求本身就是对具体主张做对抗性检验时激活；仅出现确定性措辞、普通严谨性要求、引用指令或常规实现/评审，不足以触发。主张从既有上下文中推断，无法识别时才询问。
主要能力：一次有效运行是无产物的并行子代理“关卡”。根协调者先规范化主张与范围，同时派发第 1-9 轮作为独立的 prove_it_lens 任务，收集九个轮次数据包，再派发第 10 轮 prove_it_oracle 并传入全部九个数据包，校验 oracle 数据包后转达其 final_response。第 1-9 轮必须并发派发、使用同一 prove_it_lens 自定义代理但不同镜头指令；第 10 轮使用 prove_it_oracle，且只在九个数据包齐备后运行。镜头模式包括 falsify、bound、support、compare、test_design。
使用方式：根协调者规范化主张一次，创建九个镜头任务并并发派发，等待全部九个数据包（缺失、失败或低置信度需显式记录并传给 oracle），再派发 prove_it_10_oracle_synthesis。oracle 是唯一有权选择终局结果并撰写 final_response 的组件；根协调者只校验完整性、verdict 枚举与 final_response，并原样转达，不得改写结论或另加裁决。
限制：不创建任何进度文件、模板、运行目录、清单、提示转储或转录等产物，对话响应是唯一输出面。若运行时无法派生子代理，不得在根线程伪造关卡，应停止并输出 PROVE_IT_REQUIRES_SUBAGENTS。若自定义代理不可用但普通子代理可用，可用普通子代理执行同一数据包契约，并在最终响应中给出回退警告。无主张、子代理不可用、用户只问技能如何工作、或请求是编辑技能而非检验主张时，应停止而不运行关卡。终局结果枚举为 PROVEN、DISPROVEN、NOT_PROVEN、INSUFFICIENT_EVIDENCE、BOUNDED_CLAIM_SURVIVES。