el fuzzing es el tema de conversación desde el hack de yETH (al menos en mi mente) - @claudeai acaba de escribir la prueba de fuzzing perfecta para mí y descubrió un caso límite que toda una enorme suite de pruebas había pasado por alto la invariante es simple, `sum(trove debts) >= total_debt`, de lo contrario `total_debt` puede volverse negativo si todos los troves reembolsan, lo que hace imposible cerrar el último trove captura de pantalla de la prueba de fuzzing adjunta y enlace a la prueba en el primer comentario, para tu conveniencia dile a claude que haga fuzzing de tu código!