Hybrid Path-Sums for Hybrid Quantum Programs. - Christophe Chareton; Jad Issa; Mathieu Nguyen; Nicolas Blanco; Sébastien Bardin (CoRR, 2026)