論文の概要: Tracekit: Tamper-Evident Intent-Reasoning-Action Auditing for Autonomous Coding Agents

• arxiv url: http://arxiv.org/abs/2609.35659v1
• Date: Mon, 28 Sep 2026 17:22:04 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-01 19:50:42.285212
• Title: Tracekit: Tamper-Evident Intent-Reasoning-Action Auditing for Autonomous Coding Agents
• Title（参考訳）: Tracekit: 自動符号化エージェントに対するタンパーエビデント・インテリジェント・推論・アクション監査
• Abstract要約: Tracekitは、各エージェントセッションの3つのチャンネルをキャプチャする。人間の質問(インテント)、推論のモデルが何を言ったか(自己報告)、実際に実行されたか(アクション)。 Claude Codeのライフサイクルイベントにフックし、マルチエージェント階層の再構築、事前実行ポリシによるゲートツールコール、SDKまたはHTTP API経由で他のエージェントからのイベントの受け入れ、ブラウザ内の台帳を再検証するライブオブザーバのレンダリングを行う。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Autonomous coding agents read untrusted files, run shell commands and spawn sub-agents with little supervision, yet their record is usually an editable log. We present Tracekit, an open-source, dependency-free system that captures three channels for every agent session: what the human asked (intent), what the model said of its reasoning (self-report), and what it actually executed (actions). These are written to a hash-chained, externally anchorable ledger and cross-checked. Tracekit hooks into Claude Code's lifecycle events, reconstructs multi-agent hierarchies, gates tool calls with a pre-execution policy, accepts events from other agents via an SDK or HTTP API, and renders a live observer that re-verifies the ledger in the browser. We evaluate Tracekit in five experiments. (1) Across 1,600 random mutations, the chain detects every edit, deletion, reordering, forged insertion and torn write; tail truncation and full re-chaining are caught only by anchors, with detection falling to 0.47 at an anchoring interval of 300 records, matching a closed-form model. (2) A hook costs 23.9 ms median, flat up to 100,000 ledger records, and the chain stays correct under 16 concurrent writers. (3) A regular-expression gate blocks only 18 of 44 harmful tool calls (41%) while wrongly blocking 3 of 40 benign ones; trivial rewrites evade it. (4) In 14 real Claude Code runs, the agent never acted on four planted indirect prompt injections and disclosed each. The provider withheld the text of all 27 thinking blocks, so self-report was limited to visible prose. (5) With seeded-fault splicing, a new method that inserts concealed misaligned steps into real traces, over 63 traces and 126 reviewer calls, rule flags caught 40/49 (82%) of faulted traces and an independent LLM reviewer caught 98/98 (100%), with a false-positive rate of 1/14 on unmodified traces. We release the system, harness and all traces.
• Abstract（参考訳）: 自律的なコーディングエージェントは、信頼できないファイルを読み、シェルコマンドを実行し、監督の少ないサブエージェントを生成するが、そのレコードは通常編集可能なログである。 私たちはTracekitという,エージェントセッション毎に3つのチャネルをキャプチャする,オープンソースの依存性のないシステムを紹介します。 これらはハッシュチェーンで外部にアンカー可能な台帳に書き込まれ、クロスチェックされる。 TracekitはClaude Codeのライフサイクルイベントにフックし、マルチエージェント階層の再構築、事前実行ポリシによるゲートツールコール、SDKまたはHTTP API経由で他のエージェントからのイベントの受け入れ、ブラウザ内の台帳を再検証するライブオブザーバのレンダリングを行う。 5つの実験でTracekitを評価した。 1)1,600件のランダム変異に対して、チェーンは、編集、削除、並べ替え、偽装挿入、トルンライトを検知し、テールトランケーションとフルリチェーンはアンカーによってのみ捕捉され、検出は300レコードのアンカー間隔で0.47に低下し、クローズドフォームモデルに一致する。 2) フックの中央値は23.9ms、台帳記録は10万枚までで、チェーンは16人の同時ライターの下では正しい。 (3) 正規表現ゲートは、44件の有害なツールコール(41%)のうち18件のみをブロックし、不正に40件のうち3件をブロックする。 (4) 実際のクロードコード14件において,エージェントは,4つの間接的インパルスインジェクションに作用せず,それぞれを開示する。 プロバイダーは27の思考ブロックのテキストを保持できなかったので、自己報告は可視的な散文に限られていた。 (5)シード・フォールト・スプライシングでは、63件以上のトレースと126件のレビュワーコールに隠蔽された不正なステップを挿入し、ルールフラグが40/49(82%)の障害トレースをキャッチし、独立したLCMレビュアーが98/98(100%)の偽陽性率で修正されていないトレースを1/14とした。 システム、ハーネス、すべてのトレースを解放します。

関連論文リスト

• Agora: Git as Shared Memory for Collective AutoResearch [54.31992252587096]
  別々のセッションで作業する調査エージェントは、他の人が試したことと、構築可能な結果を知る必要がある。 各コミットは結果、洞察、仮説、検証、報告を記録し、それを以前の作業とリンクする。 約12日間に渡り,13人の言語モデル労働者がアゴラを重み移動問題の解決に利用したことを報告した。
  論文  参考訳（メタデータ） (2026-09-16T04:00:54Z)
• NovaFabric: Tamper-Evident, Replayable Evidence for Autonomous AI Agent Runs [0.0]
  我々はNovaFabricを紹介し、監査グレードの実行証拠を作成している。 エージェントロジックを変更することなく実行中のエージェントを、ポータブルなRun Capsuleに記録する。 シードランは4モードのリプレイプロトコルで再実行可能である。 我々は8つの研究課題を測定範囲で評価した。
  論文  参考訳（メタデータ） (2026-09-11T08:35:43Z)
• AgentDrift: A Step-Labeled Benchmark of Injection-Hijacked LLM Agent Trajectories [0.0]
  LLMエージェントは、ツールコールのシーケンスを発行することでタスクを完了し、彼らが読んだすべての観察は、間接的なプロンプトインジェクションが入力できるチャネルである。 既存のベンチマークは、そのような攻撃がライブエージェントに対して成功するかどうかを測定し、既存のガードモデルは全体のトレースを判断する。 我々は5つのエージェントドメインにまたがる12,536の合成ツールコールトラジェクトリのベンチマークであるAgentDriftを提案する。
  論文  参考訳（メタデータ） (2026-09-07T03:10:23Z)
• VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
  テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。 それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。 我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
  論文  参考訳（メタデータ） (2026-09-02T20:36:45Z)
• Agent Flight Recorder: Tamper-Evident Audit Trails with On-Chain Anchoring for Long-Horizon Tool-Using Agents [0.6564588068252765]
  ロングホライゾンエージェントは数千のアクションを実行し、分離されたエラーではなく順次失敗する。 Agent Flight Recorderは、各エージェントアクションを構造化されたセマンティックシリアライズされたイベントバインディングとして、実行から実行までの8つのフィールドをキャプチャする。 合成エージェントの負荷に対して,5つの累積アブレーション構成でシステムを評価する。
  論文  参考訳（メタデータ） (2026-09-01T22:59:08Z)
• Fantastic Adaptive Taxonomies and How to Use Them [100.20614173157708]
  AdaMASTは、実行トレースをコンパクトでエビデンスに基づく障害分類に変換する。 コードには手書きのコードはなく、人間による注釈もない。 エージェント・システム・サーチでは、失敗候補の分類コード診断が自由形式より優れている。
  論文  参考訳（メタデータ） (2026-07-17T17:41:16Z)
• Detecting AI Coding Agents in Open Source: A Validated Multi-Method Census of 180 Million Repositories [2.36052383261568]
  ジェネレーティブAIコーディングエージェントが、オープンソースのサプライチェーンに参入している。 構成ファイルスキャン,コミットメッセージ解析,著者同一性マッチング,ボット署名検索を統合した多層検出フレームワークを提案する。 1つのメソッドがほんの少しのアクティビティをキャプチャすることはありません。
  論文  参考訳（メタデータ） (2026-06-23T11:05:42Z)
• From Attack Simulation to SIEM Rule: Deterministic Detection-as-Code Synthesis with Probe-Level Traceability [51.56484100374058]
  セキュリティチームは、自身のシステムに対する攻撃をシミュレートして、監視が真の侵入者を捕まえるかどうかをチェックする。 人間はそのギャップを手でブリッジし、それぞれの発見を読み、対応するシグマルールを書きます。 ロックされたコーパスからプローブが引き出されると,この変換が部分的に自動化されることを示す。
  論文  参考訳（メタデータ） (2026-06-03T14:26:25Z)

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

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