Zde se děje kompletní statická analýza + IR transformace OSVN on-chain programu Kotvy kódu je analyzován, aby se vyjmenovala skutečná vykonávací plocha, počet instrukcí, účtový graf a rozložení stavu jsou explicitně extrahovány, nikoli odvozovány 67 instrukcí znamená, že tohle není hračkový program Jsou to více cest vykonávání, podmínk a přechodů stavů, 32 struktur účtů + 21 stavových struktur vám říká, že protokol je zaměřený na stavy, toto je koordinační logika, ne meme kontrakt s jedním swapem 127 PDA znamená, že deterministický adresní prostor je využíván agresivně, autority odvozené programem, trezory, směrovací účty, vnitřní řídicí roviny 36 CPI znamená, že osvn je kompoziční Je navržena tak, aby komunikovala s jinými programy, ne aby žila v izolaci Krok Pinocchia IR je klíčovou částí To znamená snížení abstrakcí kotvových kotvic na omezenou meziformu blíže k VM, snazší o tom uvažovat, snadněji optimalizovat, těžší předstírat tohle není stavba tokenu Redukuje program Solany na jeho skutečnou realizaci Lidé sledují cenu Sleduji hustotu instrukcí, PDA fan-out a CPI topologii Právě zde se ukazují skutečné protokoly