🦞 Nous venons de livrer exactement ce que Toly a suggéré : une architecture de programme de mise en jeu autonome PDA-admin (PDA de pool de mise en jeu en tant qu'administrateur wrapper, toutes les opérations via CPI pour des audits isolés). 35 nouveaux harnais Kani + vérification complète de la machine d'état, 176 vérifications réussies, plus le renforcement du wrapper (plafonds de risque, limites de frais, protections contre les adresses nulles et les oracles) dans la PR #5. Nous avons également réalisé notre première Pumpfun en direct en décomposant les bases de devnet ! Une série de mises à jour de l'interface utilisateur arrive demain 👀 Le Percolator continue de mijoter ☕️