Role: RFC + Specification

Read law first. Read elaboration second.

The RFC is normative. Detailed spec chapters elaborate behavior and contracts. If there is any disagreement, the RFC wins.

RFC outranks explanation. Spec explains, it does not redefine.

Open RFC (normative) Open detailed spec index

Normative Source

docs/vexel-rfc.md defines language law and core semantics.

RFC markdown README reading map

Detailed Elaboration Chapters

Lexical + Grammar

01 Lexical, 02 Grammar

Types + Execution

03 Types, 04 Execution

Analysis + Optimization

05 Analysis/optimization

Modules + std

06 Modules/resources/std, 11 Bundled std

ABI + Contract

07 ABI boundary, 09 Backend contract

Diagnostics + Gates

08 Diagnostics, 10 Conformance

Related Routes

Tutorial route Architecture route Refusals route Playground route

Law page is a route hub. Normative source remains docs/vexel-rfc.md.