要約

  • RFC 8928のEARO図はCをビット3に置いたがIANA登録を行わず、RFC 9685は後にビット2と3を占める2ビットのPフィールドを正式登録した。
  • RFC 9927はCをビット1へ移す。この変更は後方互換ではないが、RFC 8928の実装も導入も知られていなかったため、移行計画は規定されていない。
  • 修正後のRFCとIANAレジストリは現在の共通割り当てを示す。特定のバイナリ、パケット解釈、サービス動作まで証明するものではない。

図を実装した人と、登録簿を調べた人

RFC 8928はAddress-Protected Neighbor Discoveryを定義した。Extended Address Registration OptionのCは、Registration Ownership VerifierがCrypto-IDを含み、登録アドレスについて6LoWPAN Nodeが所有権のチャレンジを受け得ることを示す。掲載図ではCがビット3に配置されていた。

説明は実装の手掛かりとして十分具体的だった。欠けていたのは、共有空間への登録である。IANAのAddress Registration Option Flagsレジストリにその位置は記録されなかった。図に従う実装者はビット3を使用済みと考える。一方、後続仕様の執筆者はレジストリを見て空き位置を判断する。どちらも合理的な手順を踏みながら、同じオクテットに異なる文法を与え得る。

RFC 9685はRegistered Address Type Indicatorを導入し、2ビットのPフィールドをビット2と3に置いて必要なIANA登録を済ませた。これによりビット3は二重の意味を持つことになった。単なる名称や作図の問題ではない。線上の一つの位置を、ある実装はC、別の実装はPの一部として読む可能性が生じた。

資料には、この可能性が実際の障害を起こしたとの記録はない。確認できるのは、公開仕様が二通りのパーサーを許す状態だったことまでである。

Cを移し、割り当てを一つに戻す

RFC 9927はNeighbor SolicitationとNeighbor Advertisementの該当EARO図を置き換える。Cはビット1へ移り、Pは正式登録済みのビット2と3に残る。また、RFC 8928の「Enhanced Address Registration Option」という表現を「Extended Address Registration Option」に訂正した。

現在のIANAレジストリは重複のない地図を示す。ビット0は未割り当て、ビット1はC、ビット2–3はP、ビット4–5はI、ビット6はR、ビット7はTである。レジストリは付録的な一覧ではない。次の仕様や実装が、過去の図をすべて発掘せずに共有空間を確認するための調整面である。

RFC 8126が示す登録ポリシーの役割もここにある。プロトコル値の配分は独立した意思決定を結び付ける統治である。ただし、その権威は割り当ての範囲に限られる。IANAの記録は現在の規範的な意味を示せても、装置が更新されたことや受信パケットがその意味で処理されたことまでは示せない。

「知られていない」は全数調査ではない

RFC 9927は修正が後方互換でないと明記する。旧図に基づく送信側と修正後の表に基づく受信側は、ビット3を別々に解釈し得る。それでも移行手順が規定されなかったのは、RFC 8928の実装または導入が知られていなかったためだ。

この「知られていなかった」は意思決定時の知識状態である。世界中のコードを調べたという方法は示されず、非公開の試作や実験用ブランチが存在しなかったことも証明しない。「既知のものがない」を「何も存在しなかった」と言い換えれば、出典にない確実性を足すことになる。

したがって、現場の対応は現場の棚卸しで決まる。RFC 8928の痕跡がない組織はRFC 9927を初期文法として採用できる。古い実装が見つかった組織は、ソースやバイナリ、ビルド来歴、エンコーダーとデコーダーの試験、相手側の版、段階展開、切り戻しを管理すべきだ。標準が全体移行を規定しないことと、ローカルな移行が不要であることは同義ではない。

意味を調整する台帳と、挙動を示す稼働証拠

Heng LuのMinimum Initial SpecificationはIETFの規則ではなく、この事例を読む補助線になる。狭い共通仕様が共有点を調整し、採用は各実装に残す。Running-Code Primacyは、文書の整合性が稼働事実を代替しないという反対側の境界を置く。Reality Layersは、規範層の権威を運用層の観測へすり替えないための注意である。

RFC 8928が証明するのは旧図の内容、RFC 9685とIANA手続きが証明するのはPの正式配分、RFC 9927が証明するのは修正後の規範と移行判断、現行レジストリが証明するのは現在の共有地図だ。どれも、名前の挙がっていない装置が今日どのように読むかを単独では証明しない。

稼働上の主張には、特定されたソースまたはバイナリ版、符号化と復号の挙動、設定、管理されたテストパケットやキャプチャ、相手側の版、観測された解釈が必要になる。サービスへの影響を述べるなら、さらにサービス測定が要る。「レジストリは直った」と「ネットワークは直った」は別の命題である。

この資料が語っていないこと

特定製品、導入ノード、採取パケット、悪用、停止、採用率、事業影響は示されていない。Cは公開アドレスの所有権、グローバル経路の権限、サービス受理を証明するものでもない。EAROの限定された所有確認機構の一部である。

結論は二つの境界にある。コードを導けるほど具体的な図は、共有割り当て台帳につながっていなければならない。一方、修正された台帳は稼働証拠と区別しなければならない。RFC 9927は前者を修復した。後者を閉じるのは運用者の仕事である。

出典