@opencode/codemode 0.0.0-beta-19296 → 0.0.0-beta-19378

package/dist/interpreter/runtime.js

@@ -1,35 +1,23 @@
 import { Cause, Deferred, Effect, Exit } from "effect";
-import { isBlockedMember, ToolReference, ToolRuntimeError } from "../tool-runtime.js";
-import { AsyncIteratorSymbol, asNode, CodeModeFunction, CodeModeGenerator, CoercionFunction, ComputedValue, ErrorConstructorReference, GlobalMethodReference, GlobalNamespace, GeneratorMethodReference, GeneratorReturn, getArray, getBoolean, getNode, getOptionalNode, getString, IntrinsicReference, InterpreterRuntimeError, isRecord, IteratorSymbol, IteratorSymbols, JsonMethodReference, OptionalShortCircuit, PromiseCapabilityFunction, PromiseInstanceMethodReference, PromiseMethodReference, PromiseNamespace, ProgramThrow, SearchFunction, SymbolNamespace, unsupportedSyntax, UriFunction, } from "./model.js";
-import { caughtErrorValue, constructAggregateErrorValue, constructErrorValue } from "./errors.js";
-import { arrayStatics, invokeArrayFrom, invokeGlobalMethod, invokeGroupBy, invokeIntrinsic, } from "./methods.js";
-import { preserveConsumerError } from "./iterator.js";
-import { constructPromise, invokePromiseInstanceMethod, invokePromiseMethod, PromiseRuntime, resolvePromise, resolvePromiseValue, } from "./promises.js";
+import { isBlockedMember, ToolRuntimeError, toProgram } from "../data.js";
+import { ToolReference } from "../tool-runtime.js";
+import { AsyncIteratorSymbol, CodeModeFunction, CodeModeGenerator, ComputedValue, GeneratorMethodReference, GeneratorReturn, IntrinsicReference, InterpreterRuntimeError, isRecord, IteratorSymbol, IteratorSymbols, OptionalShortCircuit, PromiseInstanceMethodReference, ProgramThrow, unsupportedSyntax, } from "./model.js";
+import { caughtErrorValue } from "./errors.js";
+import { globals } from "./globals.js";
+import { HostFunction, HostNamespace } from "./host.js";
+import { invokeIntrinsic } from "./methods.js";
+import { preserveConsumerError } from "./runner.js";
+import { invokePromiseInstanceMethod, PromiseRuntime, resolvePromise, resolvePromiseValue } from "./promises.js";
 import { containsOpaqueReference, isRuntimeReference, rejectCircularInsertion, typeofValue } from "./references.js";
 import { ScopeStack } from "./scope.js";
-import { arrayMethods, mapMethods, mapStatics, setMethods } from "../stdlib/collections.js";
-import { consoleMethods, formatConsoleMessage } from "../stdlib/console.js";
-import { dateMethods, dateStatics } from "../stdlib/date.js";
-import { invokeJsonMethod, jsonStatics } from "../stdlib/json.js";
-import { invokeMathSumPrecise, mathConstants, mathMethods } from "../stdlib/math.js";
-import { numberConstants, numberMethods, numberStatics } from "../stdlib/number.js";
-import { invokeObjectFromEntries, objectMethodsPreservingIdentity, objectStatics } from "../stdlib/object.js";
-import { promiseStatics } from "../stdlib/promise.js";
-import { escapeRegexHint, regexpMethods, regexpProperties, regexpStatics, regexFailureReason, } from "../stdlib/regexp.js";
-import { stringMethods, stringStatics } from "../stdlib/string.js";
-import { urlMethods, urlProperties, urlSearchParamsMethods, urlStatics, urlWritableProperties, invokeUriFunction, uriArgument, urlArgument, } from "../stdlib/url.js";
-import { boundedData, coerceToNumber, coerceToString, compoundOperators, errorBrandName, errorConstructors, invokeCoercion, valueConstructors, } from "../stdlib/value.js";
-import { isCodeModeValue, CodeModeDate, CodeModeMap, CodeModePromise, CodeModeRegExp, CodeModeSet, CodeModeURL, CodeModeURLSearchParams, } from "../values.js";
-const globalStaticMembers = {
-    Object: objectStatics,
-    Math: mathMethods,
-    Array: arrayStatics,
-    console: consoleMethods,
-    Date: dateStatics,
-    RegExp: regexpStatics,
-    Map: mapStatics,
-    URL: urlStatics,
-};
+import { arrayMethods, mapMethods, setMethods } from "../stdlib/collections.js";
+import { dateMethods } from "../stdlib/date.js";
+import { numberMethods } from "../stdlib/number.js";
+import { constructRegExp, regexpMethods, regexpProperties } from "../stdlib/regexp.js";
+import { stringMethods } from "../stdlib/string.js";
+import { uriArgument, urlMethods, urlProperties, urlSearchParamsMethods, urlWritableProperties } from "../stdlib/url.js";
+import { coerceToNumber, coerceToString, compoundOperators } from "../stdlib/value.js";
+import { Values } from "../values.js";
 const MAX_ARRAY_LENGTH = 4_294_967_295;
 const parseArrayIndex = (key) => {
     const property = String(key);
@@ -39,74 +27,46 @@ const parseArrayIndex = (key) => {
     return index < MAX_ARRAY_LENGTH ? index : undefined;
 };
 const calleeDescription = (callee) => {
-    if (callee.type === "Identifier")
-        return getString(callee, "name");
-    if (callee.type === "MemberExpression") {
-        const object = getNode(callee, "object");
-        const property = getNode(callee, "property");
-        const key = callee.computed !== true && property.type === "Identifier"
-            ? getString(property, "name")
+    if (callee?.type === "Identifier")
+        return callee.name;
+    if (callee?.type === "MemberExpression") {
+        const object = callee.object;
+        const property = callee.property;
+        const key = !callee.computed && property.type === "Identifier"
+            ? property.name
             : property.type === "Literal" && typeof property.value === "string"
                 ? property.value
                 : undefined;
         if (object.type === "Identifier" && key !== undefined)
-            return `${getString(object, "name")}.${key}`;
+            return `${object.name}.${key}`;
     }
     return "The called value";
 };
 const instanceofValue = (lhs, rhs, node) => {
-    if (rhs instanceof ErrorConstructorReference) {
-        const brand = errorBrandName(lhs);
-        return brand !== undefined && (rhs.name === "Error" || brand === rhs.name);
-    }
-    if (rhs instanceof GlobalNamespace) {
-        switch (rhs.name) {
-            case "Date":
-                return lhs instanceof CodeModeDate;
-            case "RegExp":
-                return lhs instanceof CodeModeRegExp;
-            case "Map":
-                return lhs instanceof CodeModeMap;
-            case "Set":
-                return lhs instanceof CodeModeSet;
-            case "URL":
-                return lhs instanceof CodeModeURL;
-            case "URLSearchParams":
-                return lhs instanceof CodeModeURLSearchParams;
-            case "Array":
-                return Array.isArray(lhs);
-            case "Object":
-                return lhs !== null && (typeof lhs === "object" || typeofValue(lhs) === "function");
-        }
-    }
-    if (rhs instanceof PromiseNamespace)
-        return lhs instanceof CodeModePromise;
-    if (rhs instanceof CoercionFunction && (rhs.name === "Number" || rhs.name === "String" || rhs.name === "Boolean")) {
-        return false;
-    }
+    if (rhs instanceof HostFunction && rhs.instanceOf !== undefined)
+        return rhs.instanceOf(lhs);
     throw new InterpreterRuntimeError("The right-hand side of 'instanceof' must be a supported constructor: Error (or a specific error type like TypeError), Date, RegExp, Map, Set, URL, URLSearchParams, Array, Object, or Promise.", node);
 };
 const collectPatternNames = (pattern, out = []) => {
     switch (pattern.type) {
         case "Identifier":
-            out.push(getString(pattern, "name"));
+            out.push(pattern.name);
             break;
         case "AssignmentPattern":
-            collectPatternNames(getNode(pattern, "left"), out);
+            collectPatternNames(pattern.left, out);
             break;
         case "RestElement":
-            collectPatternNames(getNode(pattern, "argument"), out);
+            collectPatternNames(pattern.argument, out);
             break;
         case "ArrayPattern":
-            for (const element of getArray(pattern, "elements")) {
+            for (const element of pattern.elements) {
                 if (element !== null)
-                    collectPatternNames(asNode(element, "elements"), out);
+                    collectPatternNames(element, out);
             }
             break;
         case "ObjectPattern":
-            for (const property of getArray(pattern, "properties")) {
-                const prop = asNode(property, "properties");
-                collectPatternNames(prop.type === "RestElement" ? getNode(prop, "argument") : getNode(prop, "value"), out);
+            for (const prop of pattern.properties) {
+                collectPatternNames(prop.type === "RestElement" ? prop.argument : prop.value, out);
             }
             break;
     }
@@ -115,23 +75,20 @@ const collectPatternNames = (pattern, out = []) => {
 const loopDeclaration = (left, statement) => {
     if (left.type !== "VariableDeclaration")
         return undefined;
-    const declarations = getArray(left, "declarations");
-    if (declarations.length !== 1) {
+    const declaration = left.declarations.length === 1 ? left.declarations[0] : undefined;
+    if (declaration === undefined) {
         throw new InterpreterRuntimeError(`${statement} supports one declared binding.`, left);
     }
-    const kind = getString(left, "kind");
+    const kind = left.kind;
     return {
-        pattern: getNode(asNode(declarations[0], "declarations[0]"), "id"),
+        pattern: declaration.id,
         mutable: kind !== "const",
         lexical: kind !== "var",
     };
 };
 const isOpaqueMemberReference = (value) => value instanceof ToolReference ||
-    value instanceof PromiseMethodReference ||
     value instanceof PromiseInstanceMethodReference ||
     value instanceof IntrinsicReference ||
-    value instanceof GlobalMethodReference ||
-    value instanceof JsonMethodReference ||
     value instanceof GeneratorMethodReference;
 const copyIteratorSymbols = (source, target, consumed) => {
     for (const symbol of IteratorSymbols) {
@@ -139,62 +96,47 @@ const copyIteratorSymbols = (source, target, consumed) => {
             Reflect.set(target, symbol, Reflect.get(source, symbol));
     }
 };
-const promiseResolutionNode = { type: "PromiseResolution" };
-export class Interpreter {
-    scopes;
+const promiseResolutionNode = { type: "PromiseResolution", start: 0, end: 0 };
+/** One program execution: the tool bridge, promise scheduler, captured logs, and the global scope built once. */
+export class Runtime {
     executeTool;
-    invokeSearch;
+    search;
     toolKeys;
-    logs;
     promises;
-    generatorState;
-    generatorAsync = false;
-    runner = {
-        invokeFunction: (fn, args) => this.invokeFunction(fn, args),
-        invokeCallable: (callable, args, node) => this.invokeCallable(callable, args, node),
-        settlePromise: (promise) => this.settlePromise(promise),
-        syncIterator: (value, node) => this.syncIterator(value, node),
-    };
-    constructor(executeTool, invokeSearch, toolKeys, promises, logs = []) {
-        const globalScope = new Map();
-        this.scopes = new ScopeStack([globalScope]);
+    logs;
+    runner;
+    root;
+    constructor(executeTool, search, toolKeys, promises, logs = []) {
         this.executeTool = executeTool;
-        this.invokeSearch = invokeSearch;
+        this.search = search;
         this.toolKeys = toolKeys;
-        this.logs = logs;
         this.promises = promises;
-        globalScope.set("tools", { mutable: false, value: new ToolReference([]) });
-        globalScope.set("search", { mutable: false, value: new SearchFunction() });
-        globalScope.set("Promise", { mutable: false, value: new PromiseNamespace() });
-        globalScope.set("Symbol", { mutable: false, value: new SymbolNamespace() });
-        globalScope.set("undefined", { mutable: false, value: undefined });
-        globalScope.set("Object", { mutable: false, value: new GlobalNamespace("Object") });
-        globalScope.set("Math", { mutable: false, value: new GlobalNamespace("Math") });
-        globalScope.set("JSON", { mutable: false, value: new GlobalNamespace("JSON") });
-        globalScope.set("Number", { mutable: false, value: new CoercionFunction("Number") });
-        globalScope.set("String", { mutable: false, value: new CoercionFunction("String") });
-        globalScope.set("Boolean", { mutable: false, value: new CoercionFunction("Boolean") });
-        globalScope.set("Array", { mutable: false, value: new GlobalNamespace("Array") });
-        globalScope.set("console", { mutable: false, value: new GlobalNamespace("console") });
-        globalScope.set("parseInt", { mutable: false, value: new CoercionFunction("parseInt") });
-        globalScope.set("parseFloat", { mutable: false, value: new CoercionFunction("parseFloat") });
-        globalScope.set("isFinite", { mutable: false, value: new CoercionFunction("isFinite") });
-        globalScope.set("isNaN", { mutable: false, value: new CoercionFunction("isNaN") });
-        globalScope.set("Date", { mutable: false, value: new GlobalNamespace("Date") });
-        globalScope.set("RegExp", { mutable: false, value: new GlobalNamespace("RegExp") });
-        globalScope.set("Map", { mutable: false, value: new GlobalNamespace("Map") });
-        globalScope.set("Set", { mutable: false, value: new GlobalNamespace("Set") });
-        globalScope.set("URL", { mutable: false, value: new GlobalNamespace("URL") });
-        globalScope.set("URLSearchParams", { mutable: false, value: new GlobalNamespace("URLSearchParams") });
-        globalScope.set("encodeURI", { mutable: false, value: new UriFunction("encodeURI") });
-        globalScope.set("encodeURIComponent", { mutable: false, value: new UriFunction("encodeURIComponent") });
-        globalScope.set("decodeURI", { mutable: false, value: new UriFunction("decodeURI") });
-        globalScope.set("decodeURIComponent", { mutable: false, value: new UriFunction("decodeURIComponent") });
-        for (const name of errorConstructors) {
-            globalScope.set(name, { mutable: false, value: new ErrorConstructorReference(name) });
-        }
-        globalScope.set("NaN", { mutable: false, value: NaN });
-        globalScope.set("Infinity", { mutable: false, value: Infinity });
+        this.logs = logs;
+        const globalScope = new Map();
+        // Calling back into the program never reads frame state, so any frame serves; the root is always alive.
+        this.root = new Frame(this, new ScopeStack([globalScope]));
+        this.runner = {
+            invokeFunction: (fn, args) => this.root.invokeFunction(fn, args),
+            invokeCallable: (callable, args, node) => this.root.invokeCallable(callable, args, node),
+            settlePromise: (promise) => this.root.settlePromise(promise),
+            syncIterator: (value, node) => this.root.syncIterator(value, node),
+        };
+        for (const [name, value] of globals(this))
+            globalScope.set(name, { mutable: false, value });
+    }
+    run(program) {
+        return this.root.run(program);
+    }
+}
+/** One activation: the top-level program or a single function call, evaluating against its own scope chain. */
+class Frame {
+    runtime;
+    scopes;
+    generatorState;
+    generatorAsync = false;
+    constructor(runtime, scopes) {
+        this.runtime = runtime;
+        this.scopes = scopes;
     }
     run(program) {
         const self = this;
@@ -206,7 +148,7 @@ export class Interpreter {
             let value = undefined;
             for (const [index, statement] of program.body.entries()) {
                 if (index === program.body.length - 1 && statement.type === "ExpressionStatement") {
-                    value = yield* self.evaluateExpression(getNode(statement, "expression"));
+                    value = yield* self.evaluateExpression(statement.expression);
                     break;
                 }
                 const result = yield* self.evaluateStatement(statement);
@@ -219,20 +161,20 @@ export class Interpreter {
                 }
             }
             // The implicit async body adopts returned promises before copy-out.
-            value = yield* resolvePromiseValue(self.runner, value, program);
+            value = yield* resolvePromiseValue(self.runtime.runner, value, program);
             return value;
         }).pipe(Effect.ensuring(Effect.sync(() => self.scopes.pop())));
     }
     // Fork at the call site so admission and hooks occur when the call is made.
     createToolCallPromise(path, args) {
-        return this.createPromise(Effect.suspend(() => this.executeTool(path, args)));
+        return this.createPromise(Effect.suspend(() => this.runtime.executeTool(path, args)));
     }
     createPromise(effect) {
-        return this.promises.create(effect);
+        return this.runtime.promises.create(effect);
     }
     // Fiber exits make settlement idempotent; yielding prevents inline continuation.
     settlePromise(promise) {
-        const promises = this.promises;
+        const promises = this.runtime.promises;
         return Effect.suspend(() => {
             promises.markObserved(promise);
             return Effect.flatMap(promises.await(promise), (exit) => Effect.andThen(Effect.yieldNow, exit));
@@ -241,11 +183,11 @@ export class Interpreter {
     evaluateStatement(node) {
         switch (node.type) {
             case "ExpressionStatement":
-                return Effect.as(this.evaluateExpression(getNode(node, "expression")), { kind: "none" });
+                return Effect.as(this.evaluateExpression(node.expression), { kind: "none" });
             case "VariableDeclaration":
                 return Effect.map(this.evaluateVariableDeclaration(node), () => ({ kind: "none" }));
             case "ReturnStatement": {
-                const argumentNode = getOptionalNode(node, "argument");
+                const argumentNode = node.argument;
                 return argumentNode
                     ? Effect.map(this.evaluateExpression(argumentNode), (value) => ({ kind: "return", value }))
                     : Effect.succeed({ kind: "return", value: undefined });
@@ -288,11 +230,10 @@ export class Interpreter {
         this.scopes.push();
         const self = this;
         return Effect.gen(function* () {
-            const body = getArray(node, "body");
+            const body = node.body;
             self.predeclareLexical(body);
             self.hoistFunctions(body);
-            for (const statementValue of body) {
-                const statement = asNode(statementValue, "body");
+            for (const statement of body) {
                 const result = yield* self.evaluateStatement(statement);
                 if (result.kind !== "none") {
                     return result;
@@ -302,27 +243,24 @@ export class Interpreter {
         }).pipe(Effect.ensuring(Effect.sync(() => self.scopes.pop())));
     }
     createFunction(node) {
-        return new CodeModeFunction(getArray(node, "params").map((parameter, index) => asNode(parameter, `params[${index}]`)), getNode(node, "body"), this.scopes.capture(), node.async === true, node.generator === true);
+        return new CodeModeFunction(node.params, node.body, this.scopes.capture(), node.async, node.generator);
     }
     hoistFunctions(statements) {
-        for (const statementValue of statements) {
-            if (!isRecord(statementValue) || statementValue.type !== "FunctionDeclaration")
+        for (const node of statements) {
+            if (node.type !== "FunctionDeclaration")
                 continue;
-            const node = statementValue;
-            this.scopes.declare(getString(getNode(node, "id"), "name"), this.createFunction(node), true, node);
+            this.scopes.declare(node.id.name, this.createFunction(node), true, node);
         }
     }
     predeclareLexical(statements) {
-        for (const statementValue of statements) {
-            if (!isRecord(statementValue) || statementValue.type !== "VariableDeclaration")
+        for (const statement of statements) {
+            if (statement.type !== "VariableDeclaration")
                 continue;
-            const statement = statementValue;
-            const kind = getString(statement, "kind");
+            const kind = statement.kind;
             if (kind === "var")
                 continue;
-            for (const declarationValue of getArray(statement, "declarations")) {
-                const declaration = asNode(declarationValue, "declarations");
-                for (const name of collectPatternNames(getNode(declaration, "id"))) {
+            for (const declaration of statement.declarations) {
+                for (const name of collectPatternNames(declaration.id)) {
                     this.scopes.reserve(name, kind !== "const", declaration);
                 }
             }
@@ -333,30 +271,27 @@ export class Interpreter {
             this.scopes.reserve(name, mutable, node);
     }
     evaluateIfStatement(node) {
-        const testNode = getNode(node, "test");
-        const consequentNode = getNode(node, "consequent");
-        const alternateNode = getOptionalNode(node, "alternate");
-        return Effect.flatMap(this.evaluateExpression(testNode), (test) => test
-            ? this.evaluateStatement(consequentNode)
-            : alternateNode
-                ? this.evaluateStatement(alternateNode)
+        return Effect.flatMap(this.evaluateExpression(node.test), (test) => test
+            ? this.evaluateStatement(node.consequent)
+            : node.alternate
+                ? this.evaluateStatement(node.alternate)
                 : Effect.succeed({ kind: "none" }));
     }
     evaluateSwitchStatement(node) {
         const self = this;
         return Effect.gen(function* () {
-            const discriminant = yield* self.evaluateExpression(getNode(node, "discriminant"));
+            const discriminant = yield* self.evaluateExpression(node.discriminant);
             if (containsOpaqueReference(discriminant)) {
                 throw new InterpreterRuntimeError("Switch discriminants must be data values.", node, "InvalidDataValue");
             }
             self.scopes.push();
             return yield* Effect.gen(function* () {
-                const cases = getArray(node, "cases").map((value, index) => asNode(value, `cases[${index}]`));
-                self.predeclareLexical(cases.flatMap((branch) => getArray(branch, "consequent")));
+                const cases = node.cases;
+                self.predeclareLexical(cases.flatMap((branch) => branch.consequent));
                 let defaultIndex;
                 let selected;
                 for (const [index, branch] of cases.entries()) {
-                    const test = getOptionalNode(branch, "test");
+                    const test = branch.test;
                     if (!test) {
                         defaultIndex = index;
                         continue;
@@ -374,8 +309,8 @@ export class Interpreter {
                 if (start === undefined)
                     return { kind: "none" };
                 for (let index = start; index < cases.length; index += 1) {
-                    for (const statementValue of getArray(cases[index], "consequent")) {
-                        const result = yield* self.evaluateStatement(asNode(statementValue, "consequent"));
+                    for (const statement of cases[index].consequent) {
+                        const result = yield* self.evaluateStatement(statement);
                         if (result.kind === "break") {
                             if (result.label === undefined)
                                 return { kind: "none" };
@@ -390,12 +325,10 @@ export class Interpreter {
         });
     }
     evaluateWhileStatement(node, labels) {
-        const testNode = getNode(node, "test");
-        const bodyNode = getNode(node, "body");
         const self = this;
         return Effect.gen(function* () {
-            while (yield* self.evaluateExpression(testNode)) {
-                const result = yield* self.evaluateStatement(bodyNode);
+            while (yield* self.evaluateExpression(node.test)) {
+                const result = yield* self.evaluateStatement(node.body);
                 if (result.kind === "continue") {
                     if (result.label !== undefined && !labels?.has(result.label))
                         return result;
@@ -414,12 +347,10 @@ export class Interpreter {
         });
     }
     evaluateDoWhileStatement(node, labels) {
-        const bodyNode = getNode(node, "body");
-        const testNode = getNode(node, "test");
         const self = this;
         return Effect.gen(function* () {
             do {
-                const result = yield* self.evaluateStatement(bodyNode);
+                const result = yield* self.evaluateStatement(node.body);
                 if (result.kind === "continue") {
                     if (result.label !== undefined && !labels?.has(result.label))
                         return result;
@@ -433,7 +364,7 @@ export class Interpreter {
                 if (result.kind === "return") {
                     return result;
                 }
-            } while (yield* self.evaluateExpression(testNode));
+            } while (yield* self.evaluateExpression(node.test));
             return { kind: "none" };
         });
     }
@@ -441,11 +372,10 @@ export class Interpreter {
         this.scopes.push();
         const self = this;
         return Effect.gen(function* () {
-            const initNode = getOptionalNode(node, "init");
-            const testNode = getOptionalNode(node, "test");
-            const updateNode = getOptionalNode(node, "update");
-            const bodyNode = getNode(node, "body");
-            if (initNode?.type === "VariableDeclaration" && getString(initNode, "kind") !== "var") {
+            const initNode = node.init;
+            const testNode = node.test;
+            const updateNode = node.update;
+            if (initNode?.type === "VariableDeclaration" && initNode.kind !== "var") {
                 self.predeclareLexical([initNode]);
             }
             if (initNode) {
@@ -456,7 +386,7 @@ export class Interpreter {
                     yield* self.evaluateExpression(initNode);
                 }
             }
-            const perIterationBindings = initNode?.type === "VariableDeclaration" && getString(initNode, "kind") !== "var"
+            const perIterationBindings = initNode?.type === "VariableDeclaration" && initNode.kind !== "var"
                 ? Array.from(self.scopes.current().keys())
                 : [];
             const nextIteration = () => {
@@ -468,7 +398,7 @@ export class Interpreter {
             };
             nextIteration();
             while (testNode ? yield* self.evaluateExpression(testNode) : true) {
-                const result = yield* self.evaluateStatement(bodyNode);
+                const result = yield* self.evaluateStatement(node.body);
                 if (result.kind === "return") {
                     return result;
                 }
@@ -491,8 +421,8 @@ export class Interpreter {
         }).pipe(Effect.ensuring(Effect.sync(() => self.scopes.pop())));
     }
     evaluateForOfStatement(node, labels) {
-        const awaiting = getBoolean(node, "await");
-        const left = getNode(node, "left");
+        const awaiting = node.await;
+        const left = node.left;
         const declared = loopDeclaration(left, "for...of");
         if (declared?.lexical)
             this.scopes.push();
@@ -500,8 +430,7 @@ export class Interpreter {
         return Effect.gen(function* () {
             if (declared?.lexical)
                 self.predeclarePattern(declared.pattern, declared.mutable, left);
-            const right = yield* self.evaluateExpression(getNode(node, "right"));
-            const body = getNode(node, "body");
+            const right = yield* self.evaluateExpression(node.right);
             const iterator = yield* self.customIterator(right, node, awaiting);
             const cursor = iterator === undefined ? yield* self.syncIterator(right, node) : undefined;
             if (iterator === undefined && cursor === undefined) {
@@ -512,17 +441,10 @@ export class Interpreter {
                 : awaiting
                     ? Effect.andThen(cursor?.close ?? Effect.void, Effect.yieldNow)
                     : (cursor?.close ?? Effect.void);
-            let assignment;
-            if (left.type !== "VariableDeclaration" &&
-                (left.type === "Identifier" ||
-                    left.type === "MemberExpression" ||
-                    left.type === "ArrayPattern" ||
-                    left.type === "ObjectPattern")) {
-                assignment = left;
-            }
-            else if (left.type !== "VariableDeclaration") {
+            if (left.type === "RestElement" || left.type === "AssignmentPattern") {
                 throw new InterpreterRuntimeError("Unsupported for...of binding.", left);
             }
+            const assignment = left.type === "VariableDeclaration" ? undefined : left;
             const evaluateBody = (value) => Effect.gen(function* () {
                 if (declared) {
                     self.scopes.push();
@@ -533,7 +455,7 @@ export class Interpreter {
                 else if (assignment) {
                     yield* self.assignPattern(assignment, value, left);
                 }
-                return yield* self.evaluateStatement(body);
+                return yield* self.evaluateStatement(node.body);
             }).pipe(Effect.ensuring(Effect.sync(() => {
                 if (declared)
                     self.scopes.pop();
@@ -575,7 +497,7 @@ export class Interpreter {
         })));
     }
     awaitValue(value, node = promiseResolutionNode) {
-        return Effect.flatMap(resolvePromise(this.runner, this.promises, value, node), (promise) => this.settlePromise(promise));
+        return Effect.flatMap(resolvePromise(this.runtime.runner, this.runtime.promises, value, node), (promise) => this.settlePromise(promise));
     }
     awaitAsyncFromSyncValue(iterator, value, node, closeOnRejection) {
         const self = this;
@@ -594,11 +516,11 @@ export class Interpreter {
             ? value[Symbol.iterator]()
             : typeof value === "string"
                 ? value[Symbol.iterator]()
-                : value instanceof CodeModeMap
+                : value instanceof Values.Map
                     ? value.map.entries()
-                    : value instanceof CodeModeSet
+                    : value instanceof Values.Set
                         ? value.set.values()
-                        : value instanceof CodeModeURLSearchParams
+                        : value instanceof Values.URLSearchParams
                             ? value.params.entries()
                             : undefined;
         if (iterator !== undefined) {
@@ -722,7 +644,7 @@ export class Interpreter {
     }
     enumerableKeys(value) {
         if (value instanceof ToolReference) {
-            return [...this.toolKeys(value.path)];
+            return [...this.runtime.toolKeys(value.path)];
         }
         if (Array.isArray(value)) {
             return Object.keys(value);
@@ -733,7 +655,7 @@ export class Interpreter {
         return undefined;
     }
     evaluateForInStatement(node, labels) {
-        const left = getNode(node, "left");
+        const left = node.left;
         const declared = loopDeclaration(left, "for...in");
         if (declared?.lexical)
             this.scopes.push();
@@ -741,19 +663,15 @@ export class Interpreter {
         return Effect.gen(function* () {
             if (declared?.lexical)
                 self.predeclarePattern(declared.pattern, declared.mutable, left);
-            const right = yield* self.evaluateExpression(getNode(node, "right"));
-            const body = getNode(node, "body");
+            const right = yield* self.evaluateExpression(node.right);
             const keys = self.enumerableKeys(right);
             if (keys === undefined) {
                 throw new InterpreterRuntimeError("for...in requires a plain object, array, or tools reference. Use for...of for arrays/strings/Maps/Sets, or Object.keys(value) for a key list.", node);
             }
-            let assignmentName;
-            if (left.type === "Identifier") {
-                assignmentName = getString(left, "name");
-            }
-            else if (left.type !== "VariableDeclaration") {
+            if (left.type !== "Identifier" && left.type !== "VariableDeclaration") {
                 throw new InterpreterRuntimeError("Unsupported for...in binding.", left);
             }
+            const assignmentName = left.type === "Identifier" ? left.name : undefined;
             for (const key of keys) {
                 const result = yield* Effect.gen(function* () {
                     if (declared) {
@@ -765,7 +683,7 @@ export class Interpreter {
                     else if (assignmentName) {
                         self.scopes.set(assignmentName, key, left);
                     }
-                    return yield* self.evaluateStatement(body);
+                    return yield* self.evaluateStatement(node.body);
                 }).pipe(Effect.ensuring(Effect.sync(() => {
                     if (declared)
                         self.scopes.pop();
@@ -791,19 +709,17 @@ export class Interpreter {
         })));
     }
     evaluateBreakStatement(node) {
-        const labelNode = getOptionalNode(node, "label");
-        return labelNode ? { kind: "break", label: getString(labelNode, "name") } : { kind: "break" };
+        return node.label ? { kind: "break", label: node.label.name } : { kind: "break" };
     }
     evaluateContinueStatement(node) {
-        const labelNode = getOptionalNode(node, "label");
-        return labelNode ? { kind: "continue", label: getString(labelNode, "name") } : { kind: "continue" };
+        return node.label ? { kind: "continue", label: node.label.name } : { kind: "continue" };
     }
     evaluateLabeledStatement(node) {
         const labels = new Set();
         let body = node;
         while (body.type === "LabeledStatement") {
-            labels.add(getString(getNode(body, "label"), "name"));
-            body = getNode(body, "body");
+            labels.add(body.label.name);
+            body = body.body;
         }
         const evaluated = (() => {
             if (body.type === "WhileStatement")
@@ -823,13 +739,12 @@ export class Interpreter {
             : result);
     }
     evaluateThrowStatement(node) {
-        const argument = getNode(node, "argument");
-        return Effect.flatMap(this.evaluateExpression(argument), (value) => Effect.fail(new ProgramThrow(value)));
+        return Effect.flatMap(this.evaluateExpression(node.argument), (value) => Effect.fail(new ProgramThrow(value)));
     }
     evaluateTryStatement(node) {
-        const body = getNode(node, "block");
-        const handler = getOptionalNode(node, "handler");
-        const finalizer = getOptionalNode(node, "finalizer");
+        const body = node.block;
+        const handler = node.handler;
+        const finalizer = node.finalizer;
         const self = this;
         const attempted = Effect.matchCauseEffect(this.evaluateStatement(body), {
             onFailure: (cause) => {
@@ -837,12 +752,12 @@ export class Interpreter {
                     return Effect.failCause(cause);
                 }
                 const caught = caughtErrorValue(Cause.squash(cause));
-                const parameter = getOptionalNode(handler, "param");
+                const parameter = handler.param;
                 self.scopes.push();
                 return Effect.gen(function* () {
                     if (parameter)
                         yield* self.declarePattern(parameter, caught, true, handler);
-                    return yield* self.evaluateStatement(getNode(handler, "body"));
+                    return yield* self.evaluateStatement(handler.body);
                 }).pipe(Effect.ensuring(Effect.sync(() => self.scopes.pop())));
             },
             onSuccess: Effect.succeed,
@@ -858,18 +773,16 @@ export class Interpreter {
         });
     }
     evaluateVariableDeclaration(node) {
-        const kind = getString(node, "kind");
-        const declarations = getArray(node, "declarations");
+        const kind = node.kind;
         const self = this;
         return Effect.gen(function* () {
-            for (const declarationValue of declarations) {
-                const declaration = asNode(declarationValue, "declarations");
+            for (const declaration of node.declarations) {
                 if (declaration.type !== "VariableDeclarator") {
                     throw new InterpreterRuntimeError("Unsupported variable declaration shape.", declaration);
                 }
-                const init = getOptionalNode(declaration, "init");
+                const init = declaration.init;
                 const value = init ? yield* self.evaluateExpression(init) : undefined;
-                yield* self.declarePattern(getNode(declaration, "id"), value, kind !== "const", declaration, kind !== "var");
+                yield* self.declarePattern(declaration.id, value, kind !== "const", declaration, kind !== "var");
             }
         });
     }
@@ -877,7 +790,7 @@ export class Interpreter {
         const self = this;
         return Effect.gen(function* () {
             if (pattern.type === "Identifier") {
-                const name = getString(pattern, "name");
+                const name = pattern.name;
                 if (initialize)
                     self.scopes.initialize(name, value, node);
                 else
@@ -885,8 +798,8 @@ export class Interpreter {
                 return;
             }
             if (pattern.type === "AssignmentPattern") {
-                const resolved = value === undefined ? yield* self.evaluateExpression(getNode(pattern, "right")) : value;
-                yield* self.declarePattern(getNode(pattern, "left"), resolved, mutable, node, initialize);
+                const resolved = value === undefined ? yield* self.evaluateExpression(pattern.right) : value;
+                yield* self.declarePattern(pattern.left, resolved, mutable, node, initialize);
                 return;
             }
             if (pattern.type === "ObjectPattern") {
@@ -894,8 +807,7 @@ export class Interpreter {
                     throw new InterpreterRuntimeError("Object destructuring requires a data object or array value.", pattern, "InvalidDataValue");
                 }
                 const consumed = new Set();
-                for (const propertyValue of getArray(pattern, "properties")) {
-                    const property = asNode(propertyValue, "properties");
+                for (const property of pattern.properties) {
                     if (property.type === "RestElement") {
                         const rest = Object.create(null);
                         for (const [key, item] of Object.entries(value)) {
@@ -903,7 +815,7 @@ export class Interpreter {
                                 rest[key] = item;
                         }
                         copyIteratorSymbols(value, rest, consumed);
-                        yield* self.declarePattern(getNode(property, "argument"), rest, mutable, property, initialize);
+                        yield* self.declarePattern(property.argument, rest, mutable, property, initialize);
                         continue;
                     }
                     const key = yield* self.destructuringPropertyKey(property);
@@ -911,7 +823,7 @@ export class Interpreter {
                         throw new InterpreterRuntimeError(`Property '${String(key)}' is not available.`, property);
                     }
                     consumed.add(typeof key === "symbol" ? key : String(key));
-                    yield* self.declarePattern(getNode(property, "value"), self.destructuringPropertyValue(value, key), mutable, property, initialize);
+                    yield* self.declarePattern(property.value, self.destructuringPropertyValue(value, key), mutable, property, initialize);
                 }
                 return;
             }
@@ -925,7 +837,7 @@ export class Interpreter {
         const self = this;
         return Effect.gen(function* () {
             if (pattern.type === "Identifier") {
-                self.scopes.set(getString(pattern, "name"), value, pattern);
+                self.scopes.set(pattern.name, value, pattern);
                 return;
             }
             if (pattern.type === "MemberExpression") {
@@ -933,8 +845,8 @@ export class Interpreter {
                 return;
             }
             if (pattern.type === "AssignmentPattern") {
-                const resolved = value === undefined ? yield* self.evaluateExpression(getNode(pattern, "right")) : value;
-                yield* self.assignPattern(getNode(pattern, "left"), resolved, node);
+                const resolved = value === undefined ? yield* self.evaluateExpression(pattern.right) : value;
+                yield* self.assignPattern(pattern.left, resolved, node);
                 return;
             }
             if (pattern.type === "ObjectPattern") {
@@ -943,8 +855,7 @@ export class Interpreter {
                 }
                 const source = value;
                 const consumed = new Set();
-                for (const propertyValue of getArray(pattern, "properties")) {
-                    const property = asNode(propertyValue, "properties");
+                for (const property of pattern.properties) {
                     if (property.type === "RestElement") {
                         const rest = Object.create(null);
                         for (const [key, item] of Object.entries(source)) {
@@ -952,7 +863,7 @@ export class Interpreter {
                                 rest[key] = item;
                         }
                         copyIteratorSymbols(source, rest, consumed);
-                        yield* self.assignPattern(getNode(property, "argument"), rest, property);
+                        yield* self.assignPattern(property.argument, rest, property);
                         continue;
                     }
                     const key = yield* self.destructuringPropertyKey(property);
@@ -960,7 +871,7 @@ export class Interpreter {
                         throw new InterpreterRuntimeError(`Property '${String(key)}' is not available.`, property);
                     }
                     consumed.add(typeof key === "symbol" ? key : String(key));
-                    yield* self.assignPattern(getNode(property, "value"), self.destructuringPropertyValue(source, key), property);
+                    yield* self.assignPattern(property.value, self.destructuringPropertyValue(source, key), property);
                 }
                 return;
             }
@@ -978,21 +889,19 @@ export class Interpreter {
                 throw new InterpreterRuntimeError("Array destructuring requires a supported iterable value.", pattern).as("TypeError");
             }
             let done = false;
-            for (const [index, item] of getArray(pattern, "elements").entries()) {
+            for (const element of pattern.elements) {
                 if (done) {
-                    if (item === null)
+                    if (element === null)
                         continue;
-                    const element = asNode(item, `elements[${index}]`);
-                    yield* consume(element.type === "RestElement" ? getNode(element, "argument") : element, element.type === "RestElement" ? [] : undefined, element);
+                    yield* consume(element.type === "RestElement" ? element.argument : element, element.type === "RestElement" ? [] : undefined, element);
                     if (element.type === "RestElement")
                         return;
                     continue;
                 }
                 const step = yield* cursor.next;
                 done = step.done;
-                if (item === null)
+                if (element === null)
                     continue;
-                const element = asNode(item, `elements[${index}]`);
                 if (element.type === "RestElement") {
                     const rest = [];
                     if (!step.done)
@@ -1003,7 +912,7 @@ export class Interpreter {
                         if (!done)
                             rest.push(next.value);
                     }
-                    yield* consume(getNode(element, "argument"), rest, element);
+                    yield* consume(element.argument, rest, element);
                     return;
                 }
                 const consumed = consume(element, step.done ? undefined : step.value, pattern);
@@ -1014,14 +923,18 @@ export class Interpreter {
         });
     }
     destructuringPropertyKey(property) {
-        if (property.type !== "Property" || getString(property, "kind") !== "init") {
+        if (property.type !== "Property" || property.kind !== "init") {
             throw new InterpreterRuntimeError("Unsupported object destructuring property.", property);
         }
-        const keyNode = getNode(property, "key");
-        if (getBoolean(property, "computed")) {
+        const keyNode = property.key;
+        if (property.computed) {
             return Effect.map(this.evaluateExpression(keyNode), (value) => this.toPropertyKey(value, keyNode));
         }
-        return Effect.succeed(keyNode.type === "Identifier" ? getString(keyNode, "name") : String(keyNode.value));
+        if (keyNode.type === "Identifier")
+            return Effect.succeed(keyNode.name);
+        if (keyNode.type === "Literal")
+            return Effect.succeed(String(keyNode.value));
+        throw unsupportedSyntax(keyNode.type, keyNode);
     }
     destructuringPropertyValue(source, key) {
         if (!Array.isArray(source))
@@ -1040,13 +953,12 @@ export class Interpreter {
         switch (node.type) {
             case "Literal": {
                 const regex = node.regex;
-                if (isRecord(regex) && typeof regex.pattern === "string") {
-                    return Effect.sync(() => this.constructRegExp([regex.pattern, typeof regex.flags === "string" ? regex.flags : ""], node));
-                }
-                return Effect.sync(() => boundedData(node.value, "Literal"));
+                if (regex)
+                    return Effect.sync(() => constructRegExp([regex.pattern, regex.flags], node));
+                return Effect.sync(() => toProgram(node.value, "Literal"));
             }
             case "Identifier":
-                return Effect.sync(() => this.scopes.get(getString(node, "name"), node));
+                return Effect.sync(() => this.scopes.get(node.name, node));
             case "BinaryExpression":
                 return this.evaluateBinaryExpression(node);
             case "LogicalExpression":
@@ -1059,8 +971,8 @@ export class Interpreter {
                 const self = this;
                 return Effect.gen(function* () {
                     let result;
-                    for (const expression of getArray(node, "expressions")) {
-                        result = yield* self.evaluateExpression(asNode(expression, "expressions"));
+                    for (const expression of node.expressions) {
+                        result = yield* self.evaluateExpression(expression);
                     }
                     return result;
                 });
@@ -1073,7 +985,7 @@ export class Interpreter {
             case "MemberExpression":
                 return this.readMember(node);
             case "ChainExpression":
-                return Effect.map(this.evaluateExpression(getNode(node, "expression")), (value) => value === OptionalShortCircuit ? undefined : value);
+                return Effect.map(this.evaluateExpression(node.expression), (value) => value === OptionalShortCircuit ? undefined : value);
             case "ObjectExpression":
                 return this.evaluateObjectExpression(node);
             case "ArrayExpression":
@@ -1086,7 +998,7 @@ export class Interpreter {
                 return this.evaluateUpdateExpression(node);
             case "AwaitExpression": {
                 // Await always suspends, including for plain values.
-                return Effect.flatMap(this.evaluateExpression(getNode(node, "argument")), (value) => this.awaitValue(value, node));
+                return Effect.flatMap(this.evaluateExpression(node.argument), (value) => this.awaitValue(value, node));
             }
             case "YieldExpression":
                 return this.evaluateYieldExpression(node);
@@ -1097,240 +1009,29 @@ export class Interpreter {
         }
     }
     evaluateNewExpression(node) {
-        const callee = getNode(node, "callee");
-        if (callee.type !== "Identifier") {
-            throw unsupportedSyntax("NewExpression", node);
-        }
-        const name = getString(callee, "name");
-        const argNodes = getArray(node, "arguments");
-        const self = this;
-        if (name === "Promise") {
-            return Effect.flatMap(this.evaluateCallArguments(argNodes), (args) => constructPromise(self.runner, self.promises, args[0], node));
-        }
-        if (errorConstructors.has(name)) {
-            return Effect.flatMap(this.evaluateCallArguments(argNodes), (args) => name === "AggregateError"
-                ? constructAggregateErrorValue(self.runner, args, node)
-                : Effect.succeed(constructErrorValue(name, args)));
-        }
-        // Array and Object construct identically with or without new, like JS.
-        if (name === "Array") {
-            return Effect.map(this.evaluateCallArguments(argNodes), (args) => self.constructArray(args, node));
-        }
-        if (name === "Object") {
-            return Effect.map(this.evaluateCallArguments(argNodes), (args) => self.constructObject(args, node));
-        }
-        if (valueConstructors.has(name)) {
-            return Effect.gen(function* () {
-                const args = yield* self.evaluateCallArguments(argNodes);
-                switch (name) {
-                    case "Date":
-                        return yield* self.constructDate(args, node);
-                    case "RegExp":
-                        return self.constructRegExp(args, node);
-                    case "Map":
-                        return yield* self.constructMap(args[0], node);
-                    case "Set":
-                        return yield* self.constructSet(args[0], node);
-                    case "URL":
-                        return self.constructURL(args, node);
-                    default:
-                        return yield* self.constructURLSearchParams(args[0], node);
-                }
-            });
-        }
-        throw unsupportedSyntax("NewExpression", node);
-    }
-    constructArray(args, node) {
-        if (args.length !== 1)
-            return [...args];
-        const first = args[0];
-        if (typeof first !== "number")
-            return [first];
-        if (!Number.isInteger(first) || first < 0 || first > 4294967295) {
-            throw new InterpreterRuntimeError("Invalid array length.", node).as("RangeError");
-        }
-        // Sparse like JS: Array(3) has holes, and combinator loops already skip them.
-        return new Array(first);
-    }
-    constructObject(args, node) {
-        const first = args[0];
-        if (first === null || first === undefined)
-            return {};
-        if (typeof first === "object")
-            return first;
-        throw new InterpreterRuntimeError(`Object(${typeof first}) wrapper objects are not supported; use the primitive value directly.`, node);
-    }
-    constructDate(args, node) {
-        if (args.length === 0)
-            return Effect.succeed(new CodeModeDate(Date.now()));
-        if (args.length === 1) {
-            const arg = args[0];
-            if (arg instanceof CodeModeDate)
-                return Effect.succeed(new CodeModeDate(arg.time));
-            return Effect.map(this.toDatePrimitive(arg, node), (value) => typeof value === "string"
-                ? new CodeModeDate(Date.parse(value))
-                : new CodeModeDate(new Date(coerceToNumber(value)).getTime()));
-        }
-        const parts = args.map((arg) => coerceToNumber(arg));
-        return Effect.succeed(new CodeModeDate(new Date(...parts).getTime()));
-    }
-    toDatePrimitive(value, node) {
-        if (value === null || (typeof value !== "object" && typeof value !== "function"))
-            return Effect.succeed(value);
-        const object = value;
-        const self = this;
-        return Effect.gen(function* () {
-            if (Object.hasOwn(object, "valueOf") && typeofValue(object.valueOf) === "function") {
-                const result = yield* self.runner.invokeCallable(object.valueOf, [], node);
-                if (result === null || (typeof result !== "object" && typeof result !== "function"))
-                    return result;
-            }
-            if (!Object.hasOwn(object, "toString"))
-                return coerceToString(value);
-            if (typeofValue(object.toString) === "function") {
-                const result = yield* self.runner.invokeCallable(object.toString, [], node);
-                if (result === null || (typeof result !== "object" && typeof result !== "function"))
-                    return result;
-            }
-            throw new InterpreterRuntimeError("Cannot convert object to primitive value.", node).as("TypeError");
-        });
-    }
-    constructRegExp(args, node) {
-        const first = args[0];
-        const pattern = first instanceof CodeModeRegExp ? first.regex.source : first === undefined ? "" : coerceToString(first);
-        const flagsArg = args[1];
-        if (flagsArg !== undefined && typeof flagsArg !== "string") {
-            throw new InterpreterRuntimeError(`RegExp flags must be a string of flag characters (e.g. "g", "gi"), not ${flagsArg === null ? "null" : typeof flagsArg}.`, node).as("SyntaxError");
-        }
-        const flags = flagsArg ?? (first instanceof CodeModeRegExp ? first.regex.flags : "");
-        try {
-            return new CodeModeRegExp(pattern, flags);
-        }
-        catch (error) {
-            const reason = regexFailureReason(error);
-            throw new InterpreterRuntimeError(/flag/i.test(reason)
-                ? `new RegExp(...) received invalid flags ${JSON.stringify(flags)} (${reason}). Valid flags are d, g, i, m, s, u, v, and y.`
-                : `new RegExp(...) received ${JSON.stringify(pattern)}, which is not a valid regular expression pattern (${reason}). ${escapeRegexHint}`, node).as("SyntaxError");
-        }
-    }
-    constructMap(init, node) {
-        const target = new CodeModeMap();
-        if (init === undefined || init === null)
-            return Effect.succeed(target);
-        const self = this;
-        return Effect.gen(function* () {
-            const cursor = yield* self.syncIterator(init, node);
-            if (cursor === undefined) {
-                throw new InterpreterRuntimeError("new Map(...) expects an iterable of [key, value] pairs or no argument.", node).as("TypeError");
-            }
-            while (true) {
-                const step = yield* cursor.next;
-                if (step.done)
-                    return target;
-                yield* preserveConsumerError(cursor, Effect.sync(() => {
-                    if (!isRecord(step.value) || isRuntimeReference(step.value)) {
-                        throw new InterpreterRuntimeError("new Map(...) expects [key, value] pairs as entry objects.", node).as("TypeError");
-                    }
-                    target.map.set(step.value[0], step.value[1]);
-                }));
-            }
-        });
-    }
-    constructSet(init, node) {
-        const target = new CodeModeSet();
-        if (init === undefined || init === null)
-            return Effect.succeed(target);
         const self = this;
         return Effect.gen(function* () {
-            const cursor = yield* self.syncIterator(init, node);
-            if (cursor === undefined) {
-                throw new InterpreterRuntimeError("new Set(...) expects a synchronous iterable or no argument.", node).as("TypeError");
-            }
-            while (true) {
-                const step = yield* cursor.next;
-                if (step.done)
-                    return target;
-                target.set.add(step.value);
-            }
-        });
-    }
-    constructURL(args, node) {
-        if (args.length === 0) {
-            throw new InterpreterRuntimeError("new URL(...) requires a URL string and an optional base URL.", node).as("TypeError");
-        }
-        const input = urlArgument(args[0], "new URL input");
-        const base = args[1] === undefined ? undefined : urlArgument(args[1], "new URL base");
-        try {
-            return new CodeModeURL(new URL(input, base));
-        }
-        catch {
-            throw new InterpreterRuntimeError(`new URL(...) received an invalid URL${base === undefined ? "" : " or base URL"}.`, node).as("TypeError");
-        }
-    }
-    constructURLSearchParams(init, node) {
-        if (init === undefined)
-            return Effect.succeed(new CodeModeURLSearchParams(new URLSearchParams()));
-        if (init instanceof CodeModeURLSearchParams) {
-            return Effect.succeed(new CodeModeURLSearchParams(new URLSearchParams(init.params)));
-        }
-        if (typeof init === "string")
-            return Effect.succeed(new CodeModeURLSearchParams(new URLSearchParams(init)));
-        if (init === null || typeof init === "number" || typeof init === "boolean") {
-            return Effect.succeed(new CodeModeURLSearchParams(new URLSearchParams(coerceToString(init))));
-        }
-        const self = this;
-        return Effect.gen(function* () {
-            const cursor = yield* self.syncIterator(init, node);
-            if (cursor !== undefined) {
-                const entries = [];
-                while (true) {
-                    const step = yield* cursor.next;
-                    if (step.done) {
-                        if (entries.some((entry) => entry.length !== 2)) {
-                            throw new InterpreterRuntimeError("new URLSearchParams(...) expects iterable [name, value] pairs.", node).as("TypeError");
-                        }
-                        return new CodeModeURLSearchParams(new URLSearchParams(entries.map((entry) => [entry[0] ?? "", entry[1] ?? ""])));
-                    }
-                    entries.push(yield* preserveConsumerError(cursor, self.readURLSearchParamsPair(step.value, node)));
-                }
-            }
-            if (isRuntimeReference(init)) {
-                throw new InterpreterRuntimeError("new URLSearchParams(...) expects a query string, data object, or synchronous iterable pairs.", node).as("TypeError");
-            }
-            if (isCodeModeValue(init))
-                return new CodeModeURLSearchParams(new URLSearchParams());
-            const data = boundedData(init, "new URLSearchParams input");
-            if (data === null || typeof data !== "object") {
-                throw new InterpreterRuntimeError("new URLSearchParams(...) expects a query string, data object, iterable pairs, or URLSearchParams.", node).as("TypeError");
-            }
-            return new CodeModeURLSearchParams(new URLSearchParams(Object.fromEntries(Object.entries(data).map(([key, value]) => [key, coerceToString(value)]))));
-        });
-    }
-    readURLSearchParamsPair(value, node) {
-        const self = this;
-        return Effect.gen(function* () {
-            const cursor = yield* self.syncIterator(value, node);
-            if (cursor === undefined) {
-                throw new InterpreterRuntimeError("new URLSearchParams(...) expects iterable [name, value] pairs.", node).as("TypeError");
-            }
-            const items = [];
-            while (true) {
-                const step = yield* cursor.next;
-                if (step.done)
-                    return items;
-                items.push(yield* preserveConsumerError(cursor, Effect.sync(() => uriArgument(step.value, "URLSearchParams pair value"))));
-            }
+            const callee = yield* self.evaluateExpression(node.callee);
+            // Globals are built with this interpreter's R; `instanceof` cannot recover the type argument.
+            const construct = callee instanceof HostFunction ? callee.construct : undefined;
+            if (construct === undefined)
+                throw unsupportedSyntax("NewExpression", node);
+            const args = yield* self.evaluateCallArguments(node.arguments);
+            return yield* construct(args, node);
         });
     }
     evaluateBinaryExpression(node) {
-        const operator = getString(node, "operator");
+        const operator = node.operator;
+        const left = node.left;
+        if (left.type === "PrivateIdentifier")
+            throw unsupportedSyntax(left.type, left);
         const self = this;
         return Effect.gen(function* () {
-            const lhs = yield* self.evaluateExpression(getNode(node, "left"));
-            const rhs = yield* self.evaluateExpression(getNode(node, "right"));
+            const lhs = yield* self.evaluateExpression(left);
+            const rhs = yield* self.evaluateExpression(node.right);
             if (operator === "instanceof")
                 return instanceofValue(lhs, rhs, node);
-            return boundedData(self.applyBinaryOperator(operator, lhs, rhs, node), "Binary expression result");
+            return toProgram(self.applyBinaryOperator(operator, lhs, rhs, node), "Binary expression result");
         });
     }
     applyBinaryOperator(operator, lhs, rhs, node) {
@@ -1344,7 +1045,7 @@ export class Interpreter {
         // Null-prototype data needs explicit primitive coercion; identity and `in` retain raw objects.
         // Dates use their default string hint for addition and loose equality, and epoch time elsewhere.
         const coerceOperand = (operand) => {
-            if (operand instanceof CodeModeDate) {
+            if (operand instanceof Values.Date) {
                 return operator === "+" || operator === "==" || operator === "!=" ? coerceToString(operand) : operand.time;
             }
             return operand !== null && typeof operand === "object" ? coerceToString(operand) : operand;
@@ -1400,26 +1101,24 @@ export class Interpreter {
         }
     }
     evaluateLogicalExpression(node) {
-        const operator = getString(node, "operator");
-        return Effect.flatMap(this.evaluateExpression(getNode(node, "left")), (left) => {
+        const operator = node.operator;
+        return Effect.flatMap(this.evaluateExpression(node.left), (left) => {
             if (operator === "&&")
-                return left ? this.evaluateExpression(getNode(node, "right")) : Effect.succeed(left);
+                return left ? this.evaluateExpression(node.right) : Effect.succeed(left);
             if (operator === "||")
-                return left ? Effect.succeed(left) : this.evaluateExpression(getNode(node, "right"));
+                return left ? Effect.succeed(left) : this.evaluateExpression(node.right);
             if (operator === "??")
-                return left !== null && left !== undefined
-                    ? Effect.succeed(left)
-                    : this.evaluateExpression(getNode(node, "right"));
+                return left !== null && left !== undefined ? Effect.succeed(left) : this.evaluateExpression(node.right);
             throw new InterpreterRuntimeError(`Unsupported logical operator '${operator}'.`, node);
         });
     }
     evaluateUnaryExpression(node) {
-        const operator = getString(node, "operator");
-        const argument = getNode(node, "argument");
+        const operator = node.operator;
+        const argument = node.argument;
         if (operator === "delete")
             return this.evaluateDeleteExpression(argument);
         // Undeclared names short-circuit, but declared TDZ bindings must still throw.
-        if (operator === "typeof" && argument.type === "Identifier" && !this.scopes.resolve(getString(argument, "name"))) {
+        if (operator === "typeof" && argument.type === "Identifier" && !this.scopes.resolve(argument.name)) {
             return Effect.succeed("undefined");
         }
         return Effect.map(this.evaluateExpression(argument), (value) => {
@@ -1432,7 +1131,7 @@ export class Interpreter {
             if (containsOpaqueReference(value)) {
                 throw new InterpreterRuntimeError("Unary operators require data values.", node, "InvalidDataValue");
             }
-            const operand = value instanceof CodeModeDate
+            const operand = value instanceof Values.Date
                 ? value.time
                 : value !== null && typeof value === "object"
                     ? coerceToString(value)
@@ -1451,38 +1150,38 @@ export class Interpreter {
                 default:
                     throw new InterpreterRuntimeError(`Unsupported unary operator '${operator}'.`, node);
             }
-            return boundedData(result, "Unary expression result");
+            return toProgram(result, "Unary expression result");
         });
     }
     evaluateAssignmentExpression(node) {
-        const left = getNode(node, "left");
-        const operator = getString(node, "operator");
+        const left = node.left;
+        const operator = node.operator;
         const self = this;
         return Effect.gen(function* () {
             if (operator === "??=" || operator === "||=" || operator === "&&=") {
                 return yield* self.evaluateLogicalAssignment(node, left, operator);
             }
             if (operator === "=" && (left.type === "ObjectPattern" || left.type === "ArrayPattern")) {
-                const rightValue = yield* self.evaluateExpression(getNode(node, "right"));
+                const rightValue = yield* self.evaluateExpression(node.right);
                 yield* self.assignPattern(left, rightValue, node);
                 return rightValue;
             }
             if (left.type === "Identifier") {
-                const name = getString(left, "name");
+                const name = left.name;
                 if (operator !== "=") {
                     const current = self.scopes.get(name, left);
-                    const rightValue = yield* self.evaluateExpression(getNode(node, "right"));
-                    const next = boundedData(self.applyCompoundAssignment(operator, current, rightValue, node), "Assignment result");
+                    const rightValue = yield* self.evaluateExpression(node.right);
+                    const next = toProgram(self.applyCompoundAssignment(operator, current, rightValue, node), "Assignment result");
                     return self.scopes.set(name, next, left);
                 }
-                const rightValue = yield* self.evaluateExpression(getNode(node, "right"));
+                const rightValue = yield* self.evaluateExpression(node.right);
                 return self.scopes.set(name, rightValue, left);
             }
             if (left.type === "MemberExpression") {
-                return yield* self.modifyMember(left, (current) => Effect.map(self.evaluateExpression(getNode(node, "right")), (rightValue) => {
+                return yield* self.modifyMember(left, (current) => Effect.map(self.evaluateExpression(node.right), (rightValue) => {
                     if (operator === "=")
                         return { write: true, next: rightValue, result: rightValue };
-                    const next = boundedData(self.applyCompoundAssignment(operator, current, rightValue, node), "Assignment result");
+                    const next = toProgram(self.applyCompoundAssignment(operator, current, rightValue, node), "Assignment result");
                     return { write: true, next, result: next };
                 }));
             }
@@ -1493,18 +1192,18 @@ export class Interpreter {
         const self = this;
         const shouldAssign = (current) => operator === "??=" ? current === null || current === undefined : operator === "||=" ? !current : Boolean(current);
         if (left.type === "Identifier") {
-            const name = getString(left, "name");
+            const name = left.name;
             return Effect.gen(function* () {
                 const current = self.scopes.get(name, left);
                 if (!shouldAssign(current))
                     return current;
-                const rightValue = yield* self.evaluateExpression(getNode(node, "right"));
+                const rightValue = yield* self.evaluateExpression(node.right);
                 return self.scopes.set(name, rightValue, left);
             });
         }
         if (left.type === "MemberExpression") {
             return self.modifyMember(left, (current) => shouldAssign(current)
-                ? Effect.map(self.evaluateExpression(getNode(node, "right")), (rightValue) => ({
+                ? Effect.map(self.evaluateExpression(node.right), (rightValue) => ({
                     write: true,
                     next: rightValue,
                     result: rightValue,
@@ -1514,9 +1213,9 @@ export class Interpreter {
         throw new InterpreterRuntimeError("Assignment target must be an Identifier or MemberExpression.", left);
     }
     evaluateUpdateExpression(node) {
-        const operator = getString(node, "operator");
-        const argument = getNode(node, "argument");
-        const prefix = getBoolean(node, "prefix");
+        const operator = node.operator;
+        const argument = node.argument;
+        const prefix = node.prefix;
         const increment = operator === "++" ? 1 : operator === "--" ? -1 : undefined;
         if (increment === undefined) {
             throw new InterpreterRuntimeError(`Unsupported update operator '${operator}'.`, node);
@@ -1531,7 +1230,7 @@ export class Interpreter {
         };
         if (argument.type === "Identifier") {
             return Effect.sync(() => {
-                const name = getString(argument, "name");
+                const name = argument.name;
                 const current = operand(this.scopes.get(name, argument));
                 const next = current + increment;
                 this.scopes.set(name, next, argument);
@@ -1548,34 +1247,30 @@ export class Interpreter {
         throw new InterpreterRuntimeError("Update target must be an Identifier or MemberExpression.", argument);
     }
     evaluateCallExpression(node) {
-        const callee = getNode(node, "callee");
-        const argNodes = getArray(node, "arguments");
+        const callee = node.callee;
         const self = this;
         return Effect.gen(function* () {
+            if (callee.type === "Super")
+                throw unsupportedSyntax(callee.type, callee);
             const callable = yield* self.evaluateExpression(callee);
             if (callable === OptionalShortCircuit)
                 return OptionalShortCircuit;
-            if ((callable === null || callable === undefined) && node.optional === true)
+            if ((callable === null || callable === undefined) && node.optional)
                 return OptionalShortCircuit;
-            const args = yield* self.evaluateCallArguments(argNodes);
+            const args = yield* self.evaluateCallArguments(node.arguments);
             return yield* self.invokeCallable(callable, args, node, callee);
         });
     }
     // The single dispatch for every invocation: call expressions and callbacks share it.
-    invokeCallable(callable, args, node, callee = node) {
+    invokeCallable(callable, args, node, callee) {
         const self = this;
         return Effect.gen(function* () {
             if (callable instanceof ToolReference) {
-                if (callable.path.length === 0)
-                    throw new InterpreterRuntimeError("The tools root is not callable.", callee);
+                if (callable.path.length === 0) {
+                    throw new InterpreterRuntimeError("The tools root is not callable.", callee ?? node);
+                }
                 return yield* self.createToolCallPromise(callable.path, args);
             }
-            if (callable instanceof PromiseMethodReference) {
-                return yield* invokePromiseMethod(self.runner, self.promises, callable, args, node);
-            }
-            if (callable instanceof PromiseInstanceMethodReference) {
-                return yield* invokePromiseInstanceMethod(self.runner, self.promises, callable, args, node);
-            }
             if (callable instanceof CodeModeFunction) {
                 return yield* self.invokeFunction(callable, args);
             }
@@ -1586,103 +1281,26 @@ export class Interpreter {
                 return callable.generator.asynchronous ? yield* self.createPromise(requested) : yield* requested;
             }
             if (callable instanceof IntrinsicReference) {
-                return yield* invokeIntrinsic(self.runner, callable, args, node);
-            }
-            if (callable instanceof GlobalMethodReference) {
-                if (callable.namespace === "console")
-                    return self.invokeConsole(callable.name, args, node);
-                if (callable.namespace === "Object" && args[0] instanceof ToolReference) {
-                    return self.invokeObjectMethodOnTools(callable.name, args[0], node);
-                }
-                if (callable.namespace === "Object" && objectMethodsPreservingIdentity.has(callable.name)) {
-                    if (callable.name === "fromEntries")
-                        return yield* invokeObjectFromEntries(self.runner, args[0], node);
-                    return invokeGlobalMethod(callable, args, node);
-                }
-                if (callable.namespace === "Array" && callable.name === "from") {
-                    return yield* invokeArrayFrom(self.runner, args, node);
-                }
-                if ((callable.namespace === "Object" || callable.namespace === "Map") && callable.name === "groupBy") {
-                    return yield* invokeGroupBy(self.runner, callable.namespace, args, node);
-                }
-                if (callable.namespace === "Math" && callable.name === "sumPrecise") {
-                    return yield* invokeMathSumPrecise(self.runner, args[0], node);
-                }
-                if (callable.namespace === "Array" && callable.name === "of") {
-                    return invokeGlobalMethod(callable, args, node);
-                }
-                return boundedData(invokeGlobalMethod(callable, args, node), `${callable.namespace}.${callable.name} result`);
+                return yield* invokeIntrinsic(self.runtime.runner, callable, args, node);
             }
-            if (callable instanceof JsonMethodReference) {
-                return yield* invokeJsonMethod(self.runner, callable.name, args, node);
-            }
-            if (callable instanceof CoercionFunction) {
-                return boundedData(invokeCoercion(callable, args, node), `${callable.name} result`);
-            }
-            if (callable instanceof UriFunction) {
-                return invokeUriFunction(callable, args, node);
-            }
-            if (callable instanceof SearchFunction) {
-                return yield* self.invokeSearch(args);
-            }
-            if (callable instanceof ErrorConstructorReference) {
-                if (callable.name === "AggregateError")
-                    return yield* constructAggregateErrorValue(self.runner, args, node);
-                return constructErrorValue(callable.name, args);
-            }
-            if (callable instanceof GlobalNamespace) {
-                // Real JS permits calling Array, Object, Date, and RegExp without new.
-                if (callable.name === "Array")
-                    return self.constructArray(args, node);
-                if (callable.name === "Object")
-                    return self.constructObject(args, node);
-                // ISO instead of the host's locale string: CodeMode date strings are
-                // deterministic and must not leak the host timezone.
-                if (callable.name === "Date")
-                    return new Date().toISOString();
-                if (callable.name === "RegExp")
-                    return self.constructRegExp(args, node);
-                if (typeofValue(callable) === "function") {
-                    throw new InterpreterRuntimeError(`Constructor ${callable.name} requires 'new'.`, node).as("TypeError");
-                }
-                throw new InterpreterRuntimeError(`${callable.name} is not a function.`, node).as("TypeError");
-            }
-            if (callable instanceof PromiseNamespace) {
-                throw new InterpreterRuntimeError("Constructor Promise requires 'new'.", node).as("TypeError");
-            }
-            if (callable instanceof SymbolNamespace) {
-                throw new InterpreterRuntimeError("Symbol is not callable; only Symbol.asyncIterator and Symbol.iterator are available.", node).as("TypeError");
-            }
-            if (callable instanceof PromiseCapabilityFunction) {
-                callable.settle(args[0]);
-                return undefined;
+            if (callable instanceof PromiseInstanceMethodReference) {
+                return yield* invokePromiseInstanceMethod(self.runtime.runner, self.runtime.promises, callable, args, node);
             }
+            if (callable instanceof HostFunction)
+                return yield* callable.call(args, node);
             if (callable === undefined || callable === null) {
-                throw new InterpreterRuntimeError(`${calleeDescription(callee)} is not a function.`, callee).as("TypeError");
+                throw new InterpreterRuntimeError(`${calleeDescription(callee)} is not a function.`, callee ?? node).as("TypeError");
             }
-            throw new InterpreterRuntimeError("Only tools are callable here.", callee);
+            throw new InterpreterRuntimeError("Only tools are callable here.", callee ?? node);
         });
     }
-    invokeObjectMethodOnTools(name, ref, node) {
-        if (name === "keys") {
-            return boundedData(this.enumerableKeys(ref), "Object.keys result");
-        }
-        throw new InterpreterRuntimeError(`Object.${name}(...) cannot read tool references: they are not plain data. Use Object.keys(tools) for names, or search({ query }) for signatures.`, node, "InvalidDataValue");
-    }
-    invokeConsole(name, args, node) {
-        if (!consoleMethods.has(name))
-            throw new InterpreterRuntimeError(`console.${name} is not available.`, node);
-        this.logs.push(formatConsoleMessage(name, args));
-        return undefined;
-    }
     evaluateCallArguments(argNodes) {
         const self = this;
         return Effect.gen(function* () {
             const args = [];
-            for (const [index, arg] of argNodes.entries()) {
-                const argNode = asNode(arg, `arguments[${index}]`);
+            for (const argNode of argNodes) {
                 if (argNode.type === "SpreadElement") {
-                    const spread = yield* self.evaluateExpression(getNode(argNode, "argument"));
+                    const spread = yield* self.evaluateExpression(argNode.argument);
                     const cursor = yield* self.syncIterator(spread, argNode);
                     if (cursor === undefined)
                         throw new InterpreterRuntimeError("Spread arguments require a synchronous iterable.", argNode).as("TypeError");
@@ -1701,8 +1319,7 @@ export class Interpreter {
         });
     }
     invokeFunction(fn, args) {
-        const invocation = new Interpreter(this.executeTool, this.invokeSearch, this.toolKeys, this.promises, this.logs);
-        invocation.scopes = new ScopeStack([...fn.capturedScopes, new Map()]);
+        const invocation = new Frame(this.runtime, new ScopeStack([...fn.capturedScopes, new Map()]));
         const run = Effect.gen(function* () {
             // Seed all parameters first so defaults cannot fall through to same-named outer bindings.
             const paramScope = invocation.scopes.current();
@@ -1713,7 +1330,7 @@ export class Interpreter {
             }
             for (const [index, parameter] of fn.parameters.entries()) {
                 if (parameter.type === "RestElement") {
-                    yield* invocation.declarePattern(getNode(parameter, "argument"), args.slice(index), true, parameter, true);
+                    yield* invocation.declarePattern(parameter.argument, args.slice(index), true, parameter, true);
                     break;
                 }
                 yield* invocation.declarePattern(parameter, args[index], true, parameter, true);
@@ -1730,7 +1347,7 @@ export class Interpreter {
             return run;
         // The initial yield assigns the promise before the body can self-resolve.
         const box = {};
-        return Effect.map(this.createPromise(Effect.flatMap(run, (value) => resolvePromiseValue(invocation.runner, value, fn.body, box))), (promise) => {
+        return Effect.map(this.createPromise(Effect.flatMap(run, (value) => resolvePromiseValue(invocation.runtime.runner, value, fn.body, box))), (promise) => {
             box.promise = promise;
             return promise;
         });
@@ -1751,7 +1368,7 @@ export class Interpreter {
                 if (state.draining)
                     return Deferred.await(request.response);
                 state.draining = true;
-                return Effect.andThen(this.promises.fork(invocation
+                return Effect.andThen(this.runtime.promises.fork(invocation
                     .completeGeneratorRequests(state, true)
                     .pipe(Effect.ensuring(Effect.sync(() => (state.draining = false))))), Deferred.await(request.response));
             }
@@ -1789,7 +1406,7 @@ export class Interpreter {
                     yield* invocation.completeGeneratorRequests(state, asynchronous);
                     state.completed = true;
                 });
-                return Effect.andThen(this.promises.fork(body), Deferred.await(request.response));
+                return Effect.andThen(this.runtime.promises.fork(body), Deferred.await(request.response));
             }
             return Deferred.await(request.response);
         });
@@ -1834,12 +1451,12 @@ export class Interpreter {
         return request;
     }
     evaluateYieldExpression(node) {
-        const argument = getOptionalNode(node, "argument");
+        const argument = node.argument;
         const self = this;
         return Effect.gen(function* () {
             if (!self.generatorState)
                 throw new InterpreterRuntimeError("yield is only valid inside a generator.", node);
-            if (node.delegate === true) {
+            if (node.delegate) {
                 const value = argument ? yield* self.evaluateExpression(argument) : undefined;
                 return yield* self.delegateYield(value, node);
             }
@@ -1870,9 +1487,9 @@ export class Interpreter {
         return Effect.gen(function* () {
             if (Array.isArray(value) ||
                 typeof value === "string" ||
-                value instanceof CodeModeMap ||
-                value instanceof CodeModeSet ||
-                value instanceof CodeModeURLSearchParams) {
+                value instanceof Values.Map ||
+                value instanceof Values.Set ||
+                value instanceof Values.URLSearchParams) {
                 const cursor = yield* self.syncIterator(value, node);
                 if (!cursor)
                     throw new InterpreterRuntimeError("Built-in iterator is unavailable.", node);
@@ -1940,14 +1557,12 @@ export class Interpreter {
     }
     evaluateObjectExpression(node) {
         const objectValue = Object.create(null);
-        const properties = getArray(node, "properties");
         const self = this;
         return Effect.gen(function* () {
-            for (const propertyValue of properties) {
-                const property = asNode(propertyValue, "properties");
+            for (const property of node.properties) {
                 if (property.type === "SpreadElement") {
-                    const spread = yield* self.evaluateExpression(getNode(property, "argument"));
-                    if (spread === null || spread === undefined || isCodeModeValue(spread))
+                    const spread = yield* self.evaluateExpression(property.argument);
+                    if (spread === null || spread === undefined || Values.isValue(spread))
                         continue;
                     if (typeof spread !== "object" || Array.isArray(spread) || isRuntimeReference(spread)) {
                         throw new InterpreterRuntimeError("Object spread requires a data object.", property, "InvalidDataValue");
@@ -1960,21 +1575,16 @@ export class Interpreter {
                     copyIteratorSymbols(spread, objectValue);
                     continue;
                 }
-                if (property.type !== "Property") {
-                    throw new InterpreterRuntimeError("Only standard object properties are supported.", property);
-                }
-                if (getString(property, "kind") !== "init") {
+                if (property.kind !== "init") {
                     throw new InterpreterRuntimeError("Only init object properties are supported.", property);
                 }
-                const keyNode = getNode(property, "key");
-                const valueNode = getNode(property, "value");
-                const computed = getBoolean(property, "computed");
+                const keyNode = property.key;
                 let key;
-                if (computed) {
+                if (property.computed) {
                     key = self.toPropertyKey(yield* self.evaluateExpression(keyNode), keyNode);
                 }
                 else if (keyNode.type === "Identifier") {
-                    key = getString(keyNode, "name");
+                    key = keyNode.name;
                 }
                 else if (keyNode.type === "Literal") {
                     key = self.toPropertyKey(keyNode.value, keyNode);
@@ -1985,25 +1595,23 @@ export class Interpreter {
                 if (isBlockedMember(String(key))) {
                     throw new InterpreterRuntimeError(`Property '${String(key)}' is not available.`, keyNode);
                 }
-                Reflect.set(objectValue, key, yield* self.evaluateExpression(valueNode));
+                Reflect.set(objectValue, key, yield* self.evaluateExpression(property.value));
             }
             return objectValue;
         });
     }
     evaluateArrayExpression(node) {
-        const elements = getArray(node, "elements");
         const values = [];
         const self = this;
         return Effect.gen(function* () {
-            for (const elementValue of elements) {
-                if (elementValue === null) {
+            for (const element of node.elements) {
+                if (element === null) {
                     // A literal elision is a real hole, like JS: extend length without an own index.
                     values.length += 1;
                     continue;
                 }
-                const element = asNode(elementValue, "elements");
                 if (element.type === "SpreadElement") {
-                    const spread = yield* self.evaluateExpression(getNode(element, "argument"));
+                    const spread = yield* self.evaluateExpression(element.argument);
                     const cursor = yield* self.syncIterator(spread, element);
                     if (cursor === undefined)
                         throw new InterpreterRuntimeError("Array spread requires a synchronous iterable.", element).as("TypeError");
@@ -2022,28 +1630,28 @@ export class Interpreter {
         });
     }
     evaluateTemplateLiteral(node) {
-        const quasis = getArray(node, "quasis");
-        const expressions = getArray(node, "expressions");
+        const quasis = node.quasis;
+        const expressions = node.expressions;
         let output = "";
         const self = this;
         return Effect.gen(function* () {
             for (let index = 0; index < quasis.length; index += 1) {
-                const quasi = asNode(quasis[index], "quasis");
-                const rawValue = quasi.value;
-                if (!isRecord(rawValue) || typeof rawValue.cooked !== "string") {
+                const quasi = quasis[index];
+                // acorn only omits `cooked` for invalid escapes in tagged templates, which are unsupported.
+                if (typeof quasi.value.cooked !== "string") {
                     throw new InterpreterRuntimeError("Invalid template literal quasi.", quasi);
                 }
-                output += rawValue.cooked;
+                output += quasi.value.cooked;
                 if (index < expressions.length) {
-                    const raw = yield* self.evaluateExpression(asNode(expressions[index], "expressions"));
-                    output += coerceToString(boundedData(raw, "Template interpolation"));
+                    const raw = yield* self.evaluateExpression(expressions[index]);
+                    output += coerceToString(toProgram(raw, "Template interpolation"));
                 }
             }
             return output;
         });
     }
     evaluateConditionalExpression(node) {
-        return Effect.flatMap(this.evaluateExpression(getNode(node, "test")), (test) => this.evaluateExpression(getNode(node, test ? "consequent" : "alternate")));
+        return Effect.flatMap(this.evaluateExpression(node.test), (test) => this.evaluateExpression(test ? node.consequent : node.alternate));
     }
     applyCompoundAssignment(operator, current, incoming, node) {
         if (!compoundOperators.has(operator)) {
@@ -2052,21 +1660,23 @@ export class Interpreter {
         return this.applyBinaryOperator(operator.slice(0, -1), current, incoming, node);
     }
     getMemberReference(node, operation = "read") {
-        const objectNode = getNode(node, "object");
-        const propertyNode = getNode(node, "property");
-        const computed = getBoolean(node, "computed");
-        const optional = node.optional === true;
+        const objectNode = node.object;
+        const propertyNode = node.property;
+        if (objectNode.type === "Super")
+            throw unsupportedSyntax(objectNode.type, objectNode);
+        if (propertyNode.type === "PrivateIdentifier")
+            throw unsupportedSyntax(propertyNode.type, propertyNode);
         const self = this;
         return Effect.gen(function* () {
             const objectValue = yield* self.evaluateExpression(objectNode);
             if (objectValue === OptionalShortCircuit)
                 return OptionalShortCircuit;
-            if ((objectValue === null || objectValue === undefined) && optional)
+            if ((objectValue === null || objectValue === undefined) && node.optional)
                 return OptionalShortCircuit;
-            const key = computed
+            const key = node.computed
                 ? self.toPropertyKey(yield* self.evaluateExpression(propertyNode), propertyNode)
                 : propertyNode.type === "Identifier"
-                    ? getString(propertyNode, "name")
+                    ? propertyNode.name
                     : self.toPropertyKey(yield* self.evaluateExpression(propertyNode), propertyNode);
             if (objectValue instanceof ToolReference) {
                 if (typeof key !== "string") {
@@ -2074,38 +1684,12 @@ export class Interpreter {
                 }
                 return new ToolReference([...objectValue.path, key]);
             }
-            if (objectValue instanceof PromiseNamespace) {
-                if (typeof key === "string" && promiseStatics.has(key)) {
-                    return new PromiseMethodReference(key);
-                }
-                throw new InterpreterRuntimeError(`Promise.${String(key)} is not available. Available: Promise.all, Promise.allSettled, Promise.race, Promise.any, Promise.resolve, and Promise.reject; consume promises with await.`, propertyNode);
-            }
-            if (objectValue instanceof SymbolNamespace) {
-                if (key === "asyncIterator")
-                    return new ComputedValue(AsyncIteratorSymbol);
-                if (key === "iterator")
-                    return new ComputedValue(IteratorSymbol);
-                return new ComputedValue(undefined);
-            }
-            if (objectValue instanceof GlobalNamespace) {
+            if (objectValue instanceof HostFunction || objectValue instanceof HostNamespace) {
                 if (typeof key === "string" && isBlockedMember(key)) {
                     throw new InterpreterRuntimeError(`${objectValue.name}.${key} is not available.`, propertyNode);
                 }
-                if (typeof key !== "string")
-                    return new ComputedValue(undefined);
-                if (objectValue.name === "Math" && mathConstants.has(key)) {
-                    return new ComputedValue(Math[key]);
-                }
-                if (objectValue.name === "JSON") {
-                    if (jsonStatics.has(key))
-                        return new JsonMethodReference(key);
-                    return new ComputedValue(undefined);
-                }
-                if (globalStaticMembers[objectValue.name]?.has(key)) {
-                    return new GlobalMethodReference(objectValue.name, key);
-                }
                 // Unknown static members read as undefined so feature detection works like native JS.
-                return new ComputedValue(undefined);
+                return new ComputedValue(objectValue.member(key, propertyNode));
             }
             if (typeof objectValue === "string") {
                 if (key === "length")
@@ -2122,29 +1706,12 @@ export class Interpreter {
                     return new IntrinsicReference(objectValue, key);
                 return new ComputedValue(undefined);
             }
-            if (objectValue instanceof CoercionFunction) {
-                if (typeof key === "string" && isBlockedMember(key)) {
-                    throw new InterpreterRuntimeError(`${objectValue.name}.${key} is not available.`, propertyNode);
-                }
-                if (typeof key !== "string")
-                    return new ComputedValue(undefined);
-                if (objectValue.name === "Number" && numberConstants.has(key)) {
-                    return new ComputedValue(Number[key]);
-                }
-                if (objectValue.name === "Number" && numberStatics.has(key)) {
-                    return new GlobalMethodReference("Number", key);
-                }
-                if (objectValue.name === "String" && stringStatics.has(key)) {
-                    return new GlobalMethodReference("String", key);
-                }
-                return new ComputedValue(undefined);
-            }
-            if (objectValue instanceof CodeModeDate) {
+            if (objectValue instanceof Values.Date) {
                 if (typeof key === "string" && dateMethods.has(key))
                     return new IntrinsicReference(objectValue, key);
                 return new ComputedValue(undefined);
             }
-            if (objectValue instanceof CodeModeRegExp) {
+            if (objectValue instanceof Values.RegExp) {
                 if (key === "lastIndex")
                     return { target: objectValue, key };
                 if (typeof key === "string" && regexpProperties.has(key)) {
@@ -2154,21 +1721,21 @@ export class Interpreter {
                     return new IntrinsicReference(objectValue, key);
                 return new ComputedValue(undefined);
             }
-            if (objectValue instanceof CodeModeMap) {
+            if (objectValue instanceof Values.Map) {
                 if (key === "size")
                     return new ComputedValue(objectValue.map.size);
                 if (typeof key === "string" && mapMethods.has(key))
                     return new IntrinsicReference(objectValue, key);
                 return new ComputedValue(undefined);
             }
-            if (objectValue instanceof CodeModeSet) {
+            if (objectValue instanceof Values.Set) {
                 if (key === "size")
                     return new ComputedValue(objectValue.set.size);
                 if (typeof key === "string" && setMethods.has(key))
                     return new IntrinsicReference(objectValue, key);
                 return new ComputedValue(undefined);
             }
-            if (objectValue instanceof CodeModeURL) {
+            if (objectValue instanceof Values.URL) {
                 if (key === "searchParams") {
                     return new ComputedValue(objectValue.searchParams);
                 }
@@ -2178,7 +1745,7 @@ export class Interpreter {
                     return { target: objectValue, key };
                 return new ComputedValue(undefined);
             }
-            if (objectValue instanceof CodeModeURLSearchParams) {
+            if (objectValue instanceof Values.URLSearchParams) {
                 if (key === "size")
                     return new ComputedValue(objectValue.params.size);
                 if (typeof key === "string" && urlSearchParamsMethods.has(key)) {
@@ -2187,7 +1754,7 @@ export class Interpreter {
                 return new ComputedValue(undefined);
             }
             // Reject unknown promise properties so a missing await cannot hide.
-            if (objectValue instanceof CodeModePromise) {
+            if (objectValue instanceof Values.Promise) {
                 if (key === "then" || key === "catch" || key === "finally") {
                     return new PromiseInstanceMethodReference(objectValue, key);
                 }
@@ -2242,9 +1809,9 @@ export class Interpreter {
                     return new IntrinsicReference(reference.target, reference.key);
                 return Reflect.get(reference.target, reference.key);
             }
-            if (reference.target instanceof CodeModeRegExp)
+            if (reference.target instanceof Values.RegExp)
                 return reference.target.lastIndex;
-            if (reference.target instanceof CodeModeURL) {
+            if (reference.target instanceof Values.URL) {
                 return Reflect.get(reference.target.url, reference.key);
             }
             return Reflect.get(reference.target, reference.key);
@@ -2254,7 +1821,7 @@ export class Interpreter {
         return this.modifyMember(node, () => Effect.succeed({ write: true, next: value, result: value }));
     }
     evaluateDeleteExpression(argument) {
-        const target = argument.type === "ChainExpression" ? getNode(argument, "expression") : argument;
+        const target = argument.type === "ChainExpression" ? argument.expression : argument;
         if (target.type !== "MemberExpression") {
             throw new InterpreterRuntimeError("Only data fields may be deleted.", argument);
         }
@@ -2264,10 +1831,10 @@ export class Interpreter {
             if (reference instanceof ComputedValue ||
                 reference === undefined ||
                 isOpaqueMemberReference(reference) ||
-                reference.target instanceof CodeModeURL) {
+                reference.target instanceof Values.URL) {
                 throw new InterpreterRuntimeError("Only data fields may be deleted.", target, "InvalidDataValue");
             }
-            if (reference.target instanceof CodeModeRegExp) {
+            if (reference.target instanceof Values.RegExp) {
                 return Reflect.deleteProperty(reference.target.regex, reference.key);
             }
             return Reflect.deleteProperty(reference.target, reference.key);
@@ -2299,10 +1866,10 @@ export class Interpreter {
         });
     }
     readReferenceValue(reference, key) {
-        if (reference.target instanceof CodeModeURL) {
+        if (reference.target instanceof Values.URL) {
             return Reflect.get(reference.target.url, key);
         }
-        if (reference.target instanceof CodeModeRegExp)
+        if (reference.target instanceof Values.RegExp)
             return reference.target.lastIndex;
         return Reflect.get(reference.target, key);
     }
@@ -2316,7 +1883,7 @@ export class Interpreter {
             target[key] = next;
             return;
         }
-        if (reference.target instanceof CodeModeURL) {
+        if (reference.target instanceof Values.URL) {
             const property = key;
             if (!urlWritableProperties.has(property)) {
                 throw new InterpreterRuntimeError(`URL.${property} is read-only.`, node).as("TypeError");
@@ -2332,7 +1899,7 @@ export class Interpreter {
                 throw new InterpreterRuntimeError(`URL.${property} received an invalid value.`, node).as("TypeError");
             }
         }
-        if (reference.target instanceof CodeModeRegExp) {
+        if (reference.target instanceof Values.RegExp) {
             reference.target.lastIndex = next;
             return;
         }