Calcify
Calcify translates typed Python into Chelis source code. It consumes the output of a typing pass (mypy, pyright, or pytype), resolves every expression to a concrete type, and emits idiomatic Chelis in Surf syntax.
Three tiers of translation
Section titled “Three tiers of translation”Calcify organizes translation into three tiers based on how completely the input Python maps to Chelis constructs.
- Tier 1: pure translation. Fully typed, purifiable Python becomes idiomatic Chelis with explicit types. No runtime bridge, no residual Python.
- Tier 2: mixed Python and Chelis. Parts that resist full translation stay in Python. Translated core logic calls through the Python-Chelis bridge.
- Tier 3: agentic translation. Best-effort Chelis output with every decision recorded and flagged for human review.
A single source file may produce output at different tiers for different functions or modules. Calcify reports the tier of each translated unit in its output manifest.
Deterministic translation
Section titled “Deterministic translation”Translation is deterministic: the same Python source, the same Calcify configuration, and the same typing-pass output produce byte-identical Chelis every time. There is no hidden randomness or ordering sensitivity. Two developers with the same inputs get the same .ch file, byte for byte.
Version
Section titled “Version”Calcify v0.10.2.