第18章　闭环与验证者问题

第18章 闭环与验证者问题 18.1 完整的闭环 把前三章合在一起，工程 Agent 的完整工作过程是一个闭环： T̂ ↓ 理解与编译（第 16 章） ↓ 生成候选 Π ↓ 在执行阶梯上执行（第 17 章） ↓ O ↓ 验证 ↓ 差距与诊断 ↓ 修正为 Π′ ↓ 再次执行 …… 在这个闭环中，“验证”一步决定了闭环向哪里收敛。验证说结果满足了目标，闭环就结束；验证说不满足，闭环就继续。本章追问一个常被忽视的问题： 谁来判定 O 满足了 T̂？ 18.2 验证本身也是一次投影 在编程中，这个问题有一个现成的答案：测试。测试把目标写成了可执行的检查，运行一下就知道是否通过。 工程中的验证要复杂得多。要判断一个零件是否满足轮廓度要求，需要……