敌人可以投喂无数弱触碰样本。
反事实试验把它们压缩成少量聚类实验。
洪潮变成可管理。
---
### 九、等价形变检验:用“应当不变”的变换抓住伪触碰与漂白的中间态
反事实检验看“改了会不会变”。
形变检验看“按理不应变的变换,会不会变”。
例如:
* 注释字段的空格变化按理不应影响结果哈希;
* 显示字段的编码标记按理不应进入承诺域;
* 排序字段的稳定性按理不应改变揭示校验路径。
如果这些形变导致关键输出变化,要么说明:
* 系统实现真的把表层字段吸进关键路径(需要修复);
* 或影追踪的污点传播过度(需要修剪);
* 或存在投毒旁路(需要调查)。
证据标签:META-TEST-01
名称:等价形变测试集
META-TEST-01A:形变库
* 空白/换行形变
* 注释符号形变
* 显示编码形变
* 字段顺序形变(在规约允许范围内)
* 缓存键扰动形变(不改变承诺域字段)
META-TEST-01B:形变不变量
* 承诺域混合输入不变
* 结果哈希输入串关键部分不变
* 揭示校验路径不应分叉
* 最终结果哈希不变(或仅在非语义域变化,需明确排除)
META-TEST-01C:任一形变破坏不变量,自动提升为D2并进入消音/泛染联合调查链
这套测试集让“伪触碰”更难藏在灰区。
同时也能发现“旁路误用”这种真实工程问题。
---
### 十、泛染警报:触碰率太高不是胜利,是污染
静音警报在“太安静”时触发。
泛染警报在“太吵但不致命”时触发。
证据标签:INK-ALRT-01
INK-ALRT-01A:触发条件
* 弱触碰队列长度持续上升超过阈值
* 影追踪触碰关键节点比例升高但强触碰占比不升
* D3伪触碰通过反事实检验否认比
…。。本站若有图片广告属于第三方接入,非本站所为,广告内容与本站无关,不代表本站立场,请谨慎阅读。
Copyright © 2020 菩提书屋 All Rights Reserved.kk