🦞 Nós apenas entregamos exatamente o que a Toly sugeriu: arquitetura PDA-admin de programa de stake independente (stake_pool PDA como administrador do wrapper, todas as operações via CPI para auditorias isoladas). 35 chicotes Kani novos + verificação completa da máquina de estados, 176 cheques verdes, além de endurecimento do wrapper (limites de risco, limites de taxa, zero endereço e proteções oraculares) no PR #5. Também realizamos nosso primeiro live do Pumpfun explicando o básico do devnet! Um monte de atualizações de interface chegando amanhã 👀 A percoladora continua fermentando ☕️