最古老的 harness
——程序法是人类为易错智能写下的第一份 harness
AI 工程圈最近有一场争论，值得法律人旁听。
争论的对象是 harness——包在模型外面的那套运行结构：工具、权限、核验、编排。一方说它只是脚手架：模型还弱，才需要在外面搭这么多架子；模型变强，这些机制会被训进权重，脚手架终将拆除。另一方来自训练前沿模型的一线，反驳分两层：单看每一项机制，确实都在被吸收——昨天还需要精心编排的流程，今天一次调用就能完成；但看总量，harness 随模型变强一直在变厚，旧机制被吸收的同时，更强的智能解锁了更复杂的交互，新机制在上面长出来。此消彼长，就像人脑胜过猿脑之后，带来的不是不需要工具，而是语言与文字。
这场争论有一个双方都没有征引的参照系。有一个行业，几百年来一直在解决同一个问题——如何让会出错的智能，产出可靠的结果——而且它从头到尾没有能力重新训练自己的“模型”。法官不能微调，不能回炉，换一个上来也还是人。这个行业能做的只有一件事：把结构建在智能的外面。
两种 harness
先把争论理清。判别的问题只有一个：这个机制是在补模型的能力短板，还是在接世界的结构约束？
补短板的机制注定被吸收，它的存在理由就是模型还不够强——《过渡期的租金》里那个词在这里同样适用：自清算。而接世界的机制锚定的不是能力，是不变量。核验必须在生成者之外，因为独立性是结构性质，再强的智能说“我查过了”也不构成查过。授权不可自产，谁有权做价值权衡、谁能为结果担责，是制度事实，与能力无关——《断点》列过这份清单。地面真值需要传感器，世界的当前状态不在任何权重里。还有时间：跨任务的记录、对过答案的校准，定义上长在模型外面。
法律史恰好为两种 harness 各留了标本。神明裁判——沸水取物、烙铁验伤、司法决斗——是事实查明能力为零的时代搭的架子：既然没人查得清真相，就把判断外包给神。等证人制度、证据技术、鉴定方法到位，这套架子被整体拆除，一如脚手架论的预言。但同一部法律史里，对抗制、说理义务、上诉审不但没有拆，反而越建越厚。被拆掉的是补能力的，留下来的是接世界的。
越聪明，结构越厚
脚手架论还有一个隐含预测：智能越强，需要的结构越少。法律史给出的曲线恰好相反。
中世纪的法官受到的程序约束极少，判决可以不附理由，也几乎无处上诉。现代法官受过多年训练、经过层层选拔，智能远胜从前——程序却空前精密：证据规则成百条，审级设了三层，说理义务写进法律，连心证这块最后的自留地也被围了起来（《自由心证不自由》写过这次围拢）。智能提升与结构加厚是同向的，不是互替的。原因和 AI 那边一模一样：更强的智能被托付了更复杂的事务，而事务越复杂、赌注越大，结构就必须越厚。牛车不需要信号系统，高铁离不开它。
法律早就写好了
于是把程序法用工程的眼睛重读一遍，会认出一整套 harness 设计，而且几乎每一件都对应着 AI 工程此刻正在重新发明的机制：
- 举证责任分配，是输入侧的控制协议——谁向系统供给事实、供给不足的后果由谁承担，写得清清楚楚；
- 质证与对抗制，是把核验放到生成者之外的结构方案——检验一个论证的任务，不交给提出它的人，交给利益与它相反的人。红队不是 AI 的发明，对抗制已经用了几百年；
- 合议庭，是对同一问题采样多个独立判断再行聚合；回避制度，是在采样之前移除已知偏置；
- 判决书的说理义务，是强制输出推理痕迹——《写不下去的判决书》说过，说理是给结论设的资格考试，写不下去的判决不许生效；《可以被弹劾的结论》补了另一半：留下推理痕迹，结论才是可攻击的，而只有可攻击的结论值得信任；
- 上诉审，是制度化的判卷回路——错误不靠祈祷避免，靠一条常设的通道被发现、被纠正；
- 审限与既判力，是终止保证——程序必须收敛，争议不能无限递归。
这套设计有一个共同的哲学，也是它最深的一处工程智慧：程序法从不保证判决正确。它不承诺产出最优的结果，它承诺错误有被发现和纠正的通道；它不试图造一个不会出错的法官，它承认智能会出错，然后把结构建在外面。这恰恰是 harness 这个词的本义：挽具。挽具不让马变得更强，它让马的力气落在车辕上——结构的作用不是提升智能，是让智能的输出可靠地传递到世界。
抄，而不是发明
这个参照系对两边各有一句话。
对 AI 工程：程序法是一座现成的设计库。每设计一个 harness 机制，都值得问一句——程序法里有没有对应物？有，说明它接的是不变量，值得建厚；没有，它多半在补模型的短板，从第一天就该标记为待拆。这条检验免费，而且立刻可用。
对法律：那场争论的终局判断是，harness 会逐渐与人类既有的社会基础设施合并。对法律 AI 而言，这个终局有一个具体的名字——它最终并入的基础设施，就是程序法本身。机器进入法律推理的方式，不会是替换法官，而是被套进同一副挽具：供给事实要负举证之责，输出结论要附推理痕迹，接受与它利益相反者的质证，错误走上诉的通道。程序法为人这种易错智能写成，没有理由不为下一种易错智能扩展。
这个系列从霍姆斯那句话出发：法律的生命不是逻辑，而是经验。绕了一圈会发现，这句话也是对 harness 最好的注解——结构里沉淀的不是对智能的信任，是与易错智能打了几百年交道的经验。
模型是新的，问题是旧的。如何让会出错的智能产出可靠的结果——这个问题人类解了几百年，答案的名字叫程序。