跳转到内容

principle-prove-it-works

通过直接检查真实对象来验证每个任务输出。不要从 proxy、自报或「能编译」推断。

原因: 未验证的工作正确性未知。间接验证(file mtime、output freshness、agent 自报、cached screenshot)感觉比直接观察便宜。基于错误推断行动的成本远高于检查源。

检查真实对象,不是 proxy:

  • 直接检查 process liveness,不要通过 derived state 间接检查
  • 读实际值,不是 cached 或 derived representation
  • 验证失败时,先怀疑 observation method,再怀疑系统

最强证明是确定性脚本重跑同一比较,不是一次性 eyeball。写脚本、运行它,并把输出保留为审查者可重跑的 artifact,而非信任你的话。

让人类可见 artifact。仅在大型或复杂工作、且 trail 需日后可审计时提交,例如大 port 或 migration(show-me-your-work skill)。