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

calor effects

Inspect and maintain effect manifests used for external .NET calls.

CommandPurpose
calor effects resolve <signature>Show the resolved effects for a method signature
calor effects validateValidate every manifest in the search path
calor effects listList types with effect declarations
calor effects suggest --input <files>Generate a template for unresolved calls

resolve, validate, list, and suggest accept --project and --solution to add project- or solution-level manifests to the search path. resolve and list support --json; list also supports --type.

Bash
calor effects resolve System.Console.WriteLine --json
calor effects validate --project ./src/MyApp
calor effects suggest --input src/App.calr --output .calor-effects.suggested.json

With --merge, suggest updates .calor-effects.json; review that generated file before committing it. For package-wide inference and provenance, use calor import. See the effect-manifest guide for resolution order and manifest format.