End-to-End Formalization of Quantum Error Correction. - Mattias Ehatamm; Yi Lee; Xiaodi Wu; Runzhou Tao (CoRR, 2026)