v0.3.0

First tagged release, cut for citability: this is the version a paper or a
dataset can point at.

The language. All seven Huzita-Justin axioms as primitive operations,
evaluated over an exact real-algebraic number kernel, so a constructed
coincidence either holds or does not. No tolerance, no epsilon. mark scores a
crease, fold moves paper, flatten derives the crease that closes a vertex
when no axiom constructs it, and reverse places a flap on the other side of
the stack.

The output. Every program emits FOLD, which the existing tooling in the
origami community reads. The renderer turns that into crease patterns and
folded states as SVG, in colour or in Yoshizawa-Randlett line style for print.

What runs. The bird base, the fish base, the preliminary base and a swivel
rabbit ear compile end to end; the corpus is in examples/. The site at
beloch.toph.so carries a playground that evaluates in the browser.

What does not. Flat folded states only, no 3D and no thickness. Step-by-step
folding diagrams are a goal and are not implemented. check and lsp are
stubs. The language specification is at v0.27-dev and still moves.

The architecture decisions behind all of this are in decisions/, the language
specification in spec/SPECIFICATION.md.