发表机构
Chengdu Havenlon Security Technology Co., Ltd.（成都瀚隆安全技术有限公司）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
提出一个分析模型，用于评估意图约束执行中证据义务的追溯覆盖，通过定义范围、分支、截止点等要素，给出三种报告结果，以支持执行账户完整性的合理判断。
AI 中文摘要
验证者可以认证每一条可用记录，但仍然缺乏将执行账户称为完整的依据。这样的主张需要对被评估执行所应负责的记录进行合理的说明。我们提出了一个用于追溯覆盖已声明执行证据义务的分析模型。其范围约束了一个结构化意图、一个精确候选、一个选定的分析尝试、一个执行与证据边界、一个阶段视野、一个固定的记录义务概况、一个具名验证者以及一个评估截止点。分支和触发前提决定义务实例；来源能力、内容、完整性以及对象和阶段绑定决定可接受性。我们区分义务清单的闭合与相关验证者视图的闭合，并定义三种报告结果：范围内完整、不完整和未知。这些结果涉及截止点时到期义务的当前覆盖情况。执行进度、外部结果知识和历史交付及时性分别报告。构建的服务主体禁用案例展示了完整派发和拒绝分支、到期但缺失的最终结果记录、延迟交付后的后续覆盖，以及将一个选定尝试的覆盖扩展到所有尝试的局限性。贡献在于对范围、分支、视野、义务、可接受性、视图和截止点的执行特定组合。完整性仍取决于声明的概况和评估前提。
英文摘要
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.
