谁回滚，谁进入补给点，谁暂停后还能重新归队。
哪一段状态可以低带宽同步，哪一段状态必须本地封存。
这东西现在还不能命名。
正式命名意味着边界已经清楚。
而江临很清楚，它现在只是一份从废土经验里剥出来的现实运行时草图。
军姿结束的哨声响起。
“休息十五分钟。”
队伍一下子松下来。
帽子被摘下，水杯被拧开，几个男生几乎同时弯腰扶膝，像被剪断线的木偶。
赵承宇一边往树荫走，一边低声说：“我终于理解为什么军训前要买鞋垫了。”
“你不是十九号就买了吗？”
“是，但我买薄了。”
“数学判断失误。”
“这是工程问题。”
江临坐在操场边的台阶上，拧开水杯。
张宇辰走过来，把一小包糖丢给刚才差点晃倒的男生，又顺手递给江临一瓶矿泉水。
“还适应吗？”
“还好。”
张宇辰看了他一眼，笑了笑。
“大家一开始都以为你不会来。”
江临喝了一口水：“我也是新生。”
张宇辰怔了一下。
这句话很普通。
但从江临嘴里说出来，就变得不太普通。
上午的后半段练停止间转法和齐步走。
求真221班在理论理解上没有任何问题。
执行结果依旧一塌糊涂。
“向右——转！”
整队转完，教官看着三个明显转错方向的人，沉默片刻。
“你们这是在证明空间有多维？”
队伍里终于有人没忍住笑出声。
教官也想笑，但还是绷住脸：“笑什么？重新来。”
第三遍之后，队伍终于稍微像样。
齐步走又是另一场灾难。
一二一的口令压下来，三十多人的脚步声最开始像散落的珠子，快慢不一。
有人步子大，有人摆臂僵硬，有人为了对齐前排，反而打乱了自己节奏。
江临走在中后段。
他能感觉到周围人的节奏差。
如果把它当成一个机器群问题，中心口令只能提供粗节奏，真正的稳定依赖局部同步、误差修正和掉队恢复。
这不是训练队列的标准答案。
但它是一个很好的运行时问题。
低带宽，多节点，弱中心，长时程，同步误差积累，掉队恢复。
江临在心里默默把这几个词记下来。
碎片化的灵感很多，真正能进系统设计的其实很少。
还要等到夜里，等完整心智块空出来，再判断它是不是值得改架构。
上午十一点半，训练结束。
各排整队去紫荆食堂。
军训窗口出餐很快，饭菜量足，排骨、鸡腿、西红柿炒蛋、土豆牛肉、青菜和汤，一份份打进餐盘里。
求真221班被安排在固定区域，几张长桌拼在一起。
刚坐下的时候，大家都累得不想说话。
过了一会儿，糖醋排骨发挥了它应有的作用，桌上的人陆续复活。
“我宣布军训窗口暂时拯救了我。”
“西红柿炒蛋也可以。”
“你们有没有发现，训练之后吃饭特别香？”
“这是人体对热量赤字的反馈。”
“能不能不要在吃饭的时候讲得这么像论文？”
又有人好奇地问江临，为什么要主动来军训。
这个问题其实大家都想问。
只是没人知道怎么问才不冒犯。
江临没有立刻回答。
食堂里很吵。
餐盘碰撞，窗口叫号，空调风和饭菜热气混在一起。隔壁桌物理系有人在讨论下午会不会练正步，另一桌有人已经开始计划晚上买鞋垫和老冰棍。
这些声音都很近。
近到让人觉得世界很满。
过了几秒，江临说：“以后不一定有这么多机会，跟很多同龄人一起做没什么效率的事。”
赵承宇愣住。
旁边一个男生笑起来：“你这个评价太狠了，但很准确，军训确实没什么效率，不过很有记忆点。”
“糖醋排骨也有。”
气氛重新松开。
江临没有继续解释。
他真正想说的不是效率。
是一个人如果在太长时间里只和任务、失败样本、证明节点、工程日志相处，就会慢慢忘记普通生活的触感。
忘记有人在吃饭时把纸巾推过来。
忘记队列走错方向时，大家会一起憋笑。
忘记一群人为了晚上去不去买鞋垫认真讨论十分钟。
这些东西没有战略意义。
但它们能让现实不至于只剩下战略。
下午两点半。
紫荆操场的太阳已经变得很毒。
教官没有一上来就让所有人站在跑道上暴晒，而是先把队伍带到树荫下，讲接下来几天的训练安排。
“队列是前两周核心。”
“军体拳后面会教。”
“战伤自救互救是室内课，有实操考核。”
“定向越野按排计时。”
“还有一项，提前说一下。”
他说到这里，停了一下，看着眼前这群刚刚被太阳晒蔫的新生。
“八月二十八日凌晨，夜间拉练，二十公里。”
这一句话落下去，整个排都活了。
教官没有给他们继续哀嚎的时间，直接往下说.
“打背包，带水壶、挎包，全排行动。中途三个补给点，发水和面包。任何人不许私自离队，掉队要报备，有收容和补给安排。回来以后整队点名。”
周围响起一阵细碎的吸气声。
赵承宇低声问江临：“你怎么看？”
江临想了想：“鞋垫确实重要。”
赵承宇郑重点头：“懂了，今晚买厚的。”
江临没有笑。
他的注意力被另一件事勾住了。
二十公里夜间拉练，不是简单的暴走。
它是一套很完整的长程任务组织模型。
凌晨出发，打背包，低照度，队伍规模固定，个体体力差异明显，途中设置补给点，掉队有报备机制，回来后整队点名，最终以排为单位统计完成情况。
中心口令不能照顾到每个个体。
单人掉队不能拖垮全排。
补给点本质上是检查点。
收容机制本质上是失败隔离。
归队机制本质上是状态恢复。
这比上午站军姿时那个念头更清楚。
那个还没有正式命名的现实运行时草图，不能只管算子怎么下发。
它还要管任务怎么不断。
江临站在树荫下，听教官继续讲拉练注意事项。
脑子里却先浮出了一行临时目录名。
【Long-horizon Runti checkpointing】
长时程运行时检查点。
如果未来的S-Agent a要在不稳定硬件、不稳定能源、不稳定通信环境下运行，它不能假设所有执行单元都始终在线。
它必须允许某个执行单元掉队。
允许某个后端暂时失联。
允许某个任务进入降级状态。
允许局部失败被收容，而不是污染主流程。
这和G-01c公开演示里那次足端滑移是同一类问题。
不是是否失败。
而是失败如何被看见、被隔离、被记录，并在可能时重新归队。
下午训练继续。
齐步走，跑步走，停止间转法。
江临没有再分神去想太多。
傍晚五点半，训练结束。
紫荆操场边的小卖部被迷彩服围得水泄不通。
冰汽水、老冰棍、矿泉水、鞋垫、纸巾，卖得飞快。
有人买了个冰西瓜，让店员切成块，用塑料袋拎回来，在树荫下分。
江临也分到一块。
西瓜很冰，汁水顺着手指往下流。
赵承宇咬了一口，含糊不清地说：“这才是军训顶级快乐。”
旁边有人说：“数学不能提供这种快乐。”
“你确定？”
“至少此刻不能。”
大家笑起来。
江临坐在最边上，吃完那块西瓜，把塑料袋折好，丢进垃圾桶。
手机在口袋里已经震了好几次。
他这才拿出来看。
第一条来自梁知夏。
【恒泰封闭巷道灰度测试协议初稿已发邮箱。许明川接受“不进生产巷道、不挂危险设备、不载人、不开放核心日志、不交底层控制链、不交参数生成器”六条边界，但希望增加一项现场观摩人员名单。】
第二条来自韩砚山。
【Issue 006国内组下午小会纪要已发。非均匀密度壳层下的重复支付问题，丁剑认为需要单独拆成附录c-2，不建议压在第47号主定理内部。】
第三条来自陶哲轩。
【the double-spending is