用途：这是一条在任务完成后、宣布完成前使用的验证原则，要求对每一项产出直接核验真实事物，而不是从代理指标、自我报告或“能编译”来推断。
主要能力：强调直接检查而非间接推断——直接检查进程存活，而非通过派生状态；读取实际值，而非缓存或派生的表示；当验证失败时，先怀疑观察方法，再怀疑系统本身。核对原始已接受的需求，计划、总结或委派都不能悄悄收窄范围；每条需求需有证据或明确缺口，未满足的需求阻止完整完成声明。若工作包含威胁模型或安全审查，需在受威胁边界处将每个已声明威胁与缓解证据对齐，缓解声明本身不算证据，未解决威胁保留在完成结论中。
使用方式：将证明与结果绑定——记录每次检查所针对的产物、其修订版本（如适用）和相关环境；合并改动后，对集成结果重跑受影响路径的检查，分开通过的分支不能证明其组合成立。任务或项目要求时运行指定的验收辅助工具；无法运行时报告缺口；任何替代方案需先按同一验收标准论证等价性。能脚本化就脚本化：最强的证明是可重复运行同一比较的确定性脚本，而非一次性目测，写出脚本、运行它，并保留输出作为审阅者可重跑的产物。为人类保留可见的产物；仅对大型或复杂工作需要可审计痕迹时提交（如大型移植或迁移，见 show-me-your-work 技能）。
限制：资料未提供具体安装命令、价格、平台支持或代码示例等事实；该原则本身不提供自动化工具，需要人工或脚本执行验证。