arXiv cs.CR· Mengting Wu, Lin Wang, Yong Zhang, Jiang Deng·· 11 小时前AI 评分42
意图绑定执行证据覆盖：范围、义务与截止推理
Evidence Coverage for Intent-Bound Execution: Scope, Obligations, and Cutoff Reasoning
AI 摘要
该研究提出一种用于回顾性声明执行证据义务的解析模型，明确界定意图、候选项、验证者及截止点等关键边界。模型区分义务清单闭合与验证者视图闭合，定义 COMPLETE_WITHIN_SCOPE、INCOMPLETE 和 UNKNOWN 三种报告结果。构建的服务主体禁用案例展示了完整分发、拒绝分支及晚期交付后的覆盖限制。
来源：arXiv cs.CR · arxiv.org