Implementation guides
Documentation
Learn how the current compiler, execution modalities, benchmark evidence, and public project surfaces work. Normative language rules live separately under Spec.
Current guides
16 documentsGetting started
Install the preview, build Stage0, and run a first module.
ZLM command-line toolchain
Download, verify, install, use, integrate, and update the standalone ZLM toolchain.
Interpreted and compiled code
How interpreted and compiled authoring modalities fit one checked module.
Structural ZLM payload layouts
Embedded structural records, legacy migration and scalar identity preservation.
Inspecting frozen ZLM2 wire layouts
Read-only descriptors for the frozen outer ZLM2 2.13–2.20 envelopes.
Explicit Dynamic source matching
Explicit Dynamic tags, checked scalar bindings, ownership and the separate 2.21 extension.
Checked compute dataflow
Checked tensor views, bounded coordinate kernels, axis reductions and ZLM2 2.22.
Compute admission
Rank, layout, shape, aliasing and lifetime checks at synchronous compute admission.
Checked State graph definitions
Checked State graphs, atomic execution, explicit delays and topic policies, and ZLM2 2.24–2.25.
Flow compensation
Checked compensation ownership, reverse-order durable replay, and ZLM2 2.26.
Owned Flow checkpoint payloads
Owned Dynamic snapshots, schema-bound replay, and native v4 checkpoint durability.
Source-owned finite Optimize sets
Source-owned ordered finite sets, exact tie order, empty results and ZLM2 2.28.
Owned Dynamic benchmark values
Owned Dynamic benchmark transport, typed matching and explicit lookup authority.
ZergLang public surface
Routes, trust boundaries, deployment, and public cache behavior.
Publishing benchmark evidence
How immutable ZL256 evidence is sealed, verified, and published.
ZergLang community and RFC governance
Community access, agent scopes, RFC states, and moderation gates.