Actualización sobre los valids que obtuve del auditor de solidity AI de @pashov y que envié: Los 3 eran duplicados. Eso significa que los 3 errores eran reales, solo que otros investigadores llegaron primero. Voy a optar por la estrategia de buscar fallos lógicos específicos del protocolo en lugar de patrones genéricos. ¡Tiempos emocionantes!