挑战技能(Challenge Skill)是 challenger 智能体背后的可复用协议,也可以直接在任意专家智能体自己的 eLicit 步骤中使用——当专门调用一个智能体显得过重时,这套纪律同样适用。
用途
它用于在某项声明到达负责人(owner)之前,对声明进行独立的反驳式审查。它关注的是声明的可靠性,而不是代码本身的正确性。
触发条件
该技能按声明类型(claim TYPE)系统性地触发,而不是按风险大小作判断。在 APEX 任务内部或普通对话中,当以下四类声明之一即将提交给负责人时自动运行:
- 根因结论(“它坏了是因为 X”/“原因是 Y”);
- “已完成/已验证/能工作”的声明;
- 即将执行的不可逆操作(commit / deploy / rm / push);
- 第二次提出的修复或解释。
此外,在 APEX 中还会自动运行于每个 eLicit 轮次(第 4/5 步边界,挑战启发过程自身的发现与修复)和每个 Verify 关卡(在“完成/已验证”声明到达负责人之前)。
官网说明强调,这是按声明类型限定的范围,并非缩减覆盖面的捷径;促成本技能的三次真实失败都是面向负责人的对话式声明,均不在带 eLicit/Verify 的 APEX 任务内。
七项原则
- 默认反驳:声明在被证明之前视为假;从不问“你确定吗”,而是给出具体失败场景及其暴露的未验证假设。
- 强制全新上下文:接单只接收声明及其证据,绝不接收作者推理;继承作者视角会复制作者的盲点。
- 真实来源而非记忆:检索路径为 Context7 -> Exa -> fuse-browser 快速路径(browser_fetch / browser_fetch_batch / browser_serp_batch / browser_crawl)-> 对实际代码使用 Read/Grep/Glob。文档和代码优先于回忆。
- 按声明类型系统触发:在 APEX 或普通对话中均按类型触发,而非按风险判断。
- 有界:最多两轮反驳,然后必须给出裁决,不进行开放式反复。
- 咨询式而非否决:报告最强反对意见,由负责人决定;只读,不编辑任何内容。
- APEX 位置与对话位置:强化 eLicit(用独立对手替代仅自审),并为 Verify 把关(“完成”或根因声明必须经受一轮挑战才能到达负责人);在 APEX 之外,同样在四类声明到达负责人之前触发。不触及 eXamine——那是 sniper 的代码正确性职责范围。
协议步骤
- 接单:逐字接收声明与证据,丢弃任何泄露的推理或叙述后再开始。
- 假设:列出声明悄悄依赖的每一项假设(持久性、环境、工具行为、范围、时机、排他性)。
- 寻找反例:针对每项假设,按 Context7 -> Exa -> fuse-browser -> Read/Grep/Glob 查找能证伪它的来源或场景。
- 第一轮:陈述发现的具体失败场景,或“本轮未发现”;若未解决,第二轮必须使用不同角度或来源,不得重复相同检查。
- 第二轮与裁决:再深入一次,然后必须给出裁决,绝不越过第二轮继续。
输出格式(强制)
VERDICT: CONFIRMED | REFUTED | UNCERTAIN Claim challenged: <逐字声明> Failure scenario (concrete): <确切的破坏性输入/条件,或“none found”> Untested hypotheses: [...] Sources checked: [Context7: ..., Exa: ..., fuse-browser: ..., code read: <file:line>] What remains to verify (if UNCERTAIN): <解决该问题的具体检查> Recommendation: <升级给负责人 / 可以安全继续 / 阻止直至重新验证>
与 APEX 的集成
流程为:Analyze -> Plan -> Execute -> eLicit [+ CHALLENGE:独立对手] -> [VERIFY 关卡:声明经受挑战] -> eXamine(sniper,仅限代码)。
- eLicit:自审环节通过本协议获得第二次独立对抗性审查;智能体挑战自身声明会继承自身盲点,因此挑战必须以全新上下文运行(原则 2)。每轮 eLicit 都如此,无例外。
- Verify:在“完成”或根因声明到达负责人之前,必须附上本协议的裁决。每个 Verify 关卡都如此,无例外。
- APEX 之外(普通对话):在负责人收到上述四类声明之前,一律触发,无例外,无论是否有 APEX 任务在运行。
禁止事项
- 绝不把作者推理当作接单内容——只接收声明与证据;
- 绝不编辑或写入代码/文件——始终只读;
- 绝不“凭记忆”确认或反驳——必须引用已检查的来源;
- 绝不以含糊的怀疑作答——要么给出具体场景,要么 CONFIRMED;
- 绝不超过两轮而不给裁决;
- 绝不充当否决者——仅作咨询;
- 绝不在四类声明或预定的 eLicit/Verify 关卡上漏触发,无论 APEX 内还是普通对话——参与是按类型系统性的,从不是对风险的临时判断。
适用场景与限制
适用于需要对结论、完成声明、不可逆操作或重复修复进行独立复核的开发与运维对话场景。它不覆盖代码正确性、lint 或类型验证,这些由 sniper 在 eXamine 阶段负责。该技能只读、咨询式,不直接阻止操作。具体安装方式、依赖条件与可用平台在现有资料中暂未提供。