开场在开发带有复杂物理交互的游戏时，你是否遇到过这样的翻车场景：布娃娃倒地后四肢疯狂抽搐，重型卡车碾过木箱时木箱没碎反而把卡车弹飞上天，或者一摞静置的木箱毫无征兆地开始集体抖动？这些让策划抓狂的"灵异事件"，本质上都指向同一个嫌疑犯：约束求解器没能在有限的迭代预算内收敛。物理世界里，让物体"像实体"而不是"幽灵"的，不是碰撞检测——检测只负责发现问题（两个物体穿在一起了），真正负责"执法"的是求解器：它计算出该施加多大的冲量，强行把速度掰回合法状态。理解这位"法官"的判案逻辑和它的算力局限，是解决一切诡异物理 Bug 的必经之路。一、约束的本质：从数学限制到冲量1.1 约束是对运动的限制没有约束的世界里，所有刚体只受重力自由落体，互相穿透，像一群幽灵各走各的。约束（Constraint）的本质是对物体相对运动的数学限制：接触约束：不许互相穿透——法线方向的相对接近速度必须为零（或等于反弹速度）。摩擦约束：不许无限滑动——切向冲量被法向冲量钳制（库仑摩擦锥）。关节约束：锁定若干相对自由度——铰链只留一个旋转轴，球形关节只留旋转不留平移。求解器（Solver）就是执行这些法则的法官，它的执法工具只有一个：冲量（Impulse）——一次性的速度修正，同时作用于线速度和角速度。1.2 雅可比矩阵：把"限制"写成方程底层上，约束被抽象为方程 C(x) = 0（"约束