Atualização sobre os valids que recebi do AI solidity-auditor do @pashov e submeti: TODOS os 3 eram duplicados. Isso significa que os 3 bugs eram reais, apenas que outros pesquisadores chegaram lá primeiro. Vou optar pela abordagem de procurar falhas lógicas específicas do protocolo em vez de padrões genéricos. Tempos emocionantes!