Reference

The reference states what the toolchain accepts and what it does — exactly, with every value spelled the way the compiler spells it. Where the capability catalog explains what the compiler guarantees and why, the reference is the part you consult with a command line open.

It grows chapter by chapter alongside the release train:

Chapter	Covers
The command line	every flag of the `mica` binary: modes, inputs, targets, optimization, deployment classes, diagnostics
Traps and tiers	every runtime trap by name, the tier each one runs on, and what each optimization tier proves, guards, and deliberately leaves undefined
Library contracts	the `mica.external` format whole: libraries, link blocks, types, functions, encodings, and the error conventions the compiler lifts
The language	in preparation — the language reference arrives as its own set of chapters

The command line

The complete reference for the mica binary: every flag, its values, its defaults, and the rules that combine them.

Traps, tiers, and what the compiler guards

The normative list of every runtime trap the compiler can emit, the tier each one runs on, and what each optimization tier proves, guards, and deliberately leaves undefined.

Library contracts: mica.external

The complete reference for the mica.external contract format: libraries, link blocks, types, functions, external names per encoding, passing modes, and the error conventions the compiler can lift.