Internals

Spec-level material. Read these when you are contributing to the compiler, designing a connector, debugging an ABI mismatch, or auditing the language’s formal claims.

Pages

• Effect spec — the formal effect algebra, composition rules, typing rules, dimensions, grounding, confidence gates, cost budgets, streaming, model substrate, verification, replay.
• Bundle format — the published Corvid bundle layout for reproducible builds.
• WASM ABI — the bare (ptr, len) UTF-8 ABI, multi-value returns, manifest kind discriminator.
• Host compliance — host-side requirements that runtime enforcement assumes.
• Testing primitives — test, eval, fixture, mock internals.
• Package manager scope — what the package manager covers and doesn’t.

See also

• Reference: grammar — formal EBNF.
• Reference: lexer rules — line continuation behavior.
• Reference: core semantics — registry-derived spec.