提出可认证的选择性预测框架，确保在子群体（如患者组、策略标签）上达到目标精度，解决有限校准数据下的证书可行性问题。

建立选择性预测中模型比较所需的最小标签数理论界，提出预标注下界与全标签覆盖线性规划证书。