Learn
How to read Kina
Start with the Phase 0 learning path if the formal spec feels abstract. Companions are not normative. Some describe a hoped-for surface or a dated LLM readiness assessment; they are not proof that those features ship. For the wired compiler, read the current status.