这个学霸疑似巨额知识来源不明 - 第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首次从纸面证明、程序搜索和有限状態表里延伸而来，咬住真实物理世界的糖果齿轮。
    第二个箱子装载的信息密度很大。
    几块企业级固態硬碟，一台拆除了所有不必要外设的离线工作站，以及几本已经被他翻得页边发毛，布满各种顏色批註的列印手册。
    llv后端优化规则、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】。
    图的左侧，是布满划痕、结构复杂的非周期机械身体。
    右侧，是如同神经系统般严密的接触状態感知链路。
    中央，则是那个歷经近四十年打磨出的核心，多信號短窗安全状態机。
    图的最下方，附带著非重复障碍场长期测试曲线：通过率、平均通过时间、单位距离能耗、保护触发次数，以及每百小时连杆/棘爪/足端模块损伤率。
    现实回归后，江临只需要將其中最核心证明逻辑最严密的最小可公开版本復现出来，即便只是最小闭环，也足以在现实的机器人领域撕开一个口子。