TY - RPRT TI - GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation AU - Linard Arquint PY - 2026 UR - https://arxiv.org/abs/2606.05796 ID - 2606.05796 ER -