🦞 Acabamos de enviar exactamente lo que Toly sugirió: arquitectura de programa de participación independiente PDA-admin (PDA de stake_pool como administrador envolvente, todas las operaciones a través de CPI para auditorías aisladas). 35 nuevos arneses Kani + verificación completa de la máquina de estados, 176 comprobaciones en verde, además de endurecimiento del envoltorio (límites de riesgo, límites de tarifas, salvaguardias de dirección cero y oráculo) en PR #5. ¡También realizamos nuestro primer Pumpfun en vivo desglosando los conceptos básicos de devnet! Un montón de actualizaciones de UI aterrizando mañana 👀 Percolator sigue en ebullición ☕️