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

watch

Incrementally recompile Calor sources when files or effect manifests change

Bash
calor watch <files-or-directories...> [options]

Directories are scanned recursively for .calr files. bin, obj, and reference directories are excluded. New, deleted, and renamed files are re-enumerated on every rebuild, and effect-manifest changes invalidate the cache.

Bash
calor watch src/
calor watch a.calr b.calr --verbose
calor watch src/ --format json
OptionDescription
--format, -ftext or NDJSON json
--debounce-msQuiet period before rebuilding; default 200 ms
--no-cacheRecompile all files on every change
--clear-cacheRemove build state before the initial compile
--verbose, -vShow compiled and cache-hit files
--strict-apiRequire breaking-change markers for public API changes
--require-docsRequire documentation on public functions and types
--no-enforce-effectsOpt out of default-on effect enforcement
--strict-effectsPromote unknown external calls to errors
--permissive-effectsAssume unknown calls pure and demote effect violations
--contract-modeoff, debug, or release

The cache validates source bytes, generated-output hashes, compiler options, and effect summaries. Diagnostic-bearing files are not cached, so their messages reappear. Watch is compile-only; it has no --run mode.

JSON mode emits one schema 2.0 envelope per line, including clean and failed rebuilds. See Structured Output.