可归队。

    江临打开README，把第一行删掉。

    原来的第一行是——

    【目标：创建跨后端任务调度与硬件代价模型。】

    他重新写下——

    【目标：创建面向长时程任务的可中断、可迁移、可归队运行时草图。】

    然后写第二行。

    【当前不命名，不定型，不对外。】

    第三行。

    【该草图不服务于炫技式性能移植，优先服务于失败可见、状态检查点和弱后端恢复。】

    保存。

    提交本地Git。

    Coit ssage——

    【add runti checkpoint layer】

    韩砚山发来的国内组纪要里，丁剑的建议被单独标红。

    【建议将非均匀密度壳层下的重复支付隔离从第47号节点主证明中拆出，独立为附录C-2。主定理只引用隔离引理，不再承担全部帐目展示。

    陶哲轩的邮件则更短。

    【Do not coress this section too ch.】

    不要压缩这一节。

    江临看着那句话，稍一思索，然后在新的LaTeX文档里写下标题。

    【Appendix C-2：Isolation of Double Spending under Non-uniforDensity Shells】

    下一行，他写了一句中文备注，放在自己本地草稿最上方。

    【非均匀密度壳层不是局部引理问题，而是全局帐目归队问题。】

    写完之后，他自己审视了一番。

    归队。

    这个词有点不象论文术语。

    但意思很准确。

    一个局部壳层如果在中途脱离全局帐目，它不应该被悄悄算作已支付。

    它必须进入检查点，标记状态，确认是否已经消耗过熵跌落，再决定能否重新并入主证明链路。

    否则，它就会象一个掉队后又绕回队伍的人，在点名表上被算了两次。

    江临开始写第一段。

    窗外，紫荆本科生宿舍区，有人还在走廊里喊明天早操别迟到。

    有人拖着拖鞋去洗漱。

    有人大概正在床上修改今天拍的军训照片。

    17号楼里始终安静。

    只有键盘声很轻地落在房间里。

    屏幕右下角，日程表弹出明天的提醒。

    【06:00 起床】

    【08:00 紫荆操场训练】

    【14:30 队列与军体拳预备】

    【20:30 Issue 006 C-2扩展】

    【8月28日 00:00 二十公里夜间拉练】

    江临看了一眼，把提醒关掉。

    今天的军训没有让他的主线停下来，却给了他一个新的现实模型。

    队列、掉队、补给点、收容、归队。。

    但它们已经进入了那份尚未命名的运行时草图，也进入了Issue 006的证明结构。

    窗外夜色渐深。

    距离第十一次废土传送，还有不到九天。