SuperAPI AI 工具集

verification-before-completion

智能体与模型

查看项目

更新于 10-13 21:09

技能介绍

用途

Verification Before Completion 是一个面向 AI 编码助手的行为规范技能,用于在「声称完成」这一环节建立强制验证流程。它的核心立场是:任何关于「完成、修复、通过」的声明都必须以新鲜的验证证据为前提,没有证据就不能下结论。

该技能明确写道:违反本规则的文字,就是违反本规则的精神。这意味着不能通过换一种措辞来绕过要求。

主要能力

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

它定义了一个「门控函数」,在声称任何状态或表达满意之前必须依次完成:

  1. IDENTIFY:确定什么命令能证明该结论;
  2. RUN:执行完整命令(新鲜、完整);
  3. READ:读取完整输出,检查退出码,统计失败数量;
  4. VERIFY:输出是否确认了该结论——如果不确认,用证据说明实际状态;如果确认,带证据陈述结论;
  5. ONLY THEN:此时才可以做出声明。

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

常见失败对照

技能给出了「声明—所需证据—不足以作为证据」的对照,例如:

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

危险信号(应立即停止)

使用「应该」「大概」「似乎」等措辞;在验证前表达满意(如「很好!」「完美!」「完成!」);未经验证就准备提交/推送/创建 PR;信任智能体的成功报告;依赖部分验证;想着「就这一次」;因为疲惫而想尽快结束;任何暗示成功但未运行验证的措辞。

借口防范

技能预判并反驳了若干常见借口:

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

关键模式

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

适用时机

始终在以下情形之前应用:任何形式的成功/完成声明;任何满意表达;任何关于工作状态的正面陈述;提交、创建 PR、任务完成;进入下一任务;委派给智能体。

规则适用于:确切措辞、改写与同义词、成功的暗示、任何暗示完成/正确的沟通。

限制

资料未提供该技能的具体安装方式、支持平台、版本信息或授权方式。