@faicad/faijs 0.13.0

package/dist/cad-runtime/index.js

@@ -0,0 +1,7 @@
+/**
+ * cad-runtime — L2 编排层公开 API
+ *
+ */
+export { CadRuntime, createRuntime, computeContentKey } from './runtime.js';
+export { createPreviewExec } from './preview-exec.js';
+//# sourceMappingURL=index.js.map

package/dist/cad-runtime/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/cad-runtime/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA","sourcesContent":["/**\n * cad-runtime — L2 编排层公开 API\n *\n */\n\nexport { CadRuntime, createRuntime, computeContentKey } from './runtime'\nexport { createPreviewExec } from './preview-exec'\nexport type { PreviewExec } from './preview-exec'\nexport type {\n  ExecutionResult,\n  ExecuteOptions,\n  CheckResult,\n  CheckError,\n} from './runtime'\nexport type {\n  HostPorts,\n  CsgBackend,\n  SdfBackend,\n  FontProvider,\n  TextureSampler,\n  AssetResolver,\n  EventSink,\n  ExecutionMode,\n  MeshData,\n  PlaneParams,\n  SplitResult,\n  DovetailGrooveParams,\n  DowelSplitParams,\n  StraightTenonSplitParams,\n} from './ports'\n"]}

package/dist/cad-runtime/interp/closure.d.ts

@@ -0,0 +1,39 @@
+/**
+ * closure — InterpClosure, the interpreter's function object.
+ *
+ * Corresponds to the vm backend's `__ctx.<name> = async function <name>(...)`
+ * hoisting: every user function becomes an async callable stored in ctx.
+ * Visible bindings inside the body = params + namespace bindings + S4 safe
+ * globals (D2) — never top-level ctx variables. Nested closures additionally
+ * see the enclosing function's locals (D3 lexical capture).
+ *
+ * Module-graph note: this file must NOT import eval-expr/exec-stmt (they
+ * import this file); body execution goes through the lazily wired
+ * state.evalExpr / state.execBody.
+ */
+import type { ASTNode } from '../exec-backend.js';
+import { InterpEnv, type InterpState } from './env.js';
+/**
+ * An interpreter-created user function value (FunctionDeclaration /
+ * FunctionExpression / ArrowFunctionExpression). Corresponds to the vm
+ * backend's `__ctx.<name> = async function <name>(...)` hoisted closure.
+ */
+export declare class InterpClosure {
+    /** FunctionDeclaration / FunctionExpression / ArrowFunctionExpression node */
+    private readonly node;
+    /** defining env (lexical parent for nested closures; root env → dropped) */
+    private readonly defEnv;
+    constructor(
+    /** FunctionDeclaration / FunctionExpression / ArrowFunctionExpression node */
+    node: ASTNode, 
+    /** defining env (lexical parent for nested closures; root env → dropped) */
+    defEnv: InterpEnv);
+    /**
+     * Invoke the closure with positional args.
+     * @param args - evaluated call arguments (positional; params ABI §3.4).
+     * @param state - shared interpreter state (recursion guard, wired evaluators).
+     * @returns the returned value (undefined for a plain body end).
+     */
+    call(args: unknown[], state: InterpState): Promise<unknown>;
+}
+//# sourceMappingURL=closure.d.ts.map

package/dist/cad-runtime/interp/closure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"closure.d.ts","sourceRoot":"","sources":["../../../src/cad-runtime/interp/closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAC9C,OAAO,EAAE,SAAS,EAAE,KAAK,WAAW,EAAE,MAAM,OAAO,CAAA;AAGnD;;;;GAIG;AACH,qBAAa,aAAa;IAEtB,8EAA8E;IAC9E,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,4EAA4E;IAC5E,OAAO,CAAC,QAAQ,CAAC,MAAM;;IAHvB,8EAA8E;IAC7D,IAAI,EAAE,OAAO;IAC9B,4EAA4E;IAC3D,MAAM,EAAE,SAAS;IAGpC;;;;;OAKG;IACG,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;CA4ClE"}

package/dist/cad-runtime/interp/closure.js

@@ -0,0 +1,66 @@
+import { InterpEnv } from './env.js';
+import { ReturnSignal } from './signals.js';
+/**
+ * An interpreter-created user function value (FunctionDeclaration /
+ * FunctionExpression / ArrowFunctionExpression). Corresponds to the vm
+ * backend's `__ctx.<name> = async function <name>(...)` hoisted closure.
+ */
+export class InterpClosure {
+    node;
+    defEnv;
+    constructor(
+    /** FunctionDeclaration / FunctionExpression / ArrowFunctionExpression node */
+    node, 
+    /** defining env (lexical parent for nested closures; root env → dropped) */
+    defEnv) {
+        this.node = node;
+        this.defEnv = defEnv;
+    }
+    /**
+     * Invoke the closure with positional args.
+     * @param args - evaluated call arguments (positional; params ABI §3.4).
+     * @param state - shared interpreter state (recursion guard, wired evaluators).
+     * @returns the returned value (undefined for a plain body end).
+     */
+    async call(args, state) {
+        if (++state.depth > state.maxDepth) {
+            state.depth--;
+            throw new Error(`E_EXEC_LIMIT: closure recursion depth exceeded (${state.maxDepth})`);
+        }
+        try {
+            // ctx/ns come from the CALL-time host (registerLib hot-update safe);
+            // the parent chain carries only lexical function locals (D3).
+            const env = new InterpEnv('function', state.host.ctx, state.host.namespaces, this.defEnv.kind === 'root' ? undefined : this.defEnv);
+            const params = (this.node.params ?? []).map((p) => p?.type === 'Identifier' ? p.name : null);
+            for (const p of params) {
+                if (p === null) {
+                    throw new Error('E_UNSUPPORTED_SYNTAX: non-identifier function parameters are not supported');
+                }
+            }
+            params.forEach((p, i) => env.vars.set(p, args[i]));
+            // Named function expression self-binding (matches the vm path, where
+            // transformFunction emits `__ctx.<name> = async function <name>(...)` —
+            // the function name inside the body binds to the function itself).
+            if (this.node.id?.name) {
+                env.vars.set(this.node.id.name, this);
+            }
+            if (this.node.body?.type === 'BlockStatement') {
+                try {
+                    await state.execBody(this.node.body.body ?? [], env);
+                }
+                catch (e) {
+                    if (e instanceof ReturnSignal)
+                        return e.value;
+                    throw e;
+                }
+                return undefined;
+            }
+            // arrow with expression body
+            return await state.evalExpr(this.node.body, env);
+        }
+        finally {
+            state.depth--;
+        }
+    }
+}
+//# sourceMappingURL=closure.js.map

package/dist/cad-runtime/interp/closure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"closure.js","sourceRoot":"","sources":["../../../src/cad-runtime/interp/closure.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,SAAS,EAAoB,MAAM,OAAO,CAAA;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAExC;;;;GAIG;AACH,MAAM,OAAO,aAAa;IAGL;IAEA;IAJnB;IACE,8EAA8E;IAC7D,IAAa;IAC9B,4EAA4E;IAC3D,MAAiB;QAFjB,SAAI,GAAJ,IAAI,CAAS;QAEb,WAAM,GAAN,MAAM,CAAW;IACjC,CAAC;IAEJ;;;;;OAKG;IACH,KAAK,CAAC,IAAI,CAAC,IAAe,EAAE,KAAkB;QAC5C,IAAI,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,CAAC,KAAK,EAAE,CAAA;YACb,MAAM,IAAI,KAAK,CAAC,mDAAmD,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAA;QACvF,CAAC;QACD,IAAI,CAAC;YACH,qEAAqE;YACrE,8DAA8D;YAC9D,MAAM,GAAG,GAAG,IAAI,SAAS,CACvB,UAAU,EACV,KAAK,CAAC,IAAI,CAAC,GAAG,EACd,KAAK,CAAC,IAAI,CAAC,UAAU,EACrB,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CACtD,CAAA;YACD,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CACzD,CAAC,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CACzC,CAAA;YACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACf,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAA;gBAC/F,CAAC;YACH,CAAC;YACD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YAClE,qEAAqE;YACrE,wEAAwE;YACxE,mEAAmE;YACnE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;gBACvB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACvC,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBAC9C,IAAI,CAAC;oBACH,MAAM,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,GAAG,CAAC,CAAA;gBACtD,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,IAAI,CAAC,YAAY,YAAY;wBAAE,OAAO,CAAC,CAAC,KAAK,CAAA;oBAC7C,MAAM,CAAC,CAAA;gBACT,CAAC;gBACD,OAAO,SAAS,CAAA;YAClB,CAAC;YACD,6BAA6B;YAC7B,OAAO,MAAM,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAClD,CAAC;gBAAS,CAAC;YACT,KAAK,CAAC,KAAK,EAAE,CAAA;QACf,CAAC;IACH,CAAC;CACF","sourcesContent":["/**\n * closure — InterpClosure, the interpreter's function object.\n *\n * Corresponds to the vm backend's `__ctx.<name> = async function <name>(...)`\n * hoisting: every user function becomes an async callable stored in ctx.\n * Visible bindings inside the body = params + namespace bindings + S4 safe\n * globals (D2) — never top-level ctx variables. Nested closures additionally\n * see the enclosing function's locals (D3 lexical capture).\n *\n * Module-graph note: this file must NOT import eval-expr/exec-stmt (they\n * import this file); body execution goes through the lazily wired\n * state.evalExpr / state.execBody.\n */\nimport type { ASTNode } from '../exec-backend'\nimport { InterpEnv, type InterpState } from './env'\nimport { ReturnSignal } from './signals'\n\n/**\n * An interpreter-created user function value (FunctionDeclaration /\n * FunctionExpression / ArrowFunctionExpression). Corresponds to the vm\n * backend's `__ctx.<name> = async function <name>(...)` hoisted closure.\n */\nexport class InterpClosure {\n  constructor(\n    /** FunctionDeclaration / FunctionExpression / ArrowFunctionExpression node */\n    private readonly node: ASTNode,\n    /** defining env (lexical parent for nested closures; root env → dropped) */\n    private readonly defEnv: InterpEnv,\n  ) {}\n\n  /**\n   * Invoke the closure with positional args.\n   * @param args - evaluated call arguments (positional; params ABI §3.4).\n   * @param state - shared interpreter state (recursion guard, wired evaluators).\n   * @returns the returned value (undefined for a plain body end).\n   */\n  async call(args: unknown[], state: InterpState): Promise<unknown> {\n    if (++state.depth > state.maxDepth) {\n      state.depth--\n      throw new Error(`E_EXEC_LIMIT: closure recursion depth exceeded (${state.maxDepth})`)\n    }\n    try {\n      // ctx/ns come from the CALL-time host (registerLib hot-update safe);\n      // the parent chain carries only lexical function locals (D3).\n      const env = new InterpEnv(\n        'function',\n        state.host.ctx,\n        state.host.namespaces,\n        this.defEnv.kind === 'root' ? undefined : this.defEnv,\n      )\n      const params = (this.node.params ?? []).map((p: ASTNode) =>\n        p?.type === 'Identifier' ? p.name : null,\n      )\n      for (const p of params) {\n        if (p === null) {\n          throw new Error('E_UNSUPPORTED_SYNTAX: non-identifier function parameters are not supported')\n        }\n      }\n      params.forEach((p: string, i: number) => env.vars.set(p, args[i]))\n      // Named function expression self-binding (matches the vm path, where\n      // transformFunction emits `__ctx.<name> = async function <name>(...)` —\n      // the function name inside the body binds to the function itself).\n      if (this.node.id?.name) {\n        env.vars.set(this.node.id.name, this)\n      }\n      if (this.node.body?.type === 'BlockStatement') {\n        try {\n          await state.execBody(this.node.body.body ?? [], env)\n        } catch (e) {\n          if (e instanceof ReturnSignal) return e.value\n          throw e\n        }\n        return undefined\n      }\n      // arrow with expression body\n      return await state.evalExpr(this.node.body, env)\n    } finally {\n      state.depth--\n    }\n  }\n}\n"]}

package/dist/cad-runtime/interp/env.d.ts

@@ -0,0 +1,79 @@
+/**
+ * env — scope/binding resolution for the AST interpreter.
+ *
+ * Env kinds (design D1/D2, docs/plans/2026-09-14-no-eval-interpreter-backend-design.md):
+ * - root: the persistent ctx IS the variable container — reads resolve ctx,
+ *   writes go to ctx (block-level const/let included, R-5 semantics per D1).
+ * - function: params + function-local let/const only; a function body CANNOT
+ *   see top-level ctx variables (D2 — matches the vm backend, where the
+ *   function body is embedded verbatim inside `new Function`, so ctx
+ *   identifiers are free identifiers there and ReferenceError).
+ * - overlay: catch-clause scope — local vars, reads fall through to parent,
+ *   writes stay local (matches the vm path where the catch param is a plain
+ *   function-scope binding, not hoisted to ctx).
+ *
+ * Root identifier resolution order (matches hoistText: declared/ctx names are
+ * rewritten to `__ctx.<name>`, so ctx wins over ns): overlay vars → ctx →
+ * namespace bindings → S4 safe globals → ReferenceError.
+ * Function env: vars → parent function vars → ns → globals (never ctx, D2).
+ */
+import type { ExecHost, ASTNode } from '../exec-backend.js';
+/** Where a resolved identifier binding lives. */
+export type BindingWhere = 'ns' | 'ctx' | 'global' | 'local';
+/** Result of resolving an identifier: its scope kind and current value. */
+export interface ResolvedBinding {
+    where: BindingWhere;
+    value: unknown;
+}
+/**
+ * Interpreter-wide state shared by all eval/exec calls within one unit run.
+ * `evalExpr`/`execBody` are wired by the backend (lazily, to keep the module
+ * graph acyclic: eval-expr → closure, exec-stmt → eval-expr, closure → state).
+ */
+export interface InterpState {
+    host: ExecHost;
+    /** current closure recursion depth (guard against stack blowout) */
+    depth: number;
+    /** maximum closure recursion depth before E_EXEC_LIMIT */
+    maxDepth: number;
+    /** expression evaluator (wired by the backend) */
+    evalExpr: (node: ASTNode, env: InterpEnv) => Promise<unknown>;
+    /** statement-list executor (wired by the backend) */
+    execBody: (body: ASTNode[], env: InterpEnv) => Promise<unknown>;
+}
+/**
+ * Lexical environment for one scope level of the AST interpreter.
+ * See module doc for the root/function/overlay semantics (D1/D2).
+ */
+export declare class InterpEnv {
+    readonly kind: 'root' | 'function' | 'overlay';
+    private readonly ctx;
+    private readonly ns;
+    /** enclosing function env (closures only; never crosses into a root env — D2) */
+    private readonly parent?;
+    /** local bindings (function params/locals, catch params, for-in/of vars) */
+    readonly vars: Map<string, unknown>;
+    constructor(kind: 'root' | 'function' | 'overlay', ctx: Record<string, unknown>, ns: Record<string, unknown>, 
+    /** enclosing function env (closures only; never crosses into a root env — D2) */
+    parent?: InterpEnv | undefined);
+    /**
+     * True when `name` is a namespace binding.
+     * @param name - identifier to test.
+     * @returns true when the namespaces record owns `name`.
+     */
+    hasNs(name: string): boolean;
+    /**
+     * Resolve an identifier through vars → ctx → ns → S4 globals.
+     * @param name - identifier to resolve.
+     * @returns the binding, or undefined when unresolvable (caller throws ReferenceError).
+     */
+    lookup(name: string): ResolvedBinding | undefined;
+    /**
+     * Write a variable: function/overlay envs stay local; the root env writes
+     * through to the persistent ctx (D1). Namespace bindings are read-only.
+     * @param name - identifier to write.
+     * @param value - value to store.
+     */
+    assign(name: string, value: unknown): void;
+}
+//# sourceMappingURL=env.d.ts.map

package/dist/cad-runtime/interp/env.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"env.d.ts","sourceRoot":"","sources":["../../../src/cad-runtime/interp/env.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAGxD,iDAAiD;AACjD,MAAM,MAAM,YAAY,GAAG,IAAI,GAAG,KAAK,GAAG,QAAQ,GAAG,OAAO,CAAA;AAE5D,2EAA2E;AAC3E,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,YAAY,CAAA;IACnB,KAAK,EAAE,OAAO,CAAA;CACf;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,CAAA;IACd,oEAAoE;IACpE,KAAK,EAAE,MAAM,CAAA;IACb,0DAA0D;IAC1D,QAAQ,EAAE,MAAM,CAAA;IAChB,kDAAkD;IAClD,QAAQ,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;IAC7D,qDAAqD;IACrD,QAAQ,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;CAChE;AAED;;;GAGG;AACH,qBAAa,SAAS;IAKlB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAC9C,OAAO,CAAC,QAAQ,CAAC,GAAG;IACpB,OAAO,CAAC,QAAQ,CAAC,EAAE;IACnB,iFAAiF;IACjF,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;IAR1B,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,uBAA6B;gBAG/B,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,EAC7B,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAC5C,iFAAiF;IAChE,MAAM,CAAC,EAAE,SAAS,YAAA;IAGrC;;;;OAIG;IACH,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAI5B;;;;OAIG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS;IAmBjD;;;;;OAKG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;CAe3C"}

package/dist/cad-runtime/interp/env.js

@@ -0,0 +1,76 @@
+import { S4_SAFE_GLOBALS } from '../../lang/security-scanner.js';
+/**
+ * Lexical environment for one scope level of the AST interpreter.
+ * See module doc for the root/function/overlay semantics (D1/D2).
+ */
+export class InterpEnv {
+    kind;
+    ctx;
+    ns;
+    parent;
+    /** local bindings (function params/locals, catch params, for-in/of vars) */
+    vars = new Map();
+    constructor(kind, ctx, ns, 
+    /** enclosing function env (closures only; never crosses into a root env — D2) */
+    parent) {
+        this.kind = kind;
+        this.ctx = ctx;
+        this.ns = ns;
+        this.parent = parent;
+    }
+    /**
+     * True when `name` is a namespace binding.
+     * @param name - identifier to test.
+     * @returns true when the namespaces record owns `name`.
+     */
+    hasNs(name) {
+        return Object.prototype.hasOwnProperty.call(this.ns, name);
+    }
+    /**
+     * Resolve an identifier through vars → ctx → ns → S4 globals.
+     * @param name - identifier to resolve.
+     * @returns the binding, or undefined when unresolvable (caller throws ReferenceError).
+     */
+    lookup(name) {
+        if (this.vars.has(name))
+            return { where: 'local', value: this.vars.get(name) };
+        let p = this.parent;
+        while (p) {
+            if (p.vars.has(name))
+                return { where: 'local', value: p.vars.get(name) };
+            p = p.parent;
+        }
+        if (this.kind !== 'function' && Object.prototype.hasOwnProperty.call(this.ctx, name)) {
+            return { where: 'ctx', value: this.ctx[name] };
+        }
+        if (this.hasNs(name)) {
+            return { where: 'ns', value: this.ns[name] };
+        }
+        if (S4_SAFE_GLOBALS.has(name)) {
+            return { where: 'global', value: globalThis[name] };
+        }
+        return undefined;
+    }
+    /**
+     * Write a variable: function/overlay envs stay local; the root env writes
+     * through to the persistent ctx (D1). Namespace bindings are read-only.
+     * @param name - identifier to write.
+     * @param value - value to store.
+     */
+    assign(name, value) {
+        if (this.kind === 'function' || this.kind === 'overlay' || this.vars.has(name)) {
+            // function bodies never write ctx (D2); overlay writes stay local
+            if (this.hasNs(name) && !this.vars.has(name)) {
+                throw new Error(`E_NS_ASSIGN: cannot assign to namespace binding "${name}"`);
+            }
+            this.vars.set(name, value);
+            return;
+        }
+        if (this.hasNs(name)) {
+            throw new Error(`E_NS_ASSIGN: cannot assign to namespace binding "${name}"`);
+        }
+        // root env: writes go to the persistent ctx (D1)
+        this.ctx[name] = value;
+    }
+}
+//# sourceMappingURL=env.js.map

package/dist/cad-runtime/interp/env.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"env.js","sourceRoot":"","sources":["../../../src/cad-runtime/interp/env.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AA4B7D;;;GAGG;AACH,MAAM,OAAO,SAAS;IAKT;IACQ;IACA;IAEA;IARnB,4EAA4E;IACnE,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAA;IAE1C,YACW,IAAqC,EAC7B,GAA4B,EAC5B,EAA2B;IAC5C,iFAAiF;IAChE,MAAkB;QAJ1B,SAAI,GAAJ,IAAI,CAAiC;QAC7B,QAAG,GAAH,GAAG,CAAyB;QAC5B,OAAE,GAAF,EAAE,CAAyB;QAE3B,WAAM,GAAN,MAAM,CAAY;IAClC,CAAC;IAEJ;;;;OAIG;IACH,KAAK,CAAC,IAAY;QAChB,OAAO,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;IAC5D,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,IAAY;QACjB,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAA;QAC9E,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAA;QACnB,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAA;YACxE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;QACd,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YACrF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAA;QAChD,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAG,IAAI,CAAC,EAA8B,CAAC,IAAI,CAAC,EAAE,CAAA;QAC3E,CAAC;QACD,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAG,UAAsC,CAAC,IAAI,CAAC,EAAE,CAAA;QAClF,CAAC;QACD,OAAO,SAAS,CAAA;IAClB,CAAC;IAED;;;;;OAKG;IACH,MAAM,CAAC,IAAY,EAAE,KAAc;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/E,kEAAkE;YAClE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7C,MAAM,IAAI,KAAK,CAAC,oDAAoD,IAAI,GAAG,CAAC,CAAA;YAC9E,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YAC1B,OAAM;QACR,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,oDAAoD,IAAI,GAAG,CAAC,CAAA;QAC9E,CAAC;QACD,iDAAiD;QACjD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAA;IACxB,CAAC;CACF","sourcesContent":["/**\n * env — scope/binding resolution for the AST interpreter.\n *\n * Env kinds (design D1/D2, docs/plans/2026-09-14-no-eval-interpreter-backend-design.md):\n * - root: the persistent ctx IS the variable container — reads resolve ctx,\n *   writes go to ctx (block-level const/let included, R-5 semantics per D1).\n * - function: params + function-local let/const only; a function body CANNOT\n *   see top-level ctx variables (D2 — matches the vm backend, where the\n *   function body is embedded verbatim inside `new Function`, so ctx\n *   identifiers are free identifiers there and ReferenceError).\n * - overlay: catch-clause scope — local vars, reads fall through to parent,\n *   writes stay local (matches the vm path where the catch param is a plain\n *   function-scope binding, not hoisted to ctx).\n *\n * Root identifier resolution order (matches hoistText: declared/ctx names are\n * rewritten to `__ctx.<name>`, so ctx wins over ns): overlay vars → ctx →\n * namespace bindings → S4 safe globals → ReferenceError.\n * Function env: vars → parent function vars → ns → globals (never ctx, D2).\n */\nimport type { ExecHost, ASTNode } from '../exec-backend'\nimport { S4_SAFE_GLOBALS } from '../../lang/security-scanner'\n\n/** Where a resolved identifier binding lives. */\nexport type BindingWhere = 'ns' | 'ctx' | 'global' | 'local'\n\n/** Result of resolving an identifier: its scope kind and current value. */\nexport interface ResolvedBinding {\n  where: BindingWhere\n  value: unknown\n}\n\n/**\n * Interpreter-wide state shared by all eval/exec calls within one unit run.\n * `evalExpr`/`execBody` are wired by the backend (lazily, to keep the module\n * graph acyclic: eval-expr → closure, exec-stmt → eval-expr, closure → state).\n */\nexport interface InterpState {\n  host: ExecHost\n  /** current closure recursion depth (guard against stack blowout) */\n  depth: number\n  /** maximum closure recursion depth before E_EXEC_LIMIT */\n  maxDepth: number\n  /** expression evaluator (wired by the backend) */\n  evalExpr: (node: ASTNode, env: InterpEnv) => Promise<unknown>\n  /** statement-list executor (wired by the backend) */\n  execBody: (body: ASTNode[], env: InterpEnv) => Promise<unknown>\n}\n\n/**\n * Lexical environment for one scope level of the AST interpreter.\n * See module doc for the root/function/overlay semantics (D1/D2).\n */\nexport class InterpEnv {\n  /** local bindings (function params/locals, catch params, for-in/of vars) */\n  readonly vars = new Map<string, unknown>()\n\n  constructor(\n    readonly kind: 'root' | 'function' | 'overlay',\n    private readonly ctx: Record<string, unknown>,\n    private readonly ns: Record<string, unknown>,\n    /** enclosing function env (closures only; never crosses into a root env — D2) */\n    private readonly parent?: InterpEnv,\n  ) {}\n\n  /**\n   * True when `name` is a namespace binding.\n   * @param name - identifier to test.\n   * @returns true when the namespaces record owns `name`.\n   */\n  hasNs(name: string): boolean {\n    return Object.prototype.hasOwnProperty.call(this.ns, name)\n  }\n\n  /**\n   * Resolve an identifier through vars → ctx → ns → S4 globals.\n   * @param name - identifier to resolve.\n   * @returns the binding, or undefined when unresolvable (caller throws ReferenceError).\n   */\n  lookup(name: string): ResolvedBinding | undefined {\n    if (this.vars.has(name)) return { where: 'local', value: this.vars.get(name) }\n    let p = this.parent\n    while (p) {\n      if (p.vars.has(name)) return { where: 'local', value: p.vars.get(name) }\n      p = p.parent\n    }\n    if (this.kind !== 'function' && Object.prototype.hasOwnProperty.call(this.ctx, name)) {\n      return { where: 'ctx', value: this.ctx[name] }\n    }\n    if (this.hasNs(name)) {\n      return { where: 'ns', value: (this.ns as Record<string, unknown>)[name] }\n    }\n    if (S4_SAFE_GLOBALS.has(name)) {\n      return { where: 'global', value: (globalThis as Record<string, unknown>)[name] }\n    }\n    return undefined\n  }\n\n  /**\n   * Write a variable: function/overlay envs stay local; the root env writes\n   * through to the persistent ctx (D1). Namespace bindings are read-only.\n   * @param name - identifier to write.\n   * @param value - value to store.\n   */\n  assign(name: string, value: unknown): void {\n    if (this.kind === 'function' || this.kind === 'overlay' || this.vars.has(name)) {\n      // function bodies never write ctx (D2); overlay writes stay local\n      if (this.hasNs(name) && !this.vars.has(name)) {\n        throw new Error(`E_NS_ASSIGN: cannot assign to namespace binding \"${name}\"`)\n      }\n      this.vars.set(name, value)\n      return\n    }\n    if (this.hasNs(name)) {\n      throw new Error(`E_NS_ASSIGN: cannot assign to namespace binding \"${name}\"`)\n    }\n    // root env: writes go to the persistent ctx (D1)\n    this.ctx[name] = value\n  }\n}\n"]}

package/dist/cad-runtime/interp/eval-expr.d.ts

@@ -0,0 +1,23 @@
+/**
+ * eval-expr — expression evaluation for the AST interpreter.
+ *
+ * Semantics contract: must stay observably identical to the vm backend
+ * (`new Function` executing the transformed unit text) for every construct
+ * the S4/S5 scanner admits. Notable alignments:
+ * - call args are evaluated eagerly, spread supported;
+ * - bare callee to a ctx-stored closure resolves through env (ctx/name);
+ * - optional chaining / nullish coalescing follow JS semantics;
+ * - assignment / update write through env.assign (root → ctx, D1);
+ * - template literals and binary/unary/logical operators mirror JS.
+ */
+import type { ASTNode } from '../exec-backend.js';
+import { InterpEnv, type InterpState } from './env.js';
+/**
+ * Evaluate one AST expression node.
+ * @param node - expression AST node.
+ * @param env - current lexical environment.
+ * @param state - shared interpreter state (host, recursion guard, wired evaluators).
+ * @returns the evaluated value.
+ */
+export declare function evalExpr(node: ASTNode, env: InterpEnv, state: InterpState): Promise<unknown>;
+//# sourceMappingURL=eval-expr.d.ts.map

package/dist/cad-runtime/interp/eval-expr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"eval-expr.d.ts","sourceRoot":"","sources":["../../../src/cad-runtime/interp/eval-expr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAC9C,OAAO,EAAE,SAAS,EAAE,KAAK,WAAW,EAAE,MAAM,OAAO,CAAA;AAOnD;;;;;;GAMG;AACH,wBAAsB,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAsKlG"}

package/dist/cad-runtime/interp/eval-expr.js

@@ -0,0 +1,232 @@
+import { InterpClosure } from './closure.js';
+function unsupported(node) {
+    throw new Error(`E_UNSUPPORTED_SYNTAX: expression ${node?.type} is not supported by the interpreter backend`);
+}
+/**
+ * Evaluate one AST expression node.
+ * @param node - expression AST node.
+ * @param env - current lexical environment.
+ * @param state - shared interpreter state (host, recursion guard, wired evaluators).
+ * @returns the evaluated value.
+ */
+export async function evalExpr(node, env, state) {
+    switch (node.type) {
+        case 'Literal':
+            return node.value;
+        case 'Identifier': {
+            if (node.name === 'undefined')
+                return undefined;
+            const b = env.lookup(node.name);
+            if (!b)
+                throw new ReferenceError(`${node.name} is not defined`);
+            return b.value;
+        }
+        case 'TemplateLiteral': {
+            let out = '';
+            const quasis = node.quasis ?? [];
+            const exprs = node.expressions ?? [];
+            for (let i = 0; i < quasis.length; i++) {
+                out += quasis[i].value.cooked ?? quasis[i].value.raw ?? '';
+                if (i < exprs.length) {
+                    out += String(await evalExpr(exprs[i], env, state));
+                }
+            }
+            return out;
+        }
+        case 'TaggedTemplateExpression': {
+            return unsupported(node);
+        }
+        case 'ArrayExpression': {
+            const out = [];
+            for (const el of node.elements ?? []) {
+                if (el === null)
+                    out.push(undefined);
+                else if (el.type === 'SpreadElement')
+                    out.push(...(await evalExpr(el.argument, env, state)));
+                else
+                    out.push(await evalExpr(el, env, state));
+            }
+            return out;
+        }
+        case 'ObjectExpression': {
+            const out = {};
+            for (const prop of node.properties ?? []) {
+                if (prop.type === 'SpreadElement') {
+                    Object.assign(out, await evalExpr(prop.argument, env, state));
+                    continue;
+                }
+                // Property ( scanners admit no methods; computed keys allowed )
+                const key = prop.computed
+                    ? String(await evalExpr(prop.key, env, state))
+                    : prop.key.type === 'Identifier'
+                        ? prop.key.name
+                        : String(prop.key.value);
+                out[key] = await evalExpr(prop.value, env, state);
+            }
+            return out;
+        }
+        case 'UnaryExpression': {
+            if (node.operator === 'typeof' && node.argument.type === 'Identifier') {
+                const b = env.lookup(node.argument.name);
+                return b ? typeof b.value : 'undefined';
+            }
+            const v = await evalExpr(node.argument, env, state);
+            switch (node.operator) {
+                case '-': return -v;
+                case '+': return +v;
+                case '!': return !v;
+                case '~': return ~v;
+                case 'void': return undefined;
+                case 'delete': return true;
+                default: return unsupported(node);
+            }
+        }
+        case 'BinaryExpression': {
+            const l = await evalExpr(node.left, env, state);
+            const r = await evalExpr(node.right, env, state);
+            switch (node.operator) {
+                case '+': return l + r;
+                case '-': return l - r;
+                case '*': return l * r;
+                case '/': return l / r;
+                case '%': return l % r;
+                case '**': return l ** r;
+                case '==': {
+                    return l == r;
+                }
+                case '!=': {
+                    return l != r;
+                }
+                case '===': return l === r;
+                case '!==': return l !== r;
+                case '<': return l < r;
+                case '<=': return l <= r;
+                case '>': return l > r;
+                case '>=': return l >= r;
+                case '&': return l & r;
+                case '|': return l | r;
+                case '^': return l ^ r;
+                case '<<': return l << r;
+                case '>>': return l >> r;
+                case '>>>': return l >>> r;
+                case 'instanceof': return l instanceof r;
+                case 'in': return l in r;
+                default: return unsupported(node);
+            }
+        }
+        case 'LogicalExpression': {
+            switch (node.operator) {
+                case '||': {
+                    const l = await evalExpr(node.left, env, state);
+                    return l || (await evalExpr(node.right, env, state));
+                }
+                case '&&': {
+                    const l = await evalExpr(node.left, env, state);
+                    return !l ? l : await evalExpr(node.right, env, state);
+                }
+                case '??': {
+                    const l = await evalExpr(node.left, env, state);
+                    return l !== null && l !== undefined ? l : await evalExpr(node.right, env, state);
+                }
+                default: return unsupported(node);
+            }
+        }
+        case 'ConditionalExpression':
+            return (await evalExpr(node.test, env, state))
+                ? await evalExpr(node.consequent, env, state)
+                : await evalExpr(node.alternate, env, state);
+        case 'AssignmentExpression': {
+            const value = node.operator === '='
+                ? await evalExpr(node.right, env, state)
+                : await evalExpr({ type: 'BinaryExpression', operator: node.operator.slice(0, -1), left: node.left, right: node.right }, env, state);
+            assignTarget(node.left, value, env);
+            return value;
+        }
+        case 'UpdateExpression': {
+            const old = (await evalExpr(node.argument, env, state));
+            const value = node.operator === '++' ? old + 1 : old - 1;
+            assignTarget(node.argument, value, env);
+            return node.prefix ? value : old;
+        }
+        case 'MemberExpression': {
+            const obj = await evalExpr(node.object, env, state);
+            const key = node.computed
+                ? await evalExpr(node.property, env, state)
+                : node.property.name;
+            if (obj === null || obj === undefined) {
+                throw new TypeError(`Cannot read properties of ${obj} (reading '${key}')`);
+            }
+            return obj[key];
+        }
+        case 'ChainExpression':
+            return evalExpr(node.expression, env, state);
+        case 'AwaitExpression':
+            return evalExpr(node.argument, env, state);
+        case 'SequenceExpression': {
+            let last;
+            for (const e of node.expressions ?? [])
+                last = await evalExpr(e, env, state);
+            return last;
+        }
+        case 'ArrowFunctionExpression':
+        case 'FunctionExpression':
+            return new InterpClosure(node, env);
+        case 'CallExpression':
+            return evalCall(node, env, state);
+        default:
+            unsupported(node);
+    }
+}
+function assignTarget(left, value, env) {
+    if (left.type === 'Identifier') {
+        env.assign(left.name, value);
+        return;
+    }
+    throw new Error(`E_UNSUPPORTED_SYNTAX: assignment target ${left.type} is not supported by the interpreter backend`);
+}
+async function evalCall(node, env, state) {
+    // callee: resolve function value + this binding
+    let fn;
+    let thisArg;
+    if (node.callee.type === 'MemberExpression') {
+        const obj = await evalExpr(node.callee.object, env, state);
+        const key = node.callee.computed
+            ? await evalExpr(node.callee.property, env, state)
+            : node.callee.property.name;
+        if (obj === null || obj === undefined) {
+            throw new TypeError(`Cannot read properties of ${obj} (reading '${key}')`);
+        }
+        fn = obj[key];
+        thisArg = obj;
+    }
+    else {
+        fn = await evalExpr(node.callee, env, state);
+    }
+    const args = [];
+    for (const a of node.arguments ?? []) {
+        if (a.type === 'SpreadElement')
+            args.push(...(await evalExpr(a.argument, env, state)));
+        else
+            args.push(await evalExpr(a, env, state));
+    }
+    if (fn instanceof InterpClosure) {
+        return await fn.call(args, state);
+    }
+    if (typeof fn !== 'function') {
+        // Mirror the vm path's TypeError text: generated code renders ctx-rooted
+        // receivers as `__ctx.<name>` (top-level units rewrite declared names),
+        // plain locals/params keep their source name.
+        if (node.callee.type === 'MemberExpression' &&
+            !node.callee.computed &&
+            node.callee.object.type === 'Identifier' &&
+            node.callee.property.type === 'Identifier') {
+            const name = node.callee.object.name;
+            const b = env.lookup(name);
+            const desc = b?.where === 'ctx' ? `__ctx.${name}` : name;
+            throw new TypeError(`${desc}.${node.callee.property.name} is not a function`);
+        }
+        throw new TypeError('expression is not a function');
+    }
+    return await fn.apply(thisArg, args);
+}
+//# sourceMappingURL=eval-expr.js.map

package/dist/cad-runtime/interp/eval-expr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eval-expr.js","sourceRoot":"","sources":["../../../src/cad-runtime/interp/eval-expr.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAEzC,SAAS,WAAW,CAAC,IAAa;IAChC,MAAM,IAAI,KAAK,CAAC,oCAAoC,IAAI,EAAE,IAAI,8CAA8C,CAAC,CAAA;AAC/G,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAa,EAAE,GAAc,EAAE,KAAkB;IAC9E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,KAAK,CAAA;QACnB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,OAAO,SAAS,CAAA;YAC/C,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC/B,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,cAAc,CAAC,GAAG,IAAI,CAAC,IAAI,iBAAiB,CAAC,CAAA;YAC/D,OAAO,CAAC,CAAC,KAAK,CAAA;QAChB,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,IAAI,GAAG,GAAG,EAAE,CAAA;YACZ,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,CAAA;YAChC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,IAAI,EAAE,CAAA;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,CAAA;gBAC1D,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;oBACrB,GAAG,IAAI,MAAM,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAA;gBACrD,CAAC;YACH,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,0BAA0B,CAAC,CAAC,CAAC;YAChC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAA;QAC1B,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,GAAG,GAAc,EAAE,CAAA;YACzB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBACrC,IAAI,EAAE,KAAK,IAAI;oBAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;qBAC/B,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAI,CAAC,MAAM,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAe,CAAC,CAAA;;oBACtG,GAAG,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAA;YAC/C,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAA4B,EAAE,CAAA;YACvC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBACzC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBAClC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAA;oBAC7D,SAAQ;gBACV,CAAC;gBACD,gEAAgE;gBAChE,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ;oBACvB,CAAC,CAAC,MAAM,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;oBAC9C,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;wBAC9B,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI;wBACf,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;gBAC5B,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YACnD,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACtE,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;gBACxC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAA;YACzC,CAAC;YACD,MAAM,CAAC,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YACnD,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACtB,KAAK,GAAG,CAAC,CAAC,OAAO,CAAE,CAAY,CAAA;gBAC/B,KAAK,GAAG,CAAC,CAAC,OAAO,CAAE,CAAY,CAAA;gBAC/B,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;gBACnB,KAAK,GAAG,CAAC,CAAC,OAAO,CAAE,CAAY,CAAA;gBAC/B,KAAK,MAAM,CAAC,CAAC,OAAO,SAAS,CAAA;gBAC7B,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAA;gBAC1B,OAAO,CAAC,CAAC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAA;YACnC,CAAC;QACH,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YAC/C,MAAM,CAAC,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YAChD,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACtB,KAAK,GAAG,CAAC,CAAC,OAAQ,CAAY,GAAI,CAAY,CAAA;gBAC9C,KAAK,GAAG,CAAC,CAAC,OAAQ,CAAY,GAAI,CAAY,CAAA;gBAC9C,KAAK,GAAG,CAAC,CAAC,OAAQ,CAAY,GAAI,CAAY,CAAA;gBAC9C,KAAK,GAAG,CAAC,CAAC,OAAQ,CAAY,GAAI,CAAY,CAAA;gBAC9C,KAAK,GAAG,CAAC,CAAC,OAAQ,CAAY,GAAI,CAAY,CAAA;gBAC9C,KAAK,IAAI,CAAC,CAAC,OAAQ,CAAY,IAAK,CAAY,CAAA;gBAChD,KAAK,IAAI,CAAC,CAAC,CAAC;oBACV,OAAO,CAAC,IAAI,CAAC,CAAA;gBACf,CAAC;gBACD,KAAK,IAAI,CAAC,CAAC,CAAC;oBACV,OAAO,CAAC,IAAI,CAAC,CAAA;gBACf,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;gBAC1B,KAAK,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;gBAC1B,KAAK,GAAG,CAAC,CAAC,OAAQ,CAAY,GAAI,CAAY,CAAA;gBAC9C,KAAK,IAAI,CAAC,CAAC,OAAQ,CAAY,IAAK,CAAY,CAAA;gBAChD,KAAK,GAAG,CAAC,CAAC,OAAQ,CAAY,GAAI,CAAY,CAAA;gBAC9C,KAAK,IAAI,CAAC,CAAC,OAAQ,CAAY,IAAK,CAAY,CAAA;gBAChD,KAAK,GAAG,CAAC,CAAC,OAAQ,CAAY,GAAI,CAAY,CAAA;gBAC9C,KAAK,GAAG,CAAC,CAAC,OAAQ,CAAY,GAAI,CAAY,CAAA;gBAC9C,KAAK,GAAG,CAAC,CAAC,OAAQ,CAAY,GAAI,CAAY,CAAA;gBAC9C,KAAK,IAAI,CAAC,CAAC,OAAQ,CAAY,IAAK,CAAY,CAAA;gBAChD,KAAK,IAAI,CAAC,CAAC,OAAQ,CAAY,IAAK,CAAY,CAAA;gBAChD,KAAK,KAAK,CAAC,CAAC,OAAQ,CAAY,KAAM,CAAY,CAAA;gBAClD,KAAK,YAAY,CAAC,CAAC,OAAQ,CAAY,YAAa,CAA+B,CAAA;gBACnF,KAAK,IAAI,CAAC,CAAC,OAAQ,CAA8B,IAAK,CAAY,CAAA;gBAClE,OAAO,CAAC,CAAC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAA;YACnC,CAAC;QACH,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACtB,KAAK,IAAI,CAAC,CAAC,CAAC;oBACV,MAAM,CAAC,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;oBAC/C,OAAO,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAA;gBACtD,CAAC;gBACD,KAAK,IAAI,CAAC,CAAC,CAAC;oBACV,MAAM,CAAC,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;oBAC/C,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;gBACxD,CAAC;gBACD,KAAK,IAAI,CAAC,CAAC,CAAC;oBACV,MAAM,CAAC,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;oBAC/C,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;gBACnF,CAAC;gBACD,OAAO,CAAC,CAAC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAA;YACnC,CAAC;QACH,CAAC;QACD,KAAK,uBAAuB;YAC1B,OAAO,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;gBAC5C,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC;gBAC7C,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QAChD,KAAK,sBAAsB,CAAC,CAAC,CAAC;YAC5B,MAAM,KAAK,GACT,IAAI,CAAC,QAAQ,KAAK,GAAG;gBACnB,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC;gBACxC,CAAC,CAAC,MAAM,QAAQ,CACZ,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EACtG,GAAG,EACH,KAAK,CACN,CAAA;YACP,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;YACnC,OAAO,KAAK,CAAA;QACd,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAW,CAAA;YACjE,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;YACxD,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;YACvC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAA;QAClC,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YACnD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ;gBACvB,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC;gBAC3C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAA;YACtB,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,IAAI,SAAS,CAAC,6BAA6B,GAAG,cAAc,GAAG,IAAI,CAAC,CAAA;YAC5E,CAAC;YACD,OAAQ,GAAwC,CAAC,GAAa,CAAC,CAAA;QACjE,CAAC;QACD,KAAK,iBAAiB;YACpB,OAAO,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QAC9C,KAAK,iBAAiB;YACpB,OAAO,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QAC5C,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAa,CAAA;YACjB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,IAAI,EAAE;gBAAE,IAAI,GAAG,MAAM,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YAC5E,OAAO,IAAI,CAAA;QACb,CAAC;QACD,KAAK,yBAAyB,CAAC;QAC/B,KAAK,oBAAoB;YACvB,OAAO,IAAI,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QACrC,KAAK,gBAAgB;YACnB,OAAO,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QACnC;YACE,WAAW,CAAC,IAAI,CAAC,CAAA;IACrB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,IAAa,EAAE,KAAc,EAAE,GAAc;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QAC5B,OAAM;IACR,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,8CAA8C,CAAC,CAAA;AACrH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,IAAa,EAAE,GAAc,EAAE,KAAkB;IACvE,gDAAgD;IAChD,IAAI,EAAW,CAAA;IACf,IAAI,OAAgB,CAAA;IACpB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QAC1D,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ;YAC9B,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC;YAClD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAA;QAC7B,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtC,MAAM,IAAI,SAAS,CAAC,6BAA6B,GAAG,cAAc,GAAG,IAAI,CAAC,CAAA;QAC5E,CAAC;QACD,EAAE,GAAI,GAAwC,CAAC,GAAa,CAAC,CAAA;QAC7D,OAAO,GAAG,GAAG,CAAA;IACf,CAAC;SAAM,CAAC;QACN,EAAE,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;IAC9C,CAAC;IACD,MAAM,IAAI,GAAc,EAAE,CAAA;IAC1B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;YAAE,IAAI,CAAC,IAAI,CAAC,GAAI,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAe,CAAC,CAAA;;YAChG,IAAI,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAA;IAC/C,CAAC;IACD,IAAI,EAAE,YAAY,aAAa,EAAE,CAAC;QAChC,OAAO,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IACnC,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,UAAU,EAAE,CAAC;QAC7B,yEAAyE;QACzE,wEAAwE;QACxE,8CAA8C;QAC9C,IACE,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;YACvC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ;YACrB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YACxC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,EAC1C,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAA;YACpC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;YAC1B,MAAM,IAAI,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;YACxD,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,oBAAoB,CAAC,CAAA;QAC/E,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,8BAA8B,CAAC,CAAA;IACrD,CAAC;IACD,OAAO,MAAO,EAAmC,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;AACxE,CAAC","sourcesContent":["/**\n * eval-expr — expression evaluation for the AST interpreter.\n *\n * Semantics contract: must stay observably identical to the vm backend\n * (`new Function` executing the transformed unit text) for every construct\n * the S4/S5 scanner admits. Notable alignments:\n * - call args are evaluated eagerly, spread supported;\n * - bare callee to a ctx-stored closure resolves through env (ctx/name);\n * - optional chaining / nullish coalescing follow JS semantics;\n * - assignment / update write through env.assign (root → ctx, D1);\n * - template literals and binary/unary/logical operators mirror JS.\n */\nimport type { ASTNode } from '../exec-backend'\nimport { InterpEnv, type InterpState } from './env'\nimport { InterpClosure } from './closure'\n\nfunction unsupported(node: ASTNode): never {\n  throw new Error(`E_UNSUPPORTED_SYNTAX: expression ${node?.type} is not supported by the interpreter backend`)\n}\n\n/**\n * Evaluate one AST expression node.\n * @param node - expression AST node.\n * @param env - current lexical environment.\n * @param state - shared interpreter state (host, recursion guard, wired evaluators).\n * @returns the evaluated value.\n */\nexport async function evalExpr(node: ASTNode, env: InterpEnv, state: InterpState): Promise<unknown> {\n  switch (node.type) {\n    case 'Literal':\n      return node.value\n    case 'Identifier': {\n      if (node.name === 'undefined') return undefined\n      const b = env.lookup(node.name)\n      if (!b) throw new ReferenceError(`${node.name} is not defined`)\n      return b.value\n    }\n    case 'TemplateLiteral': {\n      let out = ''\n      const quasis = node.quasis ?? []\n      const exprs = node.expressions ?? []\n      for (let i = 0; i < quasis.length; i++) {\n        out += quasis[i].value.cooked ?? quasis[i].value.raw ?? ''\n        if (i < exprs.length) {\n          out += String(await evalExpr(exprs[i], env, state))\n        }\n      }\n      return out\n    }\n    case 'TaggedTemplateExpression': {\n      return unsupported(node)\n    }\n    case 'ArrayExpression': {\n      const out: unknown[] = []\n      for (const el of node.elements ?? []) {\n        if (el === null) out.push(undefined)\n        else if (el.type === 'SpreadElement') out.push(...((await evalExpr(el.argument, env, state)) as unknown[]))\n        else out.push(await evalExpr(el, env, state))\n      }\n      return out\n    }\n    case 'ObjectExpression': {\n      const out: Record<string, unknown> = {}\n      for (const prop of node.properties ?? []) {\n        if (prop.type === 'SpreadElement') {\n          Object.assign(out, await evalExpr(prop.argument, env, state))\n          continue\n        }\n        // Property ( scanners admit no methods; computed keys allowed )\n        const key = prop.computed\n          ? String(await evalExpr(prop.key, env, state))\n          : prop.key.type === 'Identifier'\n            ? prop.key.name\n            : String(prop.key.value)\n        out[key] = await evalExpr(prop.value, env, state)\n      }\n      return out\n    }\n    case 'UnaryExpression': {\n      if (node.operator === 'typeof' && node.argument.type === 'Identifier') {\n        const b = env.lookup(node.argument.name)\n        return b ? typeof b.value : 'undefined'\n      }\n      const v = await evalExpr(node.argument, env, state)\n      switch (node.operator) {\n        case '-': return -(v as number)\n        case '+': return +(v as number)\n        case '!': return !v\n        case '~': return ~(v as number)\n        case 'void': return undefined\n        case 'delete': return true\n        default: return unsupported(node)\n      }\n    }\n    case 'BinaryExpression': {\n      const l = await evalExpr(node.left, env, state)\n      const r = await evalExpr(node.right, env, state)\n      switch (node.operator) {\n        case '+': return (l as number) + (r as number)\n        case '-': return (l as number) - (r as number)\n        case '*': return (l as number) * (r as number)\n        case '/': return (l as number) / (r as number)\n        case '%': return (l as number) % (r as number)\n        case '**': return (l as number) ** (r as number)\n        case '==': {\n          return l == r\n        }\n        case '!=': {\n          return l != r\n        }\n        case '===': return l === r\n        case '!==': return l !== r\n        case '<': return (l as number) < (r as number)\n        case '<=': return (l as number) <= (r as number)\n        case '>': return (l as number) > (r as number)\n        case '>=': return (l as number) >= (r as number)\n        case '&': return (l as number) & (r as number)\n        case '|': return (l as number) | (r as number)\n        case '^': return (l as number) ^ (r as number)\n        case '<<': return (l as number) << (r as number)\n        case '>>': return (l as number) >> (r as number)\n        case '>>>': return (l as number) >>> (r as number)\n        case 'instanceof': return (l as object) instanceof (r as (...a: never[]) => object)\n        case 'in': return (l as string | number | symbol) in (r as object)\n        default: return unsupported(node)\n      }\n    }\n    case 'LogicalExpression': {\n      switch (node.operator) {\n        case '||': {\n          const l = await evalExpr(node.left, env, state)\n          return l || (await evalExpr(node.right, env, state))\n        }\n        case '&&': {\n          const l = await evalExpr(node.left, env, state)\n          return !l ? l : await evalExpr(node.right, env, state)\n        }\n        case '??': {\n          const l = await evalExpr(node.left, env, state)\n          return l !== null && l !== undefined ? l : await evalExpr(node.right, env, state)\n        }\n        default: return unsupported(node)\n      }\n    }\n    case 'ConditionalExpression':\n      return (await evalExpr(node.test, env, state))\n        ? await evalExpr(node.consequent, env, state)\n        : await evalExpr(node.alternate, env, state)\n    case 'AssignmentExpression': {\n      const value =\n        node.operator === '='\n          ? await evalExpr(node.right, env, state)\n          : await evalExpr(\n              { type: 'BinaryExpression', operator: node.operator.slice(0, -1), left: node.left, right: node.right },\n              env,\n              state,\n            )\n      assignTarget(node.left, value, env)\n      return value\n    }\n    case 'UpdateExpression': {\n      const old = (await evalExpr(node.argument, env, state)) as number\n      const value = node.operator === '++' ? old + 1 : old - 1\n      assignTarget(node.argument, value, env)\n      return node.prefix ? value : old\n    }\n    case 'MemberExpression': {\n      const obj = await evalExpr(node.object, env, state)\n      const key = node.computed\n        ? await evalExpr(node.property, env, state)\n        : node.property.name\n      if (obj === null || obj === undefined) {\n        throw new TypeError(`Cannot read properties of ${obj} (reading '${key}')`)\n      }\n      return (obj as Record<string | symbol, unknown>)[key as string]\n    }\n    case 'ChainExpression':\n      return evalExpr(node.expression, env, state)\n    case 'AwaitExpression':\n      return evalExpr(node.argument, env, state)\n    case 'SequenceExpression': {\n      let last: unknown\n      for (const e of node.expressions ?? []) last = await evalExpr(e, env, state)\n      return last\n    }\n    case 'ArrowFunctionExpression':\n    case 'FunctionExpression':\n      return new InterpClosure(node, env)\n    case 'CallExpression':\n      return evalCall(node, env, state)\n    default:\n      unsupported(node)\n  }\n}\n\nfunction assignTarget(left: ASTNode, value: unknown, env: InterpEnv): void {\n  if (left.type === 'Identifier') {\n    env.assign(left.name, value)\n    return\n  }\n  throw new Error(`E_UNSUPPORTED_SYNTAX: assignment target ${left.type} is not supported by the interpreter backend`)\n}\n\nasync function evalCall(node: ASTNode, env: InterpEnv, state: InterpState): Promise<unknown> {\n  // callee: resolve function value + this binding\n  let fn: unknown\n  let thisArg: unknown\n  if (node.callee.type === 'MemberExpression') {\n    const obj = await evalExpr(node.callee.object, env, state)\n    const key = node.callee.computed\n      ? await evalExpr(node.callee.property, env, state)\n      : node.callee.property.name\n    if (obj === null || obj === undefined) {\n      throw new TypeError(`Cannot read properties of ${obj} (reading '${key}')`)\n    }\n    fn = (obj as Record<string | symbol, unknown>)[key as string]\n    thisArg = obj\n  } else {\n    fn = await evalExpr(node.callee, env, state)\n  }\n  const args: unknown[] = []\n  for (const a of node.arguments ?? []) {\n    if (a.type === 'SpreadElement') args.push(...((await evalExpr(a.argument, env, state)) as unknown[]))\n    else args.push(await evalExpr(a, env, state))\n  }\n  if (fn instanceof InterpClosure) {\n    return await fn.call(args, state)\n  }\n  if (typeof fn !== 'function') {\n    // Mirror the vm path's TypeError text: generated code renders ctx-rooted\n    // receivers as `__ctx.<name>` (top-level units rewrite declared names),\n    // plain locals/params keep their source name.\n    if (\n      node.callee.type === 'MemberExpression' &&\n      !node.callee.computed &&\n      node.callee.object.type === 'Identifier' &&\n      node.callee.property.type === 'Identifier'\n    ) {\n      const name = node.callee.object.name\n      const b = env.lookup(name)\n      const desc = b?.where === 'ctx' ? `__ctx.${name}` : name\n      throw new TypeError(`${desc}.${node.callee.property.name} is not a function`)\n    }\n    throw new TypeError('expression is not a function')\n  }\n  return await (fn as (...a: unknown[]) => unknown).apply(thisArg, args)\n}\n"]}