fuzzing is het gesprek van de dag sinds de yETH-hack (tenminste in mijn gedachten) - @claudeai heeft net de perfecte foundry fuzz-test voor me geschreven en een randgeval ontdekt dat een hele grote testsuite heeft gemist de invariant is eenvoudig, `som(trove schulden) >= totale_schuld`, anders kan `totale_schuld` negatief worden als alle troves terugbetalen, waardoor het onmogelijk wordt om de laatste trove te sluiten screenshot van de fuzz-test bijgevoegd en link naar de test in de eerste reactie, voor jouw gemak toets claude om je code te fuzz-en!