論文の概要: When the Approved File Is Unchanged: Authority-Set Integrity for Deployment and Coding-Agent Approvals

• arxiv url: http://arxiv.org/abs/2610.15137v1
• Date: Sat, 10 Oct 2026 19:30:20 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-20 02:28:15.351933
• Title: When the Approved File Is Unchanged: Authority-Set Integrity for Deployment and Coding-Agent Approvals
• Title（参考訳）: 承認されたファイルが変更されないとき:デプロイとコーディングのためのオーソリティセット統合
• Abstract要約: 20のパブリックレポジトリの歴史において、実行中のファイルを変更する542コミットのうち296は、承認されたファイルに手を加えないままである。 承認は、承認された実行が読み込まれるように設定されているすべてのリポジトリファイルにバインドするとき、そして、それが他のファイルにバインドしていないときの正確な承認である。 このセットのバインディングは編集を拒否し、約1回のコミットに対して待機中の承認を10回再要求する。
• 参考スコア（独自算出の注目度）: 1.1844977816228044
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: An approval for a deployment, a release, or an agent-issued command is recorded against one object: a workflow file, a script, a command line. The run that follows also reads other repository files, which decide what the deployment creates and which changes a policy allows, so an edit to one of them after approval passes any check on the approved object. Such edits are the common case. In the history of 20 public repositories, 296 of the 542 commits that change a file the run reads (54.6%) leave the approved file untouched, all of them ordinary development with no adversary involved. We demonstrate the consequence on two of those repositories: an edit outside the approved workflow adds a bucket-write policy to a deployed role, a one-line edit removes the human approval required for high-risk changes, and a check on the approved file accepts both. We define authority-set integrity: an approval is sound when it binds every repository file the authorized run is configured to read, and exact when it binds no other file. A binding over that set rejects both edits and re-requests a standing approval on about one commit in ten. The hard part is naming the set. Coding agents asked to produce the binding compute the digest correctly and bind different file sets from run to run, so a checker cannot take the set on the agent's word. It should compute the digest itself and draw the set from a source it can verify, such as the deployment tool's own record of its inputs or a manifest declared in the repository.
• Abstract（参考訳）: デプロイ、リリース、エージェント発行されたコマンドの承認は、ワークフローファイル、スクリプト、コマンドラインという1つのオブジェクトに対して記録される。 続く実行は、他のリポジトリファイルも読み込み、デプロイが生成し、ポリシーが許すものを変更する。 このような編集が一般的である。 20のパブリックレポジトリの歴史において、実行中のファイルを変更する542のコミットのうち296件(54.6%)は、承認されたファイルに手を加えずに残しており、これら全ては敵の関与なしに通常の開発である。 承認されたワークフロー外の編集は、デプロイされたロールにバケットライトポリシーを追加し、1行の編集は、ハイリスクな変更に必要な人間の承認を取り除き、承認されたファイルのチェックは、両方を受け入れる。 承認は、承認された実行が読み取り用に設定されているすべてのリポジトリファイルにバインドするとき、そして、それが他のファイルにバインドしていないときの正確さです。 このセットのバインディングは編集を拒否し、約1回のコミットに対して待機中の承認を10回再要求する。 難しいのは、セットの命名です。 コードエージェントは、ダイジェストを正しく生成し、実行から実行までの異なるファイルセットをバインドするように要求されるため、チェッカーはエージェントのワードのセットを取ることができない。 ダイジェスト自体を計算して、デプロイメントツール自身の入力の記録やリポジトリで宣言されたマニフェストなど、検証可能なソースからセットを引き出す必要がある。

関連論文リスト

• AIPOCH Open-Science: An Open-Source AI Research Workbench with Reproducible .science Packages [45.605119451149]
  AIPOCH Open-Scienceは、ポータブルサイエンスセッションパッケージを備えたオープンソースのリサーチワークベンチである。 バージョンとアセスメントのターゲットは、受信-ワークスペース識別子が再マップされる間、帰結可能なままである。 コントロールされたセッションでは、誤った最初のバージョン、レビューされた修正、未レビューの修正、計画されたが実行されていないステップがテストされた。
  論文  参考訳（メタデータ） (2026-10-12T17:03:23Z)
• Same Operation, Different Permission: Evaluating Whether Guardrails Honor Authorization [47.05539777659961]
  ベンチは、その言語トラックで同じ操作の 認証証拠を対比するベンチマークです。 ブロックされた操作の多くは、正しい否定ではなく、レビューの失敗によるものであることを示す。 出力フォーマットの修復は使用可能な決定を復元するが、承認された要求に敬意を表し、第2のレビュアーを追加することでエラーを除去する。
  論文  参考訳（メタデータ） (2026-10-12T14:17:21Z)
• The Last Mile Is the File: OfficeEditBench for Preservation-Aware Office Editing [0.02546411901419288]
  OfficeEditBenchは、スプレッドシート、プレゼンテーション、ドキュメントの変更スコープによるメンテナンスのための170タスクのベンチマークである。 我々は,凍結自動判定と人間の受容性とを区別しながら,メンテナンスの失敗を分析した。
  論文  参考訳（メタデータ） (2026-09-28T07:25:52Z)
• CATP: Design and Evaluation of Local Agent Authorization and Audit Evidence [1.2691047660244335]
  署名された認可記録は、署名者が主張したものを認証するが、それ自体は、アサーションが実行時決定に使用されるポリシーとアクションに一致することを証明していない。 CATPは、ローカルな実行前決定をオフラインで検証可能な証拠に伝達するために必要な結合を指定する。
  論文  参考訳（メタデータ） (2026-09-28T04:06:20Z)
• Agent Approval Laundering: Transitive Effects Beyond the Approved Invocation [4.976922673853743]
  コーディングエージェントの承認インターフェースは、人間の決定をコマンドやツールコールに結び付ける。 私たちは、結果として生じる記録的障害承認洗浄を呼んでいます。 エージェントシステムにおけるこの記録-閉鎖関係の最初の系統的セキュリティ解析について述べる。
  論文  参考訳（メタデータ） (2026-09-23T13:47:35Z)
• Don't Let the Model Write the YAML: Deterministic, Minimal-Diff GitOps Remediation from LLM-Proposed Field Changes [0.0]
  GitOpsでは、モデル作者に編集されたファイルや差分を持てば、最初に実践者が到達できる。 ファイルを編集する構文的行為から意味的決定(リソース、フィールド、値)を分離する代替案を提案する。 ファイルは再シリアライズされないため、diffは構成によって最小限であり、編集はモデルから独立して正確で決定論的である。
  論文  参考訳（メタデータ） (2026-08-31T18:37:12Z)
• Where Accountability Lives: Mapping Human Responsibility to Workflow Artifacts in Agentic Software Development [0.0]
  コーディングエージェントの作者、プルリクエストのオープン、プロダクションリポジトリ内のプッシュコード。 アーティファクトを残すワークフローイベント、エージェントによるコーディングツール4つ、および7つのプロバイダによるポリシー文書18つについて、それぞれについて読んでいます。 あるプロバイダは、タスクを割り当てた開発者が結果のプルリクエストを承認することを禁じる。別のプロバイダは、設定されたリスクしきい値以下でプルリクエストを承認し、レビューを無効にできるエージェントを文書化する。 我々は、強制的、助言的、欠落した検証の通常の3方向の区別をグリッドに置き換え、メカニズムがチェックを誰が実行したかで補完するかどうかを区別する。
  論文  参考訳（メタデータ） (2026-08-16T11:11:04Z)
• Independent Patch Verification for Coding Agents with a Bidirectional Reconstruct-and-Verify Framework [49.16055123488827]
  大規模言語モデルを利用したコーディングエージェントは、バグレポートから直接コードパッチを生成することができる。 報告された問題を真に解決するかどうかを独立に検証するメカニズムは存在しない。 本稿では,RETRACE をトレーニング不要なポストジェネレーション検証フレームワークとして提案する。
  論文  参考訳（メタデータ） (2026-08-09T22:59:13Z)
• Tencent WorkBuddy Bench: A Multi-Domain Coding-Agent Benchmark with Contamination-Resistant Task Construction [57.138342889101345]
  Tencent WorkBuddy Benchは、コーディングエージェントのためのマルチドメイン評価スイートである。 本報告では, 設計手法, スコアリングプロトコル, クロスモデルリーダーボードについて述べる。
  論文  参考訳（メタデータ） (2026-07-23T04:34:06Z)
• DocEdit-v2: Document Structure Editing Via Multimodal LLM Grounding [128.92659116774374]
  大規模マルチモーダルモデル(LMM)を活用してエンドツーエンドの文書編集を行う新しいフレームワークDocEdit-v2を紹介する。 1) Doc2Commandは、興味のある編集領域(RoI)を同時にローカライズし、ユーザの編集要求を編集コマンドに曖昧にする; (2) LLMベースのコマンド改革により、元々はジェネラリストのLMMに適した編集命令に、特別なソフトウェア用に意図されたコマンドを調整して編集する; 3) DocEdit-v2は、GPT-4VやGeminiのような大規模マルチモーダルモデルを介してこれらの出力を処理し、文書レイアウトを解析し、編集を実行する。
  論文  参考訳（メタデータ） (2024-10-21T19:59:04Z)
• Beyond the Chat: Executable and Verifiable Text-Editing with LLMs [87.84199761550634]
  近年,Large Language Models (LLMs) を利用した会話インタフェースが,文書編集時にフィードバックを得る手段として人気になっている。 InkSyncは、編集中のドキュメント内で直接実行可能な編集を推奨する編集インターフェースである。
  論文  参考訳（メタデータ） (2023-09-27T00:56:17Z)

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

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