Evidence-gated development
The roadmap is ordered by semantic risk, not feature count. A pillar is not complete until source, checked representation, independent execution, failures, cleanup, and cross-domain boundaries agree.
A bounded Core-0 slice runs through the checked interpreter, portable C materializer, LLVM JIT, and AOT. Richer ownership and cleanup remain explicit gaps.
Domain-aware semantic identities and ZLM2 regions now support bounded source-backed compute, state, flow, and optimize work. Each preview is still narrower than its normative authority.
Replace broad runtime prototypes and benchmark scaffolds with end-to-end source constructs, independent oracles, durable evidence, and complete package-closure adaptation.
Stable Core-1 activates only after all five domains have independent materialized execution, canonical identities and boundaries, persistent-flow recovery, and mutation-resistant conformance.