*若结果不稳定(边界临界带),按区间耐受策略处理:不进入高成本链,但纳入观察池
cfb-01c:输出
*生成“触碰确认回执”:确认/否认/不确定
*对不确定触碰加入形变测试集,等待更多样本
*对确认触碰生成l2反例卡:不可做结论写明“哪些旁路会使该字段成为真实触碰”
反事实检验的优势是:
它不需要完全理解传播链,只看输出变化。
它的代价可控:只做抽样聚类,不对每条差异做实验。
敌人可以投喂无数弱触碰样本。
反事实试验把它们压缩成少量聚类实验。
洪潮变成可管理。
---
###九、等价形变检验:用“应当不变”的变换抓住伪触碰与漂白的中间态
反事实检验看“改了会不会变”。
形变检验看“按理不应变的变换,会不会变”。
例如:
*注释字段的空格变化按理不应影响结果哈希;
*显示字段的编码标记按理不应进入承诺域;
*排序字段的稳定性按理不应改变揭示校验路径。
如果这些形变导致关键输出变化,要么说明:
*系统实现真的把表层字段吸进关键路径(需要修复);