上午九点,终核清单展开。
系统列出五项。
对象。
读链。
差值。
边界。
空栏。
清单底部自动生成一句话。
五项齐备,可收拢空栏。
陆沉把那句话删了。
“齐备是核完。”
“收拢是结论。”
“结论等核完再说。”
九点二十,第一项对象复核。
PRE-OBJ-A-01外层完整。
首行调用外层完整。
两页编号分列。
无引用链。
无同体标记。
系统想写双侧一致。
韩策退回。
“一致只说哈希。”
“别说双侧一样。”
最后写,两页外层有效。
九点四十,第二项读链复核。
PRE-READ-01三端盲读记录在场。
旧读链停用留证。
测试异常单独留档。
读链只服务当前登记对象。
外部EXT-READ-07仍缺范围。
监督署问:“缺范围影响终核吗?”
陆沉说:“不影响这一项。”
“它另有门。”
十点,第三项差值复核。
PRE-DIFF-01哈希一致。
两端外层时标原样。
四十二点零七二秒仍作差值。
不定时长。
不定进度。
不定剩余。
读差草案挂在旁听层。
没有进入主值。
十点二十,第四项边界复核。
倒计禁令在场。
零点禁令在场。
钟面禁令在场。
公共钟禁令在场。
见证禁令在场。
空档外推禁令在场。
系统把六条禁令合成一块牌。
陆沉退回。
“牌会挡视线。”
“一条一条看。”
六条各自核哈希。
六份通过。
十点四十,第五项空栏复核。
成因,空。
计划,空。
意图,空。
责任,空。
去向,待核。
系统建议把四空合并成未查明。
陆沉退回。
“未查明像一条路。”
“空栏要各守各的门。”
十点五十,程野做载体无关复核。
A侧隔离架稳定。
B路旁挂层稳定。
两处前置对象外层稳定。
旧页回声外层稳定。
接触零。
写入零。
他说:“终核在纸上。”
“架上只有原状。”
十一点,外部研究组申请列席终核。
理由是数据公开,程序应接受旁观。
监督署同意旁听。
但旁听席不签终核。
不写意见。
不得在结果前引用过程页。
研究组问:“那旁观有什么用?”
韩策说:“看边界怎么走。”
“看不到结论?”
“结论出来后统一公开。”
十一点二十,终核页逐项落印。
对象,通过。
读链,通过。
差值,通过。
边界,通过。
空栏,原状保留。
第五项没有写通过。
系统问:“要不要写合格?”
陆沉说:“空白有效。”
“不用夸它。”
中午,PRE-FINAL-13-01起草。
第一句,当前范围终核通过。
第二句,范围止于前置时标关系。
第三句,四十二点零七二秒为前置差值。
第四句,读差不入主值。
第五句,空栏不清空,不补值,不合并。
第六句,去向待核。
第七句,新证据走新入口。
下午一点,协会做形式审查。
他们发现第七句里的新入口太小。
申请页只有一个灰点。
点旁写,另立。
协会建议放大。
陆沉说:“入口大,故事先挤。”
“可外部找不到怎么办?”
“找得到编号。”
“找不到图,就少画图。”
下午两点,监督署反向测试。
删第二句,有人把终核扩到A、B去向。
删第四句,读差重新挤回差值页。
删第五句,四个空栏被写成原因不明。
删第六句,去向被预填成B路。
删第七句,有人宣布本案永久关闭。
七句放回。
哈希分开落档。
下午三点,四端分签。
协会见证范围。
监督署确认边界。
程野确认载体无关。
韩策确认归档效力。
陆沉签申请端。
五印分开。
没有总印。