第117章 非周期具身移動平台
七月一日凌晨。
電腦屏幕上，還停著那段十六秒的四宮格視頻。
這段很乾淨的內部驗證數據，說明G-01的狀態採集鏈路已經能工作。
足端接觸、機身姿態、主軸負載、同步視頻幀，終於被壓進了同一條時間軸里。
但江臨並沒有將其上傳的計劃。
低熵工坊的第二階段公開視頻，不能只是一次卡滯回放。
它需要展示的是一個完整的平台。
一個從非周期機械結構的純物理特性，跨越到接觸狀態的多維感知，再進一步躍升到具備安全狀態機，能夠自主容錯，並進行支撐相位重切換的完整系統。
現實里，留給他的時間只剩一天多。
明天清晨六點，第九次傳送就會開始。
江臨把四宮格視頻封進本地文件夾，改了一個名字。
【G01_contact_chain_0】
隨後，他打開角落處，三個並排擺放的硬殼箱。
前幾次傳送，箱子裡的物資配比大多遵循著殘酷的廢土生存邏輯。
高能量密度的壓縮食物，礦泉水，廣譜抗生素……
後來又多了教材、文獻、二手工作站、傳感器、低速永磁發電機、風光控制器和各種量具。
這一次，江臨在各種物資之外，帶了三個尚未閉合的問題。
【G-01：非周期具身移動平台】
【MPS-Kernel：攜帶證明的微內核搜索框架】
【PFR/Marton：有限域模型下的弱約束結構壓縮】
第一個硬殼箱最重。
裡面是G-01相關的全部零件。
經過陽極氧化處理的黑色鋁型材、POM承力骨架+可更換聚氨酯鞋底、7075-T6鋁合金備用連杆、不同剛度係數的定製彈簧、高頻淬火的棘爪與棘輪、微型交叉滾子軸承、FOC無刷驅動板、作為大腦的STM32H7主控板、工業級高精度IMU、隔離型主軸電流採樣模塊、全局快門攝像頭。
以及幾組他用3D印表機連夜打出來，還沒完全定型的足端接觸傳感組件的外殼。
旁邊的一個抗壓U盤裡，裝著A1規則相位平台的動力學參數、G-01非周期支撐參數、三塊非重複障礙板的精確CAD尺寸表，以及剛剛那條十六秒失效鏈路的完整Log日誌。
現實里，他只來得及證明採集鏈路能工作。
但在廢土裡，他要在惡劣的物理環境中驗證整個平台的生存能力。
當然，G-01從來不是一個孤立的機器人項目。
江氏磚證明的是局部幾何規則如何逼出全局非周期秩序，MPS-Kernel要做的是讓局部指令變換生成全局正確且更快的微內核。
而G-01，則是同一套方法第一次被江臨按進真實物理世界裡的機械靶場。
這裡的候選不再是比較器序列，而是彈簧、連杆、足端材料、接觸傳感器和支撐相位。
這裡的反例也不再是一個錯誤排列，而是一根折斷的連杆，一條漂移的時間戳，一段被線束偽造出來的載荷曲線。
江臨真正要驗證的，不只是G-01能不能越過障礙，而是當搜索對象從有限狀態表變成真實機械系統後，MPS那套生成候選，排除偽解，留下證據鏈的方法，還能不能繼續成立。
如果能，G-01就不是低智慧財產權工坊的第二階段公開視頻，而是MPS首次從紙面證明、程序搜索和有限狀態表里延伸而來，咬住真實物理世界的糖果齒輪。
第二個箱子裝載的信息密度很大。
幾塊企業級固態硬碟，一台拆除了所有不必要外設的離線工作站，以及幾本已經被他翻得頁邊發毛，布滿各種顏色批註的列印手冊。
LLVM編譯器底層架構、GCC後端優化規則、x86與RISC-V指令集的完整微架構文檔、不同架構下各指令的執行延遲和吞吐量表、用於形式化證明的Z3 SMT求解器手冊、Coq證明助手的環境配置，以及一套龐大而嚴苛的Benchmark框架，全都被他封進了本地Git倉庫。
在陳啟明教授辦公室里的那場半小時演示，已經證明了MPS-Kernel在sort5這種極小型問題上是能跑通的。
零一驗證器能夠把排序5的正確性驗證壓縮到三十二個二值輸入上。
圖同構與精確歸約，則負責合併那些本質相同的候選網絡，減少無意義的重複搜索。
三層架構能夠把候選生成、正確性驗證和硬體代價評估從邏輯上清晰地拆開。
甚至在一台固定測試機的確定搜索空間內，它也能在一個人工精心打磨過的sort5算法上，壓榨出一個極小但穩定的吞吐量優勢。
但正如裴礪一針見血指出的那樣，最核心的工程災難並沒有解決。
sort5太小了，狀態空間如同一個淺水窪。
真正的微內核，真正的工業級基礎數學庫，不會永遠停留在五個元素。
一旦將規模推到sort8、rank8、median9、top-k，甚至更長的數據處理內核，其指令排列組合的狀態空間會發生毀滅性的指數膨脹。
到那時，候選指令將不再老老實實地長成標準的compare-exchange網絡。
為了追求極致的速度，它可能是條件傳送指令cmov，可能是向量化混合指令blend，可能是打包比較指令pminsd，甚至是幾條在人類高級語言邏輯中看似風馬牛不相及的指令的詭異組合。
更可怕的是微架構的深淵。
一段代碼可能在Zen 3架構上跑得行雲流水，換到Skylake架構上，卻會因為微小的緩存行衝突或分支預測失敗，立刻淪為拖慢全系統的負優化垃圾。
所以，第九次廢土之旅，MPS-Kernel的任務絕對不是再做一個跑分更好看的sort5。
而是要造出一台重型工程機械，翻過裴礪指出的那座名為指數爆炸與硬體噪聲的高牆。
第三類東西最小。
就是硬碟，U盤，電子墨水屏閱讀器，各種手寫板。
裡面裝滿了教材與數學文獻。
韓硯山那天在專題報告裡向他拋出的方向，不靠任何硬體傳感器，也不靠任何機加工的公差控制。
PFR，Marton，有限域模型……
這些詞和江氏磚真正撞上的，是同一個更深的問題。
局部約束，在什麼條件下能夠逼出全局的剛性結構？
但這句話不能直接寫進任何正式的論文裡。
它太粗糙，太具有直覺性，太像一句浪漫主義的文學比喻，而數學不相信比喻。
何況江氏磚的局部規則是硬的，那些凹凸不平的邊界就像嚴密的齒輪，只要有一個邊界拼接錯誤，整個空間的拼貼結構就會立刻崩塌，這種硬規則強迫出了宏觀的非周期層級。
而加性組合中的小和集條件卻是軟的。
不給你任何明確的邊界限制，只在統計意義上告訴你，這個集合在經歷加法操作後，它的體積並沒有發生應有的劇烈膨脹。
它給你的是一種壓縮的暗示。
如果把處理江氏磚的硬核邏輯生搬硬套到PFR的軟約束上，得到的只會是一堆看起來漂亮但毫無邏輯嚴密性，更沒有證明價值的拙劣類比。
第九次廢土裡，江臨要做的，是拿著解剖刀，把這層虛無縹緲的類比外殼一點點剝掉，抽絲剝繭，留下那些真正能夠經得起邏輯推敲，能夠放進嚴格定理中的數學。
七月二號，凌晨五點五十七。
江臨把捆綁三類東西的繩索握在手裡。
六點整。
視野右上角的倒計時歸零。
房間裡的燈光、空調聲、城市晨霧和桌面上的四宮格視頻，在同一瞬間遠去。
下一秒。
風聲灌進耳朵。
江臨站在石屋外，抬頭看了一眼灰白色的天空。
第九次廢土開始。
落地覆核，據點巡檢，設備開箱，食品和水源清點，這些枯燥但決定生死的流程，經歷了前八次的洗禮，已經熟練到形成了肌肉記憶，不需要再逐字逐句寫進工作記錄本。
而江臨的記錄本上，此時只有三行。
【一，G-01整機閉環。】
【二，MPS-Kernel最小可用工具鏈。】
【三，PFR/Marton有限域模型橋。】
這一輪，極限的四十年，最終被壓縮成了三張圖。
第一張圖，是G-01的接觸狀態圖。
前三年，江臨幾乎都耗在機械部分。
廢土裡，他有足夠時間把同一套結構拆到不能再拆。
A1規則相位平台最先在廢土的風塵中成型。
均勻的機械相位，統一的整體剛度，固定不變的步幅。
在江臨用廢鋼板焊死的標準障礙板上，它的表現極其乾淨。
速度曲線平滑，功耗處於理想區間，機身姿態的滾轉角和俯仰角變化都比G-01的早期版本漂亮得多。
江臨將其保留了下來，作為後續所有測試的對照組。
工程學的邏輯告訴他，沒有一個可靠的基線，後續所有所謂的優勢都可能只是測試場地形偏心帶來的倖存者偏差。
隨後，G-01A誕生。
它恢復了江臨引以為傲的非周期相位、非均勻剛度和非等步幅設計，但去掉了所有控制邏輯，只做純粹的狀態採集。
這是失敗得最為慘烈的一代平台。
足端載荷傳感器的應變片出現了嚴重的溫漂和傳感遲滯。
IMU的安裝位置稍有偏差，機械結構的共振就引入了龐大的假振動噪聲，導致姿態數據變成一團亂麻。
主軸電流採樣被電機驅動板的高頻PWM開關噪聲嚴重污染，波形圖上全是可怕的毛刺。
就連工業級的全局快門攝像頭，也會在強電磁干擾下觸發線抖動和USB偶發丟幀，導致幀同步崩潰。
有一次，連續熬了三個通宵的江臨，看著離線屏幕上那條平滑得幾乎無懈可擊的足端載荷轉移曲線，甚至以為自己迎來了突破。
但當他興奮地拆開足端後，卻被現實潑了一盆冷水。
那根本不是什麼平滑的受力轉移，而是傳感器內部的一根線束在運動中輕微繃緊，給足端施加了一個完全虛假的額外物理約束。
記錄系統本身，改變了被記錄對象的客觀狀態。
那個問題再次出現。
從這天開始，江臨不再把G-01當成一台機器來修。
他在工作站里新建了一個目錄。
【MPS_Physical_Forge】
Kernel，是給小程序用的。
Forge，則是給物理結構用的。
如果說MPS-Kernel搜索的是比較器序列、寄存器調度、指令依賴和微架構代價，那麼這個新目錄里要搜索的，就是足端材料、彈性梁長度、傳感器埋入深度、IMU安裝位置、線束走向、主軸採樣頻率、相位窗口寬度，以及棘爪釋放閾值。
江臨沒有打算讓機器替他設計機器人。
至少現在做不到。
他只是要把G-01拆成一組可以記錄、可以比較、可以排除、可以復盤的局部候選。
每一次失敗，都不再只是壞了。
而是一條反例。
某種局部結構，在某種地形、某個溫度區間、某個支撐相位下，會把系統推向錯誤的全局狀態。
這就是MPS-Forge的第一個版本。
它還遠遠算不上自動設計機械。
只是逼迫江臨停止憑直覺修機器，開始像審查江氏磚的局部邊界那樣，審查一台機器的每一個局部失效模式。
到了第六年，歷經無數次推翻重來的G-01B開始顯現出穩定的曙光。
江臨拋棄了脆弱的外貼薄膜應變片方案，手搓了一套精密的內部彈性梁結構。
足端外層依然採用可更換聚氨酯鞋底，內部保留POM承力支架。受力不再直接讀取鞋底表面形變，而是通過一段極短的硬質鋁座，將芬蘭導入內部彈性梁，再由深埋其中的傳感器讀取被過濾掉高頻衝擊後的微小形變。
IMU被重新設計了安裝基座，通過定製的矽膠減震球，固定在最靠近全機質心的短鋁座上，隔絕了足端的高頻諧振。
主軸電流採樣電路被重新布線，加入了霍爾電流傳感器/隔離放大器、差分採樣、RC抗混疊濾波、星形接地和屏蔽線束。
全局快門攝像頭被剝奪了任何控制權限，僅僅作為一個旁觀的同步校驗基準存在。
到第九年，G-01B終於能夠在這個殘酷的環境中，穩定地輸出四類核心數據。
足端接觸狀態的接觸載荷與方向估計，機身姿態的歐拉角變化，主軸負載的毫秒級變化曲線，以及機械部件運行的相位窗口。
在這一年末的一個深夜，江臨搓著凍僵的手，在圖紙上畫出了第一張大圖的雛形。
圖表的橫軸是絕對時間。
縱軸被清晰地劃分為四層物理域：接觸，姿態，負載，相位。
從這一刻起，每一個異常工況，都不再是一句模糊的機器卡住了或者電機燒了。
它被解剖成了擁有嚴格因果關係的事件鏈。
這張圖真正有價值的地方，不是它漂亮。
而是它終於讓失敗有了可以被索引的形狀。
過去，廢土裡的失敗樣件是鐵塊、斷鋸條、燒黑的電路板和變形的連杆。
現在，失敗第一次變成了可索引的數據結構。
【異常足端載荷雙峰】
【橫擺角速度導數階躍】
【主軸電流斜率偏離】
【相位窗口危險扇區】
【線束偽約束】
【傳感器遲滯】
【真實卡滯】
江臨給每一段異常日誌貼標籤，給每一次誤判寫反例，給每一種被淘汰的結構留下死亡證明。
這不是機器學習意義上的黑箱訓練。
這是MPS意義上的證據鏈整理。
候選從哪裡來，為什麼失敗，在哪個局部條件下失敗，失敗能不能復現，下一輪搜索應該避開哪一類結構。
而這張圖的出現，也意味著江臨在廢土苦熬了近十年後，第一次將非周期六足從一台能動的機械玩具，強行提升成了在數學和物理上完全可觀測的移動平台。
第十年以後，真正的靈魂G-01C，開始加載安全狀態機。
狀態機能夠執行的動作極度匱乏，只有五個。
降速，釋放當前機械鎖止，主動卸載異常接觸腿的動力，控制機身回撤半步，重新切入下一個支撐相位。
這是一個尋找鋼絲上平衡點的地獄級折磨。
如果判定閾值設得太低，平台就會像驚弓之鳥，只要稍微踩到一塊碎石就會頻繁誤觸發保護，移動效率低到令人髮指。
如果閾值設得太高，等算法判斷出異常時，強大的電機扭矩早就讓棘爪死死咬住，機械結構已經發生了不可逆的金屬形變。
如果只看足端載荷，算法會愚蠢地把正常的越障衝擊當成撞牆異常。
如果只看主軸電流，電流反饋的滯後性會讓你等到電機冒煙才發現故障已經擴散全身。
如果只看IMU的橫擺角，又極容易把機身在崎嶇地形上的自然搖擺誤判成即將側翻。
廢土第二十三年，無數個報廢的電機、折斷的連杆、誤觸發日誌和反例表堆滿了工作目錄，江臨終於熬出了那個能真正在複雜地形下穩定工作的版本。
多信號短窗邏輯判定。
它不再依賴單一閾值，而是建立了一個動態的時間窗口。
當然，真正困難的不是寫出一個狀態機。
而是哪些信號有資格觸發它？
江臨最初試過幾十種看似合理的規則。
足端載荷超過閾值，誤觸發。
主軸電流斜率異常，滯後。
IMU橫擺角過大，誤把正常越障當成側翻。
相位窗口進入危險區，無法區分真實卡死和短暫衝擊。
MPS-Forge在這裡第一次顯出鋒利。
它不替江臨發明智慧。
只是把四十年裡積累的正常樣本、失敗樣本、誤觸發樣本和真實卡滯樣本壓成一張反例表，然後逼著所有候選規則接受審訊。
只看一個信號的規則，全部死掉。
只看靜態閾值的規則，全部死掉。
不能解釋誤觸發來源的規則，全部死掉。
最後留下來的，不是最聰明的規則，而是最不容易被反例打穿的規則。
在這個幾十毫秒的極短窗口內，足端載荷出現異常雙峰，橫擺角速度導數出現階躍上升，主軸電流的斜率偏離正常模型，相位窗口滑入預設的危險扇區。
只有當這四個條件中，至少有三個在同一短窗內同時滿足時，安全狀態機才會被強行激活介入。
同年，G-01C完成了第一組震撼人心的完整對照實驗。
在江臨最初焊接的標準障礙板上，作為對照組的A1平台依然走得乾淨利落，甚至速度略勝一籌。
但在布滿火山岩碎屑和斷裂鋼筋的非重複障礙場地上，A1平台在連續邁出三步後，相近支撐窗口內出現了微小的接觸異常疊加，最終導致重心失衡，電機嘶吼著觸發保護停機，四腳朝天。
而G-01C呢？
它像一隻有了痛覺和本能的矽基生物。
在右前足踩上一塊鬆動的火山岩的瞬間，毫秒級的數據流沖入狀態機。
在傾覆的邊緣瞬間觸發指令，平滑降速，果斷卸載右前足的動力，機身以一種違反人類直覺的姿態微微回撤半步，隨後精準地尋找到下一個穩固的支撐相位，重新發力，越過了障礙。
廢土第三十七年，經歷了一場長達四十八小時的極端沙塵暴連續擾動測試後，滿身傷痕的G-01C穩穩地站在了最後一塊非重複障礙板上。
江臨在工作站里打開那個已經改過三次名字的目錄。
最初它叫【MPS_Physical_Forge】。
後來被他縮短成了【MPS-Forge】。
而這一刻，目錄下第一張真正完成的圖，被他正式命名為——
【MPS-Forge Experiment-01：G-01非周期具身移動平台v0.1】。
圖的左側，是布滿劃痕、結構複雜的非周期機械身體。
右側，是如同神經系統般嚴密的接觸狀態感知鏈路。
中央，則是那個歷經近四十年打磨出的核心，多信號短窗安全狀態機。
圖的最下方，附帶著非重複障礙場長期測試曲線：通過率、平均通過時間、單位距離能耗、保護觸發次數，以及每百小時連杆/棘爪/足端模塊損傷率。
現實回歸後，江臨只需要將其中最核心證明邏輯最嚴密的最小可公開版本復現出來，即便只是最小閉環，也足以在現實的機器人領域撕開一個口子。
電腦屏幕上，還停著那段十六秒的四宮格視頻。
這段很乾淨的內部驗證數據，說明G-01的狀態採集鏈路已經能工作。
足端接觸、機身姿態、主軸負載、同步視頻幀，終於被壓進了同一條時間軸里。
但江臨並沒有將其上傳的計劃。
低熵工坊的第二階段公開視頻，不能只是一次卡滯回放。
它需要展示的是一個完整的平台。
一個從非周期機械結構的純物理特性，跨越到接觸狀態的多維感知，再進一步躍升到具備安全狀態機，能夠自主容錯，並進行支撐相位重切換的完整系統。
現實里，留給他的時間只剩一天多。
明天清晨六點，第九次傳送就會開始。
江臨把四宮格視頻封進本地文件夾，改了一個名字。
【G01_contact_chain_0】
隨後，他打開角落處，三個並排擺放的硬殼箱。
前幾次傳送，箱子裡的物資配比大多遵循著殘酷的廢土生存邏輯。
高能量密度的壓縮食物，礦泉水，廣譜抗生素……
後來又多了教材、文獻、二手工作站、傳感器、低速永磁發電機、風光控制器和各種量具。
這一次，江臨在各種物資之外，帶了三個尚未閉合的問題。
【G-01：非周期具身移動平台】
【MPS-Kernel：攜帶證明的微內核搜索框架】
【PFR/Marton：有限域模型下的弱約束結構壓縮】
第一個硬殼箱最重。
裡面是G-01相關的全部零件。
經過陽極氧化處理的黑色鋁型材、POM承力骨架+可更換聚氨酯鞋底、7075-T6鋁合金備用連杆、不同剛度係數的定製彈簧、高頻淬火的棘爪與棘輪、微型交叉滾子軸承、FOC無刷驅動板、作為大腦的STM32H7主控板、工業級高精度IMU、隔離型主軸電流採樣模塊、全局快門攝像頭。
以及幾組他用3D印表機連夜打出來，還沒完全定型的足端接觸傳感組件的外殼。
旁邊的一個抗壓U盤裡，裝著A1規則相位平台的動力學參數、G-01非周期支撐參數、三塊非重複障礙板的精確CAD尺寸表，以及剛剛那條十六秒失效鏈路的完整Log日誌。
現實里，他只來得及證明採集鏈路能工作。
但在廢土裡，他要在惡劣的物理環境中驗證整個平台的生存能力。
當然，G-01從來不是一個孤立的機器人項目。
江氏磚證明的是局部幾何規則如何逼出全局非周期秩序，MPS-Kernel要做的是讓局部指令變換生成全局正確且更快的微內核。
而G-01，則是同一套方法第一次被江臨按進真實物理世界裡的機械靶場。
這裡的候選不再是比較器序列，而是彈簧、連杆、足端材料、接觸傳感器和支撐相位。
這裡的反例也不再是一個錯誤排列，而是一根折斷的連杆，一條漂移的時間戳，一段被線束偽造出來的載荷曲線。
江臨真正要驗證的，不只是G-01能不能越過障礙，而是當搜索對象從有限狀態表變成真實機械系統後，MPS那套生成候選，排除偽解，留下證據鏈的方法，還能不能繼續成立。
如果能，G-01就不是低智慧財產權工坊的第二階段公開視頻，而是MPS首次從紙面證明、程序搜索和有限狀態表里延伸而來，咬住真實物理世界的糖果齒輪。
第二個箱子裝載的信息密度很大。
幾塊企業級固態硬碟，一台拆除了所有不必要外設的離線工作站，以及幾本已經被他翻得頁邊發毛，布滿各種顏色批註的列印手冊。
LLVM編譯器底層架構、GCC後端優化規則、x86與RISC-V指令集的完整微架構文檔、不同架構下各指令的執行延遲和吞吐量表、用於形式化證明的Z3 SMT求解器手冊、Coq證明助手的環境配置，以及一套龐大而嚴苛的Benchmark框架，全都被他封進了本地Git倉庫。
在陳啟明教授辦公室里的那場半小時演示，已經證明了MPS-Kernel在sort5這種極小型問題上是能跑通的。
零一驗證器能夠把排序5的正確性驗證壓縮到三十二個二值輸入上。
圖同構與精確歸約，則負責合併那些本質相同的候選網絡，減少無意義的重複搜索。
三層架構能夠把候選生成、正確性驗證和硬體代價評估從邏輯上清晰地拆開。
甚至在一台固定測試機的確定搜索空間內，它也能在一個人工精心打磨過的sort5算法上，壓榨出一個極小但穩定的吞吐量優勢。
但正如裴礪一針見血指出的那樣，最核心的工程災難並沒有解決。
sort5太小了，狀態空間如同一個淺水窪。
真正的微內核，真正的工業級基礎數學庫，不會永遠停留在五個元素。
一旦將規模推到sort8、rank8、median9、top-k，甚至更長的數據處理內核，其指令排列組合的狀態空間會發生毀滅性的指數膨脹。
到那時，候選指令將不再老老實實地長成標準的compare-exchange網絡。
為了追求極致的速度，它可能是條件傳送指令cmov，可能是向量化混合指令blend，可能是打包比較指令pminsd，甚至是幾條在人類高級語言邏輯中看似風馬牛不相及的指令的詭異組合。
更可怕的是微架構的深淵。
一段代碼可能在Zen 3架構上跑得行雲流水，換到Skylake架構上，卻會因為微小的緩存行衝突或分支預測失敗，立刻淪為拖慢全系統的負優化垃圾。
所以，第九次廢土之旅，MPS-Kernel的任務絕對不是再做一個跑分更好看的sort5。
而是要造出一台重型工程機械，翻過裴礪指出的那座名為指數爆炸與硬體噪聲的高牆。
第三類東西最小。
就是硬碟，U盤，電子墨水屏閱讀器，各種手寫板。
裡面裝滿了教材與數學文獻。
韓硯山那天在專題報告裡向他拋出的方向，不靠任何硬體傳感器，也不靠任何機加工的公差控制。
PFR，Marton，有限域模型……
這些詞和江氏磚真正撞上的，是同一個更深的問題。
局部約束，在什麼條件下能夠逼出全局的剛性結構？
但這句話不能直接寫進任何正式的論文裡。
它太粗糙，太具有直覺性，太像一句浪漫主義的文學比喻，而數學不相信比喻。
何況江氏磚的局部規則是硬的，那些凹凸不平的邊界就像嚴密的齒輪，只要有一個邊界拼接錯誤，整個空間的拼貼結構就會立刻崩塌，這種硬規則強迫出了宏觀的非周期層級。
而加性組合中的小和集條件卻是軟的。
不給你任何明確的邊界限制，只在統計意義上告訴你，這個集合在經歷加法操作後，它的體積並沒有發生應有的劇烈膨脹。
它給你的是一種壓縮的暗示。
如果把處理江氏磚的硬核邏輯生搬硬套到PFR的軟約束上，得到的只會是一堆看起來漂亮但毫無邏輯嚴密性，更沒有證明價值的拙劣類比。
第九次廢土裡，江臨要做的，是拿著解剖刀，把這層虛無縹緲的類比外殼一點點剝掉，抽絲剝繭，留下那些真正能夠經得起邏輯推敲，能夠放進嚴格定理中的數學。
七月二號，凌晨五點五十七。
江臨把捆綁三類東西的繩索握在手裡。
六點整。
視野右上角的倒計時歸零。
房間裡的燈光、空調聲、城市晨霧和桌面上的四宮格視頻，在同一瞬間遠去。
下一秒。
風聲灌進耳朵。
江臨站在石屋外，抬頭看了一眼灰白色的天空。
第九次廢土開始。
落地覆核，據點巡檢，設備開箱，食品和水源清點，這些枯燥但決定生死的流程，經歷了前八次的洗禮，已經熟練到形成了肌肉記憶，不需要再逐字逐句寫進工作記錄本。
而江臨的記錄本上，此時只有三行。
【一，G-01整機閉環。】
【二，MPS-Kernel最小可用工具鏈。】
【三，PFR/Marton有限域模型橋。】
這一輪，極限的四十年，最終被壓縮成了三張圖。
第一張圖，是G-01的接觸狀態圖。
前三年，江臨幾乎都耗在機械部分。
廢土裡，他有足夠時間把同一套結構拆到不能再拆。
A1規則相位平台最先在廢土的風塵中成型。
均勻的機械相位，統一的整體剛度，固定不變的步幅。
在江臨用廢鋼板焊死的標準障礙板上，它的表現極其乾淨。
速度曲線平滑，功耗處於理想區間，機身姿態的滾轉角和俯仰角變化都比G-01的早期版本漂亮得多。
江臨將其保留了下來，作為後續所有測試的對照組。
工程學的邏輯告訴他，沒有一個可靠的基線，後續所有所謂的優勢都可能只是測試場地形偏心帶來的倖存者偏差。
隨後，G-01A誕生。
它恢復了江臨引以為傲的非周期相位、非均勻剛度和非等步幅設計，但去掉了所有控制邏輯，只做純粹的狀態採集。
這是失敗得最為慘烈的一代平台。
足端載荷傳感器的應變片出現了嚴重的溫漂和傳感遲滯。
IMU的安裝位置稍有偏差，機械結構的共振就引入了龐大的假振動噪聲，導致姿態數據變成一團亂麻。
主軸電流採樣被電機驅動板的高頻PWM開關噪聲嚴重污染，波形圖上全是可怕的毛刺。
就連工業級的全局快門攝像頭，也會在強電磁干擾下觸發線抖動和USB偶發丟幀，導致幀同步崩潰。
有一次，連續熬了三個通宵的江臨，看著離線屏幕上那條平滑得幾乎無懈可擊的足端載荷轉移曲線，甚至以為自己迎來了突破。
但當他興奮地拆開足端後，卻被現實潑了一盆冷水。
那根本不是什麼平滑的受力轉移，而是傳感器內部的一根線束在運動中輕微繃緊，給足端施加了一個完全虛假的額外物理約束。
記錄系統本身，改變了被記錄對象的客觀狀態。
那個問題再次出現。
從這天開始，江臨不再把G-01當成一台機器來修。
他在工作站里新建了一個目錄。
【MPS_Physical_Forge】
Kernel，是給小程序用的。
Forge，則是給物理結構用的。
如果說MPS-Kernel搜索的是比較器序列、寄存器調度、指令依賴和微架構代價，那麼這個新目錄里要搜索的，就是足端材料、彈性梁長度、傳感器埋入深度、IMU安裝位置、線束走向、主軸採樣頻率、相位窗口寬度，以及棘爪釋放閾值。
江臨沒有打算讓機器替他設計機器人。
至少現在做不到。
他只是要把G-01拆成一組可以記錄、可以比較、可以排除、可以復盤的局部候選。
每一次失敗，都不再只是壞了。
而是一條反例。
某種局部結構，在某種地形、某個溫度區間、某個支撐相位下，會把系統推向錯誤的全局狀態。
這就是MPS-Forge的第一個版本。
它還遠遠算不上自動設計機械。
只是逼迫江臨停止憑直覺修機器，開始像審查江氏磚的局部邊界那樣，審查一台機器的每一個局部失效模式。
到了第六年，歷經無數次推翻重來的G-01B開始顯現出穩定的曙光。
江臨拋棄了脆弱的外貼薄膜應變片方案，手搓了一套精密的內部彈性梁結構。
足端外層依然採用可更換聚氨酯鞋底，內部保留POM承力支架。受力不再直接讀取鞋底表面形變，而是通過一段極短的硬質鋁座，將芬蘭導入內部彈性梁，再由深埋其中的傳感器讀取被過濾掉高頻衝擊後的微小形變。
IMU被重新設計了安裝基座，通過定製的矽膠減震球，固定在最靠近全機質心的短鋁座上，隔絕了足端的高頻諧振。
主軸電流採樣電路被重新布線，加入了霍爾電流傳感器/隔離放大器、差分採樣、RC抗混疊濾波、星形接地和屏蔽線束。
全局快門攝像頭被剝奪了任何控制權限，僅僅作為一個旁觀的同步校驗基準存在。
到第九年，G-01B終於能夠在這個殘酷的環境中，穩定地輸出四類核心數據。
足端接觸狀態的接觸載荷與方向估計，機身姿態的歐拉角變化，主軸負載的毫秒級變化曲線，以及機械部件運行的相位窗口。
在這一年末的一個深夜，江臨搓著凍僵的手，在圖紙上畫出了第一張大圖的雛形。
圖表的橫軸是絕對時間。
縱軸被清晰地劃分為四層物理域：接觸，姿態，負載，相位。
從這一刻起，每一個異常工況，都不再是一句模糊的機器卡住了或者電機燒了。
它被解剖成了擁有嚴格因果關係的事件鏈。
這張圖真正有價值的地方，不是它漂亮。
而是它終於讓失敗有了可以被索引的形狀。
過去，廢土裡的失敗樣件是鐵塊、斷鋸條、燒黑的電路板和變形的連杆。
現在，失敗第一次變成了可索引的數據結構。
【異常足端載荷雙峰】
【橫擺角速度導數階躍】
【主軸電流斜率偏離】
【相位窗口危險扇區】
【線束偽約束】
【傳感器遲滯】
【真實卡滯】
江臨給每一段異常日誌貼標籤，給每一次誤判寫反例，給每一種被淘汰的結構留下死亡證明。
這不是機器學習意義上的黑箱訓練。
這是MPS意義上的證據鏈整理。
候選從哪裡來，為什麼失敗，在哪個局部條件下失敗，失敗能不能復現，下一輪搜索應該避開哪一類結構。
而這張圖的出現，也意味著江臨在廢土苦熬了近十年後，第一次將非周期六足從一台能動的機械玩具，強行提升成了在數學和物理上完全可觀測的移動平台。
第十年以後，真正的靈魂G-01C，開始加載安全狀態機。
狀態機能夠執行的動作極度匱乏，只有五個。
降速，釋放當前機械鎖止，主動卸載異常接觸腿的動力，控制機身回撤半步，重新切入下一個支撐相位。
這是一個尋找鋼絲上平衡點的地獄級折磨。
如果判定閾值設得太低，平台就會像驚弓之鳥，只要稍微踩到一塊碎石就會頻繁誤觸發保護，移動效率低到令人髮指。
如果閾值設得太高，等算法判斷出異常時，強大的電機扭矩早就讓棘爪死死咬住，機械結構已經發生了不可逆的金屬形變。
如果只看足端載荷，算法會愚蠢地把正常的越障衝擊當成撞牆異常。
如果只看主軸電流，電流反饋的滯後性會讓你等到電機冒煙才發現故障已經擴散全身。
如果只看IMU的橫擺角，又極容易把機身在崎嶇地形上的自然搖擺誤判成即將側翻。
廢土第二十三年，無數個報廢的電機、折斷的連杆、誤觸發日誌和反例表堆滿了工作目錄，江臨終於熬出了那個能真正在複雜地形下穩定工作的版本。
多信號短窗邏輯判定。
它不再依賴單一閾值，而是建立了一個動態的時間窗口。
當然，真正困難的不是寫出一個狀態機。
而是哪些信號有資格觸發它？
江臨最初試過幾十種看似合理的規則。
足端載荷超過閾值，誤觸發。
主軸電流斜率異常，滯後。
IMU橫擺角過大，誤把正常越障當成側翻。
相位窗口進入危險區，無法區分真實卡死和短暫衝擊。
MPS-Forge在這裡第一次顯出鋒利。
它不替江臨發明智慧。
只是把四十年裡積累的正常樣本、失敗樣本、誤觸發樣本和真實卡滯樣本壓成一張反例表，然後逼著所有候選規則接受審訊。
只看一個信號的規則，全部死掉。
只看靜態閾值的規則，全部死掉。
不能解釋誤觸發來源的規則，全部死掉。
最後留下來的，不是最聰明的規則，而是最不容易被反例打穿的規則。
在這個幾十毫秒的極短窗口內，足端載荷出現異常雙峰，橫擺角速度導數出現階躍上升，主軸電流的斜率偏離正常模型，相位窗口滑入預設的危險扇區。
只有當這四個條件中，至少有三個在同一短窗內同時滿足時，安全狀態機才會被強行激活介入。
同年，G-01C完成了第一組震撼人心的完整對照實驗。
在江臨最初焊接的標準障礙板上，作為對照組的A1平台依然走得乾淨利落，甚至速度略勝一籌。
但在布滿火山岩碎屑和斷裂鋼筋的非重複障礙場地上，A1平台在連續邁出三步後，相近支撐窗口內出現了微小的接觸異常疊加，最終導致重心失衡，電機嘶吼著觸發保護停機，四腳朝天。
而G-01C呢？
它像一隻有了痛覺和本能的矽基生物。
在右前足踩上一塊鬆動的火山岩的瞬間，毫秒級的數據流沖入狀態機。
在傾覆的邊緣瞬間觸發指令，平滑降速，果斷卸載右前足的動力，機身以一種違反人類直覺的姿態微微回撤半步，隨後精準地尋找到下一個穩固的支撐相位，重新發力，越過了障礙。
廢土第三十七年，經歷了一場長達四十八小時的極端沙塵暴連續擾動測試後，滿身傷痕的G-01C穩穩地站在了最後一塊非重複障礙板上。
江臨在工作站里打開那個已經改過三次名字的目錄。
最初它叫【MPS_Physical_Forge】。
後來被他縮短成了【MPS-Forge】。
而這一刻，目錄下第一張真正完成的圖，被他正式命名為——
【MPS-Forge Experiment-01：G-01非周期具身移動平台v0.1】。
圖的左側，是布滿劃痕、結構複雜的非周期機械身體。
右側，是如同神經系統般嚴密的接觸狀態感知鏈路。
中央，則是那個歷經近四十年打磨出的核心，多信號短窗安全狀態機。
圖的最下方，附帶著非重複障礙場長期測試曲線：通過率、平均通過時間、單位距離能耗、保護觸發次數，以及每百小時連杆/棘爪/足端模塊損傷率。
現實回歸後，江臨只需要將其中最核心證明邏輯最嚴密的最小可公開版本復現出來，即便只是最小閉環，也足以在現實的機器人領域撕開一個口子。