Viverra: Text-to-Code with Guarantees. - Haoze Wu 001; Rocky Klopfenstein; Keith Farkas; Nina Narodytska (CoRR, 2026)