本文剖析了生成式AI在工程验证中的范式转变：从依赖模型生成测试用例，转向构建可复现、可复查的验证流程。核心在于将“执行固定化”（deterministic test）与“期望值独立性”结合，通过脚本控制环境、采集可观测证据，并明确期望值来源（规格、生产事实或专家判断）。文章强调，真正的验证不在于覆盖率，而在于检查能否“变红”——即是否具备独立于实现的判据。最终提出以三个问句为验收标准：期望值来自何