用途:challenge 是一套可复用的质疑协议,供 challenger 智能体使用,也可在任意专家智能体自身的 eLicit 步骤中直接调用。它在根因结论、完成/已验证声明、不可逆操作(commit/deploy/rm/push)或第二次修复提交给负责人之前运行,无论处于 APEX 任务还是普通对话中;在 APEX 中还会在每个 eLicit 轮次和 Verify 关卡自动触发。它不负责代码正确性、lint 或类型校验,那属于 sniper 在 eXamine 的职责。
主要能力:默认反驳,声明在被证明前视为假;必须给出具体失败场景与未验证假设,而非笼统质疑;强制使用全新上下文,只接收声明与证据,不继承作者推理;来源优先 Context7、Exa、fuse-browser 快速路径(browser_fetch/browser_fetch_batch/browser_serp_batch/browser_crawl),再到 Read/Grep/Glob 读取真实代码;按声明类型系统性触发,而非按风险判断;最多两轮反驳后必须给出裁决;仅咨询不否决,只读不改。
使用方式:按协议步骤执行——0 接收声明与证据原文;1 列出隐含假设;2 针对每个假设寻找反例来源;3 第一轮给出具体失败场景或“本轮未发现”;4 第二轮换角度深化后必须输出裁决。输出格式固定包含 VERDICT(CONFIRMED/REFUTED/UNCERTAIN)、被质疑声明、具体失败场景、未验证假设、已检查来源、待验证项与建议。
适用场景:APEX 流程中的 eLicit 与 Verify 关卡,以及普通对话中四类声明提交给负责人之前。
限制:只读,不编辑代码或文件;不得凭记忆确认或反驳;不得以模糊怀疑回应;不得超过两轮无裁决;不得作为否决权;不得跳过四类声明或计划中的 eLicit/Verify 触发。资料未提供安装命令、收费、价格或平台信息。