基于弃权认证：小校准预算下 CoT 验证器的无分布保证

针对 7 个开源模型与 3.7 万条链式推理（CoT）轨迹的研究发现，小校准预算下的无分布验证器存在“通过弃权实现有效性”的漏洞，标准证书虽整体失效概率低于 0.3%，但在实际触发时错误率高达 69%。研究提出的下限启动固定序列证书无需单调性假设，在非平凡目标 $0.75\pi_0$ 下将覆盖率从 0.05 提升至 0.16，性能全面超越 Bonferroni 证书。