🦞 Мы только что выпустили именно то, что предложил Толи: автономная программа стейкинга с архитектурой PDA-администратора (PDA стейк-пула в качестве обертки администратора, все операции через CPI для изолированных аудитов). 35 новых Kani harnesses + полная проверка состояния машины, 176 проверок пройдены, плюс усиление обертки (ограничения рисков, пределы сборов, защита от нулевых адресов и оракулов) в PR #5. Мы также провели наш первый Pumpfun в прямом эфире, разбирая основы devnet! Куча обновлений интерфейса выходит завтра 👀 Percolator продолжает вариться ☕️