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

首发：~第201章 墨迹泛染

CF-LAB-01B：判定规则

*若仅改变目标字段即可改变关键输出，则该字段在该路径下为“真实触碰”，至少D2

*若改变目标字段不改变任何关键输出，则该触碰为“伪触碰”，归入D3模式提示，并生成“泛染修剪建议”

*若结果不稳定（边界临界带），按区间耐受策略处理：不进入高成本链，但纳入观察池

CF-LAB-01C：输出

*生成“触碰确认回执”：确认/否认/不确定

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

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

反事实检验的优势是：

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

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

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

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

洪潮变成可管理。

---

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

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

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

例如：

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

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

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

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

*系统实现真的把表层字段吸进关键路径（需要修复）；

*或影追踪的污点传播过度（需要修剪）；

*或存在投毒旁路（需要调查）。

证据标签：META-TEST-01

名称：等价形变测试集

META-TEST-01A：形变库

*空白/换行形变

*注释符号形变

*显示编码形变

*字段顺序形变（在规约允许范围内）

*缓存键扰动形变（不改变承诺域字段）

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

*承诺域混合输入不变

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

*揭示校验路径不应分叉

*最终结果哈希不变（或仅在非语义域变化，需明确排除）

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

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

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

---

###十、泛染警报：触碰率太高不是胜利，是污染

静音警报在“太安静”时触发。

泛染警报在“太吵但不致命”时触发。

证据标签：INK-ALRT-01

INK-ALRT-01A：触发条件