第201章墨迹泛染

91书院(91shuyuan.com)更新快，无弹窗！

    *必须证明不会导致泛染指数超过自然区间
    *必须证明不降低静音捕捉能力（避免反向静音）
    TAINT-MIN-01C：公开层只展示“触碰证据摘要”
    *不暴露实现细节、不显影供应链
    *只展示：触碰确认采用哪种检验（反事实/形变）与结果（通过/未通过）
    这等于把“宁可误报一千”从道德高地拉回工程可控：
    误报可以存在，但误报要付出成本；
    成本不能被无限扩散成噪声税。
    ---
    ###八、反事实影响检验：用最小代价证明“它真的影响了输出”
    污点传播最大的问题是“过度保守”。
    反事实检验用一种更直接的方法解决：
    你不必相信传播链，你只要看——当我只改变这个字段，输出是否改变？
    这就像在科学里做对照实验。
    证据标签：CF-LAB-01
    名称：反事实影响试验场
    CF-LAB-01A：对每类弱触碰聚类，随机抽样生成反事实对照
    （本章未完，请点击下一页继续阅读）第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

章节报错（免登陆）

验证码：提交关闭

第201章 墨迹泛染

第201章墨迹泛染