要点

  • draft-jacobs-web4-federation-policy-00は、権限主体、版、発効時点、状態、参加条件、保持、異議、申立て、停止、取消しを機械可読な政策公告にする案である。
  • 草案は、公告の公開だけでは運営者の行為を証明せず、完全性や証拠コミットメントも真実性、完全性、適法性、来歴、目的適合性を証明しないと明示する。
  • 第00版はExperimentalを意図した個人Internet-Draftであり、RFC、IETF作業部会の採択文書、認証制度、導入実績報告ではない。

異議申立て用のURIが存在することと、異議が独立して審査されることは別である。保持期間が記載されていることと、期限どおりに記録が消去されたことも別だ。政策公告は前者を正確に伝えられるが、後者を自分自身で立証することはできない。

2026年9月12日付の第00版は、その限界を本文で認めている。案に適合するフェデレーションは、真実で版管理され、完全性を保護された宣言を公開する。しかし、公開だけでは運営者の行為は証明されない。この一文により、開示形式が自己発行の保証書へ変わるのを防いでいる。

公告には政策ID、版、責任を負う権限主体、発効時点、対応プロファイル、認識する形式、状態確認方法、完全性証明を含める。政策側は参加基準の分類、保証プロファイル、証拠保持、異議と申立て、停止と取消し、開示と最小化、適用法域、対応版を宣言する。

この公開面は有用だ。利用者はウェブサイトのブランドから権限主体を推測せずに済む。検証者は有効、置換済み、撤回済み、利用不能を区別できる。過去の決定を、その時点で適用された版へ結び付けることもできる。

検証結果を三つに分ける

第一は真正性である。指定された発行者がこのオブジェクトを発行し、内容が改変されていないか。第二は適用可能性である。決定時にどの版が有効で、現在の状態は何か。第三は履行である。運営者が宣言した基準、保持、救済を実際に守ったか。

完全性証明は第一を扱う。発効時点、状態、安定した発見方法、履歴は第二を扱う。第三には個別決定の記録、申立て結果、外部観察または監査が必要だ。有効な署名は発言者を特定するが、その発言を観察済みの事実にはしない。

草案は、発行者の認証、証明の完全性と目的の確認、時間的有効性、現在状態の解決を求める。依存する決定は正確な政策IDと版に結び付けなければならない。再送、古い状態、不正な置換、識別子混同、鍵侵害、アルゴリズムのダウングレード、政策間混同、判定不能時のフェイルオープンも脅威として挙げる。

版管理は説明責任の条件でもある。重大な意味変更には新しい版を与え、過去の決定を支配した政策を識別できるだけの履歴を残す。同じURIの内容を上書きすれば、現在の取得は簡単なままでも、過去の規則は検証不能になる。

内部を全部公開しない設計

適合のために、適格性スコア、参加順位、私的リスクベクトル、内部グラフ関係、最適化、審議、ルーティング、制御プレーン情報を公開する必要はない。案は政策の境界を公開し、判断エンジンや商業上の論理そのものは保護する。

この選択は機密性と安全性を守る。同時に、公告を完全監査と呼べない理由にもなる。外部から規則の種類や救済経路は見えても、個別案件に適用された内部要因までは見えない。

検証には独自のプライバシー問題がある。永続識別子、状態照会、証明、連結された受領記録は、別々のやり取りを相関させ得る。草案はデータ最小化を求め、条件を満たす場合はリンク不能またはペアワイズ識別子を推奨する。私的証拠はコミットメントで表せるが、保持と消去の規則は必要だ。

コミットメントが示すのは、現在のバイト列が以前に確約したものと対応することだ。その内容の真実性、完全性、適法性、来歴、用途への適合までは示さない。異議申立てURIも、入口が宣言されたこと以上に、独立性や実効性を証明しない。

IETFの承認ではない

第00版はTim Jacobsによる5ページの個人Internet-Draftで、想定状態はExperimental、Datatracker上はI-D Existsである。更新されなければ2027年3月16日に失効する。作業部会採択文書でもRFCでもなく、「Web4」を新しいインターネット層としてIETFが承認した証拠ではない。IANAへの依頼もない。

関連するWeb4文書は用語とアーキテクチャの背景を提供するが、この政策案へ制度的権威を移さない。BCP 14の大文字キーワードも、著者が提案する要件を表すだけで、IETF合意の印ではない。

情報源