没有法官的程序

——非诉程序的五个母题，与多 Agent 协作缺的那半张图纸

《机器的程序法》把诉讼程序的要件抄成了 Agent 的设计规格。但那张清单有个隐含前提：诉讼程序是围着一位裁判者建起来的——质证向他展示，说理由他给出，上诉找他的上级。而法律实务的另一半没有这位裁判者。合同签署、尽职调查、公司决议、意见出具、并购交割——非诉的世界里没有法官在场，出了错也没有当庭的纠正机会。

于是非诉程序回答的是一个更难的问题：没有裁判者在场，可靠性从哪里来？

实务给出的答案有一个共同原理：非诉程序是预防性程序——它是在为一场多半永远不会开庭的审判准备卷宗。公证为什么要亲历在场，会签为什么要留痕，尽调为什么要底稿？全部是把未来可能的质证提前到现在预演：假如有一天这份文件被摆上法庭，它要经得起那时的审视。正当性不来自当场的裁判，来自预先制造的可验证性。

这个处境与 Agent 严格同构，甚至比诉讼那半张图纸更贴身：Agent 的日常输出同样没有裁判者当场把关，多数法律 AI 干的也恰恰是非诉的活。把非诉实务的板块过一遍，能抄的东西一点不比诉讼少。

决议、会签与分权

董事会决议有效，不是因为决策英明，是因为程序合规：召集、通知、法定人数、表决比例、关联回避、会议记录，逐项可查——而且配着牙齿，程序瑕疵的决议可撤销。设计方向：Agent 体系内部的重大决定——改变结论方向、放弃一条路径、扩大任务边界——也该有决议形式：足额的独立判断、利益关联者回避、决定连同理由强制记录。记录不是官僚主义，是救济的前提：没有会议记录，事后连撤销都无从撤销。

会签把分权做到了职能层面。合同用印之前，业务、法务、财务各自会签——不是三个人串行看三遍，是三个职能各看各的维度；财务制度还要求不相容职务分离：经办与复核必须是两个人。设计方向：并行审查的每个审查者带不同的职能镜头，而不是同一双眼睛重复三次；生成与复核职务不相容——这是回避制度的非诉表达，《机器的程序法》里那句“独立性是结构性质”在这里换了个说法：分权是岗位设置问题，不是责任心问题。

尽调三件套：清单、底稿、函证

尽职调查是非诉里程序化最彻底的板块，三件东西全能搬。

清单驱动。尽调从来不是“看看有没有问题”，是拿着清单逐项过，覆盖率是显式的。设计方向：审查型任务先出核查清单，交付时同时申报两样东西——查了什么，和没查什么。未覆盖范围的沉默是尽调的大忌：客户会把“报告没提”读成“查过没事”。Agent 的输出正在大规模制造这种沉默，而解法八十年前就有了。

底稿。尽调结论可以一页纸，底稿必须完整——每个结论都翻得回工作痕迹，监管抽查抽的就是底稿。这是留痕义务的非诉版：交付物与工作记录是两份东西，前者给客户看，后者为未来那场可能的审判准备。

函证——三件里最锋利的一件。尽调不信目标公司自己报的银行存款数，直接向银行发函求证；不信“我们没有未决诉讼”的陈述，自己去查裁判文书。这是传闻规则的主动形态：不信转述，向独立源直接求证。设计方向：关键事实凡是能向独立源核验的——登记机关、公开数据库、原始凭证——必须直接核，中间转了几手的信息不因为说的人多就变成事实。模型尤其需要这条纪律：它的参数里存满了转述的转述。

合理信赖：责任不稀释的拼装

证券发行是多专业机构协作的极致场景——保荐人、律师、会计师、评估师各出一份文件，拼成一份招股书。虚假陈述的追责实践在这里磨出了一条精细的规则：律师可以合理信赖会计师的审计报告，不必重做审计；但对明显矛盾、明显异常之处，不得闭眼信赖；各中介对各自专业范围内的内容负责，责任分段，追责到人。

这条规则几乎是为多 Agent 协作预写的。多个 Agent 接力产出时，最大的隐患不是单点出错，是责任在传递中稀释：下游默认上游可靠，上游默认下游会查，最后谁都没查。合理信赖规则给出的设计方向恰好堵住这个洞：下游引用上游的产出，可以信赖、不必重做——协作的效率来自这里；但信赖有边界，与自己手头材料明显冲突的部分必须复核——协作的可靠来自这里；每一段产出的责任归属清晰到段——协作的可追责来自这里。没有这三条，多 Agent 流水线就是一台责任稀释器，环节越多越不可信。

边界、交割与形式要件

剩下三件，各一句设计方向。

意见书的假设与限定：出具法律意见的老规矩，正文之前先写假设（假定签字真实、材料齐全）、依赖（依赖了哪些文件与陈述）、范围（仅就中国法、仅就本次交易）——意见的效力边界必须成文，边界外的事不归意见管。对应的设计：Agent 的每份交付物强制携带同样三段——基于哪些材料、假定了什么、只回答到哪里。《核验半径》说半径要自知，这里再进一步：半径要成文，写在纸上随成果走。

交割条件先决：并购交割不是一个判断，是一张清单——全部先决条件打勾才交割，一项不满足就不成交，没有“大体满足先交了再说”。对应的设计：成果出门前的检查项做成先决清单，全绿放行；黄灯不是打折放行的理由，是交割延期的理由。

公证与形式要件：公证书的证明力完全来自程序——身份核验、真实意思、亲历在场、登记存档；遗嘱须两名见证人在场才有效，形式直接决定效力。对应的设计有两处：关键输入过一道认证层，来源与完整性前置核验；以及版本完整性——骑缝章防的是核过的文件被换页，工程上的同一件事是：审定过的内容不可静默变更，变了就重新走一遍会签。

另外半张图纸

收拢起来，非诉程序的母题就五个：清单化、分权、函证、留痕、成文边界。牙齿与诉讼一样硬，只是形态不同——诉讼程序的牙齿是判决无效，非诉程序的牙齿是交割不发生、意见不出具、决议可撤销、责任追到签字人。《断言与劝诫》的判据在这里照样适用：这五个母题条条答得出“违反了会怎样”。

把两张清单并起来看，还能看出一层分工。诉讼程序贡献的主要是对抗性机制——质证、上诉、回避，管的是“结论如何经受攻击”；非诉程序贡献的主要是协作性机制——会签、信赖边界、责任分段，管的是“多方产出如何拼装而不稀释责任”。眼下的 AI 工程恰好偏科：对抗那半张图纸已经被大量讨论——红队、评测、对抗验证；协作这半张还近乎空白，而 Agent 的下一步恰恰是从单打独斗走向流水线协作。

法律实务在没有裁判者的地方运转了几百年，靠的不是相信人不会错，是把每一次协作都办成经得起未来审判的样子。多 Agent 协作要解的题，非诉律师每天都在解：没有法官在场，就让程序替法官在场。