Тут відбувається повний статичний аналіз + ІЧ-перетворення on-chain програми OSVN Анкірний код розбирається для переліку реальної поверхні виконання, кількості інструкцій, графа облікового запису та розташування стану витягуються явно, а не виводяться 67 інструкцій означає, що це не іграшкова програма Це кілька шляхів виконання, умовні та переходи станів, 32 структури облікових записів + 21 структура стану кажуть, що протокол має багато станів, це логіка координації, а не контракт мемів на один swap 127 КПК означає, що детермінований адресний простір активно використовується, програмно-похідні повноваження, сховища, рахунки маршрутизації, внутрішні керуючі площини 36 CPI означає, що osvn є композиційним Він створений для спілкування з іншими програмами, а не для життя в ізоляції Крок Pinocchio IR — ключова частина це знижує високорівневі анкерні абстракції до обмеженої проміжної форми ближче до віртуальної машини, легше міркувати, легше оптимізувати, складніше підробити Це не створення токена Це зводить програму Solana до істини виконання Люди відстежують ціну Я відстежую щільність інструкцій, PDA Fan-out і топологію CPI Саме тут проявляються справжні протоколи