资讯摘要
论文提出 Cortex，一种用于执行前治理、需求跟踪与迭代验证修复的监督层，并在有限格上形式化需求闭包：在需求集固定、验证规则可靠且单调并保留证据的条件下，穷举迭代可达到最小不动点，严格递增次数不超过需求数量；公平后果调度也能达到同一闭包。作者另用随机模型在均匀正进展假设下给出期望完成时间上界，并定义 Gauntlet 的轨迹相似度、构建门控分数、攻击成功估计、Wilson 区间与案例簇自助汇总。
要点速读
- 论文将需求闭包形式化在有限格上，指出穷举迭代与公平后果调度均可达到最小不动点。
- 期望完成时间上界依赖均匀正进展假设；工件修复、可错验证与有限执行预算不自动满足这些假设。
- 作者报告保留的基准观测并排除构造结果，称观测集不等与来源不完整使治理或长程扩展的因果结论无法成立。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/20 21:06:32（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。