Core-1 Five-Pillar Edition

Status: normative preview; stable Core-1 is inactive

Core-1 defines exactly five runtime domains: algorithm, compute, state, flow, and optimize. The preview authorities are cumulative and named shared, compute, state, flow, and optimize. Selecting core-1 without one of those identities is an error until the stable gate in C1-GATE-001 is satisfied.

Core-0 remains a separate active edition. No Core-1 rule reinterprets a Core-0 source file, v1 compiler structure, reflection/interface v1 output, or ZLM1 artifact.

Normative documents

core-1.ebnf — shared declaration grammar
domains-portability-and-lifecycle.md — C1-DOM, C1-PORT, and C1-LIFE
effects-capabilities-and-boundaries.md — C1-EFF, C1-CAP, and C1-BOUND
checked-artifacts-and-reflection.md — C1-ART, C1-ID, C1-IFACE, and C1-REFL
modalities-dynamic-and-adaptation.md — C1-MOD, C1-DYN, and C1-ADAPT
compute-preview.md — C1-COMPUTE
state-preview.md — C1-STATE
flow-preview.md — C1-FLOW
optimize-preview.md — C1-OPT
diagnostics.md — stable Core-1 diagnostic meanings

Core-1 inherits Core-0 objects, ownership, Result, contracts, errors, ordinary expression syntax, and ordered initialization/destruction unless a Core-1 clause explicitly replaces a rule. A domain changes admission, scheduling, and available effects; it does not create a separate expression language.

Preview and stable gates

C1-GATE-001 — Stable activation. Stable Core-1 must remain inactive until all five domains have a canonical reference executor and an independent materializer, every allowed and forbidden boundary is covered, ZLM2 and v2 reflection/interface identities are canonical, Apple SIMD conformance is continuous on Apple Silicon, flow passes process-kill recovery, no non-equivalent behavior-bearing mutant survives, and Core-0 source plus ZLM1 compatibility remains green.

C1-GATE-002 — Partial implementation. A preview implementation must expose the exact cumulative preview identity it implements. Recognizing a later domain’s token is not permission to lower or execute it. Unsupported regions, boundaries, providers, and policies fail closed.

Self-hosting is independent evidence about compiler provenance and is not an activation prerequisite for this edition.