Release

One day after 7.0.0: a case must now say what happens to every value of its selector, and the three comparison spellings Mica does not have each answer with the two it does.

The largest release Mica has shipped, and the only breaking one it will ever ask for: one naming pass and then a frozen surface, generics over shapes, slicing without roulette, a borrowed span under a visible lending law, bit-exact reductions, a stream that may fail, and a network line from worker pool to a typed value stream over the wire.

6.12.6 ships the Dragon SDK — the engine that compiles Mica, as a static archive and a C header a compiler in any language can drive. Wirth's PL/0 is the worked example, written twice against the shipped artifacts alone, and building it found ten defects in 6.12.5 that are fixed at the root.

A same-day pair after the Dragon SDK launch: two compiler fixes the new debugging tutorial found, and a packaging fix the SDK's first day earned — the Mica-side surface now ships as a file you can read, and the SDK's dependency on the compiler finally says why.

6.12.5 gives Mica a project model and a scripting mode, splits the compiler into four modules around its own backend SDK a foreign frontend can drive — and ships only after weeks of adversarial review that ruled four language changes, closed silent-corruption roads, and taught every failure to name itself.

6.12.4 ships a language server inside the compiler binary, removes the last contract file from disk, and makes the linker surface exactly the exported surface — alongside a rebuilt VS Code extension and an official Docker image.