Module eval 

Evaluator — topological evaluation of the IR

• Cycle detection
• Topological order
• Full string interpolation
• Unit normalization (time → ms, bytes → raw bytes)
• Secret redaction / taint
• Basic arithmetic and logic

Structs

Budget

Runtime resource limits enforced by the evaluator accountant (spec/budgets.md §2, C-037). Every field 0 means unlimited — the embedder accepts the risk explicitly.

Engine

IncrementalMemo

Memo store for incremental evaluation (C-055, spec/performance.md §2): fingerprint → evaluated value plus the diagnostics produced while evaluating it. Reused across evaluate_incremental calls. Telemetry (last_*) refreshes every call. The store is bounded (see the cap in evaluate_incremental): clearing it only loses hits, never correctness.

Enums

BudgetKind

Which budget tripped (C-037). Display strings name the budget; the error message adds the configured limit.

EvalError