技術要約：ポスト決定論的分散システム

1. 問題提起

古典的な分散システム理論は、参加者が決定論的な状態マシンであり、固定された外部定義済みのセマンティクスに従ってプロトコルで指定された振る舞いを実行するという固定された仮定に依存している。状態マシン複製（SMR）モデルの下では、正当性は遷移等価性によって定義される。すなわち、同一の入力シーケンスが与えられた場合、すべての正しいレプリカは同一の状態シーケンスを経て、同一の出力を生成しなければならない。

この仮定は、クラウド制御プレーン、インシデント対応システム、金融プラットフォームなどの重要なインフラストラクチャへの、自律的推論エンジン、確率的モデル駆動型エージェント（例：大規模言語モデル）、およびポリシー駆動型アクターの統合によって、ますます脅かされている。従来のソフトウェアとは異なり、これらのエージェント的参加者は以下の特性を持つ：

• ハードコードされた命令の静的なシーケンスを実行しない。
• 局所的なコンテキストを動的に評価し、外部知識を照会し、推論ステップを生成する。
• 分岐した推論パスや異なる運用トレースを生成するが、同時に意味的に等価かつ正しい結果を達成し得る。

古典的な合意メカニズム（Paxos、Raftなど）は、この振る舞いを検証または調整することができない。なぜなら、それらは非同一の実行トレースを、たとえ結果としてのアクションが安全かつ許容可能であっても、分岐または失敗として扱うからである。これにより、設計者はエージェントを硬直した決定論的なスクリプトに強制して有用性を制限するか、あるいは分散安全メカニズム自体をバイパスするかという選択を迫られることになる。

2. 手法：参加者一般モデル

本論文は、決定論的コード、確率的モデル、および自律的エージェントが共存するヘテロジニアスな環境を調整するための研究・エンジニアリングモデルとして、**ポスト決定論的分散システム（PDDS）**を導入する。

形式的定義

PDDSは、参加者が決定論的な遷移関数 $f(s, i) = s'$ に限定されない参加者一般モデルを定義する。ここでは、参加者の振る舞いは許容振る舞い関数によって定義される：
$$Adm: S \times I \times C \times P \times E \rightarrow 2^{U \times R}$$
ここで：

• $S$: システム状態
• $I$: 宣言された意図／入力
• $C$: 観測されたコンテキストおよびテレメトリ
• $P$: アクティブなポリシーおよび不変量
• $E$: 認識的状態（保持された観測、証拠、要約、仮定、信念の系譜）
• $U$: アクション空間（システム変異）
• $R$: 推論トレース／説明

参加者は、アクションと推論のペア $(a, r)$ が $(a, r) \in Adm(s, i, C, P, E)$ を満たす場合に、正しいとされる。

二つのレジーム

1. 古典的な特殊ケース: $|Adm| = 1$。唯一の許容されるアクションとトレースが存在する。これは、認識的状態が空であるか固定されている決定論的システムを復元するものである。
2. ポスト決定論的ケース: $|Adm| > 1$。複数の構文的に異なるアクションと推論のペアが、意味的に許容される。調整プロトコルは、選択されたペアが同一のトレースであることを要求するのではなく、それが有効な許容集合のメンバーであることを証明する。

3. 主な貢献

A. 理論的基礎

• 暗黙的な境界の特定: 本論文は、「決定論的参加者仮定」が古典的な分散システム理論における隠れた境界であることを特定している。
• 意味的整合性: 合意の対象を「決定論的な遷移等価性」から、意図、ポリシー、および実行コンテキストの下での意味的整合性へと再定義する。正当性は、値の同一性ではなく、意味的証明（許容可能性の構造化された証明の検証）を通じて検証される。
• 失敗の分類学: ポスト決定論的システムに特有の新しい失敗クラスの分類を定義する。これには以下が含まれる：
  • 意味的ドリフト (Semantic Drift): 共有された理解の緩やかな減衰。
  • 相関的推論失敗 (Correlated Reasoning Failure): 共有されたモデルのバイアスにより、複数のエージェントが同じ論理的誤りを共有すること。
  • 意図の喪失 (Intent Loss): 長期的なホライゾンにおいてユーザーの目標から累積的に逸脱すること。
  • 証拠の捏造 (Evidence Fabrication): アクションを正当化するためにテレメトリを捏造すること。
  • 不安全な委任 (Unsafe Delegation): 意図の制約を維持せずに権限を移譲すること。
  • ポリシー違反の自律性 (Policy-Violating Autonomy): 局所的な制約を満たしながら、システム不変量を違反すること。
  • 認識的分岐 (Epistemic Divergence): 共有された意図にもかかわらず、互換性のない知識状態を持つこと。
  • コンテキスト忘却 (Context Amnesia): メモリのリセット中に歴史的コンテキストが失われること。

B. アーキテクチャの柱

本論文は、PDDSを運用するための5つの柱を概説している：

1. プロトコル駆動開発 (PDD): 安全性をコンパイル時の検証から、エディタ・オートマトンを使用して、アクティブな不変量に対して提案された状態変異をインターセプトし検証する実行時ポリシー強制へとシフトさせる。
2. 検証可能なエージェント・インフラストラクチャ (VAI): 静的な認証情報を、権限を意図によって拘束するための意図から実行への証拠チェーン（権限、コンテキスト、および推論パスの委譲）に置き換える。
3. 自律的状態制御プレーン (ASCP): 推論を実行から分離し、エージェントをサンドボックス内に隔離し、意図を永続化することで、長期的なワークフローを管理し、ドリフトを防ぐ。
4. 意味的クォーラム保証 (SQA): ヘテロジニアスな参加者にリクエストを派遣し、提案を集約し、独立した検証者のクォーラムが意味的等価性を確認することを検証することで、非決定論的な操作を証明する。
5. 認識的状態複製 (ESR): データだけでなく、知識、証拠、および信念の系譜を複製する永続層。以下の新しい一貫性の概念を導入する：
   • 意味的線形化可能性 (Semantic Linearizability): アクションは、意図、証拠、およびポリシーの有効な順序によって説明可能でなければならない。
   • 最終的整合性 (Eventual Coherence): 意味的に互換性のある知識状態への収束。
   • 検証可能な意味的ロールバック (Verifiable Semantic Rollback): 重要なコンテキストを失うことなく、信念の系譜を削除しながらアクションを逆転させる。

4. 結果と主張

本論文は、実験的なベンチマークやデプロイされたシステムを提示していない。代わりに、その「結果」は概念的かつアーキテクチャ的なものである：

• 古典的な分散コンピューティングが、より広範な参加者一般モデルにおけるゼロ曖昧さの特殊ケースであることを示している。
• 決定論的な実行は、もはや自律的インフラストラクチャの普遍的な参加者仮定として機能できないことを確立している。
• 構文的な分岐と意味的な正当性を区別するための形式的なフレームワーク（$Adm$ 関数による）を提供している。
• 確率的な推論を扱いながらも安全性を維持できる、信頼できる自律的インフラストラクチャを構築するために必要な構成要素（PDD, VAI, ASCP, SQA, ESR）を定義している。

5. 重要性

本論文は、自律的エージェントを重要なインフラストラクチャに統合するには、分散システムの設計および検証方法の根本的な転換が必要であると主張している。状態／出力の等価性から意味的整合性と許容される振る舞いのモデルへと移行することで、PDDSはヘテロジニアスな参加者の安全な調整を可能にする。

その重要性は、以下のための技術的フレームワークを提供することにある：

• エージェントを硬直したスクリプトに強制することなく、決定論的サービス、確率的モデル、および人間を調整すること。
• 自律的インフラストラクチャが監査可能であり、ポリシーに縛られ、意味的に証明可能であることを保証すること。
• 古典的な故障モデル（クラッシュ停止、ビザンチン故障）では捉えられない失敗モード（相関的推論失敗や認識的分岐など）に対処すること。

著者らは、決定論の時代が信頼できる分散計算を提供してきた一方で、ポスト決定論の時代には、信頼できる自律的インフラストラクチャを実現するためにこの新しい基礎が必要であると結論づけている。