A statically typed, effect-annotated, self-hosted systems language. First-class epistemic types, GUM uncertainty propagation, and Lean-verified confidence gates — enforced by the compiler, not by convention.