pub fn integrate_geodesic_frame_to_checked<S: ConformallyFlat<Point = Vec3, Vector = Vec3>>(
space: &S,
from: Vec3,
to: Vec3,
frame: Mat3,
n_steps: u32,
max_iters: u32,
error_budget: f32,
) -> Result<GeodesicState, GeodesicError>