v0.13.2—Control flow and dataflow are rebuilt on explicit semantics, Z3 translation matches executable C# numeric rules, and the build chain is hermetic and supply-chain verified with hash- and size-pinned Z3 binaries.See what's new

self-check docs

Check agent-facing documentation against compiler keywords, diagnostics, effects, examples, and version rules

Bash
calor self-check docs [--root <repository>] [--format text|json] [--fix]

The check verifies documented section keywords, diagnostic codes and bands, effect codes, fenced Calor programs, exemplar C# compilation, version-text rules, and generated instruction mirrors. It exits 1 on drift and emits Calor1320–Calor1331 diagnostics.

--fix regenerates supported mirrors such as AGENTS.md from their canonical source. It does not rewrite arbitrary prose.

JSON mode emits the shared schema 2.0 envelope.