@opencode/codemode 2.0.1 → 2.0.2

package/dist/interpreter/runtime.js

@@ -1,26 +1,17 @@
 import { Cause, Deferred, Effect, Exit } from "effect";
-import { ToolRuntimeError, toProgram } from "../data.js";
+import { toProgram } from "../data.js";
 import { ToolReference } from "../tool-runtime.js";
-import { AsyncIteratorSymbol, CodeModeGenerator, ComputedValue, GeneratorMethodReference, GeneratorReturn, InterpreterRuntimeError, IntrinsicReference, IteratorSymbol, OptionalShortCircuit, ProgramThrow, PromiseInstanceMethodReference, rangeError, unsupportedSyntax, } from "./model.js";
+import { AsyncIteratorSymbol, GeneratorReturn, InterpreterRuntimeError, IteratorSymbol, locate, OptionalShortCircuit, ProgramThrow, rangeError, unsupportedSyntax, } from "./model.js";
 import { caughtErrorValue } from "./errors.js";
-import { createIntrinsics } from "./intrinsics.js";
 import { globals } from "./globals.js";
-import { HostFunction, HostNamespace } from "./host.js";
-import { invokeIntrinsic } from "./methods.js";
-import { assign, get, has, ownKeys, parseArrayIndex, ProgramArray, ProgramFunction, ProgramObject, record, remove, set, } from "./objects.js";
+import { assign, Callable, define, get, has, hasPrototype, keys, NativeFunction, parseArrayIndex, ProgramArray, ProgramDate, ProgramFunction, ProgramGenerator, ProgramMap, ProgramObject, ProgramPromise, ProgramSet, ProgramURLSearchParams, record, remove, set, } from "./objects.js";
 import { preserveConsumerError } from "./runner.js";
-import { invokePromiseInstanceMethod, PromiseRuntime, resolvePromise, resolvePromiseValue } from "./promises.js";
-import { containsOpaqueReference, describeValue, isRuntimeReference, rejectCircularInsertion, typeofValue, } from "./references.js";
+import { PromiseRuntime, resolvePromise, resolvePromiseValue } from "./promises.js";
+import { containsOpaqueReference, describeValue, rejectCircularInsertion, typeofValue } from "./references.js";
 import { ScopeStack } from "./scope.js";
-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 { constructRegExp } from "../stdlib/regexp.js";
 import { enumerableSource } from "../stdlib/object.js";
 import { coerceToNumber, coerceToString, compoundOperators } from "../stdlib/value.js";
-import { Values } from "../values.js";
 // What a loop does with its body's result: exit with a StatementResult, or undefined to keep iterating.
 // Unlabelled break ends this loop; a label the loop does not carry propagates outward.
 const loopExit = (result, labels) => {
@@ -51,37 +42,16 @@ const calleeDescription = (callee) => {
     }
     return "The called value";
 };
-const constructorName = (value) => {
-    if (typeof value === "string")
-        return "String";
-    if (typeof value === "number")
-        return "Number";
-    if (typeof value === "boolean")
-        return "Boolean";
-    if (value instanceof ProgramArray)
-        return "Array";
-    if (value instanceof Values.Date)
-        return "Date";
-    if (value instanceof Values.RegExp)
-        return "RegExp";
-    if (value instanceof Values.Map)
-        return "Map";
-    if (value instanceof Values.Set)
-        return "Set";
-    if (value instanceof Values.URL)
-        return "URL";
-    if (value instanceof Values.URLSearchParams)
-        return "URLSearchParams";
-    if (value instanceof Values.Promise)
-        return "Promise";
-    if (!(value instanceof ProgramObject) || value instanceof ProgramFunction)
-        return undefined;
-    return "Object";
-};
+// OrdinaryHasInstance: walk the left operand's chain looking for the constructor's `prototype`.
 const instanceofValue = (lhs, rhs, node) => {
-    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);
+    if (!(rhs instanceof Callable)) {
+        throw new InterpreterRuntimeError("The right-hand side of 'instanceof' is not callable.", node);
+    }
+    const prototype = get(rhs, "prototype");
+    if (!(prototype instanceof ProgramObject)) {
+        throw new InterpreterRuntimeError("The right-hand side of 'instanceof' has no 'prototype' object.", node);
+    }
+    return hasPrototype(lhs, prototype);
 };
 const collectPatternNames = (pattern, out = []) => {
     switch (pattern.type) {
@@ -171,10 +141,6 @@ const loopDeclaration = (left, statement) => {
         lexical: kind !== "var",
     };
 };
-const isOpaqueMemberReference = (value) => value instanceof ToolReference ||
-    value instanceof PromiseInstanceMethodReference ||
-    value instanceof IntrinsicReference ||
-    value instanceof GeneratorMethodReference;
 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 {
@@ -182,30 +148,29 @@ export class Runtime {
     search;
     toolKeys;
     promises;
+    prototypes;
     logs;
     runner;
-    /** Built-in globals by name, unaffected by program shadowing. */
-    builtins;
     root;
-    constructor(executeTool, search, toolKeys, promises, logs = [], extraGlobals = () => []) {
+    constructor(executeTool, search, toolKeys, promises, prototypes, logs = [], extraGlobals = () => []) {
         this.executeTool = executeTool;
         this.search = search;
         this.toolKeys = toolKeys;
         this.promises = promises;
+        this.prototypes = prototypes;
         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),
+            invokeCallable: (callable, thisValue, args, node) => this.root.invokeCallable(callable, thisValue, args, node),
             settlePromise: (promise) => this.root.settlePromise(promise),
             syncIterator: (value, node) => this.root.syncIterator(value, node),
-            intrinsics: createIntrinsics(),
+            prototypes,
         };
-        this.builtins = new Map([...globals(this), ...extraGlobals(this)]);
-        for (const [name, value] of this.builtins)
+        for (const [name, value] of [...globals(this), ...extraGlobals(this)]) {
             globalScope.set(name, { mutable: false, value });
+        }
     }
     run(program) {
         return this.root.run(program);
@@ -251,10 +216,7 @@ class Frame {
     }
     // Fork at the call site so admission and hooks occur when the call is made.
     createToolCallPromise(path, args) {
-        return this.createPromise(Effect.suspend(() => this.runtime.executeTool(path, args)));
-    }
-    createPromise(effect) {
-        return this.runtime.promises.create(effect);
+        return this.runtime.promises.create(Effect.suspend(() => this.runtime.executeTool(path, args)));
     }
     // Fiber exits make settlement idempotent; yielding prevents inline continuation.
     settlePromise(promise) {
@@ -327,7 +289,7 @@ class Frame {
         }).pipe(Effect.ensuring(Effect.sync(() => self.scopes.pop())));
     }
     createFunction(node, name = node.type === "ArrowFunctionExpression" ? "" : (node.id?.name ?? "")) {
-        return new ProgramFunction(name, node.params, node.body, this.scopes.capture(), node.async, node.generator);
+        return new ProgramFunction(this.runtime.prototypes.Function, name, node.params, node.body, this.scopes.capture(), node.async, node.generator);
     }
     // NamedEvaluation: an anonymous function definition takes the name of what it is assigned to.
     evaluateNamed(node, name) {
@@ -581,20 +543,21 @@ class Frame {
             ? value.items[Symbol.iterator]()
             : typeof value === "string"
                 ? value[Symbol.iterator]()
-                : value instanceof Values.Map
+                : value instanceof ProgramMap
                     ? value.map.entries()
-                    : value instanceof Values.Set
+                    : value instanceof ProgramSet
                         ? value.set.values()
-                        : value instanceof Values.URLSearchParams
+                        : value instanceof ProgramURLSearchParams
                             ? value.params.entries()
                             : undefined;
         if (iterator !== undefined) {
+            const proto = this.runtime.prototypes.Array;
             return Effect.succeed({
                 next: Effect.sync(() => {
                     const step = iterator.next();
                     return {
                         done: Boolean(step.done),
-                        value: Array.isArray(step.value) ? new ProgramArray(step.value) : step.value,
+                        value: Array.isArray(step.value) ? new ProgramArray(proto, step.value) : step.value,
                     };
                 }),
                 close: Effect.void,
@@ -609,15 +572,6 @@ class Frame {
             });
     }
     customIterator(value, node, allowAsync = true) {
-        if (value instanceof CodeModeGenerator) {
-            if (value.asynchronous && !allowAsync)
-                return Effect.undefined;
-            return Effect.succeed({
-                iterator: value,
-                next: new GeneratorMethodReference(value, "next"),
-                asynchronous: value.asynchronous,
-            });
-        }
         if (!(value instanceof ProgramObject))
             return Effect.undefined;
         const asyncMethod = allowAsync ? get(value, AsyncIteratorSymbol) : undefined;
@@ -625,13 +579,11 @@ class Frame {
         if (method === undefined || method === null)
             return Effect.undefined;
         const self = this;
-        return Effect.map(this.invokeCallable(this.requireIteratorMethod(method, "Iterator method", node), [], node), (iterator) => {
-            const object = self.requireIterator(iterator, node);
+        return Effect.map(this.invokeCallable(this.requireIteratorMethod(method, "Iterator method", node), value, [], node), (iterator) => {
+            const object = self.requireIteratorObject(iterator, "Iterator method result", node);
             return {
                 iterator: object,
-                next: object instanceof CodeModeGenerator
-                    ? new GeneratorMethodReference(object, "next")
-                    : self.requireIteratorMethod(get(object, "next"), "Iterator next", node),
+                next: self.requireIteratorMethod(get(object, "next"), "Iterator next", node),
                 asynchronous: asyncMethod !== undefined && asyncMethod !== null,
             };
         });
@@ -640,10 +592,10 @@ class Frame {
         const self = this;
         return Effect.gen(function* () {
             if (iterator.asynchronous) {
-                const object = self.requireIteratorObject(yield* self.awaitValue(yield* self.invokeCallable(iterator.next, [], node)), "Iterator next() result", node);
+                const object = self.requireIteratorObject(yield* self.awaitValue(yield* self.invokeCallable(iterator.next, iterator.iterator, [], node)), "Iterator next() result", node);
                 return { done: Boolean(get(object, "done")), value: get(object, "value") };
             }
-            const called = yield* Effect.exit(self.invokeCallable(iterator.next, [], node));
+            const called = yield* Effect.exit(self.invokeCallable(iterator.next, iterator.iterator, [], node));
             if (!Exit.isSuccess(called)) {
                 if (awaiting)
                     yield* Effect.yieldNow;
@@ -667,19 +619,17 @@ class Frame {
         });
     }
     closeIterator(iterator, node, awaiting = true) {
-        const close = iterator.iterator instanceof CodeModeGenerator
-            ? new GeneratorMethodReference(iterator.iterator, "return")
-            : get(iterator.iterator, "return");
+        const close = get(iterator.iterator, "return");
         if (close === undefined || close === null)
             return iterator.asynchronous || !awaiting ? Effect.void : Effect.yieldNow;
         const self = this;
         return Effect.gen(function* () {
             const method = self.requireIteratorMethod(close, "Iterator return", node);
             if (iterator.asynchronous) {
-                self.requireIteratorObject(yield* self.awaitValue(yield* self.invokeCallable(method, [], node)), "Iterator return() result", node);
+                self.requireIteratorObject(yield* self.awaitValue(yield* self.invokeCallable(method, iterator.iterator, [], node)), "Iterator return() result", node);
                 return;
             }
-            const called = yield* Effect.exit(self.invokeCallable(method, [], node));
+            const called = yield* Effect.exit(self.invokeCallable(method, iterator.iterator, [], node));
             if (!Exit.isSuccess(called)) {
                 if (awaiting)
                     yield* Effect.yieldNow;
@@ -700,11 +650,6 @@ class Frame {
             return value;
         throw new InterpreterRuntimeError(`${context} must be an object.`, node);
     }
-    requireIterator(value, node) {
-        return value instanceof CodeModeGenerator
-            ? value
-            : this.requireIteratorObject(value, "Iterator method result", node);
-    }
     requireIteratorMethod(value, context, node) {
         if (typeofValue(value) === "function")
             return value;
@@ -716,7 +661,7 @@ class Frame {
             return [...this.runtime.toolKeys(value.path)];
         if (value === null || value === undefined)
             return [];
-        return ownKeys(enumerableSource("for...in", value, node)).filter((key) => typeof key === "string");
+        return keys(enumerableSource(this.runtime.runner, "for...in", value, node));
     }
     evaluateForInStatement(node, labels) {
         const left = node.left;
@@ -870,14 +815,14 @@ class Frame {
                 const consumed = new Set();
                 for (const property of pattern.properties) {
                     if (property.type === "RestElement") {
-                        const rest = new ProgramObject();
+                        const rest = new ProgramObject(self.runtime.prototypes.Object);
                         assign(rest, value, consumed);
                         yield* self.declarePattern(property.argument, rest, mutable, property, initialize);
                         continue;
                     }
                     const key = yield* self.destructuringPropertyKey(property);
                     consumed.add(typeof key === "symbol" ? key : String(key));
-                    yield* self.declarePattern(property.value, self.destructuringPropertyValue(value, key), mutable, property, initialize);
+                    yield* self.declarePattern(property.value, get(value, key), mutable, property, initialize);
                 }
                 return;
             }
@@ -910,14 +855,14 @@ class Frame {
                 const consumed = new Set();
                 for (const property of pattern.properties) {
                     if (property.type === "RestElement") {
-                        const rest = new ProgramObject();
+                        const rest = new ProgramObject(self.runtime.prototypes.Object);
                         assign(rest, value, consumed);
                         yield* self.assignPattern(property.argument, rest, property);
                         continue;
                     }
                     const key = yield* self.destructuringPropertyKey(property);
                     consumed.add(typeof key === "symbol" ? key : String(key));
-                    yield* self.assignPattern(property.value, self.destructuringPropertyValue(value, key), property);
+                    yield* self.assignPattern(property.value, get(value, key), property);
                 }
                 return;
             }
@@ -944,7 +889,7 @@ class Frame {
                 if (done) {
                     if (element === null)
                         continue;
-                    yield* consume(element.type === "RestElement" ? element.argument : element, element.type === "RestElement" ? new ProgramArray() : undefined, element);
+                    yield* consume(element.type === "RestElement" ? element.argument : element, element.type === "RestElement" ? new ProgramArray(self.runtime.prototypes.Array) : undefined, element);
                     if (element.type === "RestElement")
                         return;
                     continue;
@@ -963,7 +908,7 @@ class Frame {
                         if (!done)
                             rest.push(next.value);
                     }
-                    yield* consume(element.argument, new ProgramArray(rest), element);
+                    yield* consume(element.argument, new ProgramArray(self.runtime.prototypes.Array, rest), element);
                     return;
                 }
                 const consumed = consume(element, step.done ? undefined : step.value, pattern);
@@ -987,22 +932,13 @@ class Frame {
             return Effect.succeed(String(keyNode.value));
         throw unsupportedSyntax(keyNode.type, keyNode);
     }
-    destructuringPropertyValue(source, key) {
-        if (!(source instanceof ProgramArray))
-            return get(source, key);
-        if (has(source, key))
-            return get(source, key);
-        if (typeof key === "string" && arrayMethods.has(key))
-            return new IntrinsicReference(source, key);
-        return undefined;
-    }
     evaluateExpression(node) {
         switch (node.type) {
             case "Literal": {
                 const regex = node.regex;
                 if (regex)
-                    return Effect.sync(() => constructRegExp([regex.pattern, regex.flags], node));
-                return Effect.sync(() => toProgram(node.value, "Literal"));
+                    return Effect.sync(() => constructRegExp(this.runtime.prototypes, [regex.pattern, regex.flags], node));
+                return Effect.sync(() => toProgram(this.runtime.prototypes, node.value, "Literal"));
             }
             case "Identifier":
                 return Effect.sync(() => this.scopes.get(node.name, node));
@@ -1060,7 +996,7 @@ class Frame {
         return Effect.gen(function* () {
             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;
+            const construct = callee instanceof NativeFunction ? callee.construct : undefined;
             if (construct === undefined) {
                 // `new` itself is supported, so a non-constructible callee is a TypeError like JS rather than
                 // unsupported syntax. Built-ins like Number are real constructors in JS, so do not claim
@@ -1068,13 +1004,13 @@ class Frame {
                 const name = calleeDescription(node.callee);
                 const message = callee instanceof ProgramFunction
                     ? `${name} cannot be constructed: user-defined constructors and classes are not supported. Call it as a function that returns a plain object instead.`
-                    : callee instanceof HostFunction
+                    : callee instanceof NativeFunction
                         ? `new ${name}(...) is not supported; call ${name}(...) without new instead.`
                         : `${name} is not a constructor.`;
                 throw new InterpreterRuntimeError(message, node);
             }
             const args = yield* self.evaluateCallArguments(node.arguments);
-            return yield* construct(args, node);
+            return yield* construct(args, callee, node);
         });
     }
     evaluateBinaryExpression(node) {
@@ -1088,7 +1024,7 @@ class Frame {
             const rhs = yield* self.evaluateExpression(node.right);
             if (operator === "instanceof")
                 return instanceofValue(lhs, rhs, node);
-            return toProgram(self.applyBinaryOperator(operator, lhs, rhs, node), "Binary expression result");
+            return toProgram(self.runtime.prototypes, self.applyBinaryOperator(operator, lhs, rhs, node), "Binary expression result");
         });
     }
     applyBinaryOperator(operator, lhs, rhs, node) {
@@ -1105,7 +1041,7 @@ class Frame {
         // 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 Values.Date) {
+            if (operand instanceof ProgramDate) {
                 return operator === "+" || operator === "==" || operator === "!=" ? coerceToString(operand) : operand.time;
             }
             return operand !== null && typeof operand === "object" ? coerceToString(operand) : operand;
@@ -1190,7 +1126,7 @@ class Frame {
             if (containsOpaqueReference(value)) {
                 throw new InterpreterRuntimeError("Unary operators require data values.", node, "InvalidDataValue");
             }
-            const operand = value instanceof Values.Date
+            const operand = value instanceof ProgramDate
                 ? value.time
                 : value !== null && typeof value === "object"
                     ? coerceToString(value)
@@ -1209,7 +1145,7 @@ class Frame {
                 default:
                     throw new InterpreterRuntimeError(`Unsupported unary operator '${operator}'.`, node);
             }
-            return toProgram(result, "Unary expression result");
+            return toProgram(this.runtime.prototypes, result, "Unary expression result");
         });
     }
     evaluateAssignmentExpression(node) {
@@ -1230,7 +1166,7 @@ class Frame {
                 if (operator !== "=") {
                     const current = self.scopes.get(name, left);
                     const rightValue = yield* self.evaluateExpression(node.right);
-                    const next = toProgram(self.applyCompoundAssignment(operator, current, rightValue, node), "Assignment result");
+                    const next = toProgram(self.runtime.prototypes, self.applyCompoundAssignment(operator, current, rightValue, node), "Assignment result");
                     return self.scopes.set(name, next, left);
                 }
                 const rightValue = yield* self.evaluateNamed(node.right, name);
@@ -1240,7 +1176,7 @@ class Frame {
                 return yield* self.modifyMember(left, (current) => Effect.map(self.evaluateExpression(node.right), (rightValue) => {
                     if (operator === "=")
                         return { write: true, next: rightValue, result: rightValue };
-                    const next = toProgram(self.applyCompoundAssignment(operator, current, rightValue, node), "Assignment result");
+                    const next = toProgram(self.runtime.prototypes, self.applyCompoundAssignment(operator, current, rightValue, node), "Assignment result");
                     return { write: true, next, result: next };
                 }));
             }
@@ -1305,23 +1241,37 @@ class Frame {
         }
         throw new InterpreterRuntimeError("Update target must be an Identifier or MemberExpression.", argument);
     }
+    // EvaluateCall: a member callee supplies its base object as `this`; anything else calls with undefined.
     evaluateCallExpression(node) {
         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);
+            const { callable, thisValue } = callee.type === "MemberExpression"
+                ? yield* self.readMethod(callee)
+                : { callable: yield* self.evaluateExpression(callee), thisValue: undefined };
             if (callable === OptionalShortCircuit)
                 return OptionalShortCircuit;
             if ((callable === null || callable === undefined) && node.optional)
                 return OptionalShortCircuit;
             const args = yield* self.evaluateCallArguments(node.arguments);
-            return yield* self.invokeCallable(callable, args, node, callee);
+            return yield* self.invokeCallable(callable, thisValue, args, node, callee);
+        });
+    }
+    readMethod(node) {
+        return Effect.map(this.getMemberReference(node), (reference) => {
+            if (reference === OptionalShortCircuit)
+                return { callable: OptionalShortCircuit, thisValue: undefined };
+            if (reference instanceof ToolReference)
+                return { callable: reference, thisValue: undefined };
+            if ("value" in reference)
+                return { callable: reference.value, thisValue: undefined };
+            return { callable: this.readReference(reference, node), thisValue: reference.receiver };
         });
     }
     // The single dispatch for every invocation: call expressions and callbacks share it.
-    invokeCallable(callable, args, node, callee) {
+    invokeCallable(callable, thisValue, args, node, callee) {
         const self = this;
         return Effect.gen(function* () {
             if (callable instanceof ToolReference) {
@@ -1330,27 +1280,11 @@ class Frame {
                 }
                 return yield* self.createToolCallPromise(callable.path, args);
             }
-            if (callable instanceof ProgramFunction) {
+            if (callable instanceof ProgramFunction)
                 return yield* self.invokeFunction(callable, args);
-            }
-            if (callable instanceof GeneratorMethodReference) {
-                if (callable.kind === "iterator")
-                    return callable.generator;
-                const requested = callable.generator.request(callable.kind, args[0], node);
-                return callable.generator.asynchronous ? yield* self.createPromise(requested) : yield* requested;
-            }
-            if (callable instanceof IntrinsicReference) {
-                return yield* invokeIntrinsic(self.runtime.runner, callable, args, node);
-            }
-            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 ?? node);
-            }
-            throw new InterpreterRuntimeError("Only tools are callable here.", callee ?? node);
+            if (callable instanceof NativeFunction)
+                return yield* callable.call(thisValue, args, node);
+            throw new InterpreterRuntimeError(`${calleeDescription(callee)} is not a function.`, callee ?? node);
         });
     }
     evaluateCallArguments(argNodes) {
@@ -1378,6 +1312,7 @@ class Frame {
         });
     }
     invokeFunction(fn, args) {
+        const self = this;
         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.
@@ -1389,7 +1324,7 @@ class Frame {
             }
             for (const [index, parameter] of fn.parameters.entries()) {
                 if (parameter.type === "RestElement") {
-                    yield* invocation.declarePattern(parameter.argument, new ProgramArray(args.slice(index)), true, parameter, true);
+                    yield* invocation.declarePattern(parameter.argument, new ProgramArray(self.runtime.prototypes.Array, args.slice(index)), true, parameter, true);
                     break;
                 }
                 yield* invocation.declarePattern(parameter, args[index], true, parameter, true);
@@ -1412,7 +1347,9 @@ class Frame {
         const state = { started: false, completed: false, draining: false, pending: [], pendingIndex: 0 };
         invocation.generatorState = state;
         invocation.generatorAsync = asynchronous;
-        const generator = new CodeModeGenerator(asynchronous, (kind, value, node) => {
+        const protos = this.runtime.prototypes;
+        const result = (value, done) => record(protos.Object, { value, done });
+        const request = (kind, value, node) => {
             const request = { kind, value, response: Deferred.makeUnsafe() };
             if (!asynchronous && state.active) {
                 return Effect.fail(new InterpreterRuntimeError("Generator is already running.", node));
@@ -1431,13 +1368,13 @@ class Frame {
             if (state.completed) {
                 if (kind === "throw")
                     return Effect.fail(new ProgramThrow(value));
-                return Effect.succeed(record({ value: kind === "return" ? value : undefined, done: true }));
+                return Effect.succeed(result(kind === "return" ? value : undefined, true));
             }
             if (!state.started && kind !== "next") {
                 state.completed = true;
                 if (kind === "throw")
                     return Effect.fail(new ProgramThrow(value));
-                return Effect.succeed(record({ value, done: true }));
+                return Effect.succeed(result(value, true));
             }
             state.pending.push(request);
             if (state.available) {
@@ -1457,7 +1394,7 @@ class Frame {
                     const active = state.active;
                     state.active = undefined;
                     if (active) {
-                        Deferred.doneUnsafe(active.response, Exit.isSuccess(exit) ? Exit.succeed(record({ value: exit.value, done: true })) : exit);
+                        Deferred.doneUnsafe(active.response, Exit.isSuccess(exit) ? Exit.succeed(result(exit.value, true)) : exit);
                     }
                     yield* invocation.completeGeneratorRequests(state, asynchronous);
                     state.completed = true;
@@ -1465,11 +1402,13 @@ class Frame {
                 return Effect.andThen(this.runtime.promises.fork(body), Deferred.await(request.response));
             }
             return Deferred.await(request.response);
-        });
+        };
+        const generator = new ProgramGenerator(asynchronous ? protos.AsyncGenerator : protos.Generator, asynchronous, request);
         return generator;
     }
     completeGeneratorRequests(state, asynchronous) {
         const self = this;
+        const result = (value, done) => record(self.runtime.prototypes.Object, { value, done });
         return Effect.gen(function* () {
             while (true) {
                 const pending = self.dequeueGeneratorRequest(state);
@@ -1481,10 +1420,10 @@ class Frame {
                 }
                 if (asynchronous && pending.kind === "return") {
                     const resolved = yield* Effect.exit(self.awaitValue(pending.value));
-                    Deferred.doneUnsafe(pending.response, Exit.isSuccess(resolved) ? Exit.succeed(record({ value: resolved.value, done: true })) : resolved);
+                    Deferred.doneUnsafe(pending.response, Exit.isSuccess(resolved) ? Exit.succeed(result(resolved.value, true)) : resolved);
                     continue;
                 }
-                Deferred.doneUnsafe(pending.response, Exit.succeed(record({ value: pending.kind === "return" ? pending.value : undefined, done: true })));
+                Deferred.doneUnsafe(pending.response, Exit.succeed(result(pending.kind === "return" ? pending.value : undefined, true)));
             }
         });
     }
@@ -1525,7 +1464,7 @@ class Frame {
         const state = this.generatorState;
         if (!state?.active)
             throw new InterpreterRuntimeError("Generator has no active request.", node);
-        Deferred.doneUnsafe(state.active.response, Exit.succeed(record({ value, done: false })));
+        Deferred.doneUnsafe(state.active.response, Exit.succeed(record(this.runtime.prototypes.Object, { value, done: false })));
         state.active = undefined;
         return Effect.flatMap(this.takeGeneratorRequest(state), (request) => {
             state.active = request;
@@ -1543,9 +1482,9 @@ class Frame {
         return Effect.gen(function* () {
             if (value instanceof ProgramArray ||
                 typeof value === "string" ||
-                value instanceof Values.Map ||
-                value instanceof Values.Set ||
-                value instanceof Values.URLSearchParams) {
+                value instanceof ProgramMap ||
+                value instanceof ProgramSet ||
+                value instanceof ProgramURLSearchParams) {
                 const cursor = yield* self.syncIterator(value, node);
                 if (!cursor)
                     throw new InterpreterRuntimeError("Built-in iterator is unavailable.", node);
@@ -1574,18 +1513,14 @@ class Frame {
             let kind = "next";
             let input = undefined;
             while (true) {
-                const method = kind === "next"
-                    ? iterator.next
-                    : iterator.iterator instanceof CodeModeGenerator
-                        ? new GeneratorMethodReference(iterator.iterator, kind)
-                        : get(iterator.iterator, kind);
+                const method = kind === "next" ? iterator.next : get(iterator.iterator, kind);
                 if (method === undefined || method === null) {
                     if (kind === "return")
                         return yield* Effect.fail(new GeneratorReturn(input));
                     yield* self.closeIterator(iterator, node, self.generatorAsync);
                     throw new InterpreterRuntimeError("The delegated iterator does not provide a throw() method.", node);
                 }
-                const called = yield* self.invokeCallable(self.requireIteratorMethod(method, `Iterator ${kind}`, node), [input], node);
+                const called = yield* self.invokeCallable(self.requireIteratorMethod(method, `Iterator ${kind}`, node), iterator.iterator, [input], node);
                 const result = self.requireIteratorObject(iterator.asynchronous ? yield* self.awaitValue(called) : called, `Iterator ${kind}() result`, node);
                 const done = Boolean(get(result, "done"));
                 const resultValue = self.generatorAsync && !iterator.asynchronous
@@ -1612,7 +1547,7 @@ class Frame {
         });
     }
     evaluateObjectExpression(node) {
-        const objectValue = new ProgramObject();
+        const objectValue = new ProgramObject(this.runtime.prototypes.Object);
         const self = this;
         return Effect.gen(function* () {
             for (const property of node.properties) {
@@ -1620,7 +1555,7 @@ class Frame {
                     const spread = yield* self.evaluateExpression(property.argument);
                     if (spread === null || spread === undefined)
                         continue;
-                    assign(objectValue, enumerableSource("Object spread", spread, property));
+                    assign(objectValue, enumerableSource(self.runtime.runner, "Object spread", spread, property));
                     continue;
                 }
                 if (property.kind !== "init") {
@@ -1645,7 +1580,7 @@ class Frame {
                     : key === AsyncIteratorSymbol
                         ? "[Symbol.asyncIterator]"
                         : String(key);
-                set(objectValue, key, yield* self.evaluateNamed(property.value, name));
+                define(objectValue, key, yield* self.evaluateNamed(property.value, name));
             }
             return objectValue;
         });
@@ -1676,7 +1611,7 @@ class Frame {
                     values.push(yield* self.evaluateExpression(element));
                 }
             }
-            return new ProgramArray(values);
+            return new ProgramArray(self.runtime.prototypes.Array, values);
         });
     }
     evaluateTemplateLiteral(node) {
@@ -1694,7 +1629,7 @@ class Frame {
                 output += quasi.value.cooked;
                 if (index < expressions.length) {
                     const raw = yield* self.evaluateExpression(expressions[index]);
-                    output += coerceToString(toProgram(raw, "Template interpolation"));
+                    output += coerceToString(toProgram(self.runtime.prototypes, raw, "Template interpolation"));
                 }
             }
             return output;
@@ -1709,7 +1644,7 @@ class Frame {
         }
         return this.applyBinaryOperator(operator.slice(0, -1), current, incoming, node);
     }
-    getMemberReference(node, operation = "read") {
+    getMemberReference(node) {
         const objectNode = node.object;
         const propertyNode = node.property;
         if (objectNode.type === "Super")
@@ -1734,123 +1669,49 @@ class Frame {
                 }
                 return new ToolReference([...objectValue.path, key]);
             }
-            if (objectValue instanceof HostFunction || objectValue instanceof HostNamespace) {
-                // Unknown static members read as undefined so feature detection works like native JS.
-                return new ComputedValue(objectValue.member(key, propertyNode));
-            }
-            // Values have no prototype chain, so `.constructor` resolves to the owning built-in directly.
-            if (operation === "read" &&
-                key === "constructor" &&
-                !(objectValue instanceof ProgramObject && has(objectValue, key))) {
-                const name = constructorName(objectValue);
-                if (name !== undefined)
-                    return new ComputedValue(self.runtime.builtins.get(name));
-            }
+            if (objectValue instanceof ProgramObject)
+                return { target: objectValue, key, receiver: objectValue };
+            // Primitives read through their wrapper prototype without being boxed; strings own length and indexes.
+            const protos = self.runtime.prototypes;
             if (typeof objectValue === "string") {
                 if (key === "length")
-                    return new ComputedValue(objectValue.length);
+                    return { value: objectValue.length };
                 const index = typeof key === "symbol" ? undefined : parseArrayIndex(key);
                 if (index !== undefined)
-                    return new ComputedValue(objectValue[index]);
-                if (typeof key === "string" && stringMethods.has(key))
-                    return new IntrinsicReference(objectValue, key);
-                return new ComputedValue(undefined);
-            }
-            if (typeof objectValue === "number") {
-                if (typeof key === "string" && numberMethods.has(key))
-                    return new IntrinsicReference(objectValue, key);
-                return new ComputedValue(undefined);
-            }
-            if (objectValue instanceof Values.Date) {
-                if (typeof key === "string" && dateMethods.has(key))
-                    return new IntrinsicReference(objectValue, key);
-                return new ComputedValue(undefined);
-            }
-            if (objectValue instanceof Values.RegExp) {
-                if (key === "lastIndex")
-                    return { target: objectValue, key };
-                if (typeof key === "string" && regexpProperties.has(key)) {
-                    return new ComputedValue(objectValue.regex[key]);
-                }
-                if (typeof key === "string" && regexpMethods.has(key))
-                    return new IntrinsicReference(objectValue, key);
-                return new ComputedValue(undefined);
-            }
-            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 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 Values.URL) {
-                if (key === "searchParams") {
-                    return new ComputedValue(objectValue.searchParams);
-                }
-                if (typeof key === "string" && urlMethods.has(key))
-                    return new IntrinsicReference(objectValue, key);
-                if (typeof key === "string" && urlProperties.has(key))
-                    return { target: objectValue, key };
-                return new ComputedValue(undefined);
-            }
-            if (objectValue instanceof Values.URLSearchParams) {
-                if (key === "size")
-                    return new ComputedValue(objectValue.params.size);
-                if (typeof key === "string" && urlSearchParamsMethods.has(key)) {
-                    return new IntrinsicReference(objectValue, key);
-                }
-                return new ComputedValue(undefined);
-            }
-            // Reject unknown promise properties so a missing await cannot hide.
-            if (objectValue instanceof Values.Promise) {
-                if (key === "then" || key === "catch" || key === "finally") {
-                    return new PromiseInstanceMethodReference(objectValue, key);
-                }
-                throw new InterpreterRuntimeError("This value is an un-awaited Promise; await it first - e.g. `const result = await tools.ns.tool(...)`.", objectNode, "InvalidDataValue");
-            }
-            if (objectValue instanceof CodeModeGenerator) {
-                if (key === "next" || key === "return" || key === "throw") {
-                    return new GeneratorMethodReference(objectValue, key);
-                }
-                if ((key === IteratorSymbol && !objectValue.asynchronous) ||
-                    (key === AsyncIteratorSymbol && objectValue.asynchronous)) {
-                    return new GeneratorMethodReference(objectValue, "iterator");
-                }
-                return new ComputedValue(undefined);
+                    return { value: objectValue[index] };
+                return { target: protos.String, key, receiver: objectValue };
             }
-            if (objectValue instanceof ProgramObject)
-                return { target: objectValue, key };
-            if (isRuntimeReference(objectValue)) {
-                throw new InterpreterRuntimeError(`Cannot read properties of ${describeValue(objectValue)}; only data values expose properties.`, objectNode, "InvalidDataValue");
+            if (typeof objectValue === "number")
+                return { target: protos.Number, key, receiver: objectValue };
+            if (typeof objectValue === "boolean")
+                return { target: protos.Boolean, key, receiver: objectValue };
+            if (objectValue === null || objectValue === undefined) {
+                throw new InterpreterRuntimeError(`Cannot read properties of ${objectValue} (reading '${String(key)}').`, objectNode);
             }
             throw new InterpreterRuntimeError("Cannot access a property on a non-object value.", objectNode);
         });
     }
+    readReference(reference, node) {
+        // Reject unknown promise properties so a missing await cannot hide.
+        if (reference.target instanceof ProgramPromise && !has(reference.target, reference.key)) {
+            throw new InterpreterRuntimeError("This value is an un-awaited Promise; await it first - e.g. `const result = await tools.ns.tool(...)`.", node.object, "InvalidDataValue");
+        }
+        try {
+            return get(reference.target, reference.key, reference.receiver);
+        }
+        catch (error) {
+            throw locate(error, node);
+        }
+    }
     readMember(node) {
-        const self = this;
         return Effect.map(this.getMemberReference(node), (reference) => {
             if (reference === OptionalShortCircuit)
                 return OptionalShortCircuit;
-            if (reference instanceof ComputedValue)
-                return reference.value;
-            if (reference === undefined || isOpaqueMemberReference(reference))
+            if (reference instanceof ToolReference)
                 return reference;
-            const value = self.readReferenceValue(reference, reference.key);
-            if (value === undefined &&
-                reference.target instanceof ProgramArray &&
-                typeof reference.key === "string" &&
-                arrayMethods.has(reference.key) &&
-                !has(reference.target, reference.key)) {
-                return new IntrinsicReference(reference.target, reference.key);
-            }
-            return value;
+            if ("value" in reference)
+                return reference.value;
+            return this.readReference(reference, node);
         });
     }
     writeMember(node, value) {
@@ -1861,73 +1722,48 @@ class Frame {
         if (target.type !== "MemberExpression") {
             throw new InterpreterRuntimeError("Only data fields may be deleted.", argument);
         }
-        return Effect.map(this.getMemberReference(target, "delete"), (reference) => {
+        return Effect.map(this.getMemberReference(target), (reference) => {
             if (reference === OptionalShortCircuit)
                 return true;
-            if (reference instanceof ComputedValue ||
-                reference === undefined ||
-                isOpaqueMemberReference(reference) ||
-                reference.target instanceof Values.URL) {
+            if (reference instanceof ToolReference || "value" in reference || reference.receiver !== reference.target) {
                 throw new InterpreterRuntimeError("Only data fields may be deleted.", target, "InvalidDataValue");
             }
-            if (reference.target instanceof Values.RegExp) {
-                return Reflect.deleteProperty(reference.target.regex, reference.key);
-            }
-            return remove(reference.target, reference.key);
+            if (remove(reference.target, reference.key))
+                return true;
+            throw new InterpreterRuntimeError(`Cannot delete property '${String(reference.key)}'.`, target);
         });
     }
     // Resolve side-effecting object and key expressions exactly once.
     modifyMember(node, compute) {
         const self = this;
         return Effect.gen(function* () {
-            const reference = yield* self.getMemberReference(node, "write");
-            if (reference === OptionalShortCircuit ||
-                reference instanceof ComputedValue ||
-                reference === undefined ||
-                isOpaqueMemberReference(reference)) {
+            const reference = yield* self.getMemberReference(node);
+            if (reference === OptionalShortCircuit || reference instanceof ToolReference || "value" in reference) {
                 throw new InterpreterRuntimeError("Only data fields may be assigned.", node);
             }
+            if (reference.receiver !== reference.target) {
+                throw new InterpreterRuntimeError(`Cannot create property '${String(reference.key)}' on ${typeof reference.receiver} '${String(reference.receiver)}'.`, node);
+            }
             const key = reference.key;
-            const { write, next, result } = yield* compute(self.readReferenceValue(reference, key));
+            const { write, next, result } = yield* compute(self.readReference(reference, node));
             if (write)
-                self.assignToReference(reference, key, next, node);
+                self.assignToReference(reference.target, key, next, node);
             return result;
         });
     }
-    readReferenceValue(reference, key) {
-        if (reference.target instanceof Values.URL) {
-            return Reflect.get(reference.target.url, key);
-        }
-        if (reference.target instanceof Values.RegExp)
-            return reference.target.lastIndex;
-        return get(reference.target, key);
-    }
-    assignToReference(reference, key, next, node) {
-        if (reference.target instanceof Values.URL) {
-            const property = key;
-            if (!urlWritableProperties.has(property)) {
-                throw new InterpreterRuntimeError(`URL.${property} is read-only.`, node);
-            }
+    assignToReference(target, key, next, node) {
+        rejectCircularInsertion(target, next, target instanceof ProgramArray ? "Array assignment result" : "Object assignment result", node);
+        const written = (() => {
             try {
-                const url = reference.target.url;
-                url[property] = uriArgument(next, `URL.${property} value`);
-                return;
+                return set(target, key, next);
             }
             catch (error) {
-                if (error instanceof InterpreterRuntimeError || error instanceof ToolRuntimeError)
-                    throw error;
-                throw new InterpreterRuntimeError(`URL.${property} received an invalid value.`, node);
+                throw locate(error, node);
             }
-        }
-        if (reference.target instanceof Values.RegExp) {
-            reference.target.lastIndex = next;
-            return;
-        }
-        const target = reference.target;
-        rejectCircularInsertion(target, next, target instanceof ProgramArray ? "Array assignment result" : "Object assignment result", node);
-        if (set(target, key, next))
+        })();
+        if (written)
             return;
-        if (target instanceof ProgramArray)
+        if (target instanceof ProgramArray && key === "length")
             throw rangeError("Invalid array length", node);
         throw new InterpreterRuntimeError(`Cannot assign to read only property '${String(key)}'.`, node);
     }