Expand description
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
0means unlimited — the embedder accepts the risk explicitly. - Engine
- Incremental
Memo - Memo store for incremental evaluation (C-055, spec/performance.md
§2): fingerprint → evaluated value plus the diagnostics produced
while evaluating it. Reused across
evaluate_incrementalcalls. Telemetry (last_*) refreshes every call. The store is bounded (see the cap inevaluate_incremental): clearing it only loses hits, never correctness.
Enums§
- Budget
Kind - Which budget tripped (C-037). Display strings name the budget; the error message adds the configured limit.
- Eval
Error
Type Aliases§
- EnvLookup
- Host-provided environment lookup (F-016): consulted on map miss before
defaults apply. Mirrors the map-hit charging exactly (bytes as delta),
so lazy host values cost what eager values cost.
Nonepreserves all legacy behavior (map, then default, then null).