SPEC

This section is the product behavior contract for the parser and the current public execution model.

Use these pages:

• Input and Output
• Motion and Program Syntax
• Control Flow and Variables Syntax
• Diagnostics and Lowering
• Execution and Runtime Contract
• Testing, Architecture, and Documentation Policy

Review order:

1. Start with Input and Output.
2. Read the syntax pages for accepted surface language.
3. Read the lowering and execution pages for runtime-facing behavior.
4. Finish with testing and documentation policy.