Module eval 

Evaluation engine (SPEC §4). Deterministic tree-walking interpreter with a capability model for effects (D1).

Modules

env

Lexical scope (SPEC §4.2, D9).

methods

Method registry (SPEC §4.4). Dispatch by (receiver TypeTag, method name). Registration via fn pointers: a new method = a function + register, the parser stays unchanged.

value

Runtime values (SPEC §4.1). Immutable containers in Arc: cloning is O(1). Value is parameterized by the source’s lifetime: names and function AST bodies are zero-copy.

Structs

DenyFs

D1 default: no I/O without explicit grants.

Interpreter

MemFs

Options

RealFs

--allow-read=<paths>: canonicalization + prefix check (E0311).

RecordingFs

Dry-run wrapper (SPEC §6.3): reads are performed but recorded into a report.

Enums

EnvCap

Capability for reading environment variables (D1): denied by default.

FileError

Traits

FileAccess

File access behind a trait: the VFS builds on this, dry-run wraps it in RecordingFs.