那時候，他曾經用混著鐵鏽和紅色黏土的自製顏料，在石屋北牆上寫下過一套比v0.95流通版龐大、複雜得多的第三層參數化方案。
那條路線後來被他臨時命名為三重對合路線。
在那個方案裡，第三層譜簇映射不是像現在這樣由前兩層雙重對合自然誘導產生，而是被他極其強硬地單獨引入一次第三層譜簇再定標。
那條路線很重。
重到如果直接塞進正文，整篇論文會立刻多出至少二十頁晦澀難懂的技術推導。
重到會讓本就已經極其高密度的PFR/Marton證明，進一步變成一塊幾乎沒有多少人能憑直覺閱讀的實心鋼塊。
每一次變量代換都像戴著鐐銬跳舞。
每一個引理都需要繁瑣的條件前置。
所以在整理v0.95流通版時，江臨沒有把那條路線放進主文本。
他把它壓進了舊分支、技術備忘和自用索引。
正文仍然保留輕量化的雙重對合封裝器。
在主證明的全局結構裡，這樣做沒有問題。
但Voss提醒了他另一件事。
現在這份證明不再隻是他自己的證明。
它正在被韓硯山、丁劍、陶哲軒、Voss這些人共同審查。
它必須允許別人進入。
而對於別人來說，有些沉重的東西不能永遠藏在作者自己的舊分支裡。
江臨輕輕吐出一口氣。
“陳硯，許曼。”
兩個人同時抬頭。
“今天工坊這邊我先離開。恒泰灰度測試的安全邊界已經鎖定，剩下的回場複盤按原計劃走。”
江臨的語氣很平靜。
“如果狀態機同步上遇到卡殼，先發微信留言給我，我晚點看。”
陳硯敲鍵盤的手停在半空中。
許曼也摘下手套，小心翼翼地問：“江總，是不是恒泰那邊又改口了？”
“不是。”
江臨拿起自己的黑色雙肩包。
“數學那邊有人做了一個很好的邊界測試，把我之前壓進舊分支的一條重路線逼了出來。”
許曼聽得雲裡霧裡。
陳硯更是完全不懂。
江臨走到車間門口時，腳步停了一下，回頭叮囑。
“陳硯，今天的失敗日誌記細一點。”
“尤其是離散自動機在切換步態那零點幾秒裡的延遲數據，不要隻寫平均值。”
“p95和p99單獨拉曲線。”
“我們要看的是邊緣，不是被平均值粉飾過的平穩狀態。”
陳硯立刻站直。
“明白。”
江臨點頭，轉身離開。
回到家裡後，他按下電腦主機電源鍵。
係統啟動。
他打開一個隱藏文件夾。
路徑名：PFR_Marton / Old_Branches / Layer3_HeavyRoute
文件夾裡，靜靜躺著三個文件。
triple_involution_sketch.tex
sigma_layer3_parameterization_notes.md
Node38_heavy_route_discarded.lean
江臨看著最後一個文件名，沉默了片刻。
然後，他將文件名改掉。
Node38_heavy_route_boundary_witness.lean
它曾經被擱置在公開閱讀路徑之外。
但現在，它要回來了。
江臨打開郵箱，點擊Voss郵件的回複按鈕。
……
親愛的Heinrich：
。eton的你謝感
。度程的查審部外供以足到示展程過收吸界邊層三第處一那把有沒實確，線路合對重雙的中版通流59.0v：的確正是斷診的你，上義意下以在。試測界邊的你了查檢經已我
。題問的新是不並，說來樹明證整完對這但
。中錄附和分部化式形到複恢被，線路證見界邊為作當應它，信確我讓eton的你。達表本文重加著顯會它為因是，59.0v進放它把有沒以所之我。化數參3-reyal_o的定特個一及以合對重三用使，線路的重更條一有裡這我
。你給發支分把會我，後過通查檢naeL
……
。送發擊點
。了來就複回的ssoV，後鐘分六僅僅，是的到不想意他讓
……
新更節章的快最取獲ᴡᴛ.ᴘᴏᴏ問訪請
——林
。多得強要應回的待期本原我比這
。我給發請，在存經已線路重三果如
.H
……
。止為此到合適話對，複回再有沒臨江
。場戰的輯邏和碼代是，來下接
。點四午下，日21月8
。點十午上間時世黎蘇
。viXra到傳上eton的頁一十篇那將ssoV
》noitulovnI ciportnE s'gnaiJ rof tseT yradnuoB lanoisnemiD-hgiH A《
。定限句一了留保意特他，裡要摘
】）。題問性見可界邊個一的中線路版通流59.0v是的出指它。例反的理定氏江了出給稱聲不並文本（.etuor 59.0v detalucric eht ni eussi ytilibisiv yradnuob a seifitnedi tI .meroeht s'gnaiJ ot elpmaxeretnuoc a mialc ton seod eton sihT【
。楚清夠足話句這
。件條定限留保整完會不來從界世開公但
過通才，分時晚傍到直圈學數內國，差時在存於由
