SuperAPI AI 工具集

verification-before-completion

智能体与模型

查看项目

更新于 10-15 18:11

技能介绍

用途

本技能用于约束智能体或开发者在宣称工作完成、成功或正确之前,必须先取得可验证的证据。其核心原则是「证据先于声明,始终如此」,并强调违反规则的字面即违反规则的精神。

主要能力

技能提出一条「铁律」:没有新鲜的验证证据,不得作出任何完成声明。如果在本条消息中没有运行过验证命令,就不能声称其通过。

技能定义了「门控函数」,要求在声明任何状态或表达满意之前依次执行:

  1. 识别:哪条命令能证明该声明?
  2. 运行:执行完整命令(新鲜、完整)。
  3. 读取:读取完整输出,检查退出码,统计失败数。
  4. 验证:输出是否确认该声明?若否,则带证据陈述实际状态;若是,则带证据陈述声明。
  5. 只有到这一步,才作出声明。

跳过任何一步都等于撒谎,而非验证。

常见失败对照

技能列出若干「声明—所需证据—不充分证据」的对照:

  • 测试通过:需要测试命令输出 0 失败;此前运行或「应该会通过」不充分。
  • Linter 干净:需要 linter 输出 0 错误;部分检查或外推不充分。
  • 构建成功:需要构建命令退出码 0;linter 通过或日志看起来正常不充分。
  • Bug 已修复:需要测试原始症状通过;仅改代码并假定修复不充分。
  • 回归测试有效:需要验证红绿循环;测试只通过一次不充分。
  • 智能体已完成:需要版本控制差异显示变更;智能体报告「成功」不充分。
  • 需求已满足:需要逐行核对清单;测试通过不充分。

危险信号

出现以下情况应停止:使用「应该」「可能」「似乎」等措辞;在验证前表达满意(如「太好了」「完美」「完成」等);在未验证时准备提交、推送或创建 PR;信任智能体的成功报告;依赖部分验证;认为「就这一次」;因疲惫而想尽快结束;任何暗示成功但未运行验证的措辞。

借口防范

技能给出常见借口与现实的对照:

  • 「现在应该能用了」→ 运行验证。
  • 「我有信心」→ 信心不等于证据。
  • 「就这一次」→ 没有例外。
  • 「Linter 通过了」→ Linter 不等于编译器。
  • 「智能体说成功了」→ 独立验证。
  • 「我累了」→ 疲惫不是借口。
  • 「部分检查就够了」→ 部分检查证明不了什么。
  • 「换个说法规则就不适用」→ 精神重于字面。

关键模式

  • 测试:运行测试命令,看到 34/34 通过,再说「所有测试通过」;而非「现在应该能过了」或「看起来正确」。
  • 回归测试(TDD 红绿):编写 → 运行(通过)→ 还原修复 → 运行(必须失败)→ 恢复 → 运行(通过);而非仅声称「我写了回归测试」而未做红绿验证。
  • 构建:运行构建,看到退出码 0,再说「构建通过」;而非「Linter 通过了」(linter 不检查编译)。
  • 需求:重读计划 → 创建清单 → 逐项验证 → 报告缺口或完成;而非「测试通过,阶段完成」。
  • 智能体委派:智能体报告成功 → 检查版本控制差异 → 验证变更 → 报告实际状态;而非信任智能体报告。

适用场景

技能要求始终在以下情况之前使用:任何形式的成功或完成声明;任何满意表达;任何关于工作状态的正面陈述;提交、创建 PR、任务完成;进入下一任务;委派给智能体。规则适用于原话、改写与同义词、成功的暗示,以及任何暗示完成或正确的沟通。

限制

技能说明:仅当任务明确符合上述范围时使用本技能;不要将输出视为环境特定验证、测试或专家评审的替代;如果缺少必要输入、权限、安全边界或成功标准,应停止并请求澄清。