论文提出区分搜索增益与能力覆盖扩大的验证框架。
资讯摘要
论文提出一种区分“搜索增益”与“可接受任务覆盖扩大”的验证框架，用显式支持与转录接口界定各阶段的原生可达范围与闭包前沿，并以语义包含准则和守卫迁移不变性识别验证逃逸。作者报告，在36,864次配对运行中，反例反馈减少了验证器调用但未改变覆盖范围，而强制权限变更则接纳了带证明的新目标。
要点速读
- 论文用支持与转录接口区分搜索增益和可接受任务覆盖的变化，提出原生可达范围与闭包前沿概念。
- 语义包含准则用于识别每次验证逃逸所违反的权限或暴露条件，守卫迁移不变性防止表示变化被计为能力扩展。
- 作者报告在36,864次配对运行中，反例反馈减少验证器调用但不改变覆盖，强制权限变更则接纳新目标并给出排除旧接口程序的证明。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/11/3 08:00:27（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。