実行記録が必要な証拠を満たしているかを判定する枠組み
Evidence Coverage for Intent-Bound Execution: Scope, Obligations, and Cutoff Reasoning
この論文をやさしく読む
ひとことで言うと
集まった実行ログが本物であることと、必要なログが全部そろっていることを分けて判定する枠組みです。何を、いつまでに、誰が確認するかを定めてから、証拠の充足を評価します。
何に役立つ？
考えられる用途は、システム操作の事後監査で、完了・記録不足・判断不能を混同せず報告することです。要旨ではサービスプリンシパル無効化の構成事例を使って判定の違いを示しています。
この研究の面白いところ
遅れて証拠が届けば現在の充足状態は変わっても、過去に期限を守ったかという事実は別に残ります。また、1回の試行について証拠がそろっても、ほかの試行まで完全とは言えない点を明確にしています。
どこまで分かった？
完全性は、宣言した義務プロファイルと評価前提の範囲内に限られます。構成した事例による説明であり、実運用システムでの大規模検証や検出精度の数値は要旨にありません。証拠の充足と実行の成功自体も別の報告対象です。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
検証者は、利用可能な記録をすべて認証していても、ある実行についての記録が完全であると述べる根拠を欠いている場合がある。そのように主張するには、評価対象の実行に対し、どの記録が提出されるべきだったかを正当化して説明する必要がある。本研究では、宣言された実行証拠の義務が事後的にどこまで満たされているかを扱う分析モデルを提示する。その適用範囲は、構造化されたIntent、厳密に特定されたCandidate、選択された分析対象の試行、実行と証拠の境界、段階の対象範囲、固定された記録義務プロファイル、指定された検証者、評価の締め切り時点を結び付ける。 分岐と発動条件の前提によって個々の義務が決まり、情報源の適格性、内容、完全性、対象と段階との結び付きによって、証拠として受け入れられるかが決まる。義務一覧の確定と、関連する検証者の参照範囲の確定を区別し、報告結果としてCOMPLETE_WITHIN_SCOPE（範囲内で完全）、INCOMPLETE（不完全）、UNKNOWN（不明）の3つを定義する。これらの結果は、締め切り時点で履行期限が到来している義務が、現在どこまで満たされているかに関するものである。実行の進捗、外部の結果に関する知識、過去の提出が期限に間に合ったかどうかは、別々に報告する。 サービスプリンシパルの無効化を題材に構成した事例により、必要な証拠がそろった実行指示送出分岐と拒否分岐、期限が来ているのに欠落している最終結果記録、遅延提出後に満たされる証拠の充足、そして選択した1回の試行についての充足をすべての試行へ拡張する際の限界を示す。本研究の貢献は、範囲、分岐、対象段階、義務、証拠の受入条件、参照範囲、締め切り時点を、実行ごとに組み合わせた点にある。完全性は、宣言されたプロファイルと評価の前提に依存したものにとどまる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
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.
arXiv ID: 2610.01386 ／ 要約の誤りについて