返回

规则天书

首页

第201章 墨迹泛染(6/10)

对不确定触碰加入形变测试集,等待更多样本

    * 对确认触碰生成L2反例卡:不可做结论写明“哪些旁路会使该字段成为真实触碰”

    反事实检验的优势是:

    它不需要完全理解传播链,只看输出变化。

    它的代价可控:只做抽样聚类,不对每条差异做实验。

    敌人可以投喂无数弱触碰样本。

    反事实试验把它们压缩成少量聚类实验。

    洪潮变成可管理。

    ---

    ### 九、等价形变检验:用“应当不变”的变换抓住伪触碰与漂白的中间态

    反事实检验看“改了会不会变”。

    形变检验看“按理不应变的变换,会不会变”。

    例如:

    * 注释字段的空格变化按理不应影响结果哈希;

    * 显示字段的编码标记按理不应进入承诺域;

    * 排序字段的稳定性按理不应改变揭示校验路径。

    如果这些形变导致关键输出变化,要么说明:

    * 系统实现真的把表层字段吸进关键路径(需要修复);

    * 或影追踪的污点传播过度(需要修剪);

    * 或存在投毒旁路(需要调查)。

    证据标签:META-TEST-01

    名称:等价形变测试集

    META-TEST-01A:形变库

    * 空白/换行形变

    * 注释符号形变

    * 显示编码形变

    * 字段顺序形变(在规约允许范围内)

    * 缓存键扰动形变(不改变承诺域字段)

    META-TEST-01B:形变不变量

    * 承诺域混合输入不变

    * 结果哈希输入串关键部分不变

    * 揭示校验路径不应分叉

    * 最终结果哈希不变(或仅在非语义域变化,需明确排除)

    META-TEST-01C:任一形变破坏不变量,自动提升为D2并进入消音/泛染联合调查链

    这套测试集让“伪触碰”更难藏在灰区。

    同时也能发现“旁路误用”这种真实工程问题。

    ---

    ### 十、泛染警报:触碰率

关闭+畅/阅读=模式,看最新完整内容。本章未完,请点击下一页继续阅读》》