🦞 Acabámos de enviar exatamente o que o Toly sugeriu: arquitetura do programa de staking independente PDA-admin (PDA do stake_pool como wrapper admin, todas as operações via CPI para auditorias isoladas). 35 novos harnesses Kani + verificação completa da máquina de estados, 176 verificações em verde, além do endurecimento do wrapper (limites de risco, limites de taxas, salvaguardas de zero-endereço e oracle) no PR #5. Também realizámos o nosso primeiro Pumpfun ao vivo, desmistificando os fundamentos do devnet! Um monte de atualizações de UI a chegar amanhã 👀 O Percolator continua a ferver ☕️