tässä tapahtuu täysi staattinen analyysi + IR-muunnos OSVN:n ketjuohjelmasta Ankkurikoodia jäsennellään todellisen suorituspinnan luettelemiseksi, käskymäärä, tilikaavio ja tilan asettelu poimitaan eksplisiittisesti, ei päätellessä 67 käskyä tarkoittaa, ettei tämä ole leluohjelma Siinä on useita suorituspolkuja, ehdollisia ja tilasiirtymiä, 32 tilirakennetta + 21 tilarakennetta kertoo, että protokolla on tilapainotteinen, tämä on koordinaatiologiikkaa, ei yksittäisen swapin meemisopimusta 127 PDA:ta tarkoittaa, että determinististä osoiteavaruutta käytetään aggressiivisesti, ohjelmaperäisiä auktoriteetteja, holveja, reititystilejä, sisäisiä ohjaustasoja 36 CPI:tä tarkoittaa, että osvn on koostumuksellinen Se on suunniteltu kommunikoimaan muiden ohjelmien kanssa, ei elää eristyksissä pinokkion IR-vaihe on keskeinen osa Tämä laskee korkean tason ankkuriabstraktiot rajoitettuun välimuotoon lähempänä virtuaalikonetta, helpompi järkeillä, helpompi optimoida, vaikeampi väärentää Tämä ei ole tokenin rakentamista Se pelkistää Solanan ohjelman toteutustotuuteensa Ihmiset seuraavat hintaa Seuraan käskytiheyden, PDA:n leviämistä ja CPI-topologiaa Silloin todelliset protokollat näkyvät