终端对称作为决策资源：随时验证构造的状态细化

arXiv:2608.11318v1 公告类型：新 摘要：许多顺序构造任务在完成时表现出精确的对称性，同时它们的执行仍然是定向的且依赖于历史。我们开发了终端对称性的决策资源视图：过程证据提供方向性，终端对应在等效结果之间传输该结构，实现状态证据在转换后细化其当前决策相关性，并且固定验证者验证执行。这种分解产生了传输-精炼-认证。 \method{} 使用情节固定的传输过程结构、其状态限制的过程等级、接受转换后刷新的状态相关剩余等级以及序数等级满足（其 top-$k$ 集恰好是两个提案前缀的并集）来实例化该原理。该满足提供了前缀覆盖下的完成保证，并在相应的前缀信息模型下获得了严格的最坏情况验证者查询界限；两国结构预示着过渡后严格的动态-静态分离。在 CAD 装配、小程序和精确填充打包中，状态刷新可随时将 AUC 分别提高 6.77 美元、21.75 美元和 8.68 美元点。在官方 GRN OOD 场景中的 1,135 个目标移除场景中，在比较的 GRN 和 CDGS 式规划器中，\method{} 在所有三个尺度上获得了最低的平均上限验证者成本。状态信号还可以跨聚合和调度程序组织传输。因此，终端对称性成为定向构建的可重用决策资源。