4D Extended Kalman Filter for dead reckoning during GPS loss. Covariance-driven accuracy with EKF and linear extrapolation modes. Maintains position estimation through tunnels and urban canyons. Pure Dart, no native dependencies.