Lo que ocurre aquí es un análisis estático completo + transformada IR del programa on-chain OSVN El código ancla se está analizando para enumerar la superficie real de ejecución, el recuento de instrucciones, el grafo de cuenta y el diseño de estados se extraen explícitamente, no se infieren 67 instrucciones significa que esto no es un programa de juguete Son múltiples rutas de ejecución, condicionales y transiciones de estado, 32 estructuras de cuenta + 21 estructuras de estado te indican que el protocolo es muy enfocado en estados, esto es lógica de coordinación, no un contrato de meme de intercambio único 127 PDAs significa que el espacio de direcciones deterministas se está utilizando agresivamente, autoridades derivadas del programa, bóvedas, cuentas de enrutamiento, planos de control internos 36 CPIs significa que OSVN es composicional Está diseñado para hablar con otros programas, no para vivir aislado El paso IR de Pinocho es la pieza clave Esto reduce las abstracciones de ancla de alto nivel a una forma intermedia restringida más cerca de la máquina virtual, más fácil de razonar, más fácil de optimizar, más difícil de falsificar Esto no es construir un token Es reducir un programa Solana a su verdad de ejecución. La gente sigue el precio Registro la densidad de instrucciones, el fan-out del PDA y la topología del CPI Ahí es donde los protocolos reales se manifiestan