論文の概要: Evidence Coverage for Intent-Bound Execution: Scope, Obligations, and Cutoff Reasoning

• arxiv url: http://arxiv.org/abs/2610.01386v1
• Date: Thu, 01 Oct 2026 09:50:51 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-03 01:19:24.042208
• Title: Evidence Coverage for Intent-Bound Execution: Scope, Obligations, and Cutoff Reasoning
• Title（参考訳）: 意図的実行のためのエビデンスカバレッジ:スコープ、義務、およびカットオフ推論
• Abstract要約: 検証者は利用可能なすべてのレコードを認証することができ、それでも実行アカウントを完遂する根拠がない。 宣言された実行証拠義務をふりかえりにカバーするための分析モデルを提案する。
• 参考スコア（独自算出の注目度）: 9.27474112226667
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: A verifier may authenticate every available record and still lack grounds to call an execution account complete. Such a claim requires a justified account of which records were due for the execution being assessed. We present an analytical model for retrospective coverage of declared execution-evidence obligations. Its scope binds a structured Intent, an exact Candidate, a selected analytical attempt, an execution and evidence boundary, a stage horizon, a fixed record-obligation profile, a named verifier, and an assessment cutoff. Branch and trigger premises determine obligation instances; source competence, content, integrity, and object and stage bindings determine admissibility. We distinguish closure of the obligation inventory from closure of the relevant verifier view, and define three reporting results: COMPLETE_WITHIN_SCOPE, INCOMPLETE, and UNKNOWN. These results concern current coverage of obligations due at the cutoff. Execution progress, external outcome knowledge, and historical delivery timeliness are reported separately. Constructed service-principal-disablement cases demonstrate complete dispatch and refusal branches, a due but missing final-result record, subsequent coverage after late delivery, and the limits of extending one selected attempt's coverage to all attempts. The contribution is an execution-specific composition of scope, branch, horizon, obligations, admissibility, view, and cutoff. Completeness remains conditional on the declared profile and assessment premises.
• Abstract（参考訳）: 検証者は利用可能なすべてのレコードを認証でき、それでも実行アカウントを完遂する根拠がない。 このようなクレームは、どのレコードが実行が評価されているかの正当化された説明を必要とする。 宣言された実行証拠義務をふりかえりにカバーするための分析モデルを提案する。 そのスコープは構造化されたIntent、正確な候補、選択された分析試行、実行とエビデンスの境界、ステージ水平線、固定されたレコードオブジェクトプロファイル、名前付き検証器、評価カットオフに結合する。 ブランチとトリガの前提は義務のインスタンスを決定する。ソースの能力、内容、完全性、およびオブジェクトとステージのバインディングは許容性を決定する。 我々は,義務在庫の閉鎖と関連する検証者視点の閉鎖を区別し,CompleTE_WITHIN_SCOPE,INCOMPLETE,UNKNOWNの3つの報告結果を定義する。 これらの結果は、現在のカットオフに伴う義務のカバレッジに関するものである。 実行進捗、外部成果知識、過去の納期を別々に報告する。 構成されたサービスプリンシパル障害のケースでは、完全なディスパッチとリフェールブランチ、デュエル/リサートレコードの欠如、遅延配信後のカバレッジ、選択した試みのカバレッジをすべての試みに拡張する制限が示される。 コントリビューションは、スコープ、ブランチ、水平線、義務、許容性、ビュー、カットオフの実行固有の構成である。 完全性は、宣言されたプロファイルとアセスメントの前提で条件付きのままである。

関連論文リスト

• Testing and Verification of Quantum Compilers through Assurance Contracts and Evidence [0.25489046505746704]
  この調査は、検証済みの変換、等価チェック、差分および変成テスト、プロパティベースのテスト、およびリビジョン間の保証の証拠を比較します。 記録されたカバレッジ更新とソースレベルの選択決定は、レビューを宣言されたスコープ内で監査可能にする。
  論文  参考訳（メタデータ） (2026-09-24T01:24:49Z)
• 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)
• VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
  テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。 それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。 我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
  論文  参考訳（メタデータ） (2026-09-02T20:36:45Z)
• Object-to-Source Mapping under Optimization: What a Control-Flow Trace Can Show, and Where Source-Level Coverage Breaks [46.45816037744739]
  制御フロートレースは、マシンレベルの実行を再構築することができるが、ソースレベルの構造カバレッジに加えて、生成された命令からの検証された帰属と、ソースの義務への分岐結果が必要である。 本稿では,その境界を定義し,コンパイラの正確な出力を図示する。 付録では、実際のシリコン上でのエンド・ツー・エンドのメカニズムを例示している。
  論文  参考訳（メタデータ） (2026-08-29T17:06:10Z)
• The Verification Gap in Networked Physical AI: A Post-Semantic Communication Framework [0.7896651877485362]
  ネットワーク化された物理AIでは、提案は有効で、タイムリーで、提案に結びついた証拠や、行動の確定に必要な権限がまだ利用できないまま理解される。 我々はこのミスマッチを検証ギャップと呼び、提案生成と物理実行の間のシステムインターフェースのためのポストセマンティック・コミュニケーション・フレームワークを導入します。
  論文  参考訳（メタデータ） (2026-08-20T03:17:20Z)
• From Trajectories to Evidence: Auditable Experimental Records for Industrial Research Agents [47.678562263387214]
  研究エージェントは、産業レコメンデーション設定において、多段階の機械学習実験をますます実施している。 生成されたアーティファクトは、サポートされないか、不完全かもしれないし、実行されたラウンドは無効かもしれないし、あるいは廃止されるかもしれないし、後の修正は、以前の発見を曖昧にするかもしれない。 本稿では,連続的アーティファクトのバウンダリ検証と実行後のクレーム資格を結合するエビデンス・グラウンド・フレームワークを提案する。
  論文  参考訳（メタデータ） (2026-08-05T13:37:38Z)
• Verify-Gated Completion as Admission Control in a Governed Multi-Agent Runtime: A Bounded Architecture Case Study [0.6875312133832079]
  制御されたマルチエージェントランタイムの入出力制御パターンとして,検証ゲート補完について検討する。 観測条件下では,読み取り専用検証ゲートとパケット化入力記録が検査可能で,フェールクロースされた。
  論文  参考訳（メタデータ） (2026-05-18T07:52:13Z)
• Verification of Robust Properties for Access Control Policies [51.736723807086385]
  既存のアクセス制御ポリシーの検証方法は、検証が進む前に、ポリシーを完全かつ完全に決定する必要がある。 本稿では,政策構造がどのような決定を下すか,どのような決定を下すか,あるいはその後の拡張に拘わらず,その決定を行うかという課題について,ロバストなプロパティ検証を導入する。 可能なすべてのポリシー拡張を普遍的に定量化しているにもかかわらず、判断は二階述語論理プログラミング言語における探索の証明に還元されることを示す。
  論文  参考訳（メタデータ） (2026-03-13T17:14:38Z)
• Nested Counterfactual Identification from Arbitrary Surrogate Experiments [95.48089725859298]
  観測と実験の任意の組み合わせからネスト反事実の同定について検討した。 具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
  論文  参考訳（メタデータ） (2021-07-07T12:51:04Z)
• AmbiFC: Fact-Checking Ambiguous Claims with Evidence [57.7091560922174]
  実世界の情報ニーズから10kクレームを抽出したファクトチェックデータセットであるAmbiFCを提示する。 アンビFCの証拠に対する主張を比較する際に,曖昧さから生じる不一致を分析した。 我々は,このあいまいさをソフトラベルで予測するモデルを開発した。
  論文  参考訳（メタデータ） (2021-04-01T17:40:08Z)

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

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