🦞 Abbiamo appena spedito esattamente ciò che Toly ha suggerito: architettura del programma di staking autonomo PDA-admin (stake_pool PDA come wrapper admin, tutte le operazioni tramite CPI per audit isolati). 35 nuovi harness Kani + verifica completa della macchina a stati, 176 controlli verdi, oltre al rafforzamento del wrapper (limiti di rischio, limiti delle commissioni, salvaguardie per indirizzi zero e oracoli) nella PR #5. Abbiamo anche realizzato il nostro primo Pumpfun dal vivo, analizzando le basi del devnet! Un sacco di aggiornamenti UI in arrivo domani 👀 Il Percolator continua a prepararsi ☕️