SuperAPI AI 工具集

principle-prove-it-works

通用与其它

查看项目

更新于 10-15 14:39

技能介绍

用途

本技能用于在完成任务之后、宣布完成之前进行验证。核心要求是:直接检查真实产物本身,而不是通过代理指标、自我报告或“能编译通过”来推断。

为什么需要

未经验证的工作,其正确性未知。间接验证(文件修改时间、输出新鲜度、智能体自我报告、缓存的截图)看起来比直接观察更省事,但基于错误推断采取行动的代价远高于检查源头。

主要能力

  • 检查真实事物,而非代理:直接检查进程存活状态,而不是通过派生状态间接判断;读取真实值,而不是缓存或派生的表示。
  • 当验证失败时,先怀疑观察方法,再怀疑系统本身。
  • 既验证过程,也验证结果。正确的结果可能建立在有问题的过程之上,而只检查结果的审查会放过它:例如从用户粘贴内容而非持久记录重建的条款,或从未读取的文件中偶然满足的约束。对于所依赖的每个事实,要指明它来自哪条记录,并确认该记录正是项目规则所指向的那一条。
  • “红色”是一种颜色,不是一种度量。失败的检查只有在失败内容正是你预测的分歧时,才能证明工具本身。异常、空集合对非空字面量、以及真正的值不匹配都会打印红色,因此要引用断言的差异(如“Extra items in the right set”),而不是断言本身(如 assert {...} == {...})。收敛探针应只针对新产物才能产生的行为,而不是旧产物也会发出的身份字段。同一 SHA 的重启会让旧代码报告新的提交 SHA。

使用方式

尽可能将检查脚本化。最强的证明是一个可重复运行相同比较的确定性脚本,而不是一次性的肉眼检查。编写脚本、运行它,并保留其输出作为产物,让审查者可以重新运行,而不是只相信你的话。

将产物保持对人类可见。仅对大型或复杂的工作才提交,因为这类工作的痕迹需要日后可审计,例如大规模移植或迁移(参见 show-me-your-work 技能)。

适用场景

适用于任何任务完成后的验证环节,尤其是需要确认功能实际运行、读取真实值、检查差异的场景。

限制

资料未提供关于收费、价格、平台支持范围或具体效果的信息。