il fuzzing è l'argomento del momento da quando l'hack di yETH (almeno nella mia mente) - @claudeai ha appena scritto il test di fuzzing perfetto per me e ha scoperto un caso limite che un'intera massiccia suite di test aveva trascurato l'invariante è semplice, `somma(debiti trove) >= debito_totale`, altrimenti `debito_totale` può diventare negativo se tutti i trove ripagano, rendendo impossibile chiudere l'ultimo trove screenshot del test di fuzzing allegato e link al test nel primo commento, per tua comodità dì a claude di fuzzare il tuo codice!