* 操控成本是否低于阈值区间(低/中/高区间,而非具体数值)
* 放大效应是否出现(无/弱/强)
* 回滚是否可行且代价区间(可/不可 + 代价档位)
* 是否触碰守望链底线(触碰/不触碰)
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:抖动污染若重复出现,自动进入“操控路径调查链”
这相当于把复现本身变成一个被守望的对象。
敌人可以制造负载,但负载会留下痕迹,被标记为污染,不再能用来制造分歧。
他们想让你迷雾。
你让迷雾变成