OnManifold: certified Lie-group state propagation for robots and spacecraft

A drop-in C++/Python library that propagates orientation and pose states directly on Lie groups via invariant vector fields, eliminating quaternion renormalization and gimbal-lock workarounds in drone, robot, and satellite estimators.