用途：这是一个在任务完成后、宣布完成之前应用的验证原则，核心是“证明它确实能用”。它要求对每个任务输出做直接核验，而不是从代理指标、自述报告或“能编译”中推断结论。
主要能力与要点：检查真实对象而非代理，例如直接检查进程存活状态而非通过派生状态间接判断，读取实际值而非缓存或派生表示；验证失败时先怀疑观察方法，再怀疑系统。对代码和功能，要求构建（必要但不充分）、运行并走通真实功能路径、检查从输入到输出的完整数据链，集成类工作要端到端测试完整通信路径。
过程与结果并重：正确结果可能建立在有问题的过程上，因此对依赖的每个事实要指明其来源记录，并确认该记录正是项目规则所指向的那一个。
关于失败信号：失败检查只有在失败内容与预期的不一致相符时才能证明工具有效；异常、空集合对非空字面量、真实不匹配都会显示为红色，因此应引用断言的差异内容而非断言本身。收敛探针应针对只有新产物才能产生的行为，而非新旧都会输出的身份字段。
委派验证：信任产物而非自述，检查实际输出产物（git diff、文件内容、运行时行为），而不是被委派者的总结。
可脚本化时写成脚本：最强的证明是可重复运行同一比较的确定性脚本，保留其输出作为可复跑的产物。产物应保持对人类可见，仅在大型或复杂工作（如大规模移植或迁移）需要后续可审计时才提交。
限制：资料未提供具体安装命令、平台支持、收费方式或使用步骤。