SuperAPI AI 工具集

verification-before-completion

编程与开发

查看项目

更新于 10-16 02:22

技能介绍

用途

Verification Before Completion 是一个行为约束型技能,用于在 AI 编码助手即将声称“工作已完成、已修复或已通过”时,强制其先执行验证。它的出发点是:未经核实就宣称完成不是高效,而是不诚实。

核心原则

  • 证据先于声明,始终如此。
  • 违反规则的字面要求,就是违反规则的精神。
  • 铁律:没有新鲜的验证证据,不得作出任何完成声明。如果本条消息中没有运行过验证命令,就不能声称它通过。

主要能力

技能提供了一套可执行的“门控函数”,在声明任何状态或表达满意之前必须依次完成:

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

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

常见失败对照

技能列出了声明与所需证据之间的差距:

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

危险信号

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

借口防范

技能逐条反驳常见借口:“应该能跑了”对应“去运行验证”;“我有信心”对应“信心不等于证据”;“就这一次”对应“没有例外”;“Linter 过了”对应“Linter 不等于编译器”;“智能体说成功了”对应“独立验证”;“我累了”对应“疲惫不是借口”;“部分检查够了”对应“部分证明不了什么”;“换个说法规则就不适用”对应“精神重于字面”。

关键模式示例

  • 测试:运行测试命令,看到 34/34 通过,再说“所有测试通过”;而不是“现在应该能过”或“看起来正确”。
  • 回归测试(TDD 红-绿):编写 → 运行(通过)→ 撤销修复 → 运行(必须失败)→ 恢复 → 运行(通过);而不是只写一个回归测试就宣称有效。
  • 构建:运行构建,看到退出码 0,再说“构建通过”;而不是“Linter 过了”。
  • 需求:重读计划 → 创建清单 → 逐项验证 → 报告缺口或完成;而不是“测试通过,阶段完成”。
  • 智能体委派:智能体报告成功 → 检查版本控制差异 → 验证变更 → 报告实际状态;而不是直接信任智能体报告。

适用场景

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

限制

该技能是一套行为规范,不提供具体项目的验证命令或工具链配置;实际命令需由使用者根据项目自行确定。资料未提供安装方式、收费信息或平台支持范围。