第201章 墨迹泛染 (第2/2页)
* 固定除目标字段外的所有字段
* 仅改变目标字段(空格、换行、注释符号、显示编码等)
* 运行三实现主追踪与影追踪,观察关键输出(承诺域混合输入、结果哈希输入串、最终结果哈希、揭示校验路径)
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:触发条件
* 弱触碰队列长度持续上升超过阈值
* 影追踪触碰关键节点比例升高但强触碰占比不升
* D3伪触碰通过反事实检验否认比例上升(说明泛染)
* 来源集中度上升(疑似投喂)
INK-ALRT-01B:触发动作
* 自动提高反事实检验抽样比例(但不超过预算口粮)
* 弱触碰聚类合并阈值上调,减少重复家务
* 高疑似来源样本进入缓冲隔离,不进入高成本队列
* 对外发布“泛染摘要卡”:告诉公众这是防过敏,不是掩盖差异(附意图映射)
敌人想让你把夜视镜关掉。
泛染警报让你先清洁镜片,而不是闭眼。
---
### 十一、涂墨团的反击:他们说反事实检验会泄露路径细节
涂墨团很快抓住一个敏感点攻击:
> “你们做反事实试验,会暴露哪些字段影响哪些关键节点。
> 敌人会利用这些信息更精准投毒。
> 你们是在给敌人画地图。”
这听起来像合理担忧。
守望纪元的历史里,公开细节确实可能被利用。
江砚的回应是“分层透明”一贯原则:
对内需要地图,对外不需要路线图,只需要结论与证明哈希。
因此反事实检验输出分三层:
* 普通层:仅显示“该类触碰被确认/否认/不确定”与所属节点类别,不暴露字段细节;
* 技术层(受护栏保护):可查形变库编号与抽检签名,但不公开具体路径串;
* 审计层:完整路径对照仅在对内账可见,且使用受到双账约束。
这样既能修镜片,又不把地图贴到城门口。
---
### 十二、涂墨团的第二招:他们制造“反事实抖动”,让检验结果不稳定
敌人若聪明,会试图污染反事实检验本身:
通过在运行环境里制造微抖动、缓存污染、并发抢占,使得同一反事实对照实验偶尔产生不同结果,从而被说成“不可靠”。
这与复现裂纹攻击同源。
江砚把复现锚机制复用到反事实试验场:锁相调度、封存熵源、污染标记、差异归因链。
证据标签:CF-ANCHOR-01
CF-ANCHOR-01A:反事实试验锁相调度与资源预留
CF-ANCHOR-01B:检测到抖动污染即不纳入结论,只触发调查
CF-ANCHOR-01C:反事实试验结果需跨簇复核(最小两簇)
CF-ANCHOR-01D:不稳定结果进入观察池,不被用作公开定论
这样,敌人想用抖动让你不信反事实检验,成本会迅速上升。
---
### 十三、一次关键事件:弱触碰洪潮里藏着真正的侧门
泛染治理上线后,弱触碰队列开始回落。
大量伪触碰被反事实检验否认,聚类合并让家务变少。
公众层看见的是“泛染摘要卡”:我们在清洁镜片。
就在队列回落的第六天,一条原本被认为是“弱触碰”的模式,被反事实检验确认成真实触碰:
某类显示编码字段的变化,会在特定路径下影响揭示校验的短路分支——不是直接进入承诺域,而是改变了一个缓存键的命中,导致校验路径从“完全校验”变成“复用上次校验结果”。
这不是误报。
这是一个真实侧门:
缓存复用不当,把“上次正确”当作“这次正确”。
它非常像过去的旁路误用,但更危险:
它不改变结果哈希,却改变校验路径。
这意味着:你可能在某些情况下绕过校验而仍得到绿灯。
如果没有反事实检验,这类侧门会被埋在弱触碰洪潮里,被当作噪声。
敌人用洪潮盖刀的策略在这里露出尖角。
江砚当场升级该类触碰为D1,触发冻结与消音调查链。
修复动作明确:
* 缓存键必须只依赖承诺域字段,且复用必须绑定同一揭示域哈希;
* 任何校验路径短路必须保留可回滚痕迹;
* 在形变测试集加入“显示编码扰动”专用用例;
* 生成L2反例卡前置:不可做结论写明“校验路径短路不得由显示/注释类字段间接触发”。
证据标签:L2-INK-01
不可做:校验路径短路不得依赖非承诺域字段的缓存命中;非承诺域扰动导致短路属于**险侧门。
这一次,泛染治理不仅减噪,还抓住了刀。
它证明:看见精度不是奢侈,是生死线。
---
### 十四、敌人的最后牌:把“精度治理”说成官僚化、拖慢行动区间
涂墨团和静衡组开始合流,抛出一个看似无懈可击的批评:
> “你们现在又有影追踪、又有反事实试验、又有形变库、又有警报。
> 这套体系越来越复杂。
> 复杂会拖慢行动区间,违背I3。”
这是老套路:把防夺权的成本说成拖累。
江砚没有否认复杂。他只做成本对照:
* 不做精度治理:弱触碰洪潮会长期占用资源,夜视镜会被关掉,侧门会被洪潮埋住;
* 做精度治理:前期投入试验场成本,但队列快速回落,侧门被抓住,长期成本下降;
* 最关键:精度治理不改变I1入口成本、不削弱I2可查性,反而保护I3,因为它避免长期疲劳。
他把这套对照写进“收益回执”:
本周期精度治理减少了多少弱触碰家务、避免了多少静音/漂白风险、抓住了多少真实侧门、节省了多少维护者带宽。
当收益可见,“复杂=官僚”就难以成立。
官僚的特征是复杂但无收益。
守望纪元的复杂必须可回执,且收益必须可查。
---
### 十五、尾声:看得见不够,还要看得准;看得准不靠勇敢,靠边界
日核记-33000。
墨迹泛染被识别为“精度夺权”路径:
污点最小性宪章把“宁可涂墨”从口号变成可审计边界;
反事实影响试验场与等价形变测试集让触碰判定有证据,不靠传播可能性;
泛染警报与弱触碰聚类合并治理资源攻击;
复现锚机制复用到反事实检验,防抖动污染;
关键侧门在洪潮中被确认并修复,反例前置阻断再次复活;
分层透明保护对外不显影,对内可追可查。
敌人没能让我们失明,就试图让我们目眩;
没能剪掉旁路,就试图用墨把旁路涂满;
没能夺走夜视镜,就试图让夜视镜只会制造麻烦。
规则没有关掉夜视镜,也没有用统一来换安静。
规则做了更成熟的选择:清洁镜片,校准焦距,让看见保持精度,让精度保持可持续。
守望纪元到这里,终于学会一条更难的真理:
**真正的安全不是看到更多,而是看到该看的;不是把世界涂黑,而是把边界画清。**