De Cazadores de Mempool a Pruebas Matemáticas: La Jugada Onchain de $19M de Grvt