Normative authority

Language specification

Edition status is part of the contract. Core-0 has a partial implementation. Core-1 has cumulative previews. Core-2 specifies hardware and physics. Core-3 adds Proof and Natural Language (Intent); its implementation is unavailable. Stable Core-1, Core-2, and Core-3 remain 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

Normative previewImplementation unavailable

Core-2

Hardware components, clocked and asynchronous circuits, physical models, realizations, ZLM3 logical artifacts, and the ZL512 roadmap. Hardware and physics previews are specified; stable Core-2 is inactive.

Core-2 hardware and physics Hardware semantics Physical models Libraries and bridges Realizations and evidence Effects and boundaries ZLM3 logical artifacts Target adapters Solver plans Core-2 diagnostics ZL512 successor Activation gates Conformance examples Core-2 glossary Design decisions Prior art Core-2 roadmap Core-2 grammar

Normative previewImplementation unavailable

Core-3

Proof and Natural Language (Intent): checked logical terms, verification bridges, computational extraction, autonomous policy-delegated resolution, and logical ZLM4. Specification only; no proof kernel, Intent runtime, or stable activation is available.

Core-3 Proof and Intent Proof foundation Proof language Verification bridges Computational extraction Intent authority Intent runtime protocol ZLM4 logical artifacts Intent effects and boundaries Core-3 diagnostics Core-3 conformance Core-3 activation gates Core-3 implementation roadmap Proof and Intent decisions Core-3 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.