@faicad/faijs 0.13.0

package/dist/cad-runtime/interp/exec-stmt.d.ts

@@ -0,0 +1,34 @@
+/**
+ * exec-stmt — statement execution for the AST interpreter.
+ *
+ * Block semantics intentionally mirror the vm backend's hoistBlockText (R-5
+ * v1): there are NO nested scopes for let/const inside blocks — every
+ * declaration (including for-loop counters) writes through to the persistent
+ * ctx. Closures created inside blocks therefore capture the shared ctx
+ * binding, exactly as the vm path does.
+ *
+ * Local function declarations inside blocks become InterpClosure values in a
+ * function-local env (the vm path's text rewrite cannot express them; the
+ * corpus does not exercise them — interpreter picks the sane behavior).
+ *
+ * The positional+named call ABI (§3.4/§3.6, splitPositionalOptions) is
+ * implemented in InterpClosure.call — user functions are invoked through it
+ * by evalExpr's CallExpression path.
+ */
+import type { ASTNode } from '../exec-backend.js';
+import { InterpEnv, type InterpState } from './env.js';
+/**
+ * Execute a statement list. Returns when a signal unwinds (caller catches).
+ * @param body - statement AST nodes to execute in order.
+ * @param env - current lexical environment.
+ * @param state - shared interpreter state.
+ */
+export declare function execBody(body: ASTNode[], env: InterpEnv, state: InterpState): Promise<void>;
+/**
+ * Execute one AST statement node.
+ * @param node - statement AST node.
+ * @param env - current lexical environment.
+ * @param state - shared interpreter state.
+ */
+export declare function execStmt(node: ASTNode, env: InterpEnv, state: InterpState): Promise<void>;
+//# sourceMappingURL=exec-stmt.d.ts.map

package/dist/cad-runtime/interp/exec-stmt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exec-stmt.d.ts","sourceRoot":"","sources":["../../../src/cad-runtime/interp/exec-stmt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAC9C,OAAO,EAAE,SAAS,EAAE,KAAK,WAAW,EAAE,MAAM,OAAO,CAAA;AASnD;;;;;GAKG;AACH,wBAAsB,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAIjG;AAED;;;;;GAKG;AACH,wBAAsB,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAyJ/F"}

package/dist/cad-runtime/interp/exec-stmt.js

@@ -0,0 +1,276 @@
+import { InterpEnv } from './env.js';
+import { InterpClosure } from './closure.js';
+import { BreakSignal, ContinueSignal, ReturnSignal, isControlSignal } from './signals.js';
+import { evalExpr } from './eval-expr.js';
+function unsupported(node) {
+    throw new Error(`E_UNSUPPORTED_SYNTAX: statement ${node?.type} is not supported by the interpreter backend`);
+}
+/**
+ * Execute a statement list. Returns when a signal unwinds (caller catches).
+ * @param body - statement AST nodes to execute in order.
+ * @param env - current lexical environment.
+ * @param state - shared interpreter state.
+ */
+export async function execBody(body, env, state) {
+    for (const stmt of body) {
+        await execStmt(stmt, env, state);
+    }
+}
+/**
+ * Execute one AST statement node.
+ * @param node - statement AST node.
+ * @param env - current lexical environment.
+ * @param state - shared interpreter state.
+ */
+export async function execStmt(node, env, state) {
+    switch (node.type) {
+        case 'VariableDeclaration': {
+            for (const d of node.declarations ?? []) {
+                await execDeclarator(d, env, state);
+            }
+            return;
+        }
+        case 'ExpressionStatement':
+            await evalExpr(node.expression, env, state);
+            return;
+        case 'BlockStatement':
+            await execBody(node.body ?? [], env, state); // no new scope (R-5 v1)
+            return;
+        case 'FunctionDeclaration': {
+            const name = node.id?.name;
+            if (!name)
+                unsupported(node);
+            env.assign(name, new InterpClosure(node, env));
+            return;
+        }
+        case 'IfStatement': {
+            if (await evalExpr(node.test, env, state)) {
+                await execStmt(node.consequent, env, state);
+            }
+            else if (node.alternate) {
+                await execStmt(node.alternate, env, state);
+            }
+            return;
+        }
+        case 'WhileStatement': {
+            while (await evalExpr(node.test, env, state)) {
+                try {
+                    await execStmt(node.body, env, state);
+                }
+                catch (e) {
+                    if (e instanceof BreakSignal && !e.label)
+                        return;
+                    if (e instanceof ContinueSignal && !e.label)
+                        continue;
+                    throw e;
+                }
+            }
+            return;
+        }
+        case 'DoWhileStatement': {
+            do {
+                try {
+                    await execStmt(node.body, env, state);
+                }
+                catch (e) {
+                    if (e instanceof BreakSignal && !e.label)
+                        return;
+                    if (e instanceof ContinueSignal && !e.label) {
+                        // fall through to the test
+                    }
+                    else {
+                        throw e;
+                    }
+                }
+            } while (await evalExpr(node.test, env, state));
+            return;
+        }
+        case 'ForStatement': {
+            if (node.init)
+                await execStmt(node.init.type === 'VariableDeclaration' ? node.init : { type: 'ExpressionStatement', expression: node.init }, env, state);
+            while (node.test ? await evalExpr(node.test, env, state) : true) {
+                try {
+                    await execStmt(node.body, env, state);
+                }
+                catch (e) {
+                    if (e instanceof BreakSignal && !e.label)
+                        return;
+                    if (e instanceof ContinueSignal && !e.label) {
+                        // fall through to update
+                    }
+                    else {
+                        throw e;
+                    }
+                }
+                if (node.update)
+                    await evalExpr(node.update, env, state);
+            }
+            return;
+        }
+        case 'ForOfStatement':
+        case 'ForInStatement': {
+            const isOf = node.type === 'ForOfStatement';
+            const iterable = isOf
+                ? await evalExpr(node.right, env, state)
+                : await evalExpr(node.right, env, state);
+            const list = isOf
+                ? [...iterable]
+                : Object.keys(iterable);
+            if (node.left?.type !== 'VariableDeclaration' && node.left?.type !== 'Identifier')
+                unsupported(node);
+            const varName = node.left.type === 'Identifier' ? node.left.name : node.left.declarations?.[0]?.id?.name;
+            if (typeof varName !== 'string')
+                unsupported(node);
+            for (const item of list) {
+                env.assign(varName, item);
+                try {
+                    await execStmt(node.body, env, state);
+                }
+                catch (e) {
+                    if (e instanceof BreakSignal && !e.label)
+                        return;
+                    if (e instanceof ContinueSignal && !e.label)
+                        continue;
+                    throw e;
+                }
+            }
+            return;
+        }
+        case 'SwitchStatement': {
+            const disc = await evalExpr(node.discriminant, env, state);
+            const cases = node.cases ?? [];
+            let started = false;
+            try {
+                for (const c of cases) {
+                    if (!started && c.test) {
+                        if ((await evalExpr(c.test, env, state)) === disc)
+                            started = true;
+                        else
+                            continue;
+                    }
+                    if (!started && !c.test)
+                        continue; // default: only after a match (JS: default may be anywhere)
+                    started = true;
+                    await execBody(c.consequent ?? [], env, state);
+                }
+            }
+            catch (e) {
+                if (e instanceof BreakSignal && !e.label)
+                    return;
+                throw e;
+            }
+            return;
+        }
+        case 'BreakStatement':
+            throw new BreakSignal(node.label?.name);
+        case 'ContinueStatement':
+            throw new ContinueSignal(node.label?.name);
+        case 'ReturnStatement':
+            throw new ReturnSignal(node.argument ? await evalExpr(node.argument, env, state) : undefined);
+        case 'ThrowStatement':
+            throw await evalExpr(node.argument, env, state);
+        case 'TryStatement': {
+            try {
+                await execStmt(node.block, env, state);
+            }
+            catch (e) {
+                // control signals are engine-internal — never observable to user catch
+                if (isControlSignal(e))
+                    throw e;
+                if (node.handler) {
+                    // catch-clause scope: writes stay local, reads fall through to the
+                    // enclosing env (D4) — root env has no fall-through parent (vm path:
+                    // catch param is the only clause-scoped binding)
+                    const overlayEnv = new OverlayEnv(env, state.host.ctx, state.host.namespaces);
+                    if (node.handler.param?.type === 'Identifier')
+                        overlayEnv.vars.set(node.handler.param.name, e);
+                    await execBody(node.handler.body?.body ?? [], overlayEnv, state);
+                }
+                else {
+                    throw e;
+                }
+            }
+            finally {
+                if (node.finalizer)
+                    await execBody(node.finalizer.body ?? [], env, state);
+            }
+            return;
+        }
+        case 'LabeledStatement':
+            await execLabeled(node.label.name, node.body, env, state);
+            return;
+        case 'EmptyStatement':
+            return;
+        default:
+            unsupported(node);
+    }
+}
+/** Labeled loop: catches signals whose label matches; unlabeled signals from
+ *  inner loops are absorbed by their own handlers, so a labeled signal here
+ *  always targets this statement (or an outer one — rethrow). */
+async function execLabeled(label, body, env, state) {
+    const isLoop = body.type === 'ForStatement' || body.type === 'WhileStatement' ||
+        body.type === 'DoWhileStatement' || body.type === 'ForOfStatement' || body.type === 'ForInStatement';
+    if (!isLoop) {
+        await execStmt(body, env, state);
+        return;
+    }
+    try {
+        await execStmt(body, env, state);
+    }
+    catch (e) {
+        if ((e instanceof BreakSignal || e instanceof ContinueSignal) && e.label === label)
+            return;
+        throw e;
+    }
+}
+async function execDeclarator(d, env, state) {
+    const init = d?.init ? await evalExpr(d.init, env, state) : undefined;
+    if (d?.id?.type === 'ObjectPattern') {
+        for (const prop of d.id.properties ?? []) {
+            if (prop.type !== 'Property')
+                unsupported(prop);
+            const key = prop.key?.type === 'Identifier' ? prop.key.name : String(prop.key?.value);
+            const bind = prop.value?.type === 'Identifier' ? prop.value.name : null;
+            if (bind === null)
+                unsupported(prop);
+            env.assign(bind, init?.[key]);
+        }
+        return;
+    }
+    if (d?.id?.type === 'ArrayPattern') {
+        let i = 0;
+        for (const el of d.id.elements ?? []) {
+            if (el?.type === 'Identifier')
+                env.assign(el.name, init?.[i]);
+            else if (el !== null)
+                unsupported(el);
+            i++;
+        }
+        return;
+    }
+    if (d?.id?.type === 'Identifier') {
+        env.assign(d.id.name, init);
+        return;
+    }
+    unsupported(d);
+}
+/**
+ * Catch-clause env: writes stay local, reads fall through to the parent chain
+ * (mirrors the vm path, where the catch param is an ordinary clause-scoped
+ * binding and other identifiers resolve through the enclosing wrapper).
+ */
+class OverlayEnv extends InterpEnv {
+    parentEnv;
+    constructor(parentEnv, ctx, ns) {
+        super('overlay', ctx, ns);
+        this.parentEnv = parentEnv;
+    }
+    lookup(name) {
+        const local = super.lookup(name);
+        if (local)
+            return local;
+        return this.parentEnv?.lookup(name);
+    }
+}
+//# sourceMappingURL=exec-stmt.js.map

package/dist/cad-runtime/interp/exec-stmt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exec-stmt.js","sourceRoot":"","sources":["../../../src/cad-runtime/interp/exec-stmt.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,SAAS,EAAoB,MAAM,OAAO,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA;AACtF,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAEtC,SAAS,WAAW,CAAC,IAAa;IAChC,MAAM,IAAI,KAAK,CAAC,mCAAmC,IAAI,EAAE,IAAI,8CAA8C,CAAC,CAAA;AAC9G,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAe,EAAE,GAAc,EAAE,KAAkB;IAChF,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;IAClC,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAa,EAAE,GAAc,EAAE,KAAkB;IAC9E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;gBACxC,MAAM,cAAc,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YACrC,CAAC;YACD,OAAM;QACR,CAAC;QACD,KAAK,qBAAqB;YACxB,MAAM,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YAC3C,OAAM;QACR,KAAK,gBAAgB;YACnB,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA,CAAC,wBAAwB;YACpE,OAAM;QACR,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,CAAA;YAC1B,IAAI,CAAC,IAAI;gBAAE,WAAW,CAAC,IAAI,CAAC,CAAA;YAC5B,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAA;YAC9C,OAAM;QACR,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC1C,MAAM,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YAC7C,CAAC;iBAAM,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC1B,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YAC5C,CAAC;YACD,OAAM;QACR,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,OAAO,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC7C,IAAI,CAAC;oBACH,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;gBACvC,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,IAAI,CAAC,YAAY,WAAW,IAAI,CAAC,CAAC,CAAC,KAAK;wBAAE,OAAM;oBAChD,IAAI,CAAC,YAAY,cAAc,IAAI,CAAC,CAAC,CAAC,KAAK;wBAAE,SAAQ;oBACrD,MAAM,CAAC,CAAA;gBACT,CAAC;YACH,CAAC;YACD,OAAM;QACR,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,GAAG,CAAC;gBACF,IAAI,CAAC;oBACH,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;gBACvC,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,IAAI,CAAC,YAAY,WAAW,IAAI,CAAC,CAAC,CAAC,KAAK;wBAAE,OAAM;oBAChD,IAAI,CAAC,YAAY,cAAc,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;wBAC5C,2BAA2B;oBAC7B,CAAC;yBAAM,CAAC;wBACN,MAAM,CAAC,CAAA;oBACT,CAAC;gBACH,CAAC;YACH,CAAC,QAAQ,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,EAAC;YAC/C,OAAM;QACR,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,IAAI,CAAC,IAAI;gBAAE,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YACxJ,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAChE,IAAI,CAAC;oBACH,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;gBACvC,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,IAAI,CAAC,YAAY,WAAW,IAAI,CAAC,CAAC,CAAC,KAAK;wBAAE,OAAM;oBAChD,IAAI,CAAC,YAAY,cAAc,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;wBAC5C,yBAAyB;oBAC3B,CAAC;yBAAM,CAAC;wBACN,MAAM,CAAC,CAAA;oBACT,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM;oBAAE,MAAM,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YAC1D,CAAC;YACD,OAAM;QACR,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,gBAAgB,CAAA;YAC3C,MAAM,QAAQ,GAAG,IAAI;gBACnB,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC;gBACxC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YAC1C,MAAM,IAAI,GAAc,IAAI;gBAC1B,CAAC,CAAC,CAAC,GAAI,QAA8B,CAAC;gBACtC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAkB,CAAC,CAAA;YACnC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,YAAY;gBAAE,WAAW,CAAC,IAAI,CAAC,CAAA;YACpG,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAA;YACxG,IAAI,OAAO,OAAO,KAAK,QAAQ;gBAAE,WAAW,CAAC,IAAI,CAAC,CAAA;YAClD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;gBACxB,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;gBACzB,IAAI,CAAC;oBACH,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;gBACvC,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,IAAI,CAAC,YAAY,WAAW,IAAI,CAAC,CAAC,CAAC,KAAK;wBAAE,OAAM;oBAChD,IAAI,CAAC,YAAY,cAAc,IAAI,CAAC,CAAC,CAAC,KAAK;wBAAE,SAAQ;oBACrD,MAAM,CAAC,CAAA;gBACT,CAAC;YACH,CAAC;YACD,OAAM;QACR,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAA;YAC9B,IAAI,OAAO,GAAG,KAAK,CAAA;YACnB,IAAI,CAAC;gBACH,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;oBACtB,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;wBACvB,IAAI,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,KAAK,IAAI;4BAAE,OAAO,GAAG,IAAI,CAAA;;4BAC5D,SAAQ;oBACf,CAAC;oBACD,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI;wBAAE,SAAQ,CAAC,4DAA4D;oBAC9F,OAAO,GAAG,IAAI,CAAA;oBACd,MAAM,QAAQ,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;gBAChD,CAAC;YACH,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,YAAY,WAAW,IAAI,CAAC,CAAC,CAAC,KAAK;oBAAE,OAAM;gBAChD,MAAM,CAAC,CAAA;YACT,CAAC;YACD,OAAM;QACR,CAAC;QACD,KAAK,gBAAgB;YACnB,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QACzC,KAAK,mBAAmB;YACtB,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC5C,KAAK,iBAAiB;YACpB,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QAC/F,KAAK,gBAAgB;YACnB,MAAM,MAAM,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QACjD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC;gBACH,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,uEAAuE;gBACvE,IAAI,eAAe,CAAC,CAAC,CAAC;oBAAE,MAAM,CAAC,CAAA;gBAC/B,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,mEAAmE;oBACnE,qEAAqE;oBACrE,iDAAiD;oBACjD,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,UAAqC,CAAC,CAAA;oBACxG,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,KAAK,YAAY;wBAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;oBAC9F,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,CAAA;gBAClE,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,CAAA;gBACT,CAAC;YACH,CAAC;oBAAS,CAAC;gBACT,IAAI,IAAI,CAAC,SAAS;oBAAE,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YAC3E,CAAC;YACD,OAAM;QACR,CAAC;QACD,KAAK,kBAAkB;YACrB,MAAM,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YACzD,OAAM;QACR,KAAK,gBAAgB;YACnB,OAAM;QACR;YACE,WAAW,CAAC,IAAI,CAAC,CAAA;IACrB,CAAC;AACH,CAAC;AAED;;iEAEiE;AACjE,KAAK,UAAU,WAAW,CAAC,KAAa,EAAE,IAAa,EAAE,GAAc,EAAE,KAAkB;IACzF,MAAM,MAAM,GACV,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAC9D,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,CAAA;IACtG,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QAChC,OAAM;IACR,CAAC;IACD,IAAI,CAAC;QACH,MAAM,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;IAClC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,CAAC,YAAY,WAAW,IAAI,CAAC,YAAY,cAAc,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK;YAAE,OAAM;QAC1F,MAAM,CAAC,CAAA;IACT,CAAC;AACH,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,CAAU,EAAE,GAAc,EAAE,KAAkB;IAC1E,MAAM,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACrE,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;gBAAE,WAAW,CAAC,IAAI,CAAC,CAAA;YAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;YACrF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;YACvE,IAAI,IAAI,KAAK,IAAI;gBAAE,WAAW,CAAC,IAAI,CAAC,CAAA;YACpC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAG,IAAgC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;QAC5D,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,CAAA;QACT,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YACrC,IAAI,EAAE,EAAE,IAAI,KAAK,YAAY;gBAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAG,IAAkB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;iBACvE,IAAI,EAAE,KAAK,IAAI;gBAAE,WAAW,CAAC,EAAE,CAAC,CAAA;YACrC,CAAC,EAAE,CAAA;QACL,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QAC3B,OAAM;IACR,CAAC;IACD,WAAW,CAAC,CAAC,CAAC,CAAA;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAW,SAAQ,SAAS;IAEb;IADnB,YACmB,SAAgC,EACjD,GAA4B,EAC5B,EAA2B;QAE3B,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QAJR,cAAS,GAAT,SAAS,CAAuB;IAKnD,CAAC;IAEQ,MAAM,CAAC,IAAY;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAChC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAA;QACvB,OAAO,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;IACrC,CAAC;CACF","sourcesContent":["/**\n * exec-stmt — statement execution for the AST interpreter.\n *\n * Block semantics intentionally mirror the vm backend's hoistBlockText (R-5\n * v1): there are NO nested scopes for let/const inside blocks — every\n * declaration (including for-loop counters) writes through to the persistent\n * ctx. Closures created inside blocks therefore capture the shared ctx\n * binding, exactly as the vm path does.\n *\n * Local function declarations inside blocks become InterpClosure values in a\n * function-local env (the vm path's text rewrite cannot express them; the\n * corpus does not exercise them — interpreter picks the sane behavior).\n *\n * The positional+named call ABI (§3.4/§3.6, splitPositionalOptions) is\n * implemented in InterpClosure.call — user functions are invoked through it\n * by evalExpr's CallExpression path.\n */\nimport type { ASTNode } from '../exec-backend'\nimport { InterpEnv, type InterpState } from './env'\nimport { InterpClosure } from './closure'\nimport { BreakSignal, ContinueSignal, ReturnSignal, isControlSignal } from './signals'\nimport { evalExpr } from './eval-expr'\n\nfunction unsupported(node: ASTNode): never {\n  throw new Error(`E_UNSUPPORTED_SYNTAX: statement ${node?.type} is not supported by the interpreter backend`)\n}\n\n/**\n * Execute a statement list. Returns when a signal unwinds (caller catches).\n * @param body - statement AST nodes to execute in order.\n * @param env - current lexical environment.\n * @param state - shared interpreter state.\n */\nexport async function execBody(body: ASTNode[], env: InterpEnv, state: InterpState): Promise<void> {\n  for (const stmt of body) {\n    await execStmt(stmt, env, state)\n  }\n}\n\n/**\n * Execute one AST statement node.\n * @param node - statement AST node.\n * @param env - current lexical environment.\n * @param state - shared interpreter state.\n */\nexport async function execStmt(node: ASTNode, env: InterpEnv, state: InterpState): Promise<void> {\n  switch (node.type) {\n    case 'VariableDeclaration': {\n      for (const d of node.declarations ?? []) {\n        await execDeclarator(d, env, state)\n      }\n      return\n    }\n    case 'ExpressionStatement':\n      await evalExpr(node.expression, env, state)\n      return\n    case 'BlockStatement':\n      await execBody(node.body ?? [], env, state) // no new scope (R-5 v1)\n      return\n    case 'FunctionDeclaration': {\n      const name = node.id?.name\n      if (!name) unsupported(node)\n      env.assign(name, new InterpClosure(node, env))\n      return\n    }\n    case 'IfStatement': {\n      if (await evalExpr(node.test, env, state)) {\n        await execStmt(node.consequent, env, state)\n      } else if (node.alternate) {\n        await execStmt(node.alternate, env, state)\n      }\n      return\n    }\n    case 'WhileStatement': {\n      while (await evalExpr(node.test, env, state)) {\n        try {\n          await execStmt(node.body, env, state)\n        } catch (e) {\n          if (e instanceof BreakSignal && !e.label) return\n          if (e instanceof ContinueSignal && !e.label) continue\n          throw e\n        }\n      }\n      return\n    }\n    case 'DoWhileStatement': {\n      do {\n        try {\n          await execStmt(node.body, env, state)\n        } catch (e) {\n          if (e instanceof BreakSignal && !e.label) return\n          if (e instanceof ContinueSignal && !e.label) {\n            // fall through to the test\n          } else {\n            throw e\n          }\n        }\n      } while (await evalExpr(node.test, env, state))\n      return\n    }\n    case 'ForStatement': {\n      if (node.init) await execStmt(node.init.type === 'VariableDeclaration' ? node.init : { type: 'ExpressionStatement', expression: node.init }, env, state)\n      while (node.test ? await evalExpr(node.test, env, state) : true) {\n        try {\n          await execStmt(node.body, env, state)\n        } catch (e) {\n          if (e instanceof BreakSignal && !e.label) return\n          if (e instanceof ContinueSignal && !e.label) {\n            // fall through to update\n          } else {\n            throw e\n          }\n        }\n        if (node.update) await evalExpr(node.update, env, state)\n      }\n      return\n    }\n    case 'ForOfStatement':\n    case 'ForInStatement': {\n      const isOf = node.type === 'ForOfStatement'\n      const iterable = isOf\n        ? await evalExpr(node.right, env, state)\n        : await evalExpr(node.right, env, state)\n      const list: unknown[] = isOf\n        ? [...(iterable as Iterable<unknown>)]\n        : Object.keys(iterable as object)\n      if (node.left?.type !== 'VariableDeclaration' && node.left?.type !== 'Identifier') unsupported(node)\n      const varName = node.left.type === 'Identifier' ? node.left.name : node.left.declarations?.[0]?.id?.name\n      if (typeof varName !== 'string') unsupported(node)\n      for (const item of list) {\n        env.assign(varName, item)\n        try {\n          await execStmt(node.body, env, state)\n        } catch (e) {\n          if (e instanceof BreakSignal && !e.label) return\n          if (e instanceof ContinueSignal && !e.label) continue\n          throw e\n        }\n      }\n      return\n    }\n    case 'SwitchStatement': {\n      const disc = await evalExpr(node.discriminant, env, state)\n      const cases = node.cases ?? []\n      let started = false\n      try {\n        for (const c of cases) {\n          if (!started && c.test) {\n            if ((await evalExpr(c.test, env, state)) === disc) started = true\n            else continue\n          }\n          if (!started && !c.test) continue // default: only after a match (JS: default may be anywhere)\n          started = true\n          await execBody(c.consequent ?? [], env, state)\n        }\n      } catch (e) {\n        if (e instanceof BreakSignal && !e.label) return\n        throw e\n      }\n      return\n    }\n    case 'BreakStatement':\n      throw new BreakSignal(node.label?.name)\n    case 'ContinueStatement':\n      throw new ContinueSignal(node.label?.name)\n    case 'ReturnStatement':\n      throw new ReturnSignal(node.argument ? await evalExpr(node.argument, env, state) : undefined)\n    case 'ThrowStatement':\n      throw await evalExpr(node.argument, env, state)\n    case 'TryStatement': {\n      try {\n        await execStmt(node.block, env, state)\n      } catch (e) {\n        // control signals are engine-internal — never observable to user catch\n        if (isControlSignal(e)) throw e\n        if (node.handler) {\n          // catch-clause scope: writes stay local, reads fall through to the\n          // enclosing env (D4) — root env has no fall-through parent (vm path:\n          // catch param is the only clause-scoped binding)\n          const overlayEnv = new OverlayEnv(env, state.host.ctx, state.host.namespaces as Record<string, unknown>)\n          if (node.handler.param?.type === 'Identifier') overlayEnv.vars.set(node.handler.param.name, e)\n          await execBody(node.handler.body?.body ?? [], overlayEnv, state)\n        } else {\n          throw e\n        }\n      } finally {\n        if (node.finalizer) await execBody(node.finalizer.body ?? [], env, state)\n      }\n      return\n    }\n    case 'LabeledStatement':\n      await execLabeled(node.label.name, node.body, env, state)\n      return\n    case 'EmptyStatement':\n      return\n    default:\n      unsupported(node)\n  }\n}\n\n/** Labeled loop: catches signals whose label matches; unlabeled signals from\n *  inner loops are absorbed by their own handlers, so a labeled signal here\n *  always targets this statement (or an outer one — rethrow). */\nasync function execLabeled(label: string, body: ASTNode, env: InterpEnv, state: InterpState): Promise<void> {\n  const isLoop =\n    body.type === 'ForStatement' || body.type === 'WhileStatement' ||\n    body.type === 'DoWhileStatement' || body.type === 'ForOfStatement' || body.type === 'ForInStatement'\n  if (!isLoop) {\n    await execStmt(body, env, state)\n    return\n  }\n  try {\n    await execStmt(body, env, state)\n  } catch (e) {\n    if ((e instanceof BreakSignal || e instanceof ContinueSignal) && e.label === label) return\n    throw e\n  }\n}\n\nasync function execDeclarator(d: ASTNode, env: InterpEnv, state: InterpState): Promise<void> {\n  const init = d?.init ? await evalExpr(d.init, env, state) : undefined\n  if (d?.id?.type === 'ObjectPattern') {\n    for (const prop of d.id.properties ?? []) {\n      if (prop.type !== 'Property') unsupported(prop)\n      const key = prop.key?.type === 'Identifier' ? prop.key.name : String(prop.key?.value)\n      const bind = prop.value?.type === 'Identifier' ? prop.value.name : null\n      if (bind === null) unsupported(prop)\n      env.assign(bind, (init as Record<string, unknown>)?.[key])\n    }\n    return\n  }\n  if (d?.id?.type === 'ArrayPattern') {\n    let i = 0\n    for (const el of d.id.elements ?? []) {\n      if (el?.type === 'Identifier') env.assign(el.name, (init as unknown[])?.[i])\n      else if (el !== null) unsupported(el)\n      i++\n    }\n    return\n  }\n  if (d?.id?.type === 'Identifier') {\n    env.assign(d.id.name, init)\n    return\n  }\n  unsupported(d)\n}\n\n/**\n * Catch-clause env: writes stay local, reads fall through to the parent chain\n * (mirrors the vm path, where the catch param is an ordinary clause-scoped\n * binding and other identifiers resolve through the enclosing wrapper).\n */\nclass OverlayEnv extends InterpEnv {\n  constructor(\n    private readonly parentEnv: InterpEnv | undefined,\n    ctx: Record<string, unknown>,\n    ns: Record<string, unknown>,\n  ) {\n    super('overlay', ctx, ns)\n  }\n\n  override lookup(name: string): ReturnType<InterpEnv['lookup']> {\n    const local = super.lookup(name)\n    if (local) return local\n    return this.parentEnv?.lookup(name)\n  }\n}\n"]}

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

@@ -0,0 +1,31 @@
+/**
+ * signals — internal control-flow signals for the AST interpreter.
+ *
+ * break/continue/return are modelled as exception-class signals so the
+ * recursive interpreter can unwind to the owning statement boundary. They are
+ * engine-internal: user try/catch must re-throw them untouched (they are not
+ * user-thrown values), and an escaped signal at a unit boundary is an
+ * interpreter bug — the backend converts it into a plain internal error.
+ */
+/** Unwind signal for a `break` statement (optionally labeled). */
+export declare class BreakSignal extends Error {
+    readonly label?: string | undefined;
+    constructor(label?: string | undefined);
+}
+/** Unwind signal for a `continue` statement (optionally labeled). */
+export declare class ContinueSignal extends Error {
+    readonly label?: string | undefined;
+    constructor(label?: string | undefined);
+}
+/** Unwind signal for a `return` statement carrying the returned value. */
+export declare class ReturnSignal extends Error {
+    readonly value: unknown;
+    constructor(value: unknown);
+}
+/**
+ * True if the error is one of the interpreter's internal control signals.
+ * @param e - the thrown value to test.
+ * @returns true when `e` is a Break/Continue/Return signal.
+ */
+export declare function isControlSignal(e: unknown): boolean;
+//# sourceMappingURL=signals.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"signals.d.ts","sourceRoot":"","sources":["../../../src/cad-runtime/interp/signals.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,kEAAkE;AAClE,qBAAa,WAAY,SAAQ,KAAK;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM;gBAAd,KAAK,CAAC,EAAE,MAAM,YAAA;CAIpC;AAED,qEAAqE;AACrE,qBAAa,cAAe,SAAQ,KAAK;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM;gBAAd,KAAK,CAAC,EAAE,MAAM,YAAA;CAIpC;AAED,0EAA0E;AAC1E,qBAAa,YAAa,SAAQ,KAAK;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO;gBAAd,KAAK,EAAE,OAAO;CAIpC;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAEnD"}

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

@@ -0,0 +1,45 @@
+/**
+ * signals — internal control-flow signals for the AST interpreter.
+ *
+ * break/continue/return are modelled as exception-class signals so the
+ * recursive interpreter can unwind to the owning statement boundary. They are
+ * engine-internal: user try/catch must re-throw them untouched (they are not
+ * user-thrown values), and an escaped signal at a unit boundary is an
+ * interpreter bug — the backend converts it into a plain internal error.
+ */
+/** Unwind signal for a `break` statement (optionally labeled). */
+export class BreakSignal extends Error {
+    label;
+    constructor(label) {
+        super(`__fai_break${label ? `:${label}` : ''}`);
+        this.label = label;
+        this.name = 'BreakSignal';
+    }
+}
+/** Unwind signal for a `continue` statement (optionally labeled). */
+export class ContinueSignal extends Error {
+    label;
+    constructor(label) {
+        super(`__fai_continue${label ? `:${label}` : ''}`);
+        this.label = label;
+        this.name = 'ContinueSignal';
+    }
+}
+/** Unwind signal for a `return` statement carrying the returned value. */
+export class ReturnSignal extends Error {
+    value;
+    constructor(value) {
+        super('__fai_return');
+        this.value = value;
+        this.name = 'ReturnSignal';
+    }
+}
+/**
+ * True if the error is one of the interpreter's internal control signals.
+ * @param e - the thrown value to test.
+ * @returns true when `e` is a Break/Continue/Return signal.
+ */
+export function isControlSignal(e) {
+    return e instanceof BreakSignal || e instanceof ContinueSignal || e instanceof ReturnSignal;
+}
+//# sourceMappingURL=signals.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"signals.js","sourceRoot":"","sources":["../../../src/cad-runtime/interp/signals.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,kEAAkE;AAClE,MAAM,OAAO,WAAY,SAAQ,KAAK;IACf;IAArB,YAAqB,KAAc;QACjC,KAAK,CAAC,cAAc,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QAD5B,UAAK,GAAL,KAAK,CAAS;QAEjC,IAAI,CAAC,IAAI,GAAG,aAAa,CAAA;IAC3B,CAAC;CACF;AAED,qEAAqE;AACrE,MAAM,OAAO,cAAe,SAAQ,KAAK;IAClB;IAArB,YAAqB,KAAc;QACjC,KAAK,CAAC,iBAAiB,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QAD/B,UAAK,GAAL,KAAK,CAAS;QAEjC,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAA;IAC9B,CAAC;CACF;AAED,0EAA0E;AAC1E,MAAM,OAAO,YAAa,SAAQ,KAAK;IAChB;IAArB,YAAqB,KAAc;QACjC,KAAK,CAAC,cAAc,CAAC,CAAA;QADF,UAAK,GAAL,KAAK,CAAS;QAEjC,IAAI,CAAC,IAAI,GAAG,cAAc,CAAA;IAC5B,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,CAAU;IACxC,OAAO,CAAC,YAAY,WAAW,IAAI,CAAC,YAAY,cAAc,IAAI,CAAC,YAAY,YAAY,CAAA;AAC7F,CAAC","sourcesContent":["/**\n * signals — internal control-flow signals for the AST interpreter.\n *\n * break/continue/return are modelled as exception-class signals so the\n * recursive interpreter can unwind to the owning statement boundary. They are\n * engine-internal: user try/catch must re-throw them untouched (they are not\n * user-thrown values), and an escaped signal at a unit boundary is an\n * interpreter bug — the backend converts it into a plain internal error.\n */\n/** Unwind signal for a `break` statement (optionally labeled). */\nexport class BreakSignal extends Error {\n  constructor(readonly label?: string) {\n    super(`__fai_break${label ? `:${label}` : ''}`)\n    this.name = 'BreakSignal'\n  }\n}\n\n/** Unwind signal for a `continue` statement (optionally labeled). */\nexport class ContinueSignal extends Error {\n  constructor(readonly label?: string) {\n    super(`__fai_continue${label ? `:${label}` : ''}`)\n    this.name = 'ContinueSignal'\n  }\n}\n\n/** Unwind signal for a `return` statement carrying the returned value. */\nexport class ReturnSignal extends Error {\n  constructor(readonly value: unknown) {\n    super('__fai_return')\n    this.name = 'ReturnSignal'\n  }\n}\n\n/**\n * True if the error is one of the interpreter's internal control signals.\n * @param e - the thrown value to test.\n * @returns true when `e` is a Break/Continue/Return signal.\n */\nexport function isControlSignal(e: unknown): boolean {\n  return e instanceof BreakSignal || e instanceof ContinueSignal || e instanceof ReturnSignal\n}\n"]}

package/dist/cad-runtime/lib-id.d.ts

@@ -0,0 +1,30 @@
+/**
+ * lib-id — content-addressable identity for a registered library (B2 fix).
+ *
+ * Design: docs/plans/2026-09-03-faijs-brepjs-compat-api.md §7.3
+ *
+ * computeLibId(ns) hashes 「binding name + sorted export names + each exported
+ * fn.toString()」 — the same content-addressing idea as `local.${callee}#${bodyHash}`:
+ * a library identity changes when its implementation changes (so the statement
+ * key changes and downstream recomputes), and is stable when the library is
+ * re-registered unchanged (so incremental execution skips zero work).
+ *
+ * Non-function exports (constants, nested namespaces) participate via a stable
+ * per-value encoding — see `encodeValue`. It must never throw: a library may
+ * carry arbitrary third-party surface (e.g. a module-namespace child export
+ * whose primitive coercion throws), and a throwing encoder would break
+ * registration itself. Cycle-safe: shared/self-referencing objects hash
+ * deterministically (ancestor objects render as `[Circular]`).
+ *
+ * @module
+ */
+/**
+ * Compute a library's content identity.
+ *
+ * @param binding - the registration binding name (part of the identity).
+ * @param ns - the library namespace (exported function sources + resource objects).
+ * @returns the content-hash libId (stable across registrations of the same code,
+ * changes whenever any export's source or shape changes).
+ */
+export declare function computeLibId(binding: string, ns: Record<string, unknown>): string;
+//# sourceMappingURL=lib-id.d.ts.map

package/dist/cad-runtime/lib-id.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lib-id.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/lib-id.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAuDH;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAQjF"}

package/dist/cad-runtime/lib-id.js

@@ -0,0 +1,94 @@
+/**
+ * lib-id — content-addressable identity for a registered library (B2 fix).
+ *
+ * Design: docs/plans/2026-09-03-faijs-brepjs-compat-api.md §7.3
+ *
+ * computeLibId(ns) hashes 「binding name + sorted export names + each exported
+ * fn.toString()」 — the same content-addressing idea as `local.${callee}#${bodyHash}`:
+ * a library identity changes when its implementation changes (so the statement
+ * key changes and downstream recomputes), and is stable when the library is
+ * re-registered unchanged (so incremental execution skips zero work).
+ *
+ * Non-function exports (constants, nested namespaces) participate via a stable
+ * per-value encoding — see `encodeValue`. It must never throw: a library may
+ * carry arbitrary third-party surface (e.g. a module-namespace child export
+ * whose primitive coercion throws), and a throwing encoder would break
+ * registration itself. Cycle-safe: shared/self-referencing objects hash
+ * deterministically (ancestor objects render as `[Circular]`).
+ *
+ * @module
+ */
+/** FNV-1a 32-bit string hash, rendered as an 8-hex-digit key suffix. */
+function hashString(s) {
+    let h = 0x811c9dc5;
+    for (let i = 0; i < s.length; i++) {
+        h ^= s.charCodeAt(i);
+        h = Math.imul(h, 0x01000193);
+    }
+    return (h >>> 0).toString(16).padStart(8, '0');
+}
+/**
+ * Stable, non-throwing string form of a single namespace export.
+ *
+ * - functions → source text (`fn.toString()`).
+ * - primitives → `String(v)`.
+ * - objects (records, module-namespace exotic objects, arrays): expand own
+ *   enumerable properties recursively so nested library namespaces also get
+ *   content-hashed; `[Circular]` guards self-references.
+ * - values without a safe coercion (e.g. a module-namespace Symbol cannot be
+ *   turned into a string at all): fall back to `Object.prototype.toString`.
+ *
+ * @param v - the export value.
+ * @param seen - object-identity set guarding return against cyclic structures.
+ * @returns a deterministic, throw-free encoding of the value.
+ */
+function encodeValue(v, seen) {
+    if (typeof v === 'function')
+        return `fn:${v.toString()}`;
+    if (v === null || v === undefined)
+        return String(v);
+    const t = typeof v;
+    if (t === 'string' || t === 'number' || t === 'boolean' || t === 'bigint' || t === 'symbol') {
+        try {
+            return String(v);
+        }
+        catch {
+            return Object.prototype.toString.call(v);
+        }
+    }
+    // object: expand own enumerable entries (arrays → indexed entries).
+    if (typeof v === 'object') {
+        if (seen.has(v))
+            return '[Circular]';
+        seen.add(v);
+        try {
+            const keys = Object.keys(v).sort();
+            const body = keys
+                .map((k) => `${k}:${encodeValue(v[k], seen)}`)
+                .join(',');
+            return Array.isArray(v) ? `arr[${body}]` : `obj{${body}}`;
+        }
+        finally {
+            seen.delete(v);
+        }
+    }
+    return Object.prototype.toString.call(v);
+}
+/**
+ * Compute a library's content identity.
+ *
+ * @param binding - the registration binding name (part of the identity).
+ * @param ns - the library namespace (exported function sources + resource objects).
+ * @returns the content-hash libId (stable across registrations of the same code,
+ * changes whenever any export's source or shape changes).
+ */
+export function computeLibId(binding, ns) {
+    const names = Object.keys(ns).sort();
+    const seen = new Set();
+    const parts = [binding, ...names];
+    for (const n of names) {
+        parts.push(encodeValue(ns[n], seen));
+    }
+    return hashString(parts.join('#'));
+}
+//# sourceMappingURL=lib-id.js.map

package/dist/cad-runtime/lib-id.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lib-id.js","sourceRoot":"","sources":["../../src/cad-runtime/lib-id.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,wEAAwE;AACxE,SAAS,UAAU,CAAC,CAAS;IAC3B,IAAI,CAAC,GAAG,UAAU,CAAA;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;QACpB,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,CAAA;IAC9B,CAAC;IACD,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AAChD,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,WAAW,CAAC,CAAU,EAAE,IAAiB;IAChD,IAAI,OAAO,CAAC,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAA;IACxD,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;IACnD,MAAM,CAAC,GAAG,OAAO,CAAC,CAAA;IAClB,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC5F,IAAI,CAAC;YACH,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;QAClB,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC1C,CAAC;IACH,CAAC;IACD,oEAAoE;IACpE,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,YAAY,CAAA;QACpC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACX,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAW,CAAC,CAAC,IAAI,EAAE,CAAA;YAC5C,MAAM,IAAI,GAAG,IAAI;iBACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,WAAW,CAAE,CAA6B,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;iBAC1E,IAAI,CAAC,GAAG,CAAC,CAAA;YACZ,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,GAAG,CAAA;QAC3D,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QAChB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAC1C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,OAAe,EAAE,EAA2B;IACvE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,KAAK,GAAa,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,CAAA;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;IACtC,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AACpC,CAAC","sourcesContent":["/**\n * lib-id — content-addressable identity for a registered library (B2 fix).\n *\n * Design: docs/plans/2026-09-03-faijs-brepjs-compat-api.md §7.3\n *\n * computeLibId(ns) hashes 「binding name + sorted export names + each exported\n * fn.toString()」 — the same content-addressing idea as `local.${callee}#${bodyHash}`:\n * a library identity changes when its implementation changes (so the statement\n * key changes and downstream recomputes), and is stable when the library is\n * re-registered unchanged (so incremental execution skips zero work).\n *\n * Non-function exports (constants, nested namespaces) participate via a stable\n * per-value encoding — see `encodeValue`. It must never throw: a library may\n * carry arbitrary third-party surface (e.g. a module-namespace child export\n * whose primitive coercion throws), and a throwing encoder would break\n * registration itself. Cycle-safe: shared/self-referencing objects hash\n * deterministically (ancestor objects render as `[Circular]`).\n *\n * @module\n */\n\n/** FNV-1a 32-bit string hash, rendered as an 8-hex-digit key suffix. */\nfunction hashString(s: string): string {\n  let h = 0x811c9dc5\n  for (let i = 0; i < s.length; i++) {\n    h ^= s.charCodeAt(i)\n    h = Math.imul(h, 0x01000193)\n  }\n  return (h >>> 0).toString(16).padStart(8, '0')\n}\n\n/**\n * Stable, non-throwing string form of a single namespace export.\n *\n * - functions → source text (`fn.toString()`).\n * - primitives → `String(v)`.\n * - objects (records, module-namespace exotic objects, arrays): expand own\n *   enumerable properties recursively so nested library namespaces also get\n *   content-hashed; `[Circular]` guards self-references.\n * - values without a safe coercion (e.g. a module-namespace Symbol cannot be\n *   turned into a string at all): fall back to `Object.prototype.toString`.\n *\n * @param v - the export value.\n * @param seen - object-identity set guarding return against cyclic structures.\n * @returns a deterministic, throw-free encoding of the value.\n */\nfunction encodeValue(v: unknown, seen: Set<object>): string {\n  if (typeof v === 'function') return `fn:${v.toString()}`\n  if (v === null || v === undefined) return String(v)\n  const t = typeof v\n  if (t === 'string' || t === 'number' || t === 'boolean' || t === 'bigint' || t === 'symbol') {\n    try {\n      return String(v)\n    } catch {\n      return Object.prototype.toString.call(v)\n    }\n  }\n  // object: expand own enumerable entries (arrays → indexed entries).\n  if (typeof v === 'object') {\n    if (seen.has(v)) return '[Circular]'\n    seen.add(v)\n    try {\n      const keys = Object.keys(v as object).sort()\n      const body = keys\n        .map((k) => `${k}:${encodeValue((v as Record<string, unknown>)[k], seen)}`)\n        .join(',')\n      return Array.isArray(v) ? `arr[${body}]` : `obj{${body}}`\n    } finally {\n      seen.delete(v)\n    }\n  }\n  return Object.prototype.toString.call(v)\n}\n\n/**\n * Compute a library's content identity.\n *\n * @param binding - the registration binding name (part of the identity).\n * @param ns - the library namespace (exported function sources + resource objects).\n * @returns the content-hash libId (stable across registrations of the same code,\n * changes whenever any export's source or shape changes).\n */\nexport function computeLibId(binding: string, ns: Record<string, unknown>): string {\n  const names = Object.keys(ns).sort()\n  const seen = new Set<object>()\n  const parts: string[] = [binding, ...names]\n  for (const n of names) {\n    parts.push(encodeValue(ns[n], seen))\n  }\n  return hashString(parts.join('#'))\n}"]}