Last released Apr 16, 2026
A semantic IR for reasoning structure with contract-enforced agentic execution and automatic evidence trails.
Supported by
