min-proof-02a：护送触发证明（对外）
*证明一：连续m批次存在（是/否）
*证明二：未触发投喂调查链的高疑似（是/否）
*证明三：护送资源使用未超出周期上限（是/否）
*证明四：护送不挤占外压适配储备预算（是/否）
这些证明只给出“满足/不满足”，不透露具体数量与分叉点细节。
min-proof-02b：护送落地证明（对外）
*证明一：进入了试验场（给出试验场编号，但隐藏敏感用例细节）
*证明二：通过i1/i2/i3意图映射（给出映射回执哈希）
*证明三：操控成本区间不下降（给出区间对照摘要）
*证明四：回滚窗口存在且可执行（给出回滚链哈希）
*证明五：适用边界封存（给出边界条款哈希，不公开涉及小群体的场景描述）
min-proof-02c：护送公平性证明（季度抽检增强版）
*抽检不仅公布比例与纠正动作，还公布“抽检证明集”：
*护送触发条件满足的样本覆盖不同主题簇
*护送未触发但存在性标记持续的样本也覆盖
*证明抽检并非只挑好看的案例
同样不公开可显影细节，只公开“证明集存在且通过”的可验证入口。
min-proof-02d：证明不可伪造
*每条证明都绑定哈希与时间锚
*外部可校验其属于真实系统输出