Skip to main content Crate aura_lang Copy item path Source agentdocs The language, rendered for a coding assistant: aura docs --agent. analysis Static analysis (SPEC §6.1): a single AST pass with a scope stack
mirroring the Environment. Runs before the runtime. codegen aura types: generate host-language types from a manifest’s type and
enum declarations (SPEC §7.2).error eval Evaluation engine (SPEC §4). Deterministic tree-walking interpreter
with a capability model for effects (D1). facade A high-level facade for embedding Aura in Rust applications. fmt aura fmt: canonical formatter (SPEC §7.2).lexer parser Recursive descent + Pratt expression parser (SPEC §3). resolve Name resolution: which binding does each identifier occurrence refer to? serialize Value -> serde_json serialization (SPEC §7.1).
Int -> JSON integer with no precision loss (D6); a Schema/Function/Enum deep in the tree is E0601 with a key path. source The source owner (SPEC §1.2): every &'a str in the lexer/AST/Value borrows from here.
An append-only arena: entries are never removed or mutated. span vfs Virtual File System (SPEC §5): module resolution and loading behind a trait. STDLIB_MANIFEST The stdlib surface as an Aura manifest: every method’s parameters, return
type and one-line description, grouped by receiver.