Theoretical Guarantees for High Order Trajectory Refinement in Generative Flows