七月一日凌晨。

    计算机屏幕上，还停着那段十六秒的四宫格视频。

    这段很干净的内部验证数据，说明G-01的状态采集链路已经能工作。

    足端接触、机身姿态、主轴负载、同步视频帧，终于被压进了同一条时间轴里。

    但江临并没有将其上载的计划。

    低熵工坊的第二阶段公开视频，不能只是一次卡滞回放。

    它需要展示的是一个完整的平台。

    一个从非周期机械结构的纯物理特性，跨越到接触状态的多维感知，再进一步跃升到具备安全状态机，能够自主容错，并进行支撑相位重切换的完整系统。

    现实里，留给他的时间只剩一天多。

    明天清晨六点，第九次传送就会开始。

    江临把四宫格视频封进本地文档夹，改了一个名字。

    随后，他打开角落处，三个并排摆放的硬壳箱。

    前几次传送，箱子里的物资配比大多遵循着残酷的废土生存逻辑。

    高能量密度的压缩食物，矿泉水，广谱抗生素……

    后来又多了教材、文献、二手工作站、传感器、低速永磁发电机、风光控制器和各种量具。

    这一次，江临在各种物资之外，带了三个尚未闭合的问题。

    【G-01：非周期具身移动平台】

    【MPS-Kernel：携带证明

    第一个硬壳箱最重。

    里面是G-01相关的全部零件。

    经过

    以及几组他用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证明助手的环境配置，以及一套庞大而严苛的Benchrk框架，全都被他封进了本地Git仓库。

    在陈启明教授办公室里的那场半小时演示，已经证明了MPS-Kernel在sort5这种极小型问题上是能跑通的。

    零一验证器能够把排序5的正确性验证压缩到三十二个二值输入上。

    图同构与精确归约，则负责合并那些本质相同的候选网络，减少无意义的重复搜索。

    三层架构能够把候选生成、正确性验证和硬件代价评估从逻辑上清淅地拆开。

    甚至在一台固定测试机的确定搜索空间内，它也能在一个人工精心打磨过的sort5算法上，压榨出一个极小但稳定的吞吐量优势。

    但正如裴砺一针见血指出的那样，最内核的工程灾难并没有解决。

    sort5太小了，状态空间如同一个浅水洼。

    真正的微内核，真正的工业级基础数学库，不会永远停留在五个元素。

    一旦将规模推到sort8、rank8、dian9、top-k，甚至更长的数据处理内核，其指令排列组合的状态空间会发生毁灭性的指数膨胀。

    到那时，候选指令将不再老老实实地长成标准的coare-exchange网络。