Normative authority

Language specification

Edition status is part of the contract. Core-0 is a normative target with a partial implementation. Core-1 is a cumulative normative preview; the stable Core-1 identity is inactive.

Normative targetImplementation partial

Core-0

The active algorithm edition: objects, messages, ownership, effects, contracts, checked artifacts, and deterministic execution.

Core-0 edition Lexical and syntax Modules, packages, and authority Objects, types, and messages Ownership, effects, errors, and contracts Checked artifacts and execution Core-0 diagnostics Core-0 semantic reference Core-0 grammar

Normative previewStable identity inactive

Core-1

The five-domain preview: shared semantics plus compute, state, flow, optimize, explicit boundaries, and modality-aware adaptation.

Core-1 five-pillar edition Domains, portability, and lifecycle Effects, capabilities, and boundaries Checked artifacts and reflection Modalities, Dynamic, and adaptation Compute preview State preview Flow preview Optimize preview Core-1 diagnostics Core-1 grammar

Clause IDs are semantic API identifiers.

Cite clauses such as C0-CONTRACT-002(b) or C1-GATE-001. A preview parser accepting syntax is not a claim that the runtime implements it.