論文の概要: From Agent Output to Authorized Transition
- arxiv url: http://arxiv.org/abs/2609.28216v1
- Date: Wed, 23 Sep 2026 14:50:20 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-25 00:05:18.077395
- Title: From Agent Output to Authorized Transition
- Title（参考訳）: エージェント出力から認可移行へ
- Abstract要約: Agile-V Assurance Spineは、ソフトウェア、ファームウェア、PCBエンジニアリングのクロスドメイン移行契約である。
ゲート決定はレシートとして記録され、承認と例外は正確なスコープと時間境界である。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Agentic engineering systems can edit repositories, run tools and tests, build firmware, synthesize schematics, and prepare deployable or manufacturable artifacts. The assurance problem is therefore shifting from whether an agent can produce an output to whether an engineering lifecycle is justified in acting on claims about that output. Current products and standards provide sandboxes, approvals, hooks, traces, policy enforcement, attestations, bills of materials, and assurance representations, but these capabilities remain fragmented. This paper presents the Agile-V Assurance Spine, a cross-domain transition contract for software, firmware, and PCB engineering. Evidence is admitted only when it establishes required properties through an authoritative source profile, is bound to the exact artifact and frozen policy baseline, remains current with respect to declared dependencies, and satisfies risk-appropriate independence and authority. Gate decisions are recorded as receipts; approvals and exceptions are exact-scope and time-bounded; and authorization is rechecked at the effect boundary before merge, deployment, flashing, release, or fabrication. A bounded review of contemporary research, commercial platforms, open-source infrastructure, and standards positions the model relative to evidence-gated lifecycle control, continuous assurance, runtime admission, provenance, and AI/ML inventories. The paper contributes a precise vocabulary, compositional architecture, domain profiles, mapping to open-source implementations, and an adversarial evaluation agenda. It does not claim regulatory conformity or demonstrated production superiority.
- Abstract（参考訳）: エージェントエンジニアリングシステムは、リポジトリを編集し、ツールとテストを実行し、ファームウェアを構築し、スキーマを合成し、デプロイ可能または製造可能なアーティファクトを準備できる。
したがって、保証問題は、エージェントがアウトプットを生成できるかどうかから、そのアウトプットに関するクレームに作用するエンジニアリングライフサイクルが正当化されるかどうかに移行している。
現在の製品と標準は、サンドボックス、承認、フック、トレース、政策執行、証明、資料の請求書、保証表現を提供するが、これらの能力は依然として断片化されている。
本稿では,ソフトウェア,ファームウェア,PCBエンジニアリングのクロスドメイン移行契約であるAgile-V Assurance Spineを紹介する。
エビデンス(エビデンス)は、権威のあるソースプロファイルを通じて必要なプロパティを確立し、正確なアーティファクトと凍結されたポリシーベースラインに縛られ、宣言された依存関係に関して現在の状態のままであり、リスクに適合した独立性と権限を満たす場合にのみ認められる。
ゲート決定はレシートとして記録され、承認と例外は正確なスコープとタイムバウンドに記録され、承認はマージ、デプロイメント、フラッシュ、リリース、製造の前に効果境界で再チェックされる。
現代の研究、商用プラットフォーム、オープンソースインフラストラクチャ、標準のバウンダリレビューでは、エビデンスによるライフサイクルコントロール、継続的な保証、ランタイムの受け入れ、証明、AI/MLの在庫に関するモデルを位置づけている。
本稿では, 正確な語彙, 構成アーキテクチャ, ドメインプロファイル, オープンソース実装へのマッピング, 敵対的評価課題について述べる。
規制適合性や生産優位性は主張していない。
関連論文リスト
- When Agentic Trust Crosses Organizational Boundaries: Structural Externalization and a Reference Model for Trust Evidence [0.7820667552233989]
本稿では、AIガバナンス、エージェントセキュリティ、分散信頼管理、アイデンティティ、証明、保証、コントロールプレーンリサーチの合成を通じて、Trust as a Service(T)を開発する。
分析単位は、発行者、主題、行動、依存者、行政境界、証拠の依存関係、悪条件、必要な検証または判断のセマンティクスを名付けるクロスドメイン依存提案である。
論文 参考訳（メタデータ） (2026-09-19T11:26:37Z) - Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering [78.51705689800838]
本稿では, 要求, モデル, 評価器の見直しに, 展開証拠を用いた保証・修正ループを提案する。
そこで我々は,人的判断,エージェント能力,計算能力に対する資源配分問題としてエージェント開発を保証した。
論文 参考訳（メタデータ） (2026-09-10T17:58:48Z) - PaperCompiler: Faithful Paper-to-Code Generation via Repository-Level Specification Compilation [24.326718323836293]
そこで我々はPaperCompilerを紹介した。PaperCompilerは紙面のエビデンスをリポジトリレベルの明示的な実装仕様にコンパイルするコード生成フレームワークである。
結果として得られた仕様は、非劣化要件、オーナシップの割り当て、ファイル間の依存関係、ファイルレベルの制約をエンコードする。
PaperCompilerはPaper2CodeBenchの強力なベースラインを上回り、参照ベースの忠実度が13.8%向上した。
論文 参考訳（メタデータ） (2026-09-02T08:21:03Z) - A Contract-Centered Architecture for Scalable and Manageable Agentic Runtimes [4.078233224301927]
組織契約の共有として,4つの責任オブジェクトを提示します。
中心的な寄与は、有界で有理な仮説 P1 である。
本稿では,契約拘束型ランタイムアーキテクチャ,ソース保存型データ基板,およびFalsible Measurement Protocolを提案する。
論文 参考訳（メタデータ） (2026-08-27T13:09:49Z) - Vero: Can AI Agents Build Formally Verified Software Repositories? [45.09790101960906]
Veroはリポジトリレベルで共同実装と証明を評価する最初のベンチマークである。
Python、Dafny、Verus、Coqにまたがる実世界のリポジトリから43のマルチモジュールインスタンスが含まれている。
ベンチマークの信頼性を改善するため、Veroには、エージェントが提供された仕様の不満足さを正式に証明できる監査メカニズムも含まれている。
論文 参考訳（メタデータ） (2026-08-13T17:41:27Z) - From Trajectories to Evidence: Auditable Experimental Records for Industrial Research Agents [47.678562263387214]
研究エージェントは、産業レコメンデーション設定において、多段階の機械学習実験をますます実施している。
生成されたアーティファクトは、サポートされないか、不完全かもしれないし、実行されたラウンドは無効かもしれないし、あるいは廃止されるかもしれないし、後の修正は、以前の発見を曖昧にするかもしれない。
本稿では,連続的アーティファクトのバウンダリ検証と実行後のクレーム資格を結合するエビデンス・グラウンド・フレームワークを提案する。
論文 参考訳（メタデータ） (2026-08-05T13:37:38Z) - The Custody Envelope Threshold: Authority-Scaled Admission of External Artifacts in Institutional Infrastructure [0.0]
本稿では,アーティファクト・インセプションのオーソリティスケールモデルを提案する。
直接の機関的受け入れは、物体の同一性、侵入経路、取り消し能力が十分に閉鎖されている場合にのみ、保護可能であると論じている。
パッケージ依存関係、GitHub Actions、コンテナイメージ、Terraformプロバイダとモジュール、開発者エクステンション、オープンモデルアーティファクトに適用される。
論文 参考訳（メタデータ） (2026-06-04T23:09:15Z) - An Evidence-driven Protocol for Trustworthy CI Pipelines [37.76528129929801]
本稿では,信頼性の高い継続的インテグレーションパイプラインのためのエビデンス駆動プロトコルを提案する。
決定論的ビルドシステム(DBS)と信頼された実行環境(TEE)を組み合わせる。
このアプローチは、分散環境におけるCIアーティファクトの完全性、信頼性、検証の保証を、暗号的に検証可能な形で提供する。
論文 参考訳（メタデータ） (2026-05-20T12:22:20Z) - Reversa: A Reverse Documentation Engineering Framework for Converting Legacy Software into Operational Specifications for AI Agents [0.0]
本稿では,レガシソフトウェアをAIエージェントのトレーサブルな運用仕様に変換するためのリバースドキュメンテーションエンジニアリングフレームワークであるReversaを紹介する。
特殊なエージェントは、プロジェクト表面をマッピングし、モジュールを分析し、暗黙のルールを抽出し、アーキテクチャを合成し、ユニットレベルの仕様を書き、生成されたクレームをレビューする。
提案では,コードと仕様間のトレーサビリティ,明確な信頼性マーキング,人間の検証のためのギャップの保存という,3つのメカニズムを強調している。
論文 参考訳（メタデータ） (2026-05-18T17:23:13Z) - Attesting LLM Pipelines: Enforcing Verifiable Training and Release Claims [2.0403981727850233]
現代の大規模言語モデル(LLM)システムは、事前トレーニングされた重み付け、微調整アダプタ、データセット、依存関係パッケージ、コンテナイメージといったサードパーティの成果物から組み立てられている。
このスピードには、妥協された依存関係、悪意のあるハブアーティファクト、安全でないデフォールト化、偽造された前兆、バックドアモデルなど、サプライチェーンのリスクが伴う。
本稿では,信頼された環境にアーティファクトが認められる前に,クレームエビデンスを検証し,安全なローディングと静的スキャンポリシーを適用し,セキュアなシリアル配置制約を適用した,証明対応のプロモーションゲートを提案する。
論文 参考訳（メタデータ） (2026-03-30T20:37:48Z) - AI Bill of Materials and Beyond: Systematizing Security Assurance through the AI Risk Scanning (AIRS) Framework [31.261980405052938]
人工知能(AI)システムの保証は、ソフトウェアサプライチェーンセキュリティ、敵機械学習、ガバナンスドキュメントに分散している。
本稿では,AI保証の運用を目的とした脅威モデルに基づくエビデンス発生フレームワークであるAI Risk Scanning(AIRS)フレームワークを紹介する。
論文 参考訳（メタデータ） (2025-11-16T16:10:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。