摘要

  • 2020 年，AFRINIC 共同主席认定 2020 年 7 月 30 日的 AFPUB-2019-GEN-006-DRAFT02 未形成共识，这项否定性判断受到申诉。申诉的存在只证明决定受到争议，并不证明申诉方正确、方案应获通过或后来发生了任何实施结果。
  • 粗略共识不是计票。共同主席可以衡量技术理由，也可以在实质异议仍未解决时叫停提案；但他们需要冻结准确版本，把每项重要异议与条文、证据、独立受影响主体或角色、回应和处置相连，说明剩余问题为何仍足以阻止趋同。
  • AFRINIC 的申诉机制能够在私人政策程序内确认、推翻或发回一项判断，却不能命令网络采用过滤、决定所有权或裁判公共权利。AFRINIC 只是私人技术记账者与协调者，拥有的主权、立法、监管、警察、检控、惩罚、没收和公法裁判权力均为零。
  • NRS、Heng Lu、LARUS 与 BTW 所提供的，是退出与冗余、协调与权力之分、运营连续性后果，以及以事实、通知、理由、证据和有限救济为中心的观察方法；它们都不是资源分配者、签发机构、监管者或替代法庭。

L3 — 被申诉的无共识决定

一台机器等待一句人的解释

RPKI 的技术世界常以确定的格式出现：对象可以被读取，来源授权可以被验证，验证结果可以进入网络自己的路由策略。可是，AFPUB-2019-GEN-006-DRAFT02 在 2020 年遇到的制度问题并不具有这种机器式的确定性。现有材料可以确定，这份第二版文本日期为 2020 年 7 月 30 日；共同主席后来认定它没有形成共识；这一认定在 2020 年遭到申诉。提案所触及的是机器可读的 AS0 信号，挡住它继续前进的却是人对“共识是否存在”的定性判断。

这正是事件的悖论。机器能够按照既定输入给出一种验证状态，但粗略共识不能由程序简单算出。共同主席必须听取理由、区分技术分歧与重复陈述、判断回应是否足以消解异议，并在讨论不再趋近时作出结论。这种判断需要裁量。没有裁量，政策讨论会退化为发帖数量、到会人数或最后一个仍在说话的人决定结果；裁量若没有可见理由，又会把一句“没有共识”变成无法检查的黑箱。

申诉因此不是围绕一个已经实施的技术动作展开，也不是对某条现实路线被拒绝的追责。可以确定的制度对象很窄：共同主席关于 Draft 2 无共识的判断，是否留下了足以让内部复核者理解和检验的记录。被申诉的是一次消极结论，不是宣布共识的决定，更不是实施行为。它提出的核心问题是：当主席决定不给一项提案下一步时，需要说明什么，才能让复核既有意义，又不把申诉变成第二轮政策制定。

“无共识”很容易被误解成没有决定。实际上，它对眼前这份文本产生了清楚后果：提案不再沿预期程序前进，提出者与参与者必须在修改、重开讨论、放弃或提出异议之间选择。它没有产生一条命令，却拿走了一个程序上的下一步；它没有证明方案错误，却使方案无法依现状继续。否定性决定的力量，恰恰来自它可以不创造新规则也能维持现状。

这种力量并不必然不正当。重要技术异议如果仍然存在，主席当然可以叫停。安全目标听起来再迫切，也不能替代对错误可能、操作选择与受影响角色的讨论。一项带有“路由安全”标签的提案，不应仅凭目标的道德吸引力自动过关。可是，叫停的合理性必须能从当时那一版文本和当时的讨论中看见，而不能依赖主席身份、会场气氛或后来发生的事情为它补上理由。

AS0 信号的有限技术背景

理解争议的分量，需要知道 AS0 ROA 大致做什么，但不需要把这篇分析改写成对 AS0 制度本身的全面辩论。AS0 ROA 是一种机器可读的否认性信号。路由来源验证会产生技术状态，网络运营者可以把这些状态纳入自己的本地路由政策。关键的制度分界在于：ROA 不是删除路由的手，验证状态也不是对产权或合法性的判决。最终如何使用验证信息，仍然取决于网络自己的配置、风险判断与运营责任。

因此，提案涉及安全，并不意味着共同主席或 AFRINIC 可以命令任何网络过滤；提案被叫停，也不证明某个前缀随后遭受攻击、某条路线被拒绝、某位持有者受损，或安全收益因此落空。现有证据没有建立 Draft 2 曾被实施，没有建立任何 AS0 对象因它产生，也没有建立停机、误判、损失或可量化收益。技术背景只能解释为何参与者可能认真对待时间和证据，不能用来填补事件结果上的空白。

这一区分也阻止两种相反的夸大。第一种夸大是把“安全”当成自动通行证：既然目的有益，就认为任何程序上的迟疑都是妨碍安全。第二种夸大是把内部政策讨论当成主权行动：既然技术对象可能影响运营，就认为 AFRINIC 的判断等同监管命令。两者都把机制与权力混为一谈。机器信号的潜在用途可以重要，私人协调者的公权力仍然是零；共同主席的判断可以产生程序后果，它仍然不能替网络作出路由决定。

已知的事实，以及不能被写成事实的空白

关于这次申诉，可以稳固陈述的内容比通常的事件报道少。准确对象是 AFPUB-2019-GEN-006-DRAFT02；日期是 2020 年 7 月 30 日；共同主席认为该版文本未形成共识；这项判断在 2020 年受到申诉。AFRINIC 公布的 2017 年 Version 2 申诉条款描述了一种内部复核：评估事实，依据既有邮件列表和会议记录考察程序遵循情况以及共识或无共识判断，并以理由说明确认、推翻或发回的处理。

但这些条款的存在，不足以证明其中哪一条支配了这次事项的每一个步骤，更不能替代个案记录。现有材料没有确立申诉的具体提交日期、申诉者是谁、有哪些支持者、共同主席原话、每一项异议的原文、处理该事项的成员构成、会议日期、表决方式、票数、不同意见、报告日期、最终处理，或任何后来的实施事实。任何看似能让故事更完整的姓名、动机、胜负与结果，都不能从这些有限事实中推出。

这不是写作上的遗憾，而是制度分析的起点。复核一项决定，首先必须知道可复核对象是什么；评价一份记录，首先必须承认哪些记录并未呈现。若用后来版本的文字倒推 Draft 2 当时包含什么，或者用提案系列后来的走向证明申诉的成败，就会把不同时间的对象混在一起。一个后来可能出现的更清晰文本，不能反过来证明早先的异议已经被回答；一个后来可能出现的程序结果，也不能自动修复当时理由的不足。

申诉的存在本身只证明“有人争议这项判断”。它没有证明申诉者具有什么特定身份，没有证明其每项主张有理，也没有证明复核者同意。更重要的是，它没有证明 Draft 2 应当被采用。把申诉当作胜诉证书，会犯与把主席身份当作理由相同的错误：用制度位置代替可检查的内容。

消极结论如何产生真实成本

如果一句“没有共识”不解释阻碍趋同的究竟是什么，它就可能在实践中像一个不透明的否决。提出者不知道应当改哪一句，参与者不知道已给出的回应为何不够，旁观运营者不知道争议是集中于一个可修正问题，还是触及方案的根本。于是，下一轮讨论容易从头开始：旧问题被重新陈述，已经回答的疑问再次占用时间，新的证据也无法准确对准决定者真正关心的缺口。

成本不只属于提案作者。参与政策讨论需要时间，需要技术人员阅读文本、检验假设、解释部署条件。机构需要判断一个协调规则究竟处于讨论、停滞还是可能继续的状态。运营者还要把制度不确定性转化成内部计划：是否需要为潜在变化保留工程资源，是否应向客户解释尚未成熟的安排，是否要等待更清楚的信号。没有理由的暂停不会自动导致事故，但会延长无法定价的等待。

LARUS 的运营视角在这里尤其重要。政策会场可以用“继续讨论”描述拖延，网络和客户却必须承担连续性义务。工程队伍不能把不确定性当成抽象辩论；它们要安排人员、变更窗口、风险沟通和客户承诺。LARUS 并不能证明 Draft 2 曾造成具体事故，也不能证明这次申诉的结果，但它提醒人们：治理过程的模糊最终由运营端消化，而不是由宣布“无共识”的房间独自承担。

反过来说，一份清楚的否定性记录可以节省成本。它让作者知道一次针对性的修改是否值得，让反对者看见其担忧是否被准确理解，让主席避免无休止地回应同一论点，也让运营者区分“尚未成熟的协调提案”与“已经生效的规则”。它最大的可证明收益不是某种并未测量的路由改善，而是缩小不确定性和重复程序的成本。

这也是为什么负面决定仍然是一项决定。其后果不是强制执行，而是选择空间的重新排列。它让现状继续，让提案承担再次举证的负担，并把下一步的成本分配给作者、参与者和等待中的运营者。要求说明理由，不是把暂停描述成违法，更不是默认提案值得通过；只是承认程序上的“不前进”也需要能够被理解。