任意时刻有效的学习型屏障证书运行时监测框架

针对学习屏障证书在部署期间有效性可能退化问题，提出任意时刻有效的运行时监测器，利用观测闭环轨迹审计证书，在任意停止时间下实现有限样本误报控制。 该监测器将条件屏障漂移条件公式化为逐回合序列假设检验，并将屏障增量转换为非负测试超鞅，结合确定性时间整形使监测边界在部署初期更保守。