要約

  • RFC 9637は3fff::/20をIPv6文書用に予約し、実トラフィックとグローバル広告での使用を禁じる。
  • IANAの登録は意味の権威だが、各ルーター、トンネル、フィルターがその意味を実行したというテレメトリーではない。
  • 隔離の受領証には、登録、例示の由来、環境、ポリシー版、適用点、経路観測、パケット証拠、例外、結果が必要になる。

境界が変わる瞬間は、アドレスを書いた時ではない。文書の設定例をテストシステムへ投入し、初めて通信できる状態にした時である。

3fff::/20の登録上の意味は変わらない。それでも成果物の権限は変わる。説明だったファイルがルーターやホストの状態を作るようになれば、「文書用」という名称だけで隔離を主張できない。

RFC 9637は、RFC 3849の2001:db8::/32に大きな文書用空間を加えた。実在の割り当てや将来割り当てられる空間を借りずに、地域、集約、複数サイトを表現するためである。2023年8月のRIR統計は規模選定の歴史的根拠であり、現在の配分を断定する資料ではない。

登録行が知ること

IANA IPv6特殊用途アドレス登録簿では、Source、Destination、Forwardable、Globally Reachable、Reserved-by-Protocolがすべてfalseである。RFC 6890はこうした属性の共通モデルを与える。

しかし登録簿は、あるネットワークがどのbogonリストを読み込んだか、更新が失敗したか、静的経路や例外が残っているかを知らない。RFCのMUST NOTは要求であって、個々の装置の監査ログではない。

設定意図、導入済み状態、観測結果を分ける必要がある。正しいプレフィックス集合を持つポリシーでも、全装置への導入が成功したとは限らない。導入が成功しても、すべての経路が同じ適用点を通るとは限らない。

経路拒否とパケット破棄

文書用空間を「遮断する」には、少なくとも四つの面がある。自網からの経路生成を防ぐ、受信広告を拒否する、送信元がその空間のパケットを破棄する、宛先がその空間のパケットを破棄する、である。

BGPフィルターは内部の静的経路を消さない。あるピアの拒否は別のピアの判断を証明しない。送信元検証は宛先制御ではない。RFC 3704が示すように、マルチホーム環境の送信元検証にも複数の方式と制約がある。

受領証には、方向、適用インターフェースやサービス、集合の版とハッシュ、導入時刻、成否、カウンター、例外を残す。制御面とデータ面は関連するが別の証拠である。

観測されないことの範囲

一つのコレクターが一定期間3fff::/20を見なかった事実には価値がある。だが、短時間の広告、私設ピア、内部表、サンプリング外の経路まで存在しなかったとは言えない。

プローブも送信点、宛先、プロトコル、時刻、経路の範囲しか証言しない。否定的な結果ほど、観測面と死角を明記する必要がある。「見えなかった」を「世界中で到達不能だった」に変換してはならない。

隔離の受領証

最初に、日付付きのIANA行とRFCを保存する。次に、そのアドレスを含む文書、図、設定を特定し、用途を文書、シミュレーション、閉域ラボ、接続ラボのいずれかとして明示する。

その後に経路生成防止、import/export、送信元・宛先フィルター、適用点、版、導入結果、例外を続ける。経路表、コレクター、カウンター、限定プローブには観測期間を付ける。最後に、例示が例示のままだったか、運用依存へ変わったかを記録する。

IANAは分類し、著者は例を作り、運用者は境界を設定し、装置は実行し、観測者は一部を見る。各層を結ぶことが証拠であり、一つの権威に全層を代弁させることではない。

出典