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

Benchmarking

The published v0.12 dashboard compares 217 paired programs across eight deterministic metrics. It reports a 1.32x overall Calor/C# composite, with Calor ahead in seven metrics and C# ahead in information density.


The Metrics

Published v0.12 Metrics

CategoryWhat It MeasuresWhy It Matters
ComprehensionStructural clarity, semantic extractabilityCan agents understand code without deep analysis?
Error DetectionBug identification, contract violation detectionCan agents find issues using explicit semantics?
Edit PrecisionHeuristic targetability and change isolationDo explicit IDs and markers provide stronger source targets?
Generation AccuracyCompilation success, structural correctnessCan agents produce valid code?
Token EconomicsTokens required to represent logicHow much context window does code consume?
Information DensitySemantic elements per tokenHow much meaning per token?
Refactoring StabilityID-based reference preservationAre explicit IDs preserved by modeled transformations?
CorrectnessEdge case handling, bug preventionDoes code produce correct results for edge cases?

The repository also contains separate LLM and estimation-mode suites for task completion, safety, and effect discipline. Their results are not included in the v0.12 eight-metric headline or the 1.32x composite.


Summary Results

CategoryCalor vs C#Winner
Comprehension1.84xCalor
Error Detection1.49xCalor
Edit Precision1.36xCalor
Refactoring Stability1.38xCalor
Correctness1.29xCalor
Generation Accuracy1.02xCalor
Token Economics1.42xCalor
Information Density0.98xC#

Current pattern: Calor leads seven categories. C# leads information density at 0.98x Calor/C#.


Key Insight

The strongest current advantages are comprehension (1.84x), error detection (1.49x), token economics (1.42x composite), and refactoring stability (1.38x). Generation accuracy is close at 1.02x. Information density is 0.98x, the only current C# win.

Token economics is a composite of token, character, and line ratios. Calor still uses more raw tokens on small programs, so the 1.42x composite must not be read as a raw-token advantage.


Agent Task Benchmark

The Agent Task Benchmark tests Claude's ability to generate correct Calor code from natural language prompts. It validates skill documentation quality by measuring how well Claude can learn Calor syntax.

The latest committed agent-task artifact is dated 2026-02-16 and reports an 86.5% pass rate (77 of 89 tasks across 17 categories). It is a separate, single-run benchmark and is not part of the v0.12 dashboard composite.


Learn More