*或影追踪的污点传播过度(需要修剪);
*或存在投毒旁路(需要调查)。
证据标签:meta-test-01
名称:等价形变测试集
meta-test-01a:形变库
*空白/换行形变
*注释符号形变
*显示编码形变
*字段顺序形变(在规约允许范围内)
*缓存键扰动形变(不改变承诺域字段)
meta-test-01b:形变不变量
*承诺域混合输入不变
*结果哈希输入串关键部分不变
*揭示校验路径不应分叉
*最终结果哈希不变(或仅在非语义域变化,需明确排除)
meta-test-01c:任一形变破坏不变量,自动提升为d2并进入消音/泛染联合调查链
这套测试集让“伪触碰”更难藏在灰区。
同时也能发现“旁路误用”这种真实工程问题。
---
###十、泛染警报:触碰率太高不是胜利,是污染
静音警报在“太安静”时触发。