要約

  • Draft Policy ARIN-2025-1は、すべてのInternet Service ProviderはLocal Internet Registryだが、すべてのLIRがISPではないとする。提案中のLIR定義には、Internet Registry、RIR会員、割り当ての受領、顧客・エンドユーザー・インフラへの分配が含まれる。
  • 提案中のISP定義が要求するのは、従業員以外へのインターネットサービス提供だけである。接続、ウェブサービス、コロケーション、専用サーバー、VPS、VPNという例からは、前記のレジストリ要件を導けない。
  • 解決に必要なのは企業の事業設計をARINが決めることではない。分類ごとに語彙の版、資源ライフサイクル、下流委任機能、適用条項を固定し、ISPからLIRへの重要な用語移行を追跡できる最小の対応表である。

二枚のカードは自動的には入れ子にならない

典型的なアクセス事業者を思い浮かべれば、ISPとLIRは同じ組織を指しているように見える。会社は外部に接続を売り、RIRからアドレスを受け取り、その一部を顧客へ配り、配布を登録する。市場での呼び名と番号資源上の役割が重なる例である。

ところが、規則の精度が試されるのは中心ではなく境界だ。管理型ウェブ事業者は上流から得たアドレスだけでサービスを提供できる。大学は直接受け取った資源を学部や関係利用者に配りながら、小売ISPとは名乗らないことがある。企業グループが下流の登録機能を担っても、その商売の中心が接続であるとは限らない。

レジストリから独立したNOG Allianceの提案追跡表は、ARIN-2025-1をDraft Policyとし、直近の変更日を2026年8月13日としている。提案は、LIRには定義がある一方、ISPには明示的な定義がないという問題から出発する。そして、含意と通常の商慣行により、すべてのISPはLIRだが、その逆は成り立たないという関係を掲げる。

これは単なる「多くの場合に重なる」という記述ではない。ISPを満たす組織の集合が、例外なくLIRの集合に含まれるという主張である。よく知られた通信会社が両方の条件を満たすことは、その全称命題の証明にはならない。

その包含を政策上の選択とすること自体は一貫し得る。だが、明文化の目的は、内部慣行を知らない読者も同じ関係を検証できるようにすることだ。

LIRは番号資源の連鎖で定義される

独立サイトに保存された2026年3月のPPML配布文では、LIRに複数の条件が置かれる。LIRはInternet Registryであり、RIRの会員であり、そのRIRからインターネット番号のallocationを受け、顧客、エンドユーザー、インフラへ番号を割り当てる。

ここで問われるのはすべて資源との関係だ。受領は資源ライフサイクル上の出来事であり、下流配布とその記録は別の機能である。例示も小売通信事業者に限られず、大企業、大学、ISPを含む。

同じ配布文は変更範囲も示す。見出しと実体条項のISPをLIRへ移し、用語条項ではISPをLIRの部分集合として扱う。これは用語集の脚注ではない。allocation、reassignment、利用率、下流顧客にまたがる役割名の移行である。

アーカイブが証明するのは配布された文面であって、その権威ではない。追跡表が証明するのも後の版境界と状態までだ。従って、分析対象の文面と、実装前に全文を確認すべき後の版を別々に保存しなければならない。

ISPは市場での活動を列挙している

提案されたISP定義の軸は異なる。従業員以外の組織、顧客、個人にインターネットサービスを提供する組織をISPとし、接続、ウェブサービス、コロケーション、専用サーバー、仮想専用サーバー、仮想プライベートネットワークを例に挙げる。

この文には、Internet Registryであることが書かれていない。RIRからallocationを直接受けることも、RIR会員であることも、顧客へ番号を再割り当てまたは再配分することも要求していない。

その曖昧さは、独立して保存された申請ガイドをめぐるPPMLのやり取りにも現れる。参加者は、LIRをISPと短く説明するガイドと、LIRは「一般に」ISPだとする定義を並べ、二つが同一なのか、包含関係なのか、direct allocation保有者にとって任意なのかを問う。アーカイブが示すのは疑問が表明された事実であり、個別申請への判断ではない。

ここには重要な段差がある。サービス名は、どの扉を調べるべきかを案内できる。扉の奥の適格性テストを自動的に満たすわけではない。VPNを提供する事実とRIR allocationを受ける事実は同じではなく、専用サーバーを運営する事実だけでは下流の番号分配を登録していることにならない。

ISPをLIRの一種と明記する、ISPを資格ある分配機能を持つ提供者に狭める、二つを重なり合う集合として記述する、または規範的な適格性条項からISPを外して資源用途に直接つなぐ。どの設計も可能だが、本文が一つを選ばなければならない。

書かれていない含意

論理の欠落は、五つの分析用述語にすると見やすい。これはARINの正式用語でも、データベース設計案でもない。

IR(x)を組織xが番号資源を配り、その配布を登録すること、M(x)を特定されたRIR会員関係、A(x)をそのRIRからのallocation受領、D(x)を下流への割り当てまたは委任、S(x)を列挙されたサービスの少なくとも一つを外部へ供給することとする。

提案中のLIRは、おおむねLIR(x) = IR(x) ∧ M(x) ∧ A(x) ∧ D(x)と読める。一方、ISPはISP(x) = S(x)である。

すべてのISPがLIRであるためには、S(x) → IR(x) ∧ M(x) ∧ A(x) ∧ D(x)という橋が必要だ。公開文にはその橋がない。

これはARINの実運用が誤っているとの数学的証明ではない。別の資格条項、スタッフ判断、文脈が境界事例を処理している可能性がある。立証できるのはもっと狭い事実だ。提案された二つの定義だけから、宣言された部分集合関係を導くことはできない。

境界に置いた架空の事業者

管理型ウェブサービスとVPNを販売する架空の会社を置く。その会社はアドレスをすべて上流事業者から得ており、RIRから直接allocationを持たず、顧客へ番号資源を割り当てて登録するInternet Registryでもない。

これは論理を確かめるための合成例であって、実在の事業者、ARINへの申請、スタッフ対応の報告ではない。

会社は公開されたISP述語を満たす。二つの列挙サービスを外部へ供給しているからだ。しかしLIR定義にある少なくとも直接allocationと下流分配を満たさない。member of an RIRが何を意味するかによっては、その条件も満たさない。

商業上この会社をISPと呼ぶのは自然かもしれない。ISP向け申請ガイドへ案内することも有益である。ガイドによって、将来の顧客割り当てが直接allocationを正当化するか調べられるからだ。ただし案内は未取得のallocationを過去に作り出さず、上流アドレスの利用をレジストリ機能へ変換もしない。

境界事例は揚げ足取りではない。定義が意図した関係を運べるかを、最も安く確かめる試験である。

資源機能と企業ラベルは別の軸である

RFC 7020は、番号資源レジストリを階層として描き、レジストリが顧客へ資源をallocateし、LIRは典型的にはISPだとする。「典型的」は頻出する関係の説明であり、レジストリ役割とインターネットサービスを売る全組織の同一性を定義しない。

資源軸には申請者、direct allocation保有者、下流分配者、エンドユーザー、上流空間利用者がいる。サービス軸には接続、ホスティング、コロケーション、VPNがある。分類は両方を参照できるが、どの組合せが規範的役割を起動するかを明示しなければならない。

PPMLで提示された別案の定義は、その選択を明示した。LIRをRFC 7020のレジストリシステムに結び付け、顧客のための番号資源の消費と正当化をISPの重要な特徴とする。これは参加者案であって採択文ではない。狙う資源機能が分かれば、欠けた橋は一文で書けるという診断材料である。

member of an RIRをLIRの条件として残すなら、具体的な関係と判定時点も必要だ。商業サービスが含意だけでその状態を作ることはなく、資源関係を市場名から逆算してもならない。

行政手続の歴史も役割を分けていた

2000年の情報文書RFC 2901は、組織がアドレスをどう取得し使うかに応じて、異なる申請資料へ案内した。これは歴史資料であり、現在のARIN要件を定めない。ただし、ISPが申請経路のラベルとして使われ、LIRがレジストリ階層に属するという長期的な分析点は示す。

会話で言葉が近づいても、手続は別の事実を尋ね得る。共有すべきなのは企業が好む名詞ではなく、特定の版と時点で規則を選んだ資源機能である。

公開討議は弱い橋をすでに見つけていた

保存された討議は表現だけを争ったのではない。2026年3月の返信は、提案されたLIR文が文法的に未完結だという指摘に同意し、単一RIR地域を越えて運用するLIRもあるとしてat a local levelを疑問視した。同じ返信にはサービス列挙型のISP定義も再掲されている。

その返信は政策を決めず、実装判断も含まない。しかし、8月13日の版境界より前から参加者が述語と範囲を試していたことは示す。本稿の論点は隠れた不正ではなく、後の版が答えられる再現可能な文章上の問いである。

用語は分散した状態だ。定義は見出し、ガイド、職員手順、研修、申請項目へ届く。後の版は3月文面の無言の続編ではなく、新しい対象として審査されなければならない。

最小の役割・述語対応表

修正のために、ARINが各社の商品一覧を収集する必要はない。役割判断を、規則と実際の資源機能へ結び直す小さな保護記録があればよい。

最初の対応表と移行マニフェストには、次の16項目で足りる。

  1. 組織とOrg IDの同一性。 分類に用いた法的・レジストリ上の主体と、有効な時間境界を記録する。
  2. 申請または決定の識別子。 安定したキー、提出時刻、改訂・置換申請への明示リンクを持たせる。
  3. 語彙の版と発効日。 ISP、LIR、IR、エンドユーザー、委任を解釈したNRPM、ドラフト、実装版を固定する。
  4. 分類目的。 どの政策判断のために役割を試したかを書く。一つの万能な事業ラベルで無関係な判断を支配しない。
  5. 商用サービス述語。 必要な外部サービス区分だけを記録し、企業の非公開な製品表全体を政策へ持ち込まない。
  6. Internet Registry述語。 番号資源を配布し、その配布を登録するかを、保護された証拠参照とともに示す。
  7. 直接allocation状態。 なし、申請中、承認、発行、返却、取消、置換を資源イベントに結び付けて区別する。
  8. 下流委任機能。 reallocationまたはreassignmentの有無、受領者区分、支配条項を記録する。
  9. 内部インフラ利用。 組織自身の限定的利用を顧客分配から分ける。
  10. 会員状態。 非会員申請者、Service、General、General in Good Standing、Trusteeを該当規則の下で記録し、資源役割から投票権を推測しない。
  11. 契約と権限の状態。 RSAまたはLRSAの対象範囲と、組織を代表する権限を保護証拠へ結び、権限文書そのものは公開しない。
  12. 適用政策経路。 検証済みの資源機能が選んだ条項、資格試験、除外を特定する。
  13. 用語出現箇所の対応表。 重要な出現ごとに旧語、新語、節、画面・文書面、限定された意味効果コードを保存する。
  14. 実装バインディング。 政策の意味を、公開ガイド、スタッフ指針、研修、申請フィールド、テストベクトルの同じ版へ結ぶ。
  15. 結果・説明・訂正。 決定的述語、結果、レビュー経路、後の役割遷移、訂正履歴を残す。
  16. プライバシーに配慮した集計投影。 申請経路数、分類変更、フォーム版の不一致、訂正を、申請者名や製品秘密なしで公表する。

これは特定のデータベーススキーマを要求するものではない。別の審査者が、なぜその政策経路が適用されたかを再実行するための最小情報である。

共通層は機能を知り、会社を設計しない

Minimum Initial Specificationが引く境界は、この問題にも使える。共有される調整層は、一意性、相互運用、証明、安全、セキュリティに必要な決定論的事実には厳密であるべきだ。一方、事業上の取決め、制度的野心、裁量的な好みはローカルに残す。

この場合の共通事実は、組織識別、語彙版、資源ライフサイクル、下流委任機能、適用規則、記録された状態遷移である。契約と権限は保護証拠で立証でき、公開集計は申請経路の変更やフォームの不一致頻度を示せる。

製品構成はローカルなままでよい。ウェブホスティングが主力事業か、VPNが接続と一体販売か、VPSがどのハイパーバイザーで動くか、コロケーション設備でどのルーターを使うか、大学が学部をどう組織するかをレジストリが決める必要はない。特定の政策述語が必要とするときだけ、限定された事実が関係する。

最小であることは曖昧であることではない。会社への管轄を小さく主張する役割定義ほど、その小さな主張について厳密でなければならない。

出典

証拠が示していないこと

この資料群には、ISP/LIRの語が原因でARINが実在組織を誤った申請経路に置いた事例はない。追加チケット、遅延、拒否、割り当て規模の変化を測った資料もない。現在の内部アプリケーション項目、研修、完全な分類ロジックも公開されていない。

従って裏付けられるのは、公開文の論理的な隔たりと移行記録への提案である。不正行為の主張や発生率の推計は裏付けられない。

政策結果も予測できない。独立追跡表はARIN-2025-1をDraft Policyとしている。次版がLIRへの直接リンクを戻す、部分集合の主張を削る、LIRだけを使う、または定義全体を組み直す可能性がある。新しい対象への評価は将来の新事実であり、今日の推論の追認ではない。