Reference

Index§

Page	Use it for
API + stdlib catalog	Language, hosted compatibility, systems and platform surfaces.
Hosted stdlib symbols	Detailed hosted compatibility module catalog.
Grammar	Syntax contract.
Type + layout rules	Representation rules.
Enum ABI	Payload enum representation.
Diagnostics	Compiler/runtime error shapes and fixes.
Glossary	Terminology map.
Target matrix	Current host/target/profile truth.
Reproduce proofs	Commands, inputs, evidence classes and verifier.
Benchmark ledger	Evidence protocol; no fabricated comparison numbers.
License FAQ	GPL-2.0-only boundaries.
Full language contract	Tagged v12 contract mirror.
Native compiler contract	Native backend contract mirror.
Native link contract	Object/link contract mirror.
Release README	Full release provenance mirror.