Certified Compilation based on Gödel Numbers. - Guilherme de Oliveira Silva; Fernando Magno Quintão Pereira (CoRR, 2025)