要約

  • 2026年9月8日公表のLACNICデータを使うIANAの画面は、利用可能空間を978,428 /32、月平均を57、必要空間を513と表示する。必要空間は57×9でそのまま再計算できる。
  • /33から/48までの断片11,846行は、合計すると正確に210 /32となる。元ファイルのavailable総量978,637.6130981445から210を引けば978,427.6130981445となり、整数表示の978,428に一致する。
  • ただし、そのうちavailableの状態を持つのは7,514行、198.61309814453125 /32だけだ。残りはreserved、assigned、allocatedであり、世界ポリシーは断片空間をRIRの最小割り振りサイズ未満の「利用可能な」ブロックと定義している。
  • この一致は誤りの証拠ではない。必要なのは、どの状態を選んだか、3か月以内に失効する予約をどう加えたか、どこで丸めたかを、元データのハッシュとともに残す計算受領書である。

時計は時刻だけを示せばよい。だが「IPv6アドレスをいつ追加配分できるか」を示す時計は、実は台帳でもある。

IANAのLACNIC向けページには、978,428という整った数字が置かれている。単位は/32。隣には月平均57、必要空間513、現行/12の93％が残るため「Not Eligible」とする判定が並ぶ。この画面を見れば、当面の結論に迷いはない。LACNICは次の大きなIPv6割り振りを受ける境界からは遠い。

需要側の計算は、表示だけで閉じている。世界ポリシーは月平均の9倍を必要空間とする。57に9を掛ければ513。入力、規則、結果が一つの画面でつながる。

在庫側にも、ほとんど同じほど鮮やかな計算が見つかる。LACNICの拡張委任統計ファイルでは、IPv6のavailable量は978,637.6130981445 /32。IANAの画面は、/33から/48まで11,846件の断片を長さ別に掲げる。それぞれを/32相当に直して足すと、端数なく210になる。

978,637.6130981445から210を引くと978,427.6130981445。最終表示を整数に丸めれば978,428である。偶然とは片づけにくい一致だ。しかし、内部計算を立証するには一歩足りない。210は同じ状態の集合ではないからだ。

210の中には四つの意味がある

世界ポリシーの式は、現在自由なアドレスに、今後3か月以内に失効する予約を加え、断片空間を差し引く。断片空間については、RIRの最小割り振りサイズより小さい「利用可能ブロック」と説明している。LACNICが公表するIPv6ポリシーでは、通常の最小割り振りは/32だ。

小さいという条件だけでは足りない。「利用可能」かどうかがもう一つの条件になる。

元ファイルを見ると、11,846行の内訳はこうなる。availableは7,514行で198.61309814453125 /32。reservedは2,874行で9.594024658203125 /32。assignedは1,456行で1.7928466796875 /32。allocatedは2行で0.000030517578125 /32である。

全部を足せば210になる。だが、同じavailableという語を持つ行だけなら198.613だ。元ファイルのavailable総量からこちらだけを引くと、978,439ちょうどになる。画面の数より約11多い。

この差を「11個の/32が失われた」と読む根拠はない。IANAが誤算した証拠でも、LACNICのデータが不正確だという証拠でもない。式には3か月以内に失効する予約という項があり、その公開値はない。交換用統計の状態と内部レジストリの分類が一対一だとも限らない。さらに、公開情報から作った一つの引き算が結果に一致しても、本番の処理が同じ行を選んだことまでは分からない。

分かるのは、全状態を含む断片合計なら表示値に一致し、available状態だけなら一致しないということだ。政策用語とデータ用語を結ぶ表が公開されていない。

同じ答えに着くことと、同じ計算をしたこと

再現可能という言葉は注意して使うべきだ。同じ数字を出せることと、権限ある規則に従って同じ入力集合を選べることは違う。

たとえば、期末残高が画面上の全取引を足し引きすれば一致したとしても、会計規則が一部の取引を翌期へ送るなら、監査はそこで終わらない。どの日付と勘定を採用したかを示す補助簿が要る。今回の/32も同じで、算術の一致は照合の入口であって出口ではない。

公開資料は入口の出所をかなりよく固定している。IANAは2026年9月8日にLACNICが公表したデータに基づくと明記する。拡張ファイルのヘッダーも同じ日付と97,136件を記録している。併置されたMD5ファイルを使えば、取得物が公開物と同一か確認できる。どのスナップショットか、という問いには答えがある。

一方で、そのスナップショットをどう投影したかは見えない。現在自由な空間に入った行の一覧、3か月内に期限を迎える予約の総量、断片として控除された行の状態分布がない。長さ別ヒストグラムはあるが、各行の状態と採用理由はない。小数の/32をどの段階で整数化したかも書かれていない。

つまり、証拠の両端は強い。一方に日付と整合性を確認できる元データがあり、もう一方に世界ポリシー上の判定がある。弱いのはその間の接続点である。

追加すべきは説明文ではなく計算受領書

トップページに長い技術解説を載せる必要はない。更新ごとに小さな機械可読ファイルを生成し、「計算受領書」としてリンクすればよい。

受領書の冒頭には、対象RIR、基準日、世界ポリシーの版、計算コードの版、実行ID、基準単位を書く。委任統計ファイルはURLだけでなく、バイト数と強い暗号学的ハッシュで特定する。権威ある入力が内部スナップショットなら、スキーマ版と選択行へのコミットメントを残し、必要な監査者が照合できるようにする。

本体は式の三項に分ける。現在自由な空間では、行数、正確な/32合計、元状態ごとの内訳、採用規則を示す。3か月以内に失効する予約では、期限の境界、件数、量、自由空間との重複を避ける方法を示す。断片空間では、前綴長、状態、/32換算値、最小割り振り未満かつ利用可能と判断した根拠を示す。

すでに公開されているプレフィックスは、そのまま識別できる。非公開の予約に会員名や申請内容を付けて公開する必要はない。公開版には状態別・期限別の集計とハッシュを置き、権限ある監査者だけが明細を見る設計で十分だ。プライバシーを守りながら、選択が後から変えられていないことを証明できる。

丸め方も明示する。978,427.6130981445をいつ978,428にしたのか。途中計算では有理数として精度を保ったのか。月平均57はどの観測期間から出たのか。そのうえで9倍の必要空間と最終判定を同じ受領書に束ねる。

データ量は小さい。価値は大きい。公開情報だけを持つ第三者は公開集計を再計算でき、守秘情報を見る監査者は内部行まで確認できる。両者は同じ計算IDとハッシュを参照する。

長さの集計は状態の判断を代行できない

プレフィックス長を/32に換算するのは幾何学だ。/40は/32の256分の1であり、状態が何であっても面積は同じ。しかし、その面積が自由なのか、予約中なのか、割り当て済みなのかは管理上の判断である。

長さだけのヒストグラムは前者を見せ、後者を消す。政策の式が状態に依存するなら、集計の前に状態を選ぶか、少なくとも集計と一緒に状態を保存しなければならない。

210と198.613の差の大半はreservedの9.594 /32である。assignedも約1.793を占める。浮動小数点のごみではない。意味の異なるレジストリ上の分類だ。内部ルールによって政策上は同じ項へ入るのかもしれないが、それなら対応関係を書けばよい。

RIR統計交換形式は、そもそも内部システムの完全な複製ではない。横断的な公開交換のための形式であり、状態の解釈には限界がある。この注意点は、外部の読者が勝手に断定しない理由になる。同時に、計算主体が自らの対応表を出す理由にもなる。

枯渇を語る数字ではない

現在の桁は冷静さを要求する。利用可能空間は約97万8千/32で、必要空間は513。978,428を978,439に置き換えても、今回の「Not Eligible」は変わらない。IANAのIPv6ユニキャスト登録簿にはLACNICに関係する2001:1200::/23や2800::/12が載るが、供給危機を示す材料ではない。

調べた公開資料には、会員の申請が拒まれた事例、ネットワーク展開が遅れた事例、この差による運用障害もない。アドレスの浪費や不足として描けば、証拠を越える。

それでも今取り組む価値があるのは、境界から遠い時期ほど統制を導入しやすいからだ。必要空間に近づいてから状態定義を争えば、普通のデータ変換が資源配分をめぐる政治問題になる。何年分もの受領書があれば、臨界点での一つ一つの変化は説明済みになる。

優れたインフラ統制は、危機を劇的に解決するより、危機の題材を退屈な照合作業に変える。今回の約11 /32は、その準備を始めるには十分な違いであり、事故を宣言するほどの証拠ではない。

受領書は組織の記憶になる

計算受領書は外部説明だけの道具ではない。ソフトウェア、ポリシー、担当者が変わる時に、IANAとLACNIC自身を守る。

元データの一行が後日訂正されたなら、どの式の項が変わり、判定に影響したかを差分で示せる。世界ポリシーが予約期間や断片の定義を変えたなら、同じ歴史スナップショットに旧規則と新規則を適用し、資源変化と制度変化を切り分けられる。表示だけの変更なら、精確な計算ハッシュは変わらないはずだ。

数年後に古い列名や予約処理を覚えている担当者がいなくても、当時の選択と版が残る。監査が現行コードによる推測やスクリーンショットの発掘に依存しなくなる。

役割分担も自然になる。LACNICは資源状態と輸出ステータスの意味を証明する。IANAは世界ポリシーへの写像と算術を証明する。独立した観測者は公開部分を再計算する。誰も全情報を公開する必要はなく、誰も相手の内部処理を無条件に信頼する必要もない。

証明できる範囲を狭く、正確に保つ

公開情報から確実に言えるのは六点である。元ファイルのavailable量は978,637.6130981445。小さな全断片は210。全断片を引いた結果は整数表示の978,428に合う。available状態の断片は198.61309814453125。それだけを引くと978,439。さらに政策には公開値のない3か月予約項がある。

公開情報だけでは、実装がどのクエリを走らせたか、内部状態が輸出状態と一致するか、予約がどの項に入ったか、結果が誤っているかは証明できない。「IANAが間違えた」とは言えないし、言う必要もない。

主張すべきなのは、結果を政策上の選択に結ぶ状態別の橋が見えないということだ。この主張なら、IANAもLACNICも小さな成果物で答えられる。

978,428は疑わしい数字ではない。出典の途中が欠けた数字である。時計の針だけでなく、針を動かした歯車のかみ合わせを残す。それが次の更新に必要な仕事だ。

出典