要約

  • AFPUB-2019-GEN-006-DRAFT02は2020年7月30日付の第2稿であり、共同議長は同年、この稿に合意がないと判断した。その否定判断が異議申立ての対象になったことは確認できるが、申立人、正確な申立日、主張全文、委員構成、審理日、票決、報告日、結論は確認できない。
  • ラフ・コンセンサスは多数決ではない。共同議長には技術的理由を量り、反復投稿を独立した支持や反対と混同せず、重要な異論が残る提案を止める裁量が必要である。ただし、その裁量が正当であり続けるには、対象稿、重要な異論、根拠、影響を受ける独立した主体や役割、応答、処理理由を追える記録が要る。
  • 異議申立ての適切な効用は、AS0の採用を命じることではなく、理由のある否定判断なら確認し、説明が足りないなら同じ私的手続の中で再検討に戻すことにある。AFRINICには、主権、立法、規制、警察、訴追、処罰、没収、公法上の裁判を行う権限は一切ない。
  • NRSは退出可能性、冗長性、検証可能な仕組みを求める非主権的な提唱者、Heng Luは参加と委任、調整と権限を分ける分析の基準、LARUSは不確実性を引き受ける運用者と顧客の現実、BTWは通知・理由・証拠・見直し・実効的だが限定された救済を結ぶ調査方法を提供する。いずれも資源配分者、署名権者、規制者、裁判所ではない。

L3 — 異議申立ての対象となった非合意判断

機械可読の信号を、人が止める

この出来事の核心には、制度上の小さな逆説がある。RPKIにおけるAS0は、あるアドレス空間について、有効な起点ASを積極的に認めるのではなく、通常の起点として扱うべきでないという趣旨を機械可読の形で示すための技術的な信号である。経路起点検証は、その情報をもとに経路を一定の状態へ分類する。だが分類結果をどう使うか、どの経路を受け入れるかは、各ネットワークのローカルな運用方針に残る。ROAがルートを物理的に削除するわけでも、レジストリの会議がルーターに命令を送るわけでもない。

その技術的な仕組みに関するDraft 2は、2020年7月30日付のAFPUB-2019-GEN-006-DRAFT02として特定されている。共同議長は2020年、この第2稿には合意がないと判断した。そして、その判断に異議が申し立てられた。ここで争点となった制度的な行為は、合意を宣言して提案を進めたことではなく、合意がないとして進行を止めたことだった。

否定判断は、何も起こさないから軽い、という見方は成り立たない。ある稿について「合意なし」と告げれば、その正確な文面は次の手続へ進まない。提案者は修正するか、議論を繰り返すか、断念するか、判断を争うかを選ばなければならない。参加者は、どの論点が解けていないのかを知らなければ次の発言を設計できない。運用者は、検討中の調整ルールが成熟するのか、当面は現状が続くのかを見極めることになる。何もしないという状態を維持するにも、時間、技術検討、会合参加、社内計画という費用が付く。

だから、非合意は空白ではない。それは、特定の提案に次の手続を与えないという制度上の選択である。肯定の判断が理由を必要とするなら、否定の判断も理由を必要とする。ただし、この対称性は「提案を止めるな」という意味ではない。進めるにも止めるにも、第三者が何を判断したのかを再構成できるだけの説明が要る、という意味である。

確認できることと、できないこと

確認できる事実の線は細いが、明確である。対象はDraft 2であり、第2稿の日付は2020年7月30日。共同議長は同年、合意に達していないと評価し、その評価が異議申立ての対象になった。AFRINICが公表した2017年11月26日付のAppeal Committee Terms of Reference Version 2は、既存のRPDメーリングリストと会合記録を基礎に、事実と申立理由を検討し、PDPへの適合や合意・非合意について判断し、理由を示したうえで差戻し、覆し、維持するという私的な見直しの型を示している。

しかし、そのVersion 2のどの条項が、この個別案件の各段階に実際に適用されたかまでは確認できない。異議申立ての正確な日、申立人、支持者、申立理由の全文、問題となった異論の逐語的な内容、共同議長の告知文、担当委員、会合日、票数、多数・少数意見、報告日、処理結果は確定できない。Draft 2が導入されたこと、AS0オブジェクトが発行されたこと、特定のプレフィックスや経路が影響を受けたこと、障害や損失が生じたこと、測定可能な安全上の利益が出たことも、この資料からは言えない。

異議申立てが存在した事実は、判断が争われたことを示す。それ以上ではない。申立てが正しかった、共同議長が誤っていた、委員会が申立てに同意した、提案の採用が必要だった、という結論は導けない。後に同じ提案系列が別の稿へ進んだことも、当時のDraft 2判断が適切だったかを逆向きに証明しない。後の文面、後の合意、後の実施がどうであれ、それを2020年の記録へ投影すれば、当時の判断対象を別のものに置き換えてしまう。

この区別は単なる慎重な書き方ではない。見直し可能性の前提である。後から完成した制度や後の技術的理解を使って過去の判断を正当化したり否定したりすれば、当時の共同議長が実際に見た稿、実際に受け取った異論、実際に利用できた証拠を検討できなくなる。異議申立てが扱うべき対象は、系列全体でもAS0一般でもなく、その時点で止められたDraft 2と、その判断を支えた同時代の記録である。

止める裁量を弱めてはならない

共同議長を擁護する最も強い説明は、真剣に受け止める必要がある。重要な技術的異論が残っていたなら、共同議長はDraft 2を止めることができなければならない。経路セキュリティという目的が望ましく聞こえるだけで、自動的に提案が通るわけではない。善い目的を掲げる提案ほど、誤りの条件、撤回可能性、運用者の選択、予期しない影響を厳しく問うべき場合もある。

ラフ・コンセンサスは、投稿数や挙手数を数えて多数派を決める仕組みではない。技術的に強い一つの異論が、多数の短い賛成より重要なことはあり得る。反対に、一人が同じ主張を何度も投稿したからといって、独立した多数の反対が存在することにはならない。議長の役割には、発言量ではなく理由の質を量ること、すでに回答された異論と未解決の異論を区別すること、議論が終わらないこと自体を拒否権に変えないことが含まれる。

異議申立ても、第二の政策討論会に変えてはならない。不満を持つ参加者がいつでも議論を最初からやり直せるなら、共同議長の判断は暫定的な提案にすぎなくなり、終結の機能を失う。委員が自分の政策選好を共同議長の選好に置き換えるだけなら、見直しは一段上の多数決か、別の政治的競争になる。安全保障上の目的を理由に採用を強制するのも、異議を理由に永続的な停止を認めるのも、いずれも定性的判断の仕組みを壊す。

この擁護は、裁量に理由が要らないというところまで広げない限り、正しい。むしろ、強い裁量ほど、その入力と判断経路を見せる必要がある。共同議長が数ではなく質を量ったのなら、何を重要と見なし、なぜその異論が回答後も残ったのかを示せるはずである。反復を独立した反対と数えなかったのなら、その区別を説明できるはずである。異議申立てを狭く保ちたいなら、対象となる稿と記録を固定し、再審査の範囲を限定すべきである。

理由のない「なし」は、見えない拒否権になる

「合意がなかった」という一文だけでは、複数の異なる状況が同じ外観を持ってしまう。ある条項に、運用上重大で未回答の反論が残っていたのかもしれない。反論は回答済みだが、参加者が納得しなかったのかもしれない。ごく少数の人が同じ懸念を繰り返したのかもしれない。影響を受ける独立した複数の運用者が、異なる証拠を提示したのかもしれない。議論が疲弊し、沈黙が増えただけかもしれない。いずれの場合も、表面上は「合意なし」と書ける。

この不透明さが残れば、否定判断は見えない拒否権として働く。提案者は、文面を直せばよいのか、追加の測定を持ってくればよいのか、同じ説明を別の言葉で繰り返すしかないのかを判断できない。参加者は、自分の異論が理解されたのか、範囲外とされたのか、すでに回答されたと見なされたのかを知らない。見直す側も、共同議長の技術的評価を尊重すべきか、説明不足として戻すべきかを区別できない。

理由の提示は、共同議長を縛るためだけのものではない。それは裁量を防御する。重要な異論と証拠を明示し、それに対する応答と処理を結びつければ、後から「声の大きい側に押された」「好みで止めた」といった推測に対して、記録で答えられる。逆に、理由がなければ、正しい判断であっても正しかったことを示せない。制度的信頼は、結論が自分の望みと一致したかではなく、結論へ至る経路を検査できるかに依存する。

ここで必要なのは、投票箱ではない。必要なのは、Draft 2のどの箇所に、どの重要な異論が向けられ、どの証拠が添えられ、どの独立した影響主体または役割から出され、どの応答を受け、最終的にどう扱われたかを結ぶ記録である。その記録があって初めて、「合意なし」は単なる宣言ではなく、検討可能な判断になる。

技術的な重さは、手続を飛ばす理由にならない

AS0の背景は、なぜ時間と証拠の質が重要だったかを説明する。ただし、本件の主題をAS0一般の是非へ拡張してはならない。RPKIの起点検証は、暗号的に署名された情報と観測された経路起点の関係を技術的な状態として表す。その状態は、所有権の判決でも、違法性の宣言でもない。運用者はそれを自らのルーティング方針の一材料として扱う。

AS0を使う信号には、機械が一貫して読めるという利点と、誤った前提や古い情報が運用判断へ伝わり得るという注意点が同居する。だから提案の技術的な目的は軽くない。一方で、目的の重要性は、未解決の異論を消す万能の答えではない。安全性を掲げる提案に自動通過権を与えれば、技術的意図を制度的な委任へすり替えることになる。

反対方向の誤りもある。技術的な不確実性が一つでも残る限り、誰かが反対を繰り返せば永久に止められると考えるなら、定性的判断は拒否権の競争になる。共同議長は、完全な確実性を待つのではなく、異論が実質的か、証拠がどの程度か、応答が十分か、残るリスクが提案の進行を妨げるほどかを判断する。その判断を可能にするのが裁量であり、その判断を正当化するのが説明である。

本件の異議申立てが重要なのは、技術と手続のどちらを優先するかを決めるからではない。技術的に重いテーマについて、人間の定性的判断がどのように記録されるべきかを露出させたからである。機械可読の信号を議論していても、制度の決定は自動ではない。最終的な分岐を人が作る以上、その分岐点には、後からたどれる足跡が必要になる。