上午九点,新差值申请上屏。
外部研究组列出三份显示偏差。
空位。
午前。
分隔线。
他们把三处偏差折成一组读差。
再用读差去修正前置差值。
申请书末尾写,四十二点零七二秒应加修正项。
陆沉把修正项圈住。
“它有出生页吗?”
“有三份截图。”
“截图是屏。”
“前置差值在页。”
九点二十,系统把两组数分开挂。
第一组,PRE-DIFF-01。
来源,两端外层时标。
值,四十二点零七二秒。
效力,当前范围前置差值。
第二组,读差草案。
来源,三份民用显示页。
值,未定。
效力,无。
两组中间写一道空隔。
空隔旁写,不互改。
研究组问:“都是差,为何不通约?”
韩策说:“同字会骗人。”
“一个有读取资格。”
“一个只有显示事故。”
九点四十,监督署做混淆模拟。
第一层,读差进入修正栏。
第二层,PRE-DIFF-01数值被改写。
第三层,旧引用分成两支。
第四层,前置关系开始依赖屏幕补丁。
陆沉在第二层停住。
“原值不能被影子改口。”
模拟入反例。
十点,监督署做第二次拆分。
第一栏叫前置差值。
下面挂PRE-OBJ-A-01。
挂首行调用外层。
挂PRE-READ-01。
第二栏叫显示读差。
下面挂DEV-RC-A。
挂DEV-RC-S。
挂DEV-RC-P。
两栏各自编号。
各自挂哈希。
各自留空栏。
十点二十,外部研究组申请给读差一个临时观测号。
他们说,只是内部工作方便。
陆沉退回。
“编号会出门。”
“今天叫临时。”
“明天截图就没了临时。”
系统改成显示回执引用。
回执引用不等于观测编号。
十点四十,协会问:“读差完全没用吗?”
陆沉说:“它能提醒显示层有病。”
“能帮助核验吗?”
“现在不能。”
“以后呢?”
“另立资格。”
“另立以后能改正值吗?”
“也不能直接改。”
“最多申请新读。”
十铃,程野复核两端外层。
PRE-OBJ-A-01稳定。
首行调用外层稳定。
三份MAP页所在服务器不在载体区。
接触零。
写入零。
他说:“纸上没动。”
“屏上病,别开纸上刀。”
十一点,监督署找十名记录员盲读。
第一批看读差。
六人认为前置差值需要修正。
第二批看两栏拆分页。
九人认为两者分开。
一人仍问,为什么不能互相校准。
监督署把这问留档。
韩策说:“校准两个字太热。”
“校准里藏着裁判。”
十一点二十,PRE-DIFF-SPLIT-02起草。
第一句,前置差值只由合格外层读数产生。
第二句,显示读差只登记显示层现象。
第三句,读差不取得观测编号。
第四句,不参与前置差值修正。
第五句,不作为终核主值。
第六句,另立读链须走新申请。
中午,沈霜定公开语。
第一句,前置差值不变。
第二句,三份显示偏差已入回执。
第三句,读差不作核验证据。
第四句,修正在另案。
有人问:“这算不承认错误吗?”
她回:“要分认哪个错。”
“显示错了,回执记着。”
“原值没错,不改口。”
下午一点,研究组提交修正公式。
公式很整齐。
三项偏差相加,得出零点零零三秒。
系统试算通过。
陆沉仍退。
“数学过得了,资格过不了。”
“加数从屏上来。”
“被加数在页上。”
“两个台子不等高。”
研究组申请公开修正公式。
他们说,透明能减少猜疑。
监督署把公式做成三列。
第一列,加数。
三处显示偏差。
第二列,结果。