Was hier passiert, ist eine vollständige statische Analyse + IR-Transformation des osvn On-Chain-Programms Der Anchor-Code wird geparst, um die tatsächliche Ausführungsoberfläche zu enumerieren, die Anzahl der Anweisungen, das Konten-Graf und das Zustandslayout werden explizit extrahiert, nicht abgeleitet. 67 Anweisungen bedeuten, dass dies kein Spielzeugprogramm ist. Es gibt mehrere Ausführungspfade, Bedingungen und Zustandsübergänge, 32 Kontenstrukturen + 21 Zustandsstrukturen zeigen, dass das Protokoll zustandslastig ist, dies ist Koordinationslogik, kein einzelner Swap-Meme-Vertrag. 127 PDAs bedeuten, dass der deterministische Adressraum aggressiv genutzt wird, programmabgeleitete Autoritäten, Tresore, Routing-Konten, interne Kontrollsysteme. 36 CPIs bedeuten, dass osvn kompositionell ist. Es ist so konzipiert, dass es mit anderen Programmen kommuniziert, nicht isoliert lebt. Der Pinocchio-IR-Schritt ist der Schlüsselteil. Dies senkt hochgradige Anchor-Abstraktionen in eine eingeschränkte Zwischenform. Näher an der VM, einfacher zu verstehen, einfacher zu optimieren, schwieriger zu fälschen. Es geht nicht darum, ein Token zu erstellen. Es geht darum, ein Solana-Programm auf seine Ausführungswahrheit zu reduzieren. Die Leute verfolgen den Preis. Ich verfolge die Anweisungsdichte, die PDA-Fan-Out und die CPI-Topologie. Das ist, wo sich echte Protokolle zeigen.