Validated Numerics for Algebraic Path Tracking (Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation)