研究論文投稿サイトarXivのコンピュータサイエンス部門は2026年10月15日(現地時間)、LLM (大規模言語モデル) カスケードにおける情報およびリソースの完全性を監査するための対抗的実行監査フレームワーク「カスケードレジャー (CascadeLedger)」を発表した。このプロトコルはcall-before-readセマンティクスを強制し、成功した読み取りをサービスおよびキャッシュIDにバインドする。また、可用性とコンポーネントごとの予算遷移を記録し、ターゲットやタスクスコアラーが結合される前にイベントトレースを凍結する。
カスケードレジャーは、予算制約のあるLLMカスケード向けに設計されており、ルーティング決定が合法的に観測可能な情報のみを使用しているか否かを検証する。その中心概念はaggregate-equivalent trace validityであり、これは2つの実行が最終的な回答、宣言されたリソース予測、およびサービスヒストグラムを共有しながらも、ルーティング決定における情報利用の合法性に違いがあるかを判別する。
このフレームワークは、単一トレースの不変条件を補完するため、counterfactual prefix non-interference (CPNI)を活用する。CPNIは、可視のプレフィックスとポリシーのランダム性を結合しつつ、宣言された隠れたファミリーのみを変更する。さらに、counterfactual influence frontier (CIF)は最も初期の違反プレフィックスと最小限の隠れた証拠を特定し、projection-preserving adversarial mutation (PPAM)は非対抗的チェッカーに許容される無効なトレースを探索する。
評価において、凍結キャッシュ、独立生成、およびサービス提供の各シナリオで実施された二層監査は、0.0000のクリーンな誤検出率を報告した。また、シリアライズされた欠陥の0.9983、ログ記録されていない隠れた読み取りの欠陥の0.9982を検出する。さらに、確定的な再計算後には、破損した品質-リソース結論の0.3403に変更を加えることが示された。オンラインレコーダーとオフラインのCPNI監査は、別個のオーバーヘッド測定結果を持つ。学習されたルーティングとセマンティック検証は、同一の実行契約の下で下流の互換性研究を提供する。
参考: arXiv cs.CR — 2026年10月16日 13:00 (JST)
原文ハイライト"We introduce CascadeLedger, a counterfactual execution-audit framework for budgeted language-model cascades."