我们从头开始，详细推导 IMU 预积分的误差状态传播、协方差传播、偏置修正雅可比以及预积分约束的完整数学过程，并对应到代码实现。这是 VIO 紧耦合优化的核心。