为什么你必须能对验证本身进行推理

当越来越多代码由 AI 智能体生成、人不再阅读代码时，验证依然无法省略：AI 可以自己写测试，但把测试也当作黑盒只是把验证问题挪了位置。文章区分了开发者自查用的测试与利益相关方确认需求是否满足的测试，后者只有被人亲自读懂才有效。无论采用手动 QA、单元测试、静态类型还是形式化验证，都必须有一个人脑能理解的证据，AI 无法替你完成这一步。