Untrusted surfaces → provenance knowledge → verified action. Gecko never builds the production tx, never signs.
Guided views
Explore this system
Step through curated paths without changing the source diagram.
Beat
Next
ReadyChapter 01 / 01
Guided chapter
Diagram guideExplore this system
Inspecting compiled semantics
E ExportT ThemeS Style0 Reset+ Zoom in- Zoom outEsc Close
Find a node
⌕/
No matching nodes
Semantic passport
Verified source
Authored reach
Route probeChoose a start node
Pick two semantic nodes on the diagram
Choose the source, then the destination. Direction matters.
Semantic lensCompare system roles
Choose up to two semantic kinds. One reveals its real traffic; two compare only direct authored relationships.
Choose a kind to inspect its nodes and touching relationships.
Semantic radar
Building overview
Click nodeDrag to pan
Comprehension rail
• Seed recovery beats the IDL (#4057)
• Auto-comprehend + measured overlays
• Every edge provenance-tagged
Verify rail — proven live
• pump buy: naive ❌3012 → Gecko ✅ 86,669 CU
• Meteora swap: wrap→swap→unwrap ✅ 81,964 CU
• Receipt before money moves, $0
Hard boundaries
• Never signs, never broadcasts
• Builder + signer are compose partners
• Control plane only — no payloads stored
Architecture diagram • Built with Archify • Create yours ↗ • Hover to trace • R route • Click to focus • +/− zoom • M radar • [/] views • P play story • T theme • E export