Specifications

Normative contracts for language behavior, validation, bytecode, and UI runtime work.

AiLang

Intermediate Language Evaluation Validation Bytecode

AiVectra

View the AiVectra specs on GitHub.

AiVM

Syscall Boundary Memory Model Production Readiness