提案式控制器——包括学习得到的策略、语言模型规划器以及其他黑箱 生成器——正日益在运行时验证门后部署。我们关注闭环安全保证何时能够与生成器解耦。传统的每候选认证模式不可组合：在重试或 $k$ 次最佳选择的情形下，每候选的误接受水平 $\alpha$ 会膨胀为 $1-(1-\alpha)^{k}$。\
主要定理表明，同步集合式可靠性（即对一组可接受提案进行认证，且该集合不包含任何不可行动作）是实现生成器无关的接受可靠性的必要且充分条件。该可靠性保证在所有生成器的最坏情况下，执行不可行提案的概率恰等于集合式失效的概率。再配合设计时证书和不绕过规则，即可得到合同安全：违例上界为 $\Gamma+\sum_{t}\varepsilon_{t}+\eta$，该上界在任意（甚至对抗性）生成器替换下保持不变。\
第二个定理给出在部分观测下的所有接受机制的界限：对于固定的探测和接受策略，若两种状态假设的信息律在全变差距离 $\delta$ 内，却需要不同的安全决策，则必须满足 $\bar{a}+\beta+\delta\ge1$。\
实现层面，引入顺序风险账本，配合时间一致置信管，使上述保证可操作化；并展示确定性接受计算会将全部统计风险集中在状态估计上。Simplex 风格的运行时保证和控制障碍函数过滤则是该框架的退化情形。\
点评