論文の概要: ExecWeave: Cross-Layer Execution Provenance for Observable Agentic Software
- arxiv url: http://arxiv.org/abs/2610.21146v1
- Date: Thu, 15 Oct 2026 03:02:00 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-16 19:13:16.145044
- Title: ExecWeave: Cross-Layer Execution Provenance for Observable Agentic Software
- Title（参考訳）: ExecWeave: 監視可能なエージェントソフトウェアのためのクロスレイヤ実行保証
- Abstract要約: ExecWeaveは、プロバイダのセマンティクスと独立に観察されたランタイムイベントを、型付き実行グラフに実体化する。
プロバイダのセマンティクスを実現するローカルファーストシステムであるExecWeaveを,独立に観測されたランタイムイベントを型付き実行グラフに変換する。
- 参考スコア（独自算出の注目度）: 1.6901808995670524
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Agentic software invokes tools, launches processes, accesses files, and communicates with local or remote services. Application traces describe logical operations, whereas operating-system telemetry records machine activity without necessarily identifying the responsible agent action. Relating these evidence planes is a reconstruction problem: a plausible but unsupported association can assign an effect to the wrong principal. We present ExecWeave, a local-first system that materializes provider semantics and independently observed runtime events into a typed execution graph. The implementation retains separate source artifacts, distinguishes logical occurrences from repeated evidence, and records attribution, inference, and causal-status metadata. An optional command-to-process correlator emits a non-causal inferred bridge only when its bounded search yields one compatible observed process; uniqueness within this observed candidate set is not a guarantee of causal correctness. OS-observed file and network effects acquire a semantic tool or agent principal only through an observed process plus a justified command-to-process association; session-correlated file-system events do not by themselves provide that principal. Source code is available at https://github.com/Irish-kw/ExecWeave.
- Abstract（参考訳）: Agentic Softwareはツールを起動し、プロセスを起動し、ファイルにアクセスし、ローカルまたはリモートサービスと通信する。
アプリケーショントレースは論理的な操作を記述しているが、オペレーティングシステムのテレメトリは、責任あるエージェントのアクションを必ずしも特定せずに、マシンのアクティビティを記録する。
これらのエビデンスプレーンを関連付けることは、再構築の問題である: もっともらしいが支持されない協会は、間違ったプリンシパルに効果を割り当てることができる。
プロバイダのセマンティクスを実現するローカルファーストシステムであるExecWeaveを,独立に観測されたランタイムイベントを型付き実行グラフに変換する。
この実装は、別々のソースアーティファクトを保持し、繰り返されるエビデンスと論理的発生を区別し、属性、推論、因果統計メタデータを記録する。
任意のコマンド・ツー・プロセス・コレレータは、その有界探索が1つの互換性のある観測プロセスを得た場合にのみ、非因果推論ブリッジを出力する。
OSが保持するファイルとネットワークのエフェクトは、観察されたプロセスと正当化されたコマンド・ツー・プロセス・アソシエーションによってのみセマンティック・ツールまたはエージェント・プリンシパルを取得する。
ソースコードはhttps://github.com/Irish-kw/ExecWeave.comで入手できる。
関連論文リスト
- From Source Code to Network Profile: Automated and Traceable MUD Profile Generation for IoT Devices [86.57251613552715]
ファームウェアとソフトウェアソースコードからIoTデバイス用のトレース可能なMUDプロファイルを生成する,ソースコード駆動のツールであるAutoMUDを紹介する。
コードレベルのエビデンスを分析することで、AutoMUDは、稀なエクササイズや条件付き通信パスを公開し、生成されたすべてのルールをソースレベルの証明にリンクし、除外された結果をレビューの明確な理由で保存する。
論文 参考訳（メタデータ） (2026-09-25T17:52:09Z) - A Safety-Bounded SDC-to-MCP Gateway for Medical AI Agents [0.18907108368038217]
医療環境では、デバイスの状態とアクションの余裕を露呈するには、影響の可能性を決定論的に制限する必要がある。
我々は、メトリクス、アラーム、コンテキスト参照、セマンティックメタデータを読み取り専用リソースとして公開するIEEE 11073 Service-Oriented Device Connectivity (SDC)-to-MCPゲートウェイを提案する。
論文 参考訳（メタデータ） (2026-09-25T14:54:21Z) - From Event Logs to Governed Action: A BlueSky Agenda for Agentic Process Mining [72.81644384922838]
我々は、異種操作イベントデータを管理されたアクションに変換するプロセスマイニングアジェンダとして、イベント・ツー・アクション・プロセスマイニングを提案する。
イベントオブジェクト表現、アクションエビデンスパッケージ、ガバナンス契約、行動、延期、要求、拒否がすべて有効なアウトプットであるベンチマークの4つのアーティファクトが必要です。
論文 参考訳（メタデータ） (2026-09-07T21:02:23Z) - Terminal Agents: A Survey of AI Agents in Command-Line Environments [102.48222742145474]
大規模言語モデルエージェントは、ターミナルを通してますます行動するが、既存の調査は、ソフトウェア工学、ツールの使用、コンピュータ利用の研究にまたがって端末による振る舞いを分散させている。
我々は,端末エージェントを,端末コマンドの実行,テキストフィードバック,ステートフルな環境相互作用を介し,進行を伴う動作を主とするシステムとみなす。
我々の合成は、実現された行動はモデル、インターフェース、ハーネス、ランタイム、環境によって共同で形成されていることを示している。
論文 参考訳（メタデータ） (2026-08-20T18:16:44Z) - 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) - Observability for Delegated Execution in Agentic AI Systems [0.6445605125467572]
本稿では,軽量ゲートウェイと共通情報モデルからなるエージェント対応可観測基板を提案する。
これにより、時間-ウィンドウの相関なしに、信頼性の高いクロスツールデリゲートスコープの再構築と直接法医学的なクエリが可能になる。
論文 参考訳（メタデータ） (2026-06-08T16:10:05Z) - The Log is the Agent: Event-Sourced Reactive Graphs for Auditable, Forkable Agentic Systems [0.0]
典型的なエージェントフレームワークを反転させるランタイムであるActiveGraphについて説明する。
追加のみのイベントログが真実の源であり、ワーキンググラフはそのログの決定論的プロジェクションである。
コンポーネントが他のコンポーネントに指示することはありません。
論文 参考訳（メタデータ） (2026-05-21T04:55:38Z) - Inferring Unobserved Events in Systems With Shared Resources and Queues [0.8602553195689513]
実生活システムは、しばしば起こる全ての出来事のサブセットのみを記録する。
共有リソースを持つプロセスの動作を理解し,分析するために,発生したに違いないが記録されていないイベントのタイムスタンプの境界を再構築することを目的としている。
我々は、非観測イベントのタイムスタンプを効率的に導き出すために、エンティティトレース上の線形プログラミングを使用する。
論文 参考訳（メタデータ） (2021-02-27T09:34:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。