Fuzzování je od hacku yETH (alespoň v mé hlavě) pořád v hlavě – právě @claudeai napsal dokonalý foundry fuzz test a odhalil okrajový případ, který celá obrovská testovací sada přehlédla Invariant je jednoduchý, 'sum(trove dluhy) >= total_debt', jinak 'total_debt' může jít do záporu, pokud se všechny trove vrátí, což znemožňuje uzavření posledního treve Přiložený screenshot fuzz testu a odkaz na test v prvním komentáři, pro vaše pohodlí Řekni Claudovi, ať zamlčí kód!