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

calor coverage

Estimate Calor conversion coverage and identify blockers in one C# file.

Bash

calor coverage src/OrderService.cs
calor coverage src/OrderService.cs --verbose

--verbose includes dimension scores and examples. Coverage is planning evidence, not proof that conversion is lossless. Follow it with calor convert and inspect the loss report and any CSharpInteropBlockNode output.