字体
关灯
   存书签 书架管理 返回目录
   * 入口可夺取路径是否存在(是/否)
    * 操控成本是否低于阈值区间(低/中/高区间,而非具体数值)
    * 放大效应是否出现(无/弱/强)
    * 回滚是否可行且代价区间(可/不可 + 代价档位)
    * 是否触碰守望链底线(触碰/不触碰)
    REPRO-INV-01C:若数值不一致但不变量一致,判定复现通过
    REPRO-INV-01D:若不变量不一致,启动“复现裂纹调查”而非交给终审
    这一步非常关键:
    它承认世界的漂移与测试抖动会让数值摇摆,但只要不变量一致,我们仍能做出安全决策。
    敌人想用毫刻抖动让“成本 0.99 vs 1.01”争论不休。
    不变量协议会说:它们都在“低成本区间”,结论一致:**险。
    敌人想用边界把你拉到“是否精确 1.0”的迷雾里。
    不变量协议把你拉回“是否存在可夺路径”的现实。
    沈绫听完,轻声:“你在告诉系统,不要被数字牵着走。”
    江砚点头:“数字会漂移,不变量才是护栏。”
    ---
    ### 八、复现锚:把调度抖动从“可操控”变成“可审计”
    不变量协议能解决一部分摇摆,但如果有人故意操控调度抖动,让不变量也出现分歧,就必须更硬地防守。
    江砚提出“复现锚机制”。
    存在性编号:REPRO-ANCHOR-01
    REPRO-ANCHOR-01A:复现环境快照哈希(容器、依赖、调度策略、随机源、时钟偏移)封存
    REPRO-ANCHOR-01B:复现运行采用“锁相调度”——关键测试窗口固定,禁止与高负载任务共用调度段
    REPRO-ANCHOR-01C:复现节点资源预留写入时间护栏(复现带宽也是时隙)
    REPRO-ANCHOR-01D:检测到异常资源抢占时,复现结果自动标记为“抖动污染”,不纳入结论,仅触发调查
    REPRO-ANCHOR-01E:抖动污染若重复出现,自动进入“操控路径调查链”
    这相当于把复现本身变成一个被守望的对象。
    敌人可以制造负载,但负载会留下痕迹,被标记为污染,不再能用来制造分歧。
    他们想让你迷雾。
    你让迷雾变成

关闭+畅/阅读=模式,看最新完整内容。本章未完,请点击下一页继续阅读》》
上一页 目录 下一页