Faying Protocol/1.0 プロトコル仕様

ここは Faying Protocol/1.0 の日本語正式仕様(Final、2025-10-25 公開)である。プロトコル本文は章ごとに 11 個のファイルへ分割し、章番号は 2 桁、ファイル名には章タイトルを付した。用語集・パラメータ予算、およびプロトコルの策定過程の資料は付録としてまとめ、オープンソース参加者がプロトコル本体を理解できるだけでなく、それがどのように一歩ずつ定まっていったのかも見通せるようにしている。

英語仕様は ../../../en/specification/2025-10-25/ にあり、単一ファイル構成(プロトコル本文がすべて Faying-Protocol-1.0.md という 1 ファイルにインライン化されており、§1–§11 と付録 A/B を含む)である。日本語との対応は章節アンカーのレベルでの対応であって、ファイル単位の一対一対応ではない。日本語版と英語版で差異が生じた場合は簡体中国語版(zh-CN)を正とする。

読み方

初めて触れる場合は、まず §1 → §11 の順に本文を一通り読み、その後で付録に目を通すことを勧める。用語が不明なら付録 A を引き、タイムアウトや予算などの具体的な数値は付録 B を参照するとよい。

プロトコル本文(§1–§11)

章ファイル内容
§101-概要.mdプロトコルの命名、位置づけ、設計目標、既存方式との差異、一文での定義、適用範囲と非目標
§202-アーキテクチャ.mdプロトコルスタック上の位置、エンティティ関係、グレード階層、中核となる対話シーケンス、設計原則
§303-コンポーネントとインターフェース.md6 つの中核コンポーネント(MS / PC / AC / RR / LC / BBS)のインターフェースと不変条件
§404-データモデル.mdTypeScript の人間向けビュー、CDDL による権威定義、Mandate の状態機械
§505-プロトコルメッセージ.mdエンコーディング規則、エンベロープ構造、7 種類のメッセージ、エラーコード表
§606-暗号.mdアルゴリズムスイートのネゴシエーション、鍵派生、署名フォーマット
§707-認可グレード.mdG0–G4 のグレード意味論、トリガー行列、降格の単調性、Endorsement 子グレード
§808-ライフサイクル.mdエンドツーエンドのライフサイクル状態機械、責任帰属のシーケンス、再接続照合
§909-セキュリティ考慮事項.mdSTRIDE、リプレイ/乗っ取り/フィッシング耐性、離脱状態の識別、AI 時代の脅威カタログ
§1010-エラー処理.mdエラーシナリオ、回復経路、可観測性の制約、Default-Deny への収束
§1111-未解決の課題.mdプロトコル委員会の決議に委ねる未解決課題 Q1–Q14

付録

付録ファイル内容
A付録A-用語アライメント早見表.md用語集。実装とレビューにおける用語の権威源
B付録B-デフォルトパラメータ予算.mdデフォルトパラメータと上限、grade ごとの収束規則
C付録C-変更履歴.mdドラフト着手から確定稿に至るまでの変更記録とバージョン番号方針

バージョン

  • プロトコル名:Faying Protocol(初期ドラフトで使われていた "FAP" という略称は廃止済み)
  • バージョン番号:Faying Protocol/1.0
  • ステータス:Final(2025-10-25 公開)
  • 編者:Faying Protocol Committee

各本文ファイルの front matter のバージョン番号はすべてこれと一致する。本版は 1.0 の正式リリース版次であり、ドラフト作業領域から本ディレクトリへ全体を移行済みである。日本語版と英語版は同一のコミットで一緒に公開し、片側だけを単独でリリースすることはしない。以降の正誤訂正は §1.7.4 に従い、新しい公開日付の版次で扱い、プロトコルバージョン番号は変えない。