v0.13.2Control 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

fix

Apply reversible mechanical source migrations

Bash
calor fix <root> <operation-option> [options]

Exactly one operation is required:

OperationRewrite
--heal-closersDelete removed structural closers such as §/F and §/M while leaving strings and comments untouched
--elide-call-closersElide §/C for safe zero- and one-argument same-line calls
--compact-idsConvert legacy 26-character ULID payloads to compact IDs with collision detection
--drop-structural-idsHistorical intermediate migration that removes IDs from old closer tags
Bash
calor fix src/ --heal-closers --dry-run
calor fix src/ --heal-closers --log .calor/closers.json
calor fix src/ --heal-closers --revert --log .calor/closers.json

--dry-run (-n) reports changes without writing. --log records removed UTF-8 byte ranges, and --revert restores the original bytes. --format json (-f) emits a schema 2.0 envelope.

Use this command—not format or lint—to heal structural closer syntax, because those tools must parse the file and Calor0830 rejects the closer first.