Overview

Toolchain status

What exists today, what proves it, and what is still ahead. Nothing on this page is aspirational: every "available" row is backed by a gate that runs on every change.

Topaz is in pre-release: the toolchain runs in private CI and is not distributed yet. Distribution channels arrive with the open-source release.

Lexer & layoutv0.3 — available (private pre-release)Unicode-first lexer, layout normalizer; conformance suites green on every change.
Parserv0.3 — available (private pre-release)586 corpus fences plus the documentation on this site parse-checked continuously.
Module resolverv0.3 — available (private pre-release)Multi-file v5.2 units: paths, collisions, cycles, visibility, initialization order (TPZ3xxx pinned by fixtures).
Interpreterv0.3 — available (private pre-release)The reference semantics: execution corpus with pinned transcripts; every runnable sample on this site goes through it.
Type checkerplannedNext compiler track; runtime "dynamic guards" (TPZ5xxx) become static diagnostics.
Rust emissionplannedVision milestone — gated by differential testing against the interpreter before any public claim.

How this site is verified

Canonical topaz fences are parser-checked (534 on this site); examples marked runnable (39) are executed against the v0.3 toolchain with their printed output pinned byte-for-byte, and every displayed output block (24) must match a captured run. Verification logs stay private until the open-source release — this page publishes the counts, the categories, and the exclusions (currently none).

Language: Topaz v5.2 (locked 2026-06-12) — a strict superset of frozen v5.1. The toolchain defaults to v5.2.