論文の概要: Guarded Commits: Transactional Human Approvals for LLM Workflows
- arxiv url: http://arxiv.org/abs/2610.00037v1
- Date: Wed, 02 Sep 2026 20:49:13 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-05 14:48:16.32206
- Title: Guarded Commits: Transactional Human Approvals for LLM Workflows
- Title（参考訳）: ガードされたコミット: LLMワークフローのためのトランザクションの人間承認
- Abstract要約: LLMは、しばしば不可逆な外部アクションの前に人間の承認を必要とする。
ほとんどのシステムは、インターフェースクリックや監査エントリとして、ワークフローの外でその承認を維持します。
ワークフロー状態に人間の承認を組み込むガード付きコミット設計を提案する。
- 参考スコア（独自算出の注目度）: 3.6938026057206437
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: LLM workflows often require human approval before an irreversible external action. Most systems keep that approval outside the workflow, as an interface click or an audit entry. The workflow therefore lacks a commit-time check that every risky path reached an approval gate. Its logs may not preserve the reviewed evidence or the conditions for reusing an earlier decision. We present a guarded-commit design that makes human approval part of workflow state. Before the external action runs, a decision source appends a resolution record and its referenced evidence to a ledger. A credential-confined commit adapter then checks that record against the artifact, policy version, and executed path. Our evidence is limited to trace reconstruction. A validator test on synthetic acyclic workflow plans accepts unfaulted plans and rejects plans with each injected fault: a missing gate, the wrong gate type, or incomplete path coverage. Across three public workloads totaling 271,035 traces, replay reproduces recorded artifact hashes when present. Avoided reviews and disagreement with recorded decisions vary by workload. The resulting record supports audit and replay under the policy in force when the resolution was recorded.
- Abstract（参考訳）: LLMワークフローは、しばしば不可逆な外部アクションの前に人間の承認を必要とする。
ほとんどのシステムは、インターフェースクリックや監査エントリとして、ワークフローの外でその承認を維持します。
従ってワークフローには,すべてのリスクパスが承認ゲートに到達するためのコミットタイムチェックが欠落している。
そのログは、レビューされた証拠や以前の決定を再利用するための条件を保存していないかもしれない。
ワークフロー状態に人間の承認を組み込むガード付きコミット設計を提案する。
外部アクションの実行前に、決定ソースは、解決レコードとその参照された証拠を台帳に追加する。
クレデンシャルに精通したコミットアダプタは、そのレコードをアーティファクト、ポリシーバージョン、実行されたパスに対してチェックする。
我々の証拠は痕跡の復元に限られている。
合成非循環ワークフロー計画のバリデータテストは、未定の計画を受け入れ、各障害(欠落ゲート、間違ったゲートタイプ、または不完全なパスカバレッジ)で計画を拒否します。
3つのパブリックワークロードの合計271,035トレースに対して、リプレイは、現在時の記録されたアーティファクトハッシュを再生する。
記録された決定に対するレビューや不一致は、ワークロードによって異なります。
結果として得られた記録は、決議が記録されたときの政策の下で監査と再生をサポートする。
関連論文リスト
- AGATE: Provenance-Based Runtime Defense Against Compositional Attacks on LLM Agents [8.882970037100966]
本稿では,エージェントハーネス境界における認証およびデータ保護ゲートであるAGATEについて述べる。
本評価では,153個のアタックチェーンレコードと,デプロイ,ユーティリティ,再構築実験を組み合わせた評価を行った。
11の良質なファイル処理シナリオのうち6つは否定的なイベントを含んでおり、コンテンツベースのプロビデンスポリシーの実用コストを明らかにしている。
論文 参考訳（メタデータ） (2026-09-25T05:18:02Z) - Learning What to Skip: Counterfactual Credit Assignment for Efficient Multi-Agent LLM Workflows [49.15875332210974]
すべてのコンポーネントを実行することは、計算を無駄にしたり、正しい中間回答を上書きすることができる。
我々は、制御されたスキップ介入からアクション固有の安全モデルを学ぶ「Skip to Skip」について紹介する。
早期スキップが拒否されると、コントローラは実行を継続し、後続のコンポーネントを再考することができる。
論文 参考訳（メタデータ） (2026-09-25T03:02:57Z) - PolicyGuide: From Guarding One Action to Guiding the Whole Workflow for Policy-Compliant LLM Agents [46.25624714630383]
PolicyGuideは、各ドメインポリシーをワークフローグラフにコンパイルし、ユーザターンバウンダリでプロアクティブ検証を起動する。
永続的なグラフ状態から、検証者はオープンリクエストを調整し、ポリシーに準拠したパスに沿ってステップ固有の修復を返す。
論文 参考訳（メタデータ） (2026-08-20T10:13:19Z) - From Trajectories to Evidence: Auditable Experimental Records for Industrial Research Agents [47.678562263387214]
研究エージェントは、産業レコメンデーション設定において、多段階の機械学習実験をますます実施している。
生成されたアーティファクトは、サポートされないか、不完全かもしれないし、実行されたラウンドは無効かもしれないし、あるいは廃止されるかもしれないし、後の修正は、以前の発見を曖昧にするかもしれない。
本稿では,連続的アーティファクトのバウンダリ検証と実行後のクレーム資格を結合するエビデンス・グラウンド・フレームワークを提案する。
論文 参考訳（メタデータ） (2026-08-05T13:37:38Z) - Turning Interaction History into Execution State: A Runtime Layer for Long-Horizon Coding Agents [48.967927222079965]
Ledgerは、エージェントの完了したインタラクションを明示的な実行状態に蒸留するランタイム層である。
Ledgerはこの状態をオンライン実行台帳に保持し、各ステップの2つのバウンダリに適用される。
500のSWE-bench検証インスタンス全体で、LedgerはPass@1を56.2%から64.2%に、GPT-5 miniを75.8%から81.0%に、MiniMax M2.5を81.0%に引き上げている。
論文 参考訳（メタデータ） (2026-08-01T18:25:00Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - Beyond Object Validation: Relational Conformance in Multi-Artifact Agent Releases [0.0]
1つのDRSSリリースでは、台帳が60ポイント、証明書が1つ失敗し、100ポイントのゴールドパスが報告された。
私たちは、同じような障害が製品契約になったDocsや、証拠が修復作業に変わるBrand Shuttleとともに、その失敗を研究しています。
本論文は,障害クラスを確立し,いくつかのメカニズムが実用的であることを示す。
論文 参考訳（メタデータ） (2026-07-14T18:56:38Z) - Lingering Authority: Revocable Resource-and-Effect Capabilities for Coding Agents [0.0]
PortICOは、プランナーに露出する機能のリファレンスモニターである。
明示的なタスクコントラクトを初期機能にコンパイルし、ルールを付与し、信頼できるクロージャ述語、グローバルな否定ルールを付与する。
論文 参考訳（メタデータ） (2026-06-21T13:52:37Z) - Verify-Gated Completion as Admission Control in a Governed Multi-Agent Runtime: A Bounded Architecture Case Study [0.6875312133832079]
制御されたマルチエージェントランタイムの入出力制御パターンとして,検証ゲート補完について検討する。
観測条件下では,読み取り専用検証ゲートとパケット化入力記録が検査可能で,フェールクロースされた。
論文 参考訳（メタデータ） (2026-05-18T07:52:13Z) - Sherlock: Reliable and Efficient Agentic Workflow Execution [44.30588192569476]
大規模言語モデル(LLM)は、従来のアプリケーションを置き換える傾向にある。
あるステップにおける不正または部分的に正しい出力は、その後の段階を通じて伝播または増幅することができる。
すべてのステップを検証することは、大きなレイテンシとコストオーバーヘッドをもたらす。
提案手法であるSherlockは,エージェントの反実解析を用いて,エラー発生ノードを同定し,コスト最適検証器を選択的にアタッチする。
論文 参考訳（メタデータ） (2025-11-01T00:17:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。