第154章 長時程歸隊協議
八月十九日上午八點。
求真書院三個班的新生擠在階梯教室里,等著軍訓動員大會開場。
桌上攤著剛發下來的《軍訓須知》,封皮印著綠色迷彩紋樣,裡面夾著訓練作息表、請假流程、內務標準、拉練說明和軍訓紀律。
求真221班的座位集中在最後兩排。
這裡大部分人之前就聽過彼此的名字。
競賽圈不大,尤其是數學競賽圈更小。
誰拿過冬令營金牌,誰進過集訓隊,誰在某年某道組合題上給出過漂亮解法,彼此未必真正認識,但多少都有耳聞。
因此,剛入學的陌生感並不完整。
他們更像是一群終於被放到同一間教室里的舊傳聞。
趙承宇坐在最後一排靠過道的位置,翻著軍訓須知,手指停在夜間拉練那一欄,表情很沉重。
「二十公里。」
旁邊有人湊過來看:「真二十公里?」
「上面寫得很清楚。」
「這是軍訓還是遷徙?」
「你現在退學還來得及。」
「算了,退學手續說不定比二十公里更麻煩。」
幾個人壓著聲音笑起來。
笑完之後,話題很自然地拐到了另一件事上。
趙承宇抬頭掃了一眼身邊空著的位置:「說起來,江臨應該不來了吧?」
這句話一出,後排幾個人都很自然地點頭。
「肯定不來啊。」
「前幾天就聽說,書院給他走的是特殊調整方案,訓練環節可以暫緩。」
「正常,人家那個級別,犯得著來站軍姿嗎?」
「換我我也不來,數學中心有空調,坐著拆PFR,不比在操場曬太陽強?」
「別說軍訓了,開學典禮、班會他都沒露過面。咱們班我基本認全了,就他只聞其名不見其人。」
話說到這裡,前排有人回頭看了一眼,壓低聲音:「你們說話小點,學長上來了。」
講台上,帶班學長張宇辰抱著點名冊走到投影幕布旁邊。
輔導員李悅坐在側邊,手裡拿著一份訓練安排確認表。
「人差不多到齊了。」張宇辰翻開點名冊,「先點名,點完開動員會。」
階梯教室里安靜下來。
一個個名字念過去。
「到。」
「到。」
「到。」
聲音此起彼伏。
念到求真221班最後幾行時,張宇辰的視線停在一個名字上。
江臨。
他頓了一下。
李悅昨天已經跟他說過,江臨的情況特殊,書院給了訓練調整方案。
如果他不來,動員會不必等,後續把材料發郵箱就行。
張宇辰清了清嗓子,正準備跳過這一行,西階教室後門忽然傳來一聲很輕的聲音。
「報告。」
聲音不高。
在空調聲和細碎翻頁聲里,幾乎不起眼。
但求真221班最後兩排,瞬間靜了一半。
所有人下意識回頭。
後門邊站著一個穿白T恤的男生,背著黑色雙肩包,額角有一點薄汗。
大概是從別處趕過來的緣故,他站在門框旁,呼吸還沒有完全壓平,但神色很安靜。
江臨微微點頭:「抱歉,來晚了。」
他早上有點事耽誤了幾分鐘。
張宇辰愣了兩秒,才連忙擺手:「沒事,進來吧,最後排還有空位。」
江臨點頭,順著階梯教室側邊過道往後走。
從一排排座位旁經過時,有人抬頭看他,有人假裝低頭翻材料,有人已經認出他,卻又不好意思表現得太明顯。
最後,江臨在221班最後一排角落坐下,把背包放在腳邊,拿起桌上的一份《軍訓須知》。
張宇辰定了定神,重新看向點名冊。
「江臨。」
後排傳來一聲清淡的應答。
「到。」
聲音不大,但這個到落下去之後,求真221班後排幾個人都悄悄坐直了一點。
真來了。
那個連開學典禮都缺席,幾乎只活在班級花名冊和外界新聞里的同學,真的坐到了他們後排。
動員會的內容很細。
軍訓紀律,請假制度,每日作息,內務檢查,隊列訓練,軍體拳,戰傷救護,定向越野,夜間拉練,結業分列式。
李悅講得很清楚,請假半日以內由連隊和指導員審批,超過兩日需要營部批准,累計缺訓達到一定天數必須重新補訓。
台下有人小聲哀嚎。
「比高中軍訓還嚴。」
「我現在已經開始想念高中軍訓了。」
江臨坐在最後一排,安靜地翻著手裡的須知。
上面的條款都很普通。
但江臨看得很認真。
不是因為這些條款有多複雜。
而是因為它們構成了一套完整的現實流程:集合、點名、訓練、請假、補給、歸隊、考核、記錄。
人被放進隊列里。
隊列被放進營連里。
營連被放進訓練周期里。
每一個人都有位置,每一次缺席都有記錄,每一個掉隊節點都有處理辦法。
這不是高深系統。
卻是現實世界最基礎的秩序。
散會後,各班按安排前往C樓做軍訓裝備核對、尺碼調換和漏領補發。
大部分人昨晚已經領過軍訓服,只是去換鞋碼和補水壺、挎包。
江臨因為前一天沒參加班會和統一領裝,跟著隊伍走了一趟完整補領流程。
外面陽光已經起來了。
隊伍沿著路邊樹蔭往紫荊生活區方向走,蟬鳴一陣高過一陣,熱浪從路面往上浮。
趙承宇故意放慢腳步,等到江臨走近,才有點不好意思地開口。
「你真來軍訓啊?」
「是啊。」
「我以為你直接走調整方案了。」
「先跟幾天。」
「幾天?」
「看情況吧。」
趙承宇撓了撓頭:「也是,你事情肯定很多。不過你能來已經很離譜了,我們剛才還賭你不會出現。」
江臨看了他一眼。
趙承宇立刻補充:「沒惡意啊,就是覺得你這種,嗯,應該很忙。」
「是有點忙。」
「那你還來?」
江臨笑了笑。
路邊梧桐樹影落在地上,斑駁晃動。
身邊是嘰嘰喳喳的同班同學。
有人吐槽軍訓服丑,有人討論晚上要不要先買鞋墊,有人問紫荊食堂哪個窗口出餐快,有人說聽說紫荊操場旁邊可以買老冰棍。
人聲混著蟬鳴,熱熱鬧鬧往耳朵里鑽。
江臨已經很久沒有置身在這麼嘈雜的人聲里。
廢土太靜了。
靜到風吹過前哨站外牆時,他能分辨出哪一塊擋板的螺絲開始鬆動。
靜到夜裡水循環泵抽空的聲音,會像一根細針扎進意識里。
靜到他蹲在紅土荒原上檢修設備時,能聽見沙粒滾過金屬外殼的輕響。
靜得久了,就會忘掉人擠人的時候是什麼溫度。
「體驗一下。」江臨說。
趙承宇愣了一下:「體驗軍訓?」
「體驗人的生活。」
這句話說得太奇怪,趙承宇一時沒接上來。
過了一會兒,他才說:「這生活的第一課就是磨腳,其實沒有什麼好體驗的。」
江臨不解地看了他一眼。
趙承宇很認真地說:「真的,膠鞋才是噩夢,得墊厚鞋墊。等會兒我去超市買,你要不要?我幫你帶兩雙。」
江臨點頭:「好,謝謝。」
C樓領裝處排著長隊。
各院系新生擠在一起,迷彩服堆成小山,工作人員扯著嗓子喊尺碼。江臨跟著隊伍慢慢往前挪,輪到他時報了自己的號,接過沉甸甸一摞東西。
作訓服。
作訓帽。
編織外腰帶。
解放膠鞋。
肩章。
水壺和挎包。
他低頭翻了翻那雙膠鞋。
鞋底很硬,鞋幫也硬。
趙承宇在旁邊瞥了一眼:「偏大就對了,不然墊了鞋墊塞不進去。」
「你很熟?」
「高中軍訓吃過虧。」趙承宇說,「腳後跟磨出兩個泡,走路像被函數不連續點絆了。」
旁邊有人聽見,忍不住說:「你們能不能不要什麼都往數學上靠?」
「不能。」
隊伍又笑起來。
江臨抱著軍訓服往外走。
旁邊有別的院系學生認出他,壓低聲音說那就是江臨吧,還有人悄悄往這邊看。
他像沒聽見。
只是跟著隊伍往前走。
沒有加快,也沒有停下。
十九號下午,紫荊操場進行了短訓。
還不算正式開訓。
東大操場的全校開訓典禮要到二十二號才舉行,十九到二十一號只是過渡:動員、領服裝、教官見面、內務教學、隊列基礎預訓、開訓典禮方陣合練。
但對求真221班來說,十九號下午已經足夠讓他們意識到,軍訓不是憑腦子聽懂就能自動完成的東西。
教官是個皮膚黝黑的年輕士官,腰杆挺得筆直。
第一堂基礎預訓,站軍姿二十分鐘。
紫荊操場西北角有一片樹蔭,但下午兩點半的太陽還是毒,塑膠跑道被曬得發軟,鞋底踩上去有一點黏膩的熱。
江臨站在隊伍最末尾。
剛領的迷彩服已經換上,帽子戴得端正,腰帶系得齊整,褲腳挽到合適的位置。
站進隊伍之後,他就和身邊所有人一樣,變成了這一個獨立排里的某個點。
「腳跟併攏。」
「腳尖分開。」
「收腹,挺胸。」
「眼睛平視前方。」
教官的聲音落下來。
隊伍安靜。
二十分鐘並不長。
但對於剛入學的新生來說,已經足夠漫長。
汗水順著鬢角往下滑,流進衣領,又癢又疼。
有人悄悄動了動手指,有人輕輕換了一點重心,還有人努力把身體站直,結果肩膀越繃越僵。
江臨站得很穩。
不是因為體能有多驚人。
而是他早就習慣了在惡劣環境裡保持靜止。
廢土裡頂著風沙蹲守設備,在高溫下檢修線路,在低溫里趴在地面聽遠征平台的殘餘振動,比這難熬的時刻太多。
但這不一樣。
那時候身邊只有風聲和設備的嗡鳴。
全世界像被抽空,只剩他一個人。
而現在,身邊有此起彼伏的細微呼吸聲。
前排男生的後頸沾著汗珠,左邊傳來衣服摩擦的窸窣聲,遠處別的連隊教官的口令聲洪亮有力,風裡飄著青草被曬熱後的味道,還有汗水淡淡的咸澀味。
喧鬧。
瑣碎。
熱氣騰騰。
是活人的味道。
他不是沒想過普通大學生活是什麼樣的。
住四人間,和室友一起吐槽軍訓,一起擠食堂,一起熬夜趕作業,像所有十八歲的男生一樣,吵吵鬧鬧,沒什麼沉重的心事。
但加密硬碟里的全量數據,編譯器的架構草稿,低熵工坊整條懸而未決的產品線……
這些東西都不能隨意暴露,也不能隨意託付給普通生活。
所以他能參加的就參加,有衝突就按流程請假。
站在人群里,沾一身汗,聽一耳朵喧鬧,吃幾頓人擠人的食堂,把這些聲音存下來。
這已經足夠。
「稍息!」
教官一聲口令,隊伍里響起齊刷刷的衣料摩擦聲。
江臨跟著做動作,姿勢中規中矩,混在隊伍里,毫不起眼。
在這裡,他不是站在白板前的人。
也不是低熵工坊的創始人。
他只是求真221班,一個剛剛領到軍訓服的大一新生。
三天過得很快。
二十號,內務教學,打背包。
二十一號,開訓典禮方陣合練彩排。
求真221班的人在短短三天裡迅速完成了從互相聽說過名字到互相知道誰左右不分、誰鞋碼買錯、誰被子疊得像拓撲奇點的過渡。
江臨並不是每個環節都在。
十九號夜裡,他在數學中心辦公室里補了PFR/Marton Issue 006的第一段備註。
二十號下午,他去了世界機器人大會展館,確認G-01C連續演示後的日誌歸檔、媒體口徑和異常片段覆核。
二十一號晚,他看完恆泰封閉巷道灰度測試協議初稿,給梁知夏回了六條邊界意見。
但只要他能到,就會換上軍訓服,站進隊伍。
於是到了二十二日正式開訓時,求真221班的人已經不再像十九號那樣一直回頭看他。
他們仍然知道他特殊。
但也開始默認,他會出現在隊伍里。
八月二十二日,清晨。
東大操場正式開訓典禮。
幾千名新生站在同一片操場上,方陣從主席台前一直鋪到跑道盡頭。
升旗。
奏唱國歌。
授旗。
軍訓旅領導講話。
新生代表發言。
流程並不複雜,甚至可以說固定,但幾千人同時站在東大操場上時,任何固定流程都會天然變得有重量。
江臨站在求真書院獨立排里,眼睛平視前方。
台上的聲音通過揚聲器傳出來。
「從今天開始,各位同學將進入為期三周的軍事技能訓練與入學教育。」
「三周訓練中,你們將完成隊列、軍體拳、戰傷自救互救、定向越野、夜間拉練和結業分列式等科目。」
「軍訓不是為了讓每位同學成為軍人,而是為了讓大家在大學第一課中,學會紀律、協作與承擔。」
紀律。
協作。
承擔。
這些詞如果寫在PPT上,會顯得很空。
但放在幾千人同時站立的操場上,就忽然有了實際形狀。
腳尖對齊,肩線拉平。
命令從一個點發出,層層傳遞到最末端。
有人走錯,就重新來。
有人掉隊,就記錄、補給、帶回。
它不是證明,也不是工程。
卻又隱約有一點熟悉。
開訓典禮結束後,各營按序退場。
求真書院所在的四營理科連回到紫荊操場日常分訓。
一路上,新生隊伍從東大操場向紫荊方向拉開。
剛離開主會場沒多久,隊伍里就有人開始小聲說話。
「日常訓練是在紫荊操場?」
「對,離宿舍近。」
「離食堂近嗎?」
「南邊就是紫荊食堂。」
「那可以。」
「你現在就想著食堂?」
「我還想著冰汽水。」
「紫荊操場旁邊小賣部有老冰棍。」
「你怎麼知道?」
「十九號偵察過。」
「你很有軍事素養。」
教官回頭看了一眼。
隊伍立刻安靜。
幾秒後,又有人沒忍住笑。
紫荊操場比東大操場小很多。
塑膠跑道環著天然草坪足球場,四周種滿梧桐樹,樹蔭從跑道邊緣鋪進來。
西北角挨著紫荊籃球場,南邊再過去就是紫荊食堂。
食堂門口已經有高年級學生進進出出,看見一隊隊新生被帶進操場,不少人停下來多看兩眼。
桶裝水被搬到樹蔭下。
幾個摺疊箱擺在旁邊,裡面放著藿香正氣水、創可貼、防曬霜、紙巾和備用糖塊。
李悅和張宇辰站在樹下,手裡各有一份名單和訓練記錄表。
第一項正式訓練,還是軍姿。
「腳跟併攏,腳尖分開約六十度。」
「膝蓋後頂。」
「收腹,挺胸,兩肩後張。」
「下巴微收。」
「眼睛平視前方。」
這些動作單獨拆開都不複雜。
複雜的是把所有動作疊在一起,再讓身體在太陽下維持住它。
十分鐘後,汗開始順著後頸往下流。
二十分鐘後,隊伍里有人開始輕輕調整呼吸。
三十分鐘後,前排一個男生晃了一下。
教官立刻走過去。
「早飯吃了嗎?」
男生低聲說:「吃了。」
「吃了什麼?」
「一個包子。」
「出列,樹下喝水,吃糖。」
男生臉漲紅:「我還能站。」
「你倒了我還得背你。」教官皺眉,「出列。」
男生終於小跑到樹蔭下。
張宇辰馬上遞水,李悅從箱子裡拿出糖塊,低聲問他有沒有頭暈、噁心、眼前發黑。
這個小插曲沒有持續太久。
隊列繼續站著。
但江臨的注意力,在這一刻被輕輕勾住了。
一個隊列真正穩定,不是因為每個人都強。
而是弱節點能被及時發現、被帶離主隊列、被補給、被觀察,並且在狀態恢復後重新歸隊。
它不是單點強度問題。
是檢查點問題。
前哨站的遠征平台也有類似邏輯。
G-Explorer-B長距離遠征時,真正危險的從來不是某個傳感器瞬間異常,而是異常進入系統後沒有被分類、沒有被隔離、沒有進入回滾路徑,最後污染整個任務鏈路。
G-01C更是如此。
足端打滑本身不可怕。
可怕的是系統把打滑誤判成正常接觸,繼續送重心,直到局部失敗變成全局失穩。
江臨站在隊列里,眼睛仍然平視前方。
但腦子裡某個原本鬆散的結構,忽然往下扣了一格。
他之前給陳硯提過的那份現實運行時草圖,最初想解決的還是核心算子調度、後端代價模型和設備抽象。
現在看來,顯然不夠。
它偏靜態,偏後端,偏算子層。
如果未來MPS-Agent α要從廢土前哨站的個人工具,拆成現實世界可實現的工程模塊,就不能只考慮任務如何被拆成後端可執行單元。
還必須考慮長時程任務中,誰掉隊。
誰回滾,誰進入補給點,誰暫停後還能重新歸隊。
哪一段狀態可以低帶寬同步,哪一段狀態必須本地封存。
這東西現在還不能命名。
正式命名意味著邊界已經清楚。
而江臨很清楚,它現在只是一份從廢土經驗里剝出來的現實運行時草圖。
軍姿結束的哨聲響起。
「休息十五分鐘。」
隊伍一下子松下來。
帽子被摘下,水杯被擰開,幾個男生幾乎同時彎腰扶膝,像被剪斷線的木偶。
趙承宇一邊往樹蔭走,一邊低聲說:「我終於理解為什麼軍訓前要買鞋墊了。」
「你不是十九號就買了嗎?」
「是,但我買薄了。」
「數學判斷失誤。」
「這是工程問題。」
江臨坐在操場邊的台階上,擰開水杯。
張宇辰走過來,把一小包糖丟給剛才差點晃倒的男生,又順手遞給江臨一瓶礦泉水。
「還適應嗎?」
「還好。」
張宇辰看了他一眼,笑了笑。
「大家一開始都以為你不會來。」
江臨喝了一口水:「我也是新生。」
張宇辰怔了一下。
這句話很普通。
但從江臨嘴裡說出來,就變得不太普通。
上午的後半段練停止間轉法和齊步走。
求真221班在理論理解上沒有任何問題。
執行結果依舊一塌糊塗。
「向右——轉!」
整隊轉完,教官看著三個明顯轉錯方向的人,沉默片刻。
「你們這是在證明空間有多維?」
隊伍里終於有人沒忍住笑出聲。
教官也想笑,但還是繃住臉:「笑什麼?重新來。」
第三遍之後,隊伍終於稍微像樣。
齊步走又是另一場災難。
一二一的口令壓下來,三十多人的腳步聲最開始像散落的珠子,快慢不一。
有人步子大,有人擺臂僵硬,有人為了對齊前排,反而打亂了自己節奏。
江臨走在中後段。
他能感覺到周圍人的節奏差。
如果把它當成一個機器群問題,中心口令只能提供粗節奏,真正的穩定依賴局部同步、誤差修正和掉隊恢復。
這不是訓練隊列的標準答案。
但它是一個很好的運行時問題。
低帶寬,多節點,弱中心,長時程,同步誤差積累,掉隊恢復。
江臨在心裡默默把這幾個詞記下來。
碎片化的靈感很多,真正能進系統設計的其實很少。
還要等到夜裡,等完整心智塊空出來,再判斷它是不是值得改架構。
上午十一點半,訓練結束。
各排整隊去紫荊食堂。
軍訓窗口出餐很快,飯菜量足,排骨、雞腿、西紅柿炒蛋、土豆牛肉、青菜和湯,一份份打進餐盤裡。
求真221班被安排在固定區域,幾張長桌拼在一起。
剛坐下的時候,大家都累得不想說話。
過了一會兒,糖醋排骨發揮了它應有的作用,桌上的人陸續復活。
「我宣布軍訓窗口暫時拯救了我。」
「西紅柿炒蛋也可以。」
「你們有沒有發現,訓練之後吃飯特別香?」
「這是人體對熱量赤字的反饋。」
「能不能不要在吃飯的時候講得這麼像論文?」
又有人好奇地問江臨,為什麼要主動來軍訓。
這個問題其實大家都想問。
只是沒人知道怎麼問才不冒犯。
江臨沒有立刻回答。
食堂里很吵。
餐盤碰撞,窗口叫號,空調風和飯菜熱氣混在一起。隔壁桌物理系有人在討論下午會不會練正步,另一桌有人已經開始計劃晚上買鞋墊和老冰棍。
這些聲音都很近。
近到讓人覺得世界很滿。
過了幾秒,江臨說:「以後不一定有這麼多機會,跟很多同齡人一起做沒什麼效率的事。」
趙承宇愣住。
旁邊一個男生笑起來:「你這個評價太狠了,但很準確,軍訓確實沒什麼效率,不過很有記憶點。」
「糖醋排骨也有。」
氣氛重新鬆開。
江臨沒有繼續解釋。
他真正想說的不是效率。
是一個人如果在太長時間裡只和任務、失敗樣本、證明節點、工程日誌相處,就會慢慢忘記普通生活的觸感。
忘記有人在吃飯時把紙巾推過來。
忘記隊列走錯方向時,大家會一起憋笑。
忘記一群人為了晚上去不去買鞋墊認真討論十分鐘。
這些東西沒有戰略意義。
但它們能讓現實不至於只剩下戰略。
下午兩點半。
紫荊操場的太陽已經變得很毒。
教官沒有一上來就讓所有人站在跑道上暴曬,而是先把隊伍帶到樹蔭下,講接下來幾天的訓練安排。
「隊列是前兩周核心。」
「軍體拳後面會教。」
「戰傷自救互救是室內課,有實操考核。」
「定向越野按排計時。」
「還有一項,提前說一下。」
他說到這裡,停了一下,看著眼前這群剛剛被太陽曬蔫的新生。
「八月二十八日凌晨,夜間拉練,二十公里。」
這一句話落下去,整個排都活了。
教官沒有給他們繼續哀嚎的時間,直接往下說.
「打背包,帶水壺、挎包,全排行動。中途三個補給點,發水和麵包。任何人不許私自離隊,掉隊要報備,有收容和補給安排。回來以後整隊點名。」
周圍響起一陣細碎的吸氣聲。
趙承宇低聲問江臨:「你怎麼看?」
江臨想了想:「鞋墊確實重要。」
趙承宇鄭重點頭:「懂了,今晚買厚的。」
江臨沒有笑。
他的注意力被另一件事勾住了。
二十公里夜間拉練,不是簡單的暴走。
它是一套很完整的長程任務組織模型。
凌晨出發,打背包,低照度,隊伍規模固定,個體體力差異明顯,途中設置補給點,掉隊有報備機制,回來後整隊點名,最終以排為單位統計完成情況。
中心口令不能照顧到每個個體。
單人掉隊不能拖垮全排。
補給點本質上是檢查點。
收容機制本質上是失敗隔離。
歸隊機制本質上是狀態恢復。
這比上午站軍姿時那個念頭更清楚。
那個還沒有正式命名的現實運行時草圖,不能只管算子怎麼下發。
它還要管任務怎麼不斷。
江臨站在樹蔭下,聽教官繼續講拉練注意事項。
腦子裡卻先浮出了一行臨時目錄名。
【Long-Horizon Runtime Checkpointing】
長時程運行時檢查點。
如果未來的MPS-Agent α要在不穩定硬體、不穩定能源、不穩定通信環境下運行,它不能假設所有執行單元都始終在線。
它必須允許某個執行單元掉隊。
允許某個後端暫時失聯。
允許某個任務進入降級狀態。
允許局部失敗被收容,而不是污染主流程。
這和G-01C公開演示里那次足端滑移是同一類問題。
不是是否失敗。
而是失敗如何被看見、被隔離、被記錄,並在可能時重新歸隊。
下午訓練繼續。
齊步走,跑步走,停止間轉法。
江臨沒有再分神去想太多。
傍晚五點半,訓練結束。
紫荊操場邊的小賣部被迷彩服圍得水泄不通。
冰汽水、老冰棍、礦泉水、鞋墊、紙巾,賣得飛快。
有人買了個冰西瓜,讓店員切成塊,用塑膠袋拎回來,在樹蔭下分。
江臨也分到一塊。
西瓜很冰,汁水順著手指往下流。
趙承宇咬了一口,含糊不清地說:「這才是軍訓頂級快樂。」
旁邊有人說:「數學不能提供這種快樂。」
「你確定?」
「至少此刻不能。」
大家笑起來。
江臨坐在最邊上,吃完那塊西瓜,把塑膠袋折好,丟進垃圾桶。
手機在口袋裡已經震了好幾次。
他這才拿出來看。
第一條來自梁知夏。
【恆泰封閉巷道灰度測試協議初稿已發郵箱。許明川接受「不進生產巷道、不掛危險設備、不載人、不開放核心日誌、不交底層控制鏈、不交參數生成器」六條邊界,但希望增加一項現場觀摩人員名單。】
第二條來自韓硯山。
【Issue 006國內組下午小會紀要已發。非均勻密度殼層下的重複支付問題,丁劍認為需要單獨拆成附錄C-2,不建議壓在第47號主定理內部。】
第三條來自陶哲軒。
【The double-spending isolation is subtle. Do not compress this section too much.】
第四條來自陳硯。
【江總,你上次說的現實運行時草圖,我先按「算子調度 + 後端代價模型 + 設備抽象」搭了一版目錄樹。核心還是偏後端工具鏈。你晚上有空看看。】
四條消息並排躺在屏幕里。
展會。
恆泰。
PFR。
現實運行時草圖。
每一條都很重。
每一條都足夠把他從紫荊操場的樹蔭下拽走。
江臨看了幾秒,沒有立刻展開任何附件。
他先給梁知夏回。
【觀摩人員名單必須提前鎖定,簽保密和安全責任確認,不得臨時增補。】
給韓硯山回——
【同意拆附錄C-2,晚上處理。】
給陶哲軒回——
【Agreed. I will expand the isolation proof.】
給陳硯回——
【目錄樹先保留,今晚我補一層檢查點邏輯,不要只按算子調度想。】
陳硯很快回了一個問號。
晚上七點集合,軍歌教學和拉歌預熱。
隊伍里有人哀嚎:「還要唱歌?」
「《團結就是力量》會不會?」
「只會第一句。」
「那你完了。」
「我現在退學還來得及嗎?」
笑聲在樹蔭下散開。
江臨把手機收回口袋。
他沒有忘記那些問題。
它們都在那裡。
但現在不是處理它們的時間。
碎片時間不能拆Issue 006。
也不能給一個還沒有定名的運行時草圖動根目錄。
更不能審恆泰灰度協議的權責邊界。
晚上九點二十,訓練和晚間活動結束。
江臨回到紫荊17號樓。
從本科生宿舍區經過時,1—13號樓仍然亮著大片燈光。
有人端著臉盆去水房,有人拎著鞋墊和冰飲往樓上走,有人站在樓下打電話跟家裡說今天站了多久、曬得多黑、食堂吃了什麼。
17號樓依舊安靜。
感應燈亮起,又在他身後熄滅。
江臨刷卡進402室,關門。
房間重新落回一片獨立的寂靜里。
他洗完澡,腳後跟有一點紅,不嚴重,只是膠鞋摩擦留下的痕跡。
軍訓帽放在桌角。
水杯放在旁邊。
手機里,班群正在刷今天訓練的照片。
有人偷拍了求真排在紫荊操場樹蔭下分西瓜的畫面,有人發了晚間拉歌時教官黑著臉讓他們重唱的視頻,還有人把八月二十八日二十公里夜間拉練單獨截出來,配了一個沉痛表情。
江臨看了兩眼,把手機倒扣在桌面上。
然後打開電腦,先看陳硯發來的那份現實運行時草圖。
這是一個暫時放在低熵工坊內部工具目錄下的工作文件。
【Reality_Runtime_Sketch_v0.1】
陳硯搭出來的原始目錄很簡單。
【Operator-Schedule】
【Backend-CostModel】
【Device-Abstraction】
【Task-Dispatch】
【Log-Interface】
結構不算錯,但不夠。
就像一個能把任務送到不同硬體上的工具。
還不像一個能讓任務在壞環境裡活下來的運行時。
江臨新建了一層目錄。
【Runtime-Checkpoint】
下面繼續寫——
【Task-State-Snapshot】
【Straggler-Detection】
【Fallback-Route】
【Low-Bandwidth-Sync】
【Rejoin-Protocol】
【Failure-Visibility-Log】
【No-Silent-Success】
不能有沉默的成功。
一次任務成功完成,不代表過程里沒有失敗邊界。
G-01C公開演示通過了,也要記錄右後足傳感器七毫秒延遲。
軍訓隊列走齊了,也要知道誰在中途差點晃倒,誰被帶出隊伍喝水,誰後來重新歸隊。
PFR/Marton主鏈路閉合了,也不能讓非均勻密度殼層里的重複支付沉默地混進全局帳目。
它們其實是同一條紀律。
可審查。
可回放。
可歸隊。
江臨打開README,把第一行刪掉。
原來的第一行是——
【目標:建立跨後端任務調度與硬體代價模型。】
他重新寫下——
【目標:建立面向長時程任務的可中斷、可遷移、可歸隊運行時草圖。】
然後寫第二行。
【當前不命名,不定型,不對外。】
第三行。
【該草圖不服務於炫技式性能移植,優先服務於失敗可見、狀態檢查點和弱後端恢復。】
保存。
提交本地Git。
Commit message——
【add runtime checkpoint layer】
做完這些,江臨才打開PFR/Marton Issue 006。
韓硯山發來的國內組紀要里,丁劍的建議被單獨標紅。
【建議將非均勻密度殼層下的重複支付隔離從第47號節點主證明中拆出,獨立為附錄C-2。主定理只引用隔離引理,不再承擔全部帳目展示。】
陶哲軒的郵件則更短。
【Do not compress this section too much.】
不要壓縮這一節。
江臨看著那句話,稍一思索,然後在新的LaTeX文件里寫下標題。
【Appendix C-2:Isolation of Double Spending under Non-uniform Density Shells】
下一行,他寫了一句中文備註,放在自己本地草稿最上方。
【非均勻密度殼層不是局部引理問題,而是全局帳目歸隊問題。】
寫完之後,他自己審視了一番。
歸隊。
這個詞有點不像論文術語。
但意思很準確。
一個局部殼層如果在中途脫離全局帳目,它不應該被悄悄算作已支付。
它必須進入檢查點,標記狀態,確認是否已經消耗過熵跌落,再決定能否重新併入主證明鏈路。
否則,它就會像一個掉隊後又繞回隊伍的人,在點名表上被算了兩次。
江臨開始寫第一段。
窗外,紫荊本科生宿舍區,有人還在走廊里喊明天早操別遲到。
有人拖著拖鞋去洗漱。
有人大概正在床上修改今天拍的軍訓照片。
17號樓里始終安靜。
只有鍵盤聲很輕地落在房間裡。
屏幕右下角,日程表彈出明天的提醒。
【06:00 起床】
【08:00 紫荊操場訓練】
【14:30 隊列與軍體拳預備】
【20:30 Issue 006 C-2擴展】
【8月28日 00:00 二十公里夜間拉練】
江臨看了一眼,把提醒關掉。
今天的軍訓沒有讓他的主線停下來,卻給了他一個新的現實模型。
隊列、掉隊、補給點、收容、歸隊。
這些詞不會出現在世界機器人大會的宣傳冊上,也不會出現在PFR/Marton v1.0的摘要里。
但它們已經進入了那份尚未命名的運行時草圖,也進入了Issue 006的證明結構。
窗外夜色漸深。
距離第十一次廢土傳送,還有不到九天。
求真書院三個班的新生擠在階梯教室里,等著軍訓動員大會開場。
桌上攤著剛發下來的《軍訓須知》,封皮印著綠色迷彩紋樣,裡面夾著訓練作息表、請假流程、內務標準、拉練說明和軍訓紀律。
求真221班的座位集中在最後兩排。
這裡大部分人之前就聽過彼此的名字。
競賽圈不大,尤其是數學競賽圈更小。
誰拿過冬令營金牌,誰進過集訓隊,誰在某年某道組合題上給出過漂亮解法,彼此未必真正認識,但多少都有耳聞。
因此,剛入學的陌生感並不完整。
他們更像是一群終於被放到同一間教室里的舊傳聞。
趙承宇坐在最後一排靠過道的位置,翻著軍訓須知,手指停在夜間拉練那一欄,表情很沉重。
「二十公里。」
旁邊有人湊過來看:「真二十公里?」
「上面寫得很清楚。」
「這是軍訓還是遷徙?」
「你現在退學還來得及。」
「算了,退學手續說不定比二十公里更麻煩。」
幾個人壓著聲音笑起來。
笑完之後,話題很自然地拐到了另一件事上。
趙承宇抬頭掃了一眼身邊空著的位置:「說起來,江臨應該不來了吧?」
這句話一出,後排幾個人都很自然地點頭。
「肯定不來啊。」
「前幾天就聽說,書院給他走的是特殊調整方案,訓練環節可以暫緩。」
「正常,人家那個級別,犯得著來站軍姿嗎?」
「換我我也不來,數學中心有空調,坐著拆PFR,不比在操場曬太陽強?」
「別說軍訓了,開學典禮、班會他都沒露過面。咱們班我基本認全了,就他只聞其名不見其人。」
話說到這裡,前排有人回頭看了一眼,壓低聲音:「你們說話小點,學長上來了。」
講台上,帶班學長張宇辰抱著點名冊走到投影幕布旁邊。
輔導員李悅坐在側邊,手裡拿著一份訓練安排確認表。
「人差不多到齊了。」張宇辰翻開點名冊,「先點名,點完開動員會。」
階梯教室里安靜下來。
一個個名字念過去。
「到。」
「到。」
「到。」
聲音此起彼伏。
念到求真221班最後幾行時,張宇辰的視線停在一個名字上。
江臨。
他頓了一下。
李悅昨天已經跟他說過,江臨的情況特殊,書院給了訓練調整方案。
如果他不來,動員會不必等,後續把材料發郵箱就行。
張宇辰清了清嗓子,正準備跳過這一行,西階教室後門忽然傳來一聲很輕的聲音。
「報告。」
聲音不高。
在空調聲和細碎翻頁聲里,幾乎不起眼。
但求真221班最後兩排,瞬間靜了一半。
所有人下意識回頭。
後門邊站著一個穿白T恤的男生,背著黑色雙肩包,額角有一點薄汗。
大概是從別處趕過來的緣故,他站在門框旁,呼吸還沒有完全壓平,但神色很安靜。
江臨微微點頭:「抱歉,來晚了。」
他早上有點事耽誤了幾分鐘。
張宇辰愣了兩秒,才連忙擺手:「沒事,進來吧,最後排還有空位。」
江臨點頭,順著階梯教室側邊過道往後走。
從一排排座位旁經過時,有人抬頭看他,有人假裝低頭翻材料,有人已經認出他,卻又不好意思表現得太明顯。
最後,江臨在221班最後一排角落坐下,把背包放在腳邊,拿起桌上的一份《軍訓須知》。
張宇辰定了定神,重新看向點名冊。
「江臨。」
後排傳來一聲清淡的應答。
「到。」
聲音不大,但這個到落下去之後,求真221班後排幾個人都悄悄坐直了一點。
真來了。
那個連開學典禮都缺席,幾乎只活在班級花名冊和外界新聞里的同學,真的坐到了他們後排。
動員會的內容很細。
軍訓紀律,請假制度,每日作息,內務檢查,隊列訓練,軍體拳,戰傷救護,定向越野,夜間拉練,結業分列式。
李悅講得很清楚,請假半日以內由連隊和指導員審批,超過兩日需要營部批准,累計缺訓達到一定天數必須重新補訓。
台下有人小聲哀嚎。
「比高中軍訓還嚴。」
「我現在已經開始想念高中軍訓了。」
江臨坐在最後一排,安靜地翻著手裡的須知。
上面的條款都很普通。
但江臨看得很認真。
不是因為這些條款有多複雜。
而是因為它們構成了一套完整的現實流程:集合、點名、訓練、請假、補給、歸隊、考核、記錄。
人被放進隊列里。
隊列被放進營連里。
營連被放進訓練周期里。
每一個人都有位置,每一次缺席都有記錄,每一個掉隊節點都有處理辦法。
這不是高深系統。
卻是現實世界最基礎的秩序。
散會後,各班按安排前往C樓做軍訓裝備核對、尺碼調換和漏領補發。
大部分人昨晚已經領過軍訓服,只是去換鞋碼和補水壺、挎包。
江臨因為前一天沒參加班會和統一領裝,跟著隊伍走了一趟完整補領流程。
外面陽光已經起來了。
隊伍沿著路邊樹蔭往紫荊生活區方向走,蟬鳴一陣高過一陣,熱浪從路面往上浮。
趙承宇故意放慢腳步,等到江臨走近,才有點不好意思地開口。
「你真來軍訓啊?」
「是啊。」
「我以為你直接走調整方案了。」
「先跟幾天。」
「幾天?」
「看情況吧。」
趙承宇撓了撓頭:「也是,你事情肯定很多。不過你能來已經很離譜了,我們剛才還賭你不會出現。」
江臨看了他一眼。
趙承宇立刻補充:「沒惡意啊,就是覺得你這種,嗯,應該很忙。」
「是有點忙。」
「那你還來?」
江臨笑了笑。
路邊梧桐樹影落在地上,斑駁晃動。
身邊是嘰嘰喳喳的同班同學。
有人吐槽軍訓服丑,有人討論晚上要不要先買鞋墊,有人問紫荊食堂哪個窗口出餐快,有人說聽說紫荊操場旁邊可以買老冰棍。
人聲混著蟬鳴,熱熱鬧鬧往耳朵里鑽。
江臨已經很久沒有置身在這麼嘈雜的人聲里。
廢土太靜了。
靜到風吹過前哨站外牆時,他能分辨出哪一塊擋板的螺絲開始鬆動。
靜到夜裡水循環泵抽空的聲音,會像一根細針扎進意識里。
靜到他蹲在紅土荒原上檢修設備時,能聽見沙粒滾過金屬外殼的輕響。
靜得久了,就會忘掉人擠人的時候是什麼溫度。
「體驗一下。」江臨說。
趙承宇愣了一下:「體驗軍訓?」
「體驗人的生活。」
這句話說得太奇怪,趙承宇一時沒接上來。
過了一會兒,他才說:「這生活的第一課就是磨腳,其實沒有什麼好體驗的。」
江臨不解地看了他一眼。
趙承宇很認真地說:「真的,膠鞋才是噩夢,得墊厚鞋墊。等會兒我去超市買,你要不要?我幫你帶兩雙。」
江臨點頭:「好,謝謝。」
C樓領裝處排著長隊。
各院系新生擠在一起,迷彩服堆成小山,工作人員扯著嗓子喊尺碼。江臨跟著隊伍慢慢往前挪,輪到他時報了自己的號,接過沉甸甸一摞東西。
作訓服。
作訓帽。
編織外腰帶。
解放膠鞋。
肩章。
水壺和挎包。
他低頭翻了翻那雙膠鞋。
鞋底很硬,鞋幫也硬。
趙承宇在旁邊瞥了一眼:「偏大就對了,不然墊了鞋墊塞不進去。」
「你很熟?」
「高中軍訓吃過虧。」趙承宇說,「腳後跟磨出兩個泡,走路像被函數不連續點絆了。」
旁邊有人聽見,忍不住說:「你們能不能不要什麼都往數學上靠?」
「不能。」
隊伍又笑起來。
江臨抱著軍訓服往外走。
旁邊有別的院系學生認出他,壓低聲音說那就是江臨吧,還有人悄悄往這邊看。
他像沒聽見。
只是跟著隊伍往前走。
沒有加快,也沒有停下。
十九號下午,紫荊操場進行了短訓。
還不算正式開訓。
東大操場的全校開訓典禮要到二十二號才舉行,十九到二十一號只是過渡:動員、領服裝、教官見面、內務教學、隊列基礎預訓、開訓典禮方陣合練。
但對求真221班來說,十九號下午已經足夠讓他們意識到,軍訓不是憑腦子聽懂就能自動完成的東西。
教官是個皮膚黝黑的年輕士官,腰杆挺得筆直。
第一堂基礎預訓,站軍姿二十分鐘。
紫荊操場西北角有一片樹蔭,但下午兩點半的太陽還是毒,塑膠跑道被曬得發軟,鞋底踩上去有一點黏膩的熱。
江臨站在隊伍最末尾。
剛領的迷彩服已經換上,帽子戴得端正,腰帶系得齊整,褲腳挽到合適的位置。
站進隊伍之後,他就和身邊所有人一樣,變成了這一個獨立排里的某個點。
「腳跟併攏。」
「腳尖分開。」
「收腹,挺胸。」
「眼睛平視前方。」
教官的聲音落下來。
隊伍安靜。
二十分鐘並不長。
但對於剛入學的新生來說,已經足夠漫長。
汗水順著鬢角往下滑,流進衣領,又癢又疼。
有人悄悄動了動手指,有人輕輕換了一點重心,還有人努力把身體站直,結果肩膀越繃越僵。
江臨站得很穩。
不是因為體能有多驚人。
而是他早就習慣了在惡劣環境裡保持靜止。
廢土裡頂著風沙蹲守設備,在高溫下檢修線路,在低溫里趴在地面聽遠征平台的殘餘振動,比這難熬的時刻太多。
但這不一樣。
那時候身邊只有風聲和設備的嗡鳴。
全世界像被抽空,只剩他一個人。
而現在,身邊有此起彼伏的細微呼吸聲。
前排男生的後頸沾著汗珠,左邊傳來衣服摩擦的窸窣聲,遠處別的連隊教官的口令聲洪亮有力,風裡飄著青草被曬熱後的味道,還有汗水淡淡的咸澀味。
喧鬧。
瑣碎。
熱氣騰騰。
是活人的味道。
他不是沒想過普通大學生活是什麼樣的。
住四人間,和室友一起吐槽軍訓,一起擠食堂,一起熬夜趕作業,像所有十八歲的男生一樣,吵吵鬧鬧,沒什麼沉重的心事。
但加密硬碟里的全量數據,編譯器的架構草稿,低熵工坊整條懸而未決的產品線……
這些東西都不能隨意暴露,也不能隨意託付給普通生活。
所以他能參加的就參加,有衝突就按流程請假。
站在人群里,沾一身汗,聽一耳朵喧鬧,吃幾頓人擠人的食堂,把這些聲音存下來。
這已經足夠。
「稍息!」
教官一聲口令,隊伍里響起齊刷刷的衣料摩擦聲。
江臨跟著做動作,姿勢中規中矩,混在隊伍里,毫不起眼。
在這裡,他不是站在白板前的人。
也不是低熵工坊的創始人。
他只是求真221班,一個剛剛領到軍訓服的大一新生。
三天過得很快。
二十號,內務教學,打背包。
二十一號,開訓典禮方陣合練彩排。
求真221班的人在短短三天裡迅速完成了從互相聽說過名字到互相知道誰左右不分、誰鞋碼買錯、誰被子疊得像拓撲奇點的過渡。
江臨並不是每個環節都在。
十九號夜裡,他在數學中心辦公室里補了PFR/Marton Issue 006的第一段備註。
二十號下午,他去了世界機器人大會展館,確認G-01C連續演示後的日誌歸檔、媒體口徑和異常片段覆核。
二十一號晚,他看完恆泰封閉巷道灰度測試協議初稿,給梁知夏回了六條邊界意見。
但只要他能到,就會換上軍訓服,站進隊伍。
於是到了二十二日正式開訓時,求真221班的人已經不再像十九號那樣一直回頭看他。
他們仍然知道他特殊。
但也開始默認,他會出現在隊伍里。
八月二十二日,清晨。
東大操場正式開訓典禮。
幾千名新生站在同一片操場上,方陣從主席台前一直鋪到跑道盡頭。
升旗。
奏唱國歌。
授旗。
軍訓旅領導講話。
新生代表發言。
流程並不複雜,甚至可以說固定,但幾千人同時站在東大操場上時,任何固定流程都會天然變得有重量。
江臨站在求真書院獨立排里,眼睛平視前方。
台上的聲音通過揚聲器傳出來。
「從今天開始,各位同學將進入為期三周的軍事技能訓練與入學教育。」
「三周訓練中,你們將完成隊列、軍體拳、戰傷自救互救、定向越野、夜間拉練和結業分列式等科目。」
「軍訓不是為了讓每位同學成為軍人,而是為了讓大家在大學第一課中,學會紀律、協作與承擔。」
紀律。
協作。
承擔。
這些詞如果寫在PPT上,會顯得很空。
但放在幾千人同時站立的操場上,就忽然有了實際形狀。
腳尖對齊,肩線拉平。
命令從一個點發出,層層傳遞到最末端。
有人走錯,就重新來。
有人掉隊,就記錄、補給、帶回。
它不是證明,也不是工程。
卻又隱約有一點熟悉。
開訓典禮結束後,各營按序退場。
求真書院所在的四營理科連回到紫荊操場日常分訓。
一路上,新生隊伍從東大操場向紫荊方向拉開。
剛離開主會場沒多久,隊伍里就有人開始小聲說話。
「日常訓練是在紫荊操場?」
「對,離宿舍近。」
「離食堂近嗎?」
「南邊就是紫荊食堂。」
「那可以。」
「你現在就想著食堂?」
「我還想著冰汽水。」
「紫荊操場旁邊小賣部有老冰棍。」
「你怎麼知道?」
「十九號偵察過。」
「你很有軍事素養。」
教官回頭看了一眼。
隊伍立刻安靜。
幾秒後,又有人沒忍住笑。
紫荊操場比東大操場小很多。
塑膠跑道環著天然草坪足球場,四周種滿梧桐樹,樹蔭從跑道邊緣鋪進來。
西北角挨著紫荊籃球場,南邊再過去就是紫荊食堂。
食堂門口已經有高年級學生進進出出,看見一隊隊新生被帶進操場,不少人停下來多看兩眼。
桶裝水被搬到樹蔭下。
幾個摺疊箱擺在旁邊,裡面放著藿香正氣水、創可貼、防曬霜、紙巾和備用糖塊。
李悅和張宇辰站在樹下,手裡各有一份名單和訓練記錄表。
第一項正式訓練,還是軍姿。
「腳跟併攏,腳尖分開約六十度。」
「膝蓋後頂。」
「收腹,挺胸,兩肩後張。」
「下巴微收。」
「眼睛平視前方。」
這些動作單獨拆開都不複雜。
複雜的是把所有動作疊在一起,再讓身體在太陽下維持住它。
十分鐘後,汗開始順著後頸往下流。
二十分鐘後,隊伍里有人開始輕輕調整呼吸。
三十分鐘後,前排一個男生晃了一下。
教官立刻走過去。
「早飯吃了嗎?」
男生低聲說:「吃了。」
「吃了什麼?」
「一個包子。」
「出列,樹下喝水,吃糖。」
男生臉漲紅:「我還能站。」
「你倒了我還得背你。」教官皺眉,「出列。」
男生終於小跑到樹蔭下。
張宇辰馬上遞水,李悅從箱子裡拿出糖塊,低聲問他有沒有頭暈、噁心、眼前發黑。
這個小插曲沒有持續太久。
隊列繼續站著。
但江臨的注意力,在這一刻被輕輕勾住了。
一個隊列真正穩定,不是因為每個人都強。
而是弱節點能被及時發現、被帶離主隊列、被補給、被觀察,並且在狀態恢復後重新歸隊。
它不是單點強度問題。
是檢查點問題。
前哨站的遠征平台也有類似邏輯。
G-Explorer-B長距離遠征時,真正危險的從來不是某個傳感器瞬間異常,而是異常進入系統後沒有被分類、沒有被隔離、沒有進入回滾路徑,最後污染整個任務鏈路。
G-01C更是如此。
足端打滑本身不可怕。
可怕的是系統把打滑誤判成正常接觸,繼續送重心,直到局部失敗變成全局失穩。
江臨站在隊列里,眼睛仍然平視前方。
但腦子裡某個原本鬆散的結構,忽然往下扣了一格。
他之前給陳硯提過的那份現實運行時草圖,最初想解決的還是核心算子調度、後端代價模型和設備抽象。
現在看來,顯然不夠。
它偏靜態,偏後端,偏算子層。
如果未來MPS-Agent α要從廢土前哨站的個人工具,拆成現實世界可實現的工程模塊,就不能只考慮任務如何被拆成後端可執行單元。
還必須考慮長時程任務中,誰掉隊。
誰回滾,誰進入補給點,誰暫停後還能重新歸隊。
哪一段狀態可以低帶寬同步,哪一段狀態必須本地封存。
這東西現在還不能命名。
正式命名意味著邊界已經清楚。
而江臨很清楚,它現在只是一份從廢土經驗里剝出來的現實運行時草圖。
軍姿結束的哨聲響起。
「休息十五分鐘。」
隊伍一下子松下來。
帽子被摘下,水杯被擰開,幾個男生幾乎同時彎腰扶膝,像被剪斷線的木偶。
趙承宇一邊往樹蔭走,一邊低聲說:「我終於理解為什麼軍訓前要買鞋墊了。」
「你不是十九號就買了嗎?」
「是,但我買薄了。」
「數學判斷失誤。」
「這是工程問題。」
江臨坐在操場邊的台階上,擰開水杯。
張宇辰走過來,把一小包糖丟給剛才差點晃倒的男生,又順手遞給江臨一瓶礦泉水。
「還適應嗎?」
「還好。」
張宇辰看了他一眼,笑了笑。
「大家一開始都以為你不會來。」
江臨喝了一口水:「我也是新生。」
張宇辰怔了一下。
這句話很普通。
但從江臨嘴裡說出來,就變得不太普通。
上午的後半段練停止間轉法和齊步走。
求真221班在理論理解上沒有任何問題。
執行結果依舊一塌糊塗。
「向右——轉!」
整隊轉完,教官看著三個明顯轉錯方向的人,沉默片刻。
「你們這是在證明空間有多維?」
隊伍里終於有人沒忍住笑出聲。
教官也想笑,但還是繃住臉:「笑什麼?重新來。」
第三遍之後,隊伍終於稍微像樣。
齊步走又是另一場災難。
一二一的口令壓下來,三十多人的腳步聲最開始像散落的珠子,快慢不一。
有人步子大,有人擺臂僵硬,有人為了對齊前排,反而打亂了自己節奏。
江臨走在中後段。
他能感覺到周圍人的節奏差。
如果把它當成一個機器群問題,中心口令只能提供粗節奏,真正的穩定依賴局部同步、誤差修正和掉隊恢復。
這不是訓練隊列的標準答案。
但它是一個很好的運行時問題。
低帶寬,多節點,弱中心,長時程,同步誤差積累,掉隊恢復。
江臨在心裡默默把這幾個詞記下來。
碎片化的靈感很多,真正能進系統設計的其實很少。
還要等到夜裡,等完整心智塊空出來,再判斷它是不是值得改架構。
上午十一點半,訓練結束。
各排整隊去紫荊食堂。
軍訓窗口出餐很快,飯菜量足,排骨、雞腿、西紅柿炒蛋、土豆牛肉、青菜和湯,一份份打進餐盤裡。
求真221班被安排在固定區域,幾張長桌拼在一起。
剛坐下的時候,大家都累得不想說話。
過了一會兒,糖醋排骨發揮了它應有的作用,桌上的人陸續復活。
「我宣布軍訓窗口暫時拯救了我。」
「西紅柿炒蛋也可以。」
「你們有沒有發現,訓練之後吃飯特別香?」
「這是人體對熱量赤字的反饋。」
「能不能不要在吃飯的時候講得這麼像論文?」
又有人好奇地問江臨,為什麼要主動來軍訓。
這個問題其實大家都想問。
只是沒人知道怎麼問才不冒犯。
江臨沒有立刻回答。
食堂里很吵。
餐盤碰撞,窗口叫號,空調風和飯菜熱氣混在一起。隔壁桌物理系有人在討論下午會不會練正步,另一桌有人已經開始計劃晚上買鞋墊和老冰棍。
這些聲音都很近。
近到讓人覺得世界很滿。
過了幾秒,江臨說:「以後不一定有這麼多機會,跟很多同齡人一起做沒什麼效率的事。」
趙承宇愣住。
旁邊一個男生笑起來:「你這個評價太狠了,但很準確,軍訓確實沒什麼效率,不過很有記憶點。」
「糖醋排骨也有。」
氣氛重新鬆開。
江臨沒有繼續解釋。
他真正想說的不是效率。
是一個人如果在太長時間裡只和任務、失敗樣本、證明節點、工程日誌相處,就會慢慢忘記普通生活的觸感。
忘記有人在吃飯時把紙巾推過來。
忘記隊列走錯方向時,大家會一起憋笑。
忘記一群人為了晚上去不去買鞋墊認真討論十分鐘。
這些東西沒有戰略意義。
但它們能讓現實不至於只剩下戰略。
下午兩點半。
紫荊操場的太陽已經變得很毒。
教官沒有一上來就讓所有人站在跑道上暴曬,而是先把隊伍帶到樹蔭下,講接下來幾天的訓練安排。
「隊列是前兩周核心。」
「軍體拳後面會教。」
「戰傷自救互救是室內課,有實操考核。」
「定向越野按排計時。」
「還有一項,提前說一下。」
他說到這裡,停了一下,看著眼前這群剛剛被太陽曬蔫的新生。
「八月二十八日凌晨,夜間拉練,二十公里。」
這一句話落下去,整個排都活了。
教官沒有給他們繼續哀嚎的時間,直接往下說.
「打背包,帶水壺、挎包,全排行動。中途三個補給點,發水和麵包。任何人不許私自離隊,掉隊要報備,有收容和補給安排。回來以後整隊點名。」
周圍響起一陣細碎的吸氣聲。
趙承宇低聲問江臨:「你怎麼看?」
江臨想了想:「鞋墊確實重要。」
趙承宇鄭重點頭:「懂了,今晚買厚的。」
江臨沒有笑。
他的注意力被另一件事勾住了。
二十公里夜間拉練,不是簡單的暴走。
它是一套很完整的長程任務組織模型。
凌晨出發,打背包,低照度,隊伍規模固定,個體體力差異明顯,途中設置補給點,掉隊有報備機制,回來後整隊點名,最終以排為單位統計完成情況。
中心口令不能照顧到每個個體。
單人掉隊不能拖垮全排。
補給點本質上是檢查點。
收容機制本質上是失敗隔離。
歸隊機制本質上是狀態恢復。
這比上午站軍姿時那個念頭更清楚。
那個還沒有正式命名的現實運行時草圖,不能只管算子怎麼下發。
它還要管任務怎麼不斷。
江臨站在樹蔭下,聽教官繼續講拉練注意事項。
腦子裡卻先浮出了一行臨時目錄名。
【Long-Horizon Runtime Checkpointing】
長時程運行時檢查點。
如果未來的MPS-Agent α要在不穩定硬體、不穩定能源、不穩定通信環境下運行,它不能假設所有執行單元都始終在線。
它必須允許某個執行單元掉隊。
允許某個後端暫時失聯。
允許某個任務進入降級狀態。
允許局部失敗被收容,而不是污染主流程。
這和G-01C公開演示里那次足端滑移是同一類問題。
不是是否失敗。
而是失敗如何被看見、被隔離、被記錄,並在可能時重新歸隊。
下午訓練繼續。
齊步走,跑步走,停止間轉法。
江臨沒有再分神去想太多。
傍晚五點半,訓練結束。
紫荊操場邊的小賣部被迷彩服圍得水泄不通。
冰汽水、老冰棍、礦泉水、鞋墊、紙巾,賣得飛快。
有人買了個冰西瓜,讓店員切成塊,用塑膠袋拎回來,在樹蔭下分。
江臨也分到一塊。
西瓜很冰,汁水順著手指往下流。
趙承宇咬了一口,含糊不清地說:「這才是軍訓頂級快樂。」
旁邊有人說:「數學不能提供這種快樂。」
「你確定?」
「至少此刻不能。」
大家笑起來。
江臨坐在最邊上,吃完那塊西瓜,把塑膠袋折好,丟進垃圾桶。
手機在口袋裡已經震了好幾次。
他這才拿出來看。
第一條來自梁知夏。
【恆泰封閉巷道灰度測試協議初稿已發郵箱。許明川接受「不進生產巷道、不掛危險設備、不載人、不開放核心日誌、不交底層控制鏈、不交參數生成器」六條邊界,但希望增加一項現場觀摩人員名單。】
第二條來自韓硯山。
【Issue 006國內組下午小會紀要已發。非均勻密度殼層下的重複支付問題,丁劍認為需要單獨拆成附錄C-2,不建議壓在第47號主定理內部。】
第三條來自陶哲軒。
【The double-spending isolation is subtle. Do not compress this section too much.】
第四條來自陳硯。
【江總,你上次說的現實運行時草圖,我先按「算子調度 + 後端代價模型 + 設備抽象」搭了一版目錄樹。核心還是偏後端工具鏈。你晚上有空看看。】
四條消息並排躺在屏幕里。
展會。
恆泰。
PFR。
現實運行時草圖。
每一條都很重。
每一條都足夠把他從紫荊操場的樹蔭下拽走。
江臨看了幾秒,沒有立刻展開任何附件。
他先給梁知夏回。
【觀摩人員名單必須提前鎖定,簽保密和安全責任確認,不得臨時增補。】
給韓硯山回——
【同意拆附錄C-2,晚上處理。】
給陶哲軒回——
【Agreed. I will expand the isolation proof.】
給陳硯回——
【目錄樹先保留,今晚我補一層檢查點邏輯,不要只按算子調度想。】
陳硯很快回了一個問號。
晚上七點集合,軍歌教學和拉歌預熱。
隊伍里有人哀嚎:「還要唱歌?」
「《團結就是力量》會不會?」
「只會第一句。」
「那你完了。」
「我現在退學還來得及嗎?」
笑聲在樹蔭下散開。
江臨把手機收回口袋。
他沒有忘記那些問題。
它們都在那裡。
但現在不是處理它們的時間。
碎片時間不能拆Issue 006。
也不能給一個還沒有定名的運行時草圖動根目錄。
更不能審恆泰灰度協議的權責邊界。
晚上九點二十,訓練和晚間活動結束。
江臨回到紫荊17號樓。
從本科生宿舍區經過時,1—13號樓仍然亮著大片燈光。
有人端著臉盆去水房,有人拎著鞋墊和冰飲往樓上走,有人站在樓下打電話跟家裡說今天站了多久、曬得多黑、食堂吃了什麼。
17號樓依舊安靜。
感應燈亮起,又在他身後熄滅。
江臨刷卡進402室,關門。
房間重新落回一片獨立的寂靜里。
他洗完澡,腳後跟有一點紅,不嚴重,只是膠鞋摩擦留下的痕跡。
軍訓帽放在桌角。
水杯放在旁邊。
手機里,班群正在刷今天訓練的照片。
有人偷拍了求真排在紫荊操場樹蔭下分西瓜的畫面,有人發了晚間拉歌時教官黑著臉讓他們重唱的視頻,還有人把八月二十八日二十公里夜間拉練單獨截出來,配了一個沉痛表情。
江臨看了兩眼,把手機倒扣在桌面上。
然後打開電腦,先看陳硯發來的那份現實運行時草圖。
這是一個暫時放在低熵工坊內部工具目錄下的工作文件。
【Reality_Runtime_Sketch_v0.1】
陳硯搭出來的原始目錄很簡單。
【Operator-Schedule】
【Backend-CostModel】
【Device-Abstraction】
【Task-Dispatch】
【Log-Interface】
結構不算錯,但不夠。
就像一個能把任務送到不同硬體上的工具。
還不像一個能讓任務在壞環境裡活下來的運行時。
江臨新建了一層目錄。
【Runtime-Checkpoint】
下面繼續寫——
【Task-State-Snapshot】
【Straggler-Detection】
【Fallback-Route】
【Low-Bandwidth-Sync】
【Rejoin-Protocol】
【Failure-Visibility-Log】
【No-Silent-Success】
不能有沉默的成功。
一次任務成功完成,不代表過程里沒有失敗邊界。
G-01C公開演示通過了,也要記錄右後足傳感器七毫秒延遲。
軍訓隊列走齊了,也要知道誰在中途差點晃倒,誰被帶出隊伍喝水,誰後來重新歸隊。
PFR/Marton主鏈路閉合了,也不能讓非均勻密度殼層里的重複支付沉默地混進全局帳目。
它們其實是同一條紀律。
可審查。
可回放。
可歸隊。
江臨打開README,把第一行刪掉。
原來的第一行是——
【目標:建立跨後端任務調度與硬體代價模型。】
他重新寫下——
【目標:建立面向長時程任務的可中斷、可遷移、可歸隊運行時草圖。】
然後寫第二行。
【當前不命名,不定型,不對外。】
第三行。
【該草圖不服務於炫技式性能移植,優先服務於失敗可見、狀態檢查點和弱後端恢復。】
保存。
提交本地Git。
Commit message——
【add runtime checkpoint layer】
做完這些,江臨才打開PFR/Marton Issue 006。
韓硯山發來的國內組紀要里,丁劍的建議被單獨標紅。
【建議將非均勻密度殼層下的重複支付隔離從第47號節點主證明中拆出,獨立為附錄C-2。主定理只引用隔離引理,不再承擔全部帳目展示。】
陶哲軒的郵件則更短。
【Do not compress this section too much.】
不要壓縮這一節。
江臨看著那句話,稍一思索,然後在新的LaTeX文件里寫下標題。
【Appendix C-2:Isolation of Double Spending under Non-uniform Density Shells】
下一行,他寫了一句中文備註,放在自己本地草稿最上方。
【非均勻密度殼層不是局部引理問題,而是全局帳目歸隊問題。】
寫完之後,他自己審視了一番。
歸隊。
這個詞有點不像論文術語。
但意思很準確。
一個局部殼層如果在中途脫離全局帳目,它不應該被悄悄算作已支付。
它必須進入檢查點,標記狀態,確認是否已經消耗過熵跌落,再決定能否重新併入主證明鏈路。
否則,它就會像一個掉隊後又繞回隊伍的人,在點名表上被算了兩次。
江臨開始寫第一段。
窗外,紫荊本科生宿舍區,有人還在走廊里喊明天早操別遲到。
有人拖著拖鞋去洗漱。
有人大概正在床上修改今天拍的軍訓照片。
17號樓里始終安靜。
只有鍵盤聲很輕地落在房間裡。
屏幕右下角,日程表彈出明天的提醒。
【06:00 起床】
【08:00 紫荊操場訓練】
【14:30 隊列與軍體拳預備】
【20:30 Issue 006 C-2擴展】
【8月28日 00:00 二十公里夜間拉練】
江臨看了一眼,把提醒關掉。
今天的軍訓沒有讓他的主線停下來,卻給了他一個新的現實模型。
隊列、掉隊、補給點、收容、歸隊。
這些詞不會出現在世界機器人大會的宣傳冊上,也不會出現在PFR/Marton v1.0的摘要里。
但它們已經進入了那份尚未命名的運行時草圖,也進入了Issue 006的證明結構。
窗外夜色漸深。
距離第十一次廢土傳送,還有不到九天。