上午九点,新差值申请上屏。
外部研究组列出三份显示偏差。
空位。
午前。
分隔线。
他们把三处偏差折成一组读差。
再用读差去修正前置差值。
申请书末尾写,四十二点零七二秒应加修正项。
陆沉把修正项圈住。
“它有出生页吗?”
“有三份截图。”
“截图是屏。”
“前置差值在页。”
九点二十,系统把两组数分开挂。
第一组,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起草。
第一句,前置差值只由合格外层读数产生。
第二句,显示读差只登记显示层现象。
第三句,读差不取得观测编号。
第四句,不参与前置差值修正。
第五句,不作为终核主值。
第六句,另立读链须走新申请。
中午,沈霜定公开语。
第一句,前置差值不变。
第二句,三份显示偏差已入回执。
第三句,读差不作核验证据。
第四句,修正在另案。
有人问:“这算不承认错误吗?”
她回:“要分认哪个错。”
“显示错了,回执记着。”
“原值没错,不改口。”
下午一点,研究组提交修正公式。
公式很整齐。
三项偏差相加,得出零点零零三秒。
系统试算通过。
陆沉仍退。
“数学过得了,资格过不了。”
“加数从屏上来。”
“被加数在页上。”
“两个台子不等高。”
研究组申请公开修正公式。
他们说,透明能减少猜疑。
监督署把公式做成三列。
第一列,加数。
三处显示偏差。
第二列,结果。
零点零零三秒。
第三列,用途。
修正前置差值。
陆沉只让前两列公开。
第三列改成,另审未过。
研究组问:“为什么不直接撤?”
“撤了像藏。”
“留着,人才看得见它卡在哪。”
公式页挂生成物章。
章旁写三行。
加数来自显示层。
结果未入核验。
用途被退回。
协会请三名外部数学爱好者看页。
第一个人说,公式本身没问题。
监督署答,资格另算。
第二个人说,很小的一点,加上也不碍事。
监督署答,小不是入口。
第三个人问,能不能只当注释。
可以。
但注释不得挂在pRE-dIFF-01旁。
只能挂在反例页。
监督署又把三处dEV-Rc回执调出来。
每份回执后面补一条流转。
被公式调用。
生成物章已盖。
核验用途已退。
三条流转分开记录。
不合并。
不排序。
不互相担保。
韩策看完,说:“公式没入链。”
“但它逼我们把三份回执又走了一遍。”
“这不算坏事。”
“边界被踩过,才知道哪里硬。”
沈霜把这次审查写进公开摘要。
摘要只有四句。
公式公开。
结果公开。
用途被退。
原值不变。
有人问,为什么不公布审稿人。
沈霜说:“审的是页。”
“不压人名。”
下午两点,监督署反向测试。
删第一句,读差进入差值页。
删第二句,回执被引用成观测页。
删第三句,读差领了临时编号。
删第四句,前置值多出修正项。
删第五句,终核清单自动带病复核。
六句放回。
哈希分开落档。
下午三点,三份dEV-Rc回执补充一句。
本回执不得换算为秒差。
不得生成修正项。
不得挂入pRE-dIFF-01。
协会问:“要不要解释为什么?”
韩策说:“解释一句,故事多三句。”
下午四点,协会做公众试读。
二十人里有十三人记住了前置差值不变。
四人记住显示层有偏差。
三人只记住数字。
监督署把结果分开。
沈霜把第三类标成风险。
她说:“数字走得最快。”
“边界走得慢。”
“那就让边界跟紧。”
傍晚,终核窗口推送进来。
系统列出当前范围五项。
对象。
读链。
差值。
边界。
空栏。
读差被系统放在第六项。
陆沉划掉。
“它只是旁听。”
“不进终核席。”
韩策把明日首项标成前置终核。
赵临在旁注上画了两块石板。
一块厚。
一块薄。
两块之间留空。
程野问:“薄的为什么也留着?”
“它存在。”
“存在就该一起抬走?”
“抬可以。”
“不能砌进一堵墙。”
晚上八点,监督署做交接。
夜班只接三样。
前置差值页。
三份dEV-Rc回执。
一份被退回的公式页。
接页人问,读差要不要单独值机。
韩策说:“它有回执。”
“没人围着它守夜。”
接页人又问,如果半夜屏修好了怎么办。
答,记录修好时间。
仍不改差值。
仍不撤回执。
三句写在交接卡上。
卡角没有上锁。
只压了一枚灰印。
灰印旁写一句。
读差留观。
终核另开。
夜班把三块石板画在门后。
厚的一块标页。
薄的一块标屏。
中间那道空,什么也不标。
门口。
谁路过,都能看见。