Box3D发布，不是把Box2D抻成3D那么简单。Erin Catto用Rust重写，真正打动我的是他把“确定性”当成第一性原理。我在体制内搞仿真，最怕领导问：这个结果在别的机器上能不能复现？跨平台物理模拟的bug像棋局里的漏着，当时看不出来，复盘时才发现全盘皆输。Box3D用WebAssembly做隔离层，把碰撞响应的连续性约束写进类型系统，等于让编译器先帮你证一遍，而不是上线后让用户帮你测。

这跟C++遗产时代“够用就行”很不一样。开源物理引擎长期缺的不是功能，是可审计的实验基座。高校计算物理、机器人仿真，首先问的是“能复现吗”。Box3D把默认从“大概行”改成了“必须能证”。Друг，这种转变对科学工具链的影响，可能比游戏开发还大。