🦞 Ми щойно випустили саме те, що запропонував Toly: окрема стейкінг-програма з PDA-адміністративною архітектурою (stake_pool PDA як wrapper admin, всі операції через CPI для ізольованих аудитів). 35 свіжих ремень Kani + повна верифікація машини станів, 176 перевірок зелений, плюс загартування обгортки (обмеження ризику, обмеження зборів, нульова адреса та захист Oracle) у PR #5. Ми також провели наш перший Pumpfun наживо, розбираючи основи devnet! Завтра 👀 з'явиться багато оновлень інтерфейсу Перколятор продовжує варитися ☕️