論文の概要: Execution Envelopes: A Shared Admission Contract for Backend AI Execution Requests

• arxiv url: http://arxiv.org/abs/2605.08267v1
• Date: Fri, 08 May 2026 03:02:38 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-12 23:28:49.51517
• Title: Execution Envelopes: A Shared Admission Contract for Backend AI Execution Requests
• Title（参考訳）: Execution Envelopes: バックエンドAI実行要求のための共有の許可契約
• Abstract要約: 本稿では,正規化された内部受け入れオブジェクトである実行エンベロープを紹介する。 どのような種類の実行、リクエストされたリソース、リクエストに付随するポリシー関連スコープ、最終的にバックエンドが与えたものを記録します。 中心的な主張は、共有実行承認契約は、現代のAIバックエンドにとって有用な欠落したプリミティブである、ということだ。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Enterprise AI backends increasingly admit heterogeneous execution requests across model deployment, inference, evaluation, data movement, and agentic workflows. In many systems, those requests arrive in service-specific shapes, which makes it difficult to attach shared admission-time behavior such as logging, governance hints, resource accounting, authorization-aware policy hooks, and later runtime review without rebuilding the same contract in each subsystem. This paper introduces the execution envelope, a normalized internal admission object that records who is asking for what kind of execution, what resources were requested, what policy-relevant scope accompanied the request, and what the backend ultimately granted. The proposal is intentionally narrow. It does not replace service-specific request models, perform scheduling, or introduce a new authority token. Instead, it defines a descriptive admission seam that can be threaded through real backend paths before backend-specific resolution begins. I formalize the distinction between requested and granted resources, specify the field families, invariants, and lifecycle of the envelope, work through POST /serving/deploy_model as an initial proving ground, and position the design relative to usage control, analyzable authorization, admission control, and cluster scheduling. The central claim is that a shared execution-admission contract is a useful missing primitive for modern AI backends because it creates one place to attach governance and observability without pretending to solve placement, policy, and runtime execution in a single step.
• Abstract（参考訳）: エンタープライズAIバックエンドは、モデルデプロイメント、推論、評価、データ移動、エージェントワークフローにまたがる不均一な実行要求をますます受け入れている。 多くのシステムでは、これらの要求はサービス固有の形で届き、ロギング、ガバナンスヒント、リソース会計、認証対応ポリシーフック、そして後続のランタイムレビューなど、各サブシステムで同じコントラクトを再構築することなく、共有されたインプットタイム動作のアタッチが困難になる。 本稿では,どの種類の実行を要求しているのか,どのリソースが要求されたのか,どのポリシー関連スコープが要求に付随しているか,バックエンドが最終的に何を与えたのかを記録できる,正規化された内部入力オブジェクトである実行エンベロープを紹介する。 その提案は意図的に狭い。 サービス固有の要求モデルを置き換えるのではなく、スケジューリングを実行したり、新たな権限トークンを導入したりする。 代わりに、バックエンド固有の解決が始まる前に、実際のバックエンドパスをスレッディングできる記述的なインセプションシームを定義する。 要求されたリソースと付与されたリソースの区別を形式化し、エンベロープのフィールドファミリ、不変量、ライフサイクルを指定し、POST/serving/deploy_modelを初期証明基盤として扱い、使用制御、分析可能な認可、受け入れ制御、クラスタスケジューリングに関する設計を配置する。 中心的な主張は、共有実行承認契約は、単一のステップで配置、ポリシー、ランタイム実行を解決するふりをすることなく、ガバナンスと可観測性をアタッチする場所を作成するため、現代のAIバックエンドにとって有用な欠落したプリミティブである、ということだ。

関連論文リスト

• Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering [78.51705689800838]
  本稿では, 要求, モデル, 評価器の見直しに, 展開証拠を用いた保証・修正ループを提案する。 そこで我々は,人的判断,エージェント能力,計算能力に対する資源配分問題としてエージェント開発を保証した。
  論文  参考訳（メタデータ） (2026-09-10T17:58:48Z)
• From Intent to Execution Grant: An Execution-Boundary Conformance Profile for High-Risk AI Actions [9.27474112226667]
  EBL-Coreは、1つの標準的な、完全に実体化されたAI生成候補が、明示的な条件下でアクションスコープ実行権限を受け取ることができるかどうかを決定する。 拘束力、政策非監視、エビデンス処理、決定論的判断、検証、ライフサイクル行動の付与などである。 100回の試験で32回の同時再空輸試験が成功し、1回の試行で完全に1回成功し、テスト効果が保護された。
  論文  参考訳（メタデータ） (2026-09-10T14:21:45Z)
• From Event Logs to Governed Action: A BlueSky Agenda for Agentic Process Mining [72.81644384922838]
  我々は、異種操作イベントデータを管理されたアクションに変換するプロセスマイニングアジェンダとして、イベント・ツー・アクション・プロセスマイニングを提案する。 イベントオブジェクト表現、アクションエビデンスパッケージ、ガバナンス契約、行動、延期、要求、拒否がすべて有効なアウトプットであるベンチマークの4つのアーティファクトが必要です。
  論文  参考訳（メタデータ） (2026-09-07T21:02:23Z)
• Five Primitives for Governing Autonomous AI Agents at Runtime [0.0]
  自律的なAIエージェントの管理は問題であり、モデルアライメントの問題ではない、と私たちは主張する。 行動を起こす前に答えなければならない質問から5つのプリミティブを導き出す。 エージェントのアクションが実行前にポリシーに対して媒介される実装について述べる。
  論文  参考訳（メタデータ） (2026-08-27T06:53:11Z)
• Formal Verification of Agentic Systems over Operational Data [59.98246281888422]
  大規模言語モデル(LLM)によって駆動されるエージェントシステムは、永続的な運用データを扱う現実世界にますます展開されている。 既存のアプローチはそのようなシステムレベルの保証を提供していません。 本稿では, 1 つの LLM とツールオーケストレーションハーネスからなるエージェントシステムのリレーショナル操作データに対する検証について述べる。
  論文  参考訳（メタデータ） (2026-08-04T13:01:30Z)
• 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)
• CAVA: Canonical Action Verification and Attestation for Runtime Governance of Agentic AI Systems [0.6526824510982799]
  本稿では、異種エージェントのアクティビティを標準ランタイムオブジェクトに変換するランタイム・セマンティック・レイヤを提案する。 このコントリビューションは、デプロイ側AIガバナンスに必要な基盤として、アクションレベルの標準化とポリシー順応可能なセマンティックパターンを定式化したシステムである。
  論文  参考訳（メタデータ） (2026-07-15T11:34:34Z)
• Citation-Closure Retrieval and Per-Rule Attribution for Real-World Regulatory Compliance Question Answering [54.97384993676565]
  複雑な国内R&D規制から派生した運用知識グラフを特徴とする,新たなベンチマークであるRegOps-Benchを用いて,レギュレーションコンプライアンスQAを形式化する。 RefWalkはクロスドキュメントの引用を横切り、マックスベースのアグリゲーションを通じてマルチビュー候補を融合させ、ソースへのクレームを明示的にマッピングするためにルールごとの属性を強制する。
  論文  参考訳（メタデータ） (2026-05-28T10:38:38Z)
• Authorization Propagation in Multi-Agent AI Systems: Identity Governance as Infrastructure [0.0]
  我々はこの問題を認可伝搬と呼ぶ。 RBAC、ABAC、ReBACのような古典的なアクセス制御モデルでは、完全には対処できない。 この論文は、認可伝達をワークフローレベルのプロパティとして形式化し、3つのサブプロブレムを特定し、マルチエージェントAIシステムにおける認可アーキテクチャの7つの構造的要件を導出する。
  論文  参考訳（メタデータ） (2026-05-06T20:56:17Z)
• Securing the Agent: Vendor-Neutral, Multitenant Enterprise Retrieval and Tool Use [0.0]
  本稿では,ポリシー意識の取り込み,検索時間ゲーティング,共有推論を組み合わせた階層型分離アーキテクチャを提案する。 このアプローチは、サーバ上でのセキュリティクリティカルなオペレーション – ツール実行承認、ステートアイソレーション、ポリシ執行 – を集中化します。 我々はこれを実証的に評価し、ABACゲーティングは無視可能なオーバーヘッドを導入しながら、テナント間のリークを排除していることを示す。
  論文  参考訳（メタデータ） (2026-05-06T17:59:21Z)
• Credo: Declarative Control of LLM Pipelines via Beliefs and Policies [1.0851051226732167]
  本稿では,意味的状態を信念として表現し,これらの信念に定義された宣言的ポリシーを用いて行動を制御するクレドについて紹介する。 この設計は、データベースが支援するセマンティックコントロールプレーンを通じて、適応的、監査可能、および構成可能な実行をサポートする。 我々はこれらの概念を、信念とポリシーが決定的な実行選択を宣言的に導く決定制御シナリオで紹介する。
  論文  参考訳（メタデータ） (2026-04-15T20:31:48Z)
• OpenKedge: Governing Agentic Mutation with Execution-Bound Safety and Evidence Chains [2.124730017640531]
  OpenKedgeは、突然変異を支配プロセスとして再定義するプロトコルである。 EEC(Intent-to-Execution Evidence Chain)は、意図、文脈、政策決定、実行境界、成果を統一された系統にリンクする。 マルチエージェントのコンフリクトシナリオとクラウドインフラストラクチャの変異に対してOpenKedgeを評価した。
  論文  参考訳（メタデータ） (2026-04-07T22:51:08Z)
• Faramesh: A Protocol-Agnostic Execution Control Plane for Autonomous Agent Systems [0.0]
  Farameshはプロトコルに依存しない実行制御プレーンで、エージェント駆動アクションの実行時間認証を強制する。 これらのプリミティブが自律的な実行に対して、強制可能で予測可能なガバナンスを実現する方法を示します。
  論文  参考訳（メタデータ） (2026-01-25T08:27:27Z)
• Code Models are Zero-shot Precondition Reasoners [83.8561159080672]
  シーケンシャルな意思決定タスクのために、コード表現を使ってアクションの前提条件を推論します。 本稿では,政策によって予測される行動が前提条件と一致していることを保証する事前条件対応行動サンプリング戦略を提案する。
  論文  参考訳（メタデータ） (2023-11-16T06:19:27Z)
• Concepts and Algorithms for Agent-based Decentralized and Integrated Scheduling of Production and Auxiliary Processes [78.120734120667]
  本稿ではエージェントベースの分散型統合スケジューリング手法について述べる。 要求の一部は、線形にスケールする通信アーキテクチャを開発することである。 このアプローチは、工業的要件に基づいた例を使って説明されます。
  論文  参考訳（メタデータ） (2022-05-06T18:44:29Z)
• Acting in Delayed Environments with Non-Stationary Markov Policies [57.52103323209643]
  本稿では,MDPにおける学習と計画のためのフレームワークについて紹介する。 実行が遅れると、元の状態空間における決定論的マルコフポリシーは最大報酬を得るのに十分であるが、非定常である必要があることを証明します。 我々は、状態拡張に頼らずに遅延実行タスクを解く非定常Q学習スタイルのモデルベースアルゴリズムを考案した。
  論文  参考訳（メタデータ） (2021-01-28T13:35:37Z)
• Query Resolution for Conversational Search with Limited Supervision [63.131221660019776]
  本稿では,双方向トランスフォーマに基づくニューラルクエリ解決モデルQuReTeCを提案する。 我々はQuReTeCが最先端モデルより優れており、また、QuReTeCのトレーニングに必要な人為的なデータ量を大幅に削減するために、我々の遠隔監視手法が有効であることを示す。
  論文  参考訳（メタデータ） (2020-05-24T11:37:22Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。