技術概要：S-Bus：マルチエージェント LLM 状態協調のための自動読み取りセット再構築

1. 問題定義

可変な自然言語（NL）状態を共有する並行した大規模言語モデル（LLM）エージェントは、**構造的競合条件（SRCs）**に陥りやすい。これは、2 つのエージェントがバージョン $v$ の同じシャードを読み取り、独立したデルタを生成し、その間に再読み込みを行わずに両方がコミットした場合に発生し、一方のエージェントが他方を静かに上書きする結果となる。

既存のマルチエージェントフレームワーク（LangGraph、CrewAI、AutoGen など）は、共有状態に対する書き込み所有権のセマンティクスを欠いている。競合は、もし検出されるならば通常事後に検出され、エージェントの出力の静かな破損につながる。核心的な課題は、LLM エージェントが「ブラックボックス」として動作し、明示的に読み取りセットを宣言しないため、侵入的な SDK 変更なしでは従来の楽観的並行制御（OCC）メカニズムを適用できない点にある。

2. 手法：S-BUS と DeliveryLog

本論文は、エージェントがコードを変更したり読み取りセットを宣言したりすることなく、マルチエージェントシステムに対して OCC を可能にする HTTP ミドルウェアS-BUSを提示する。

中核メカニズム：DeliveryLog

S-BUS は、エージェントが発行するすべての HTTP GET 操作を記録するサーバーサイドのDeliveryLog（追記専用ログ）を導入する。

• 自動再構築： コミット時に、サーバーは DeliveryLog のエントリを集約してエージェントの読み取りセット（$\hat{R}$）を再構築する。
• 検証： シャード $k$ へのデルタのコミット前に、アクセス制御プロトコル（ACP）は、エージェントの DeliveryLog に記録された他のすべてのシャード $k'$ のバージョンが、GET リクエスト以降に進んでいないことを検証する。
• 競合処理： シャード間バージョンの不一致（古くなった読み取りを示す）が検出された場合、コミットは HTTP 409（CROSSSHARDSTALE）で拒否される。エージェントは古くなったシャードを再読み取りし、デルタを再生成して再試行する必要がある。

一貫性モデル：観測可能読み取り分離（ORI）

S-BUS が提供する一貫性特性は**観測可能読み取り分離（ORI）**と称される。

• 定義： ORI は、エージェントの読み取りセット（$R_{obs}$）のHTTP 観測可能射影に対して部分的な因果一貫性を提供する。
• 範囲： 観測可能読み取りセット $R_{obs}$ における G2-アイテム異常（書き込みスキュー）を防ぐが、HTTP GET なく LLM の会話履歴内で暗黙的に参照されたシャード参照（$R_{hidden}$）の一貫性は保証しない。
• 位置付け： Adya の分離格子において、ORI は観測可能読み取りセットに射影された場合、読み取りコミットとスナップショット分離の間に厳密に位置する。

3. 主要な貢献

(C1) 形式的保証を伴う自動読み取りセット再構築

本論文は DeliveryLog メカニズムを導入し、ORI を形式化した。抽象アルゴリズムの安全性は、3 層の機械化された証拠スタックによって検証された。

• TLAPS： READSETSOUNDNESS（記録された読み取りの単調性）とORICOMMITSAFETY（コミット時のシャード間等価性）を網羅する任意の $N$ 個のエージェントに対する証明。687 の義務が（1 つの保持された基礎的な型付け公理を除き）ゼロの失敗で処理された。
• TLC： 網羅的なモデルチェッキングにより、$N=3$で 2080 万の異なる状態、$N=4$で 280 万の状態が探索され、不変条件違反はゼロであった。
• Dafny： 抽象アルゴリズムに対して 9 つの帰納的健全性補題（19 の義務）が機械的に検証された。

(C2) 生産環境 OCC との経験的安全性の同等性

S-BUS は、生産グレードの OCC バックエンドである PostgreSQL 17（SERIALIZABLE）および Redis 7（WATCH/MULTI）に対して評価された。

• 結果： 共有シャード競合下での 427,308 のアクティブな競合を含む 884,110 回のコミット試行において、S-BUS、PostgreSQL、Redis はいずれもタイプ I の破損をゼロで示した。
• パフォーマンス： S-BUS は、この特定のワークロードにおいて、プロセス内協調と LLM 固有の契約に起因し、PostgreSQL（13〜15 倍高速）および Redis（1.8〜1.9 倍高速）よりも運用の単純性と低いレイテンシを示した。

(C3) トポロジー条件付き動作エンベロープ

本論文は、ワークロードトポロジーに基づいた ORI のセマンティックな影響を特徴づけた。

• 専用シャードトポロジー（エージェントが固有のシャードを所有）： ORI はセマンティックに中立である。矛盾を導入することなくすべてのエージェントの貢献を保持する。これが主要なユースケースである。
• 単一シャード協調書き込み（すべてのエージェントが 1 つのシャードに書き込む）： ORI はセマンティックに有害である。すべてのエージェントに再試行とコミットを強制することで、同じシャード上に互いに矛盾するパッチが蓄積される。このレジームについては、逐次協調またはマージベースのプロトコルが推奨される。

4. 実験結果

構造的競合の防止

• SWE-bench ワークロード： 専用シャード構成において、S-BUS は CrewAI を大幅に上回り、LangGraph とタスク成功率で同等の性能を示しつつ、構造的競合をゼロで維持した。
• 非コードワークロード（データパイプライン計画）： 8 ドメインのクロスドメイン実験において、S-BUS は ORI-ON 下で0/638の分岐コミットを防止したが、ベースライン（ORI-OFF）は590/639の分岐コミットを許容した（$\chi^2 = 1094.98, p < 10^{-240}$）。

カバレッジ分析

• 観測可能読み取り対隠れた読み取り： 主要なマルチエージェントワークロードにおいて、HTTP GET によって直接観測可能な読み取り（$R_{obs}$）は**26.1%のみであった。残りの73.9%**は隠れた読み取り（$R_{hidden}$）であった。
• セッション蓄積： 本論文は、セッションスコープの DeliveryLog 蓄積（前のステップからの GET を保持する）がギャップの大部分を埋め、自己報告参照の合計構造的カバレッジを**99.8%**に引き上げていることを特定した。
• セマンティック抽出： セマンティック抽出メカニズム（アナリスト LLM を使用）は、自己報告に対して 0.59 のリコールを達成したが、本論文は自己報告自体が 29〜37% 使用を過大申告していることを指摘している。

バックボーン一般化

安全性の同等性は、GPT-4o-mini、Anthropic Haiku 4.5、Google Gemini 2.5 Flash の 3 つの LLM バックボーン全体で確認された。

5. 意義と主張

本論文は、S-BUS が既存のフレームワークが欠くマルチエージェント協調のための構造的プリミティブを提供すると主張する。その意義は以下の点にある。

1. ゼロ-SDK 統合： エージェントコードの変更を必要とせず、標準的な HTTP トラフィックから読み取りセットを再構築することで、LLM エージェントに対する OCC を可能にする。
2. 形式的検証： LLM 協調メカニズムに対して、特に観測可能読み取り射影における構造的競合条件の防止を証明する、初の形式的安全性保証（TLAPS/TLC/Dafny による）を提供する。
3. 運用の単純性： 重いトランザショナルデータベース（PostgreSQL）と安全性の同等性を達成しつつ、LLM 固有のワークフローに対して著しく低いレイテンシと展開の複雑さを実現する。

限界と誠実な範囲：

• セマンティック正しさ： 本論文は、構造的競合の防止がセマンティックな整合性（タイプ II エラー）を保証しないことを明示的に述べている。
• 隠れた読み取り： 形式的保証は $R_{obs}$ のみに適用される。$R_{hidden}$ の割合は、セッション蓄積または将来のプロキシベースのセマンティック抽出に依存する。
• トポロジー制約： このメカニズムは単一シャード協調書き込みには有害であり、専用シャードトポロジー向けに設計されている。
• 分散安全性： リーダーフェイルオーバーに対して経験的に検証されたものの、分散 Raft レイヤーの完全な TLAPS 機械化は今後の課題である。

本論文は、S-BUS が専用シャードトポロジーにおける共有 NL 状態への並行書き込みから生じる特定のクラスの失敗に対する標的型ソリューションであり、現在のマルチエージェントフレームワークで一般的な「最後の書き込みが勝つ」または事後検証戦略に対する検証可能な代替案を提供すると結論づけている。