Executor-aware Candidate Selection via a Feasibility Certificate

提出一种基于可行性证书的候选选择框架，在预测 rollout 状态处从执行器硬约束集构造命令见证并验证，不改变候选生成、排序或执行器。在 5,085 次几何有效数值评估中，795 个无执行器可行命令，证书充分但保守，未认证这 795 个，参考可行案例中 7.09% 未被认证。FR3 与固定基座 RB-Y1 仿真中证书准入改变候选选择，但相对于几何选择未在到达状态交互储备上表现出一致优势。