第二幕 · 从意图到规范
判断依据要先写下来,不能等结果出来了再现场比对。
这一幕篇幅最重,因为它是全书方法论真正的核心:怎么让「什么结果算对」独立于实现存在,写成能反复检查的条件,而不是每次都靠人临时比对。后面几幕遇到的每一次裁决,用的底层动作都是这一幕教的。
五章依次搭起一整套闭环。第 4 章先揭开一个陷阱:一组测试全绿,却因为期望值抄自实现自己的输出,什么都没验证。第 5 章补上真正的裁决依据:在实现出现之前,把「某种输入经过一次操作应该看到什么」逐条写清楚,由人裁决,不由 AI 自证。第 6 章让这些条件先按预期失败一次,证明这把尺子真的会拦。第 7 章把「让 AI 改到通过」变成一个可重复的循环,通过之后由人检查测试、依赖、配置有没有被暗改。第 8 章补上另一半能力:不靠 AI 转述,自己也能读懂一段陌生代码在做什么。
这五章跑完,报价整理器不再只是「能用」,它有了一整套独立于 AI 自证的判断依据。第三幕接下来要做的,是拿着这套依据去对付更狡猾的情况:测试全绿但被动过手脚、改动看不出明显问题、自己测不出的假设。