@nudojs/core 1.4.0 → 1.6.0

package/dist/{chunk-LFCF6BLE.js → chunk-LZJC7X5J.js}

@@ -28,10 +28,14 @@ function termEquals(a, b) {
   }
   return false;
 }
+function litKeyString(v2) {
+  if (typeof v2 === "number" && Object.is(v2, -0)) return "-0";
+  return String(v2);
+}
 function termToString(t) {
   if (t.op === "lit") {
     if (typeof t.value === "string") return JSON.stringify(t.value);
-    if (typeof t.value === "number" && Object.is(t.value, -0)) return "-0";
+    if (typeof t.value === "number") return litKeyString(t.value);
     return String(t.value);
   }
   if (t.op === "var") return t.id;
@@ -961,6 +965,42 @@ function leNum(term, n) {
   return le(term, lit(n));
 }
 
+// src/algebra/projection-budget.ts
+var PROJECTION_MAX_DEPTH = 64;
+var ProjectionBudget = class {
+  #maxDepth;
+  #path = [];
+  #onPath = /* @__PURE__ */ new Set();
+  /** 粘性：本次投影是否发生过截断（"cycle" / "depth"），供台账记录 */
+  truncated;
+  constructor(maxDepth = PROJECTION_MAX_DEPTH) {
+    this.#maxDepth = maxDepth;
+  }
+  /**
+   * 进入一个 Abs（或 Shape）子树。返回 null → 继续递归，之后必须配对
+   * `exit()`；返回 "cycle" | "depth" → 不得递归，按出口各自的约定渲染
+   * 截断标记（不调用 exit——本次 enter 没有入栈）。
+   */
+  enter(a) {
+    if (this.#onPath.has(a)) {
+      this.truncated = "cycle";
+      return "cycle";
+    }
+    if (this.#path.length >= this.#maxDepth) {
+      this.truncated = "depth";
+      return "depth";
+    }
+    this.#path.push(a);
+    this.#onPath.add(a);
+    return null;
+  }
+  /** 离开子树（与返回 null 的 enter 严格配对）。 */
+  exit() {
+    const a = this.#path.pop();
+    if (a !== void 0) this.#onPath.delete(a);
+  }
+};
+
 // src/algebra/abs.ts
 var never = { shape: { k: "never" }, conf: "exact" };
 var unknown = { shape: { k: "unknown" }, conf: "partial" };
@@ -1027,13 +1067,34 @@ function confJoin(a, b) {
   return rank[Math.max(ia < 0 ? 5 : ia, ib < 0 ? 5 : ib)];
 }
 function absToString(a) {
-  const parts = [shapeToString(a.shape)];
-  if (a.term) parts.push(`term=${termToString(a.term)}`);
-  if (a.pred && a.pred.op !== "true") parts.push(predToString(a.pred));
-  parts.push(`#${a.conf}`);
-  return parts.join(" ");
+  return absToStringB(a, new ProjectionBudget());
+}
+function absToStringB(a, budget) {
+  const stop = budget.enter(a);
+  if (stop) return stop === "cycle" ? "\u2026cycle" : "\u2026";
+  try {
+    const parts = [shapeToStringB(a.shape, budget)];
+    if (a.term) parts.push(`term=${termToString(a.term)}`);
+    if (a.pred && a.pred.op !== "true") parts.push(predToString(a.pred));
+    parts.push(`#${a.conf}`);
+    return parts.join(" ");
+  } finally {
+    budget.exit();
+  }
 }
 function shapeToString(s) {
+  return shapeToStringB(s, new ProjectionBudget());
+}
+function shapeToStringB(s, budget) {
+  const stop = budget.enter(s);
+  if (stop) return stop === "cycle" ? "\u2026cycle" : "\u2026";
+  try {
+    return shapeToStringInner(s, budget);
+  } finally {
+    budget.exit();
+  }
+}
+function shapeToStringInner(s, budget) {
   switch (s.k) {
     case "never":
       return "never";
@@ -1045,22 +1106,22 @@ function shapeToString(s) {
       return s.type;
     case "obj": {
       const entries = Object.entries(s.slots).map(
-        ([k, slot]) => `${k}${slot.optional ? "?" : ""}: ${absToString(slot.value)}`
+        ([k, slot]) => `${k}${slot.optional ? "?" : ""}: ${absToStringB(slot.value, budget)}`
       );
       return `{ ${entries.join(", ")} }`;
     }
     case "arr":
-      return `${shapeToString(s.element.shape)}[]`;
+      return `${shapeToStringB(s.element.shape, budget)}[]`;
     case "tuple":
-      return `[${s.elements.map((e) => shapeToString(e.shape)).join(", ")}]`;
+      return `[${s.elements.map((e) => shapeToStringB(e.shape, budget)).join(", ")}]`;
     case "fn":
       return `fn(${s.params.join(", ")})${s.name ? ` ${s.name}` : ""}`;
     case "brand":
       return s.name;
     case "eff":
-      return `${s.eff}<${shapeToString(s.inner.shape)}>`;
+      return `${s.eff}<${shapeToStringB(s.inner.shape, budget)}>`;
     case "sum":
-      return s.members.map(absToString).join(" | ");
+      return s.members.map((m) => absToStringB(m, budget)).join(" | ");
     default:
       return "\xB7";
   }
@@ -1352,7 +1413,7 @@ function absFunction(params, impl, opts) {
   return a;
 }
 function termKey2(t) {
-  if (t.op === "lit") return `L:${typeof t.value}:${String(t.value)}`;
+  if (t.op === "lit") return `L:${typeof t.value}:${litKeyString(t.value)}`;
   if (t.op === "var") return `V:${t.id}`;
   return `A:${t.fn}(${t.args.map(termKey2).join(",")})`;
 }
@@ -1757,6 +1818,10 @@ function joinValues(a, b) {
       }
       return makeSum(a, b);
     }
+    const hasPred = (x) => !!x.pred && x.pred.op !== "true";
+    if (hasPred(a) || hasPred(b)) {
+      return makeSum(a, b);
+    }
     return abs(a.shape, void 0, void 0, confJoin(confJoin(a.conf, b.conf), "path"));
   }
   return makeSum(a, b);
@@ -1802,7 +1867,7 @@ function absShapeKey(a, seen = /* @__PURE__ */ new Set()) {
   try {
     const s = a.shape;
     if (s.k === "prim") {
-      if (a.term?.op === "lit") return `prim:${s.type}:${String(a.term.value)}`;
+      if (a.term?.op === "lit") return `prim:${s.type}:${litKeyString(a.term.value)}`;
       const t = a.term ? termToString(a.term) : "";
       const p = a.pred && a.pred.op !== "true" ? predToString(a.pred) : "";
       return `prim:${s.type}:${t}:${p}`;
@@ -1814,7 +1879,7 @@ function absShapeKey(a, seen = /* @__PURE__ */ new Set()) {
         const v2 = a.term.value;
         if (v2 === void 0) return "unknown:undefined";
         if (v2 === null) return "unknown:null";
-        return `unknown:lit:${typeof v2}:${String(v2)}`;
+        return `unknown:lit:${typeof v2}:${litKeyString(v2)}`;
       }
       if (a.term) return `unknown:${termToString(a.term)}`;
       return "unknown";
@@ -2487,7 +2552,7 @@ function bindTypeVars(pattern, arg, map, depth = 0) {
   }
   if (ps.k === "obj" && as.k === "obj") {
     for (const [key, slot] of Object.entries(ps.slots)) {
-      const aSlot = as.slots[key];
+      const aSlot = getSlot(as.slots, key);
       if (aSlot) bindTypeVars(slot.value, aSlot.value, map, depth + 1);
     }
     return;
@@ -3734,1017 +3799,1517 @@ function migrateInvariants(from, to) {
   if (f) propFlagsTable.set(to, new Map(f));
 }
 
-// src/algebra/builtins/shared.ts
-var noBody = { type: "BlockStatement", body: [], directives: [] };
-function numPrim(conf = "path") {
-  return abs({ k: "prim", type: "number" }, void 0, void 0, conf);
-}
-function str2(conf = "path") {
-  return abs({ k: "prim", type: "string" }, void 0, void 0, conf);
+// src/algebra/exec/runtime/state.ts
+import { AsyncLocalStorage as AsyncLocalStorage2 } from "async_hooks";
+
+// src/algebra/containers.ts
+var TUPLE_LITERAL_CAP = 8;
+function shouldWidenArrayLiteral(n) {
+  return n > TUPLE_LITERAL_CAP;
 }
-function boolPrim(conf = "partial") {
-  return abs({ k: "prim", type: "boolean" }, void 0, void 0, conf);
+var TUPLE_MATERIALIZE_CAP = 4096;
+function widenedArrayConf() {
+  return "path";
 }
-function peelBrand(shape) {
-  let s = shape;
-  while (s.k === "brand") s = s.shape.shape;
-  return s;
+
+// src/algebra/exec/runtime/state.ts
+function writeInPlace(target, next) {
+  target.shape = next.shape;
+  target.conf = next.conf;
+  target.term = void 0;
+  target.pred = void 0;
+  return target;
 }
-function isPrimLike(a) {
-  if (!a) return true;
-  if (a.shape.k === "prim" || a.shape.k === "never") return true;
-  if (a.term?.op === "lit" && (a.term.value === null || a.term.value === void 0)) {
-    return true;
-  }
-  return false;
+function clearStaleTermPred(v2) {
+  v2.term = void 0;
+  v2.pred = void 0;
 }
-
-// src/algebra/builtins/math.ts
-function coerceMathArg(a) {
-  if (!a || a.term?.op !== "lit") return void 0;
-  const v2 = a.term.value;
-  if (typeof v2 === "number") return v2;
-  if (typeof v2 === "string") return Number(v2);
-  if (typeof v2 === "boolean") return v2 ? 1 : 0;
-  if (v2 === null) return 0;
-  if (v2 === void 0) return void 0;
-  return "throw";
+var phi = pTrue;
+function currentExecPhi() {
+  return phi;
 }
-function mathMethod(name) {
-  if (!Object.hasOwn(Math, name)) return void 0;
-  const impl = Math[name];
-  return typeof impl === "function" ? impl : void 0;
+function withExecPhi(p, body) {
+  const prev = phi;
+  phi = p;
+  try {
+    return body();
+  } finally {
+    phi = prev;
+  }
 }
-function evalMathMethod(name, args) {
-  if (name === "random") return numPrim("path");
-  const impl = mathMethod(name);
-  if (!impl) return void 0;
-  const nums = [];
-  for (const a of args) {
-    const n = coerceMathArg(a);
-    if (n === void 0) return numPrim();
-    if (n === "throw") throw new NudoThrow(errorTypeAbs("TypeError"));
-    nums.push(n);
+var noBody = { type: "BlockStatement", body: [], directives: [] };
+function asAbsVal(v2) {
+  if (v2 && typeof v2 === "object" && "shape" in v2) return v2;
+  if (typeof v2 === "function") {
+    const n = Math.max(0, v2.length);
+    const params = Array.from({ length: n }, (_, i) => `arg${i}`);
+    return absFunction(params, {
+      body: noBody,
+      // 与 $fnVal / $callNamed 同边界：callee 的 NudoReturn 不得冒泡成 caller
+      apply: (args) => callAtFunctionBoundary(() => v2(...args))
+    });
   }
+  return $lit(v2);
+}
+function callAtFunctionBoundary(body) {
+  let forwarded = [];
   try {
-    return numLit(impl(...nums));
-  } catch {
-    return numPrim();
+    return runWithLoopExits(() => {
+      try {
+        const r = body();
+        forwarded = takeThrowExits();
+        return r;
+      } catch (e) {
+        forwarded = takeThrowExits();
+        if (isNudoReturn(e)) return e.absValue;
+        throw e;
+      }
+    });
+  } finally {
+    for (const x of forwarded) pushThrowExit(x);
   }
 }
-
-// src/algebra/class-mark.ts
-var classValues = /* @__PURE__ */ new WeakMap();
-function markClassValue(v2, name) {
-  classValues.set(v2, name);
+function $fnVal(params, impl, opts) {
+  return absFunction(params, {
+    body: noBody,
+    // bindThis（对象方法）：receiver 走首参注入，无宿主 this；
+    // 非方法 fn：宿主 this 传递（call/apply/bind 的 thisArg 经 $rawThis 进入函数体）
+    apply: opts?.bindThis ? (args) => callAtFunctionBoundary(() => impl(...args)) : (args, thisVal) => callAtFunctionBoundary(() => impl.apply(thisVal, args)),
+    ...opts?.bindThis ? { bindThis: true } : {}
+  });
 }
-function classNameOfValue(v2) {
-  return classValues.get(v2);
+function $rawThis(v2) {
+  if (v2 === void 0 || v2 === globalThis) return $lit(void 0);
+  if (v2 && typeof v2 === "object" && "shape" in v2) return v2;
+  return $lit(v2);
 }
-
-// src/algebra/builtins/ctor.ts
-var builtinCtorByName = /* @__PURE__ */ new Map();
-var builtinCtorByAbs = /* @__PURE__ */ new WeakMap();
-function builtinCtorAbs(name) {
-  let a = builtinCtorByName.get(name);
-  if (!a) {
-    a = abs(
-      { k: "brand", name, shape: objOf({ name: { value: strLit(name) } }) },
-      void 0,
-      void 0,
-      "exact"
-    );
-    markClassValue(a, name);
-    builtinCtorByName.set(name, a);
-    builtinCtorByAbs.set(a, name);
-  }
-  return a;
+function throwStrictWrite() {
+  throw new NudoThrow(errorTypeAbs("TypeError"));
 }
-function builtinCtorNameOf(v2) {
-  if (!v2 || typeof v2 !== "object") return void 0;
-  return builtinCtorByAbs.get(v2);
+function $throwConstAssign() {
+  throw new NudoThrow(errorTypeAbs("TypeError"));
 }
-function hostBuiltinCtorName(v2) {
-  if (typeof v2 !== "function") return void 0;
-  if (v2 === Number) return "Number";
-  if (v2 === String) return "String";
-  if (v2 === Boolean) return "Boolean";
-  if (v2 === BigInt) return "BigInt";
-  if (v2 === Symbol) return "Symbol";
-  if (v2 === Array) return "Array";
-  if (v2 === Object) return "Object";
-  if (v2 === Function) return "Function";
-  if (v2 === Promise) return "Promise";
-  if (v2 === Date) return "Date";
-  if (v2 === RegExp) return "RegExp";
-  if (v2 === Map) return "Map";
-  if (v2 === Set) return "Set";
-  if (v2 === WeakMap) return "WeakMap";
-  if (v2 === WeakSet) return "WeakSet";
-  if (v2 === Error) return "Error";
-  if (v2 === TypeError) return "TypeError";
-  if (v2 === RangeError) return "RangeError";
-  if (v2 === ReferenceError) return "ReferenceError";
-  if (v2 === SyntaxError) return "SyntaxError";
-  if (v2 === URIError) return "URIError";
-  if (v2 === EvalError) return "EvalError";
-  if (v2 === AggregateError) return "AggregateError";
-  return void 0;
+function $litTruth(a) {
+  return litTruth(a);
 }
-function ctorNameOfRecv(recv) {
-  const s = recv.shape;
-  switch (s.k) {
-    case "prim":
-      return s.type === "number" ? "Number" : s.type === "string" ? "String" : s.type === "boolean" ? "Boolean" : s.type === "bigint" ? "BigInt" : s.type === "symbol" ? "Symbol" : void 0;
-    case "tuple":
-    case "arr":
-      return "Array";
-    case "obj":
-      return isNullProtoObj(recv) ? void 0 : "Object";
-    case "fn":
-      return "Function";
-    case "eff":
-      return s.eff === "promise" ? "Promise" : "Generator";
-    case "brand": {
-      if (s.name === "Object.prototype") return "Object";
-      if (s.name.endsWith(".prototype")) return s.name.slice(0, -".prototype".length);
-      return s.name;
-    }
-    case "sum": {
-      let first;
-      for (const m of s.members) {
-        const n = ctorNameOfRecv(m);
-        if (n === void 0) return void 0;
-        if (first === void 0) first = n;
-        else if (first !== n) return void 0;
-      }
-      return first;
-    }
-    default:
-      return void 0;
+function $lit(v2) {
+  if (v2 && typeof v2 === "object" && "shape" in v2 && "conf" in v2) {
+    return v2;
   }
+  return litAbsFromJs(v2);
 }
-function protoBrandAbs(ctorName) {
-  return abs(
-    {
-      k: "brand",
-      name: `${ctorName}.prototype`,
-      shape: objOf({ constructor: { value: builtinCtorAbs(ctorName) } })
-    },
-    void 0,
-    void 0,
-    "exact"
-  );
-}
-function protoOfRecv(a) {
-  const s = a.shape;
-  const nullProtoLit = abs(
-    { k: "unknown" },
-    { op: "lit", value: null },
-    pTrue,
-    "exact"
-  );
-  if (s.k === "tuple" || s.k === "arr") return protoBrandAbs("Array");
-  if (s.k === "prim") {
-    const ctor = s.type === "number" ? "Number" : s.type === "string" ? "String" : s.type === "boolean" ? "Boolean" : s.type === "bigint" ? "BigInt" : s.type === "symbol" ? "Symbol" : void 0;
-    return ctor ? protoBrandAbs(ctor) : unknown;
+function litAbsFromJs(v2, depth = 0) {
+  if (v2 === null || v2 === void 0) {
+    return abs({ k: "unknown" }, { op: "lit", value: v2 }, pTrue, "exact");
   }
-  if (s.k === "fn") return protoBrandAbs("Function");
-  if (s.k === "eff" && s.eff === "promise") return protoBrandAbs("Promise");
-  if (s.k === "brand") {
-    if (s.name === "Object.prototype") return nullProtoLit;
-    if (s.name.endsWith(".prototype")) return objectProtoBrand();
-    return protoBrandAbs(s.name);
+  const t = typeof v2;
+  if (t === "number" || t === "string" || t === "boolean" || t === "bigint") {
+    return abs(
+      { k: "prim", type: t },
+      { op: "lit", value: v2 },
+      pTrue,
+      "exact"
+    );
   }
-  if (s.k === "obj") {
-    if (isNullProtoObj(a)) return nullProtoLit;
-    return objectProtoBrand();
+  if (depth < 8) {
+    if (Array.isArray(v2)) {
+      const els = v2.map((x) => litAbsFromJs(x, depth + 1));
+      if (shouldWidenArrayLiteral(els.length)) {
+        return abs(
+          { k: "arr", element: els.reduce((x, y) => joinAbs(x, y)) },
+          void 0,
+          void 0,
+          widenedArrayConf()
+        );
+      }
+      return abs({ k: "tuple", elements: els }, void 0, void 0, "exact");
+    }
+    if (t === "object") {
+      const proto = Object.getPrototypeOf(v2);
+      if (proto === Object.prototype || proto === null) {
+        const slots = {};
+        for (const [k, val] of Object.entries(v2)) {
+          Object.defineProperty(slots, k, {
+            value: { value: litAbsFromJs(val, depth + 1) },
+            enumerable: true,
+            writable: true,
+            configurable: true
+          });
+        }
+        return objOf(slots);
+      }
+    }
   }
   return unknown;
 }
-var OBJECT_PROTO_METHOD_NAMES = /* @__PURE__ */ new Set([
-  "hasOwnProperty",
-  "isPrototypeOf",
-  "propertyIsEnumerable",
-  "valueOf",
-  "toString",
-  "toLocaleString"
-]);
-var objectProtoSingleton;
-function objectProtoBrand() {
-  if (!objectProtoSingleton) {
-    const a = abs(
-      {
-        k: "brand",
-        name: "Object.prototype",
-        shape: objOf({ constructor: { value: builtinCtorAbs("Object") } })
-      },
-      void 0,
-      void 0,
-      "exact"
-    );
-    setPropFlags(a, "constructor", { enumerable: false, writable: true, configurable: true });
-    objectProtoSingleton = a;
+function litTruth(a) {
+  if (a.term?.op === "lit") {
+    return Boolean(a.term.value);
+  }
+  switch (a.shape.k) {
+    case "obj":
+    case "arr":
+    case "tuple":
+    case "fn":
+    case "brand":
+    case "eff":
+      return true;
+    case "prim":
+      return a.shape.type === "symbol" ? true : void 0;
+    case "never":
+      return false;
+    default:
+      return void 0;
   }
-  return objectProtoSingleton;
 }
-function isObjectProtoBrand(a) {
-  return !!a && a.shape.k === "brand" && a.shape.name === "Object.prototype";
+function isDefinitelyTrue(a) {
+  return litTruth(a) === true;
 }
-
-// src/algebra/containers.ts
-var TUPLE_LITERAL_CAP = 8;
-function shouldWidenArrayLiteral(n) {
-  return n > TUPLE_LITERAL_CAP;
+function isDefinitelyFalse(a) {
+  const t = litTruth(a);
+  if (t === false) return true;
+  if (a.shape.k === "never") return true;
+  return false;
 }
-var TUPLE_MATERIALIZE_CAP = 4096;
-function widenedArrayConf() {
-  return "path";
+function undef() {
+  return abs({ k: "unknown" }, { op: "lit", value: void 0 }, pTrue, "exact");
 }
-
-// src/algebra/builtins/object.ts
-function assignSourceSlots(src) {
-  const s = src.shape;
-  if (s.k === "tuple") {
-    const holes = s.holes ?? [];
-    const slots = {};
-    for (let i = 0; i < s.elements.length; i++) {
-      if (!holes.includes(i)) slots[String(i)] = { value: s.elements[i] };
-    }
-    return slots;
+var loopExitsAls = new AsyncLocalStorage2();
+var throwExitsAls = new AsyncLocalStorage2();
+var tryMarksAls = new AsyncLocalStorage2();
+var softFrameActiveAls = new AsyncLocalStorage2();
+function runWithLoopExits(body) {
+  return loopExitsAls.run(
+    [],
+    () => throwExitsAls.run(
+      [],
+      () => tryMarksAls.run([], () => softFrameActiveAls.run([], body))
+    )
+  );
+}
+function takeLoopExits() {
+  return loopExitsAls.getStore() ?? [];
+}
+function takeThrowExits() {
+  return throwExitsAls.getStore() ?? [];
+}
+function pushLoopExit(v2) {
+  loopExitsAls.getStore()?.push(v2);
+}
+function pushThrowExit(v2) {
+  throwExitsAls.getStore()?.push(v2);
+}
+function $pushLoopExit(v2) {
+  pushLoopExit(v2);
+}
+function $tryMark() {
+  $tryMarkSoft();
+  softFrameActiveAls.getStore()?.push(true);
+  const store = throwExitsAls.getStore();
+  const m = store?.length ?? 0;
+  tryMarksAls.getStore()?.push(m);
+  return m;
+}
+function $tryCurrentMark() {
+  const stack = tryMarksAls.getStore();
+  return stack && stack.length > 0 ? stack[stack.length - 1] : 0;
+}
+function $tryPopMark() {
+  tryMarksAls.getStore()?.pop();
+  const soft = softFrameActiveAls.getStore();
+  if (soft && soft.length > 0) {
+    if (soft[soft.length - 1]) $tryReleaseSoftOut();
+    soft.pop();
   }
-  if (src.term?.op === "lit" && typeof src.term.value === "string") {
-    const v2 = src.term.value;
-    const slots = {};
-    for (let i = 0; i < v2.length; i++) slots[String(i)] = { value: strLit(v2[i]) };
-    return slots;
+}
+function $tryTakeSince(mark) {
+  const store = throwExitsAls.getStore();
+  if (!store) return [];
+  return store.splice(Math.min(mark, store.length));
+}
+function peekThrowExitsSince(mark) {
+  const store = throwExitsAls.getStore();
+  if (!store) return [];
+  return store.slice(Math.min(mark, store.length));
+}
+function throwExitsMark() {
+  return throwExitsAls.getStore()?.length ?? 0;
+}
+function $tryDigestSoftCatch() {
+  const soft = softFrameActiveAls.getStore();
+  if (!soft || soft.length === 0 || !soft[soft.length - 1]) return;
+  $tryDigestSoft();
+  soft[soft.length - 1] = false;
+}
+function $tryReleaseSoftCatch() {
+  const soft = softFrameActiveAls.getStore();
+  if (!soft || soft.length === 0 || !soft[soft.length - 1]) return;
+  $tryReleaseSoft();
+  soft[soft.length - 1] = false;
+}
+function $tryDetachSoftCatch() {
+  const soft = softFrameActiveAls.getStore();
+  if (!soft || soft.length === 0 || !soft[soft.length - 1]) return [];
+  const effects = popMayThrowFrame(false);
+  soft[soft.length - 1] = false;
+  return effects;
+}
+function $tryDiscardSoft(_effects) {
+}
+function $tryOrphanSoft(effects) {
+  orphanMayThrowEffects(effects);
+}
+function $tryReleaseSoftOut() {
+  const soft = softFrameActiveAls.getStore();
+  if (!soft || soft.length === 0 || !soft[soft.length - 1]) return;
+  $tryReleaseSoft();
+  soft[soft.length - 1] = false;
+}
+var NudoReturn = class extends Error {
+  absValue;
+  constructor(absValue) {
+    super("nudo:return");
+    this.name = "NudoReturn";
+    this.absValue = absValue;
   }
-  if (s.k === "brand" && s.name === "String") {
-    const inner = s.shape;
-    if (inner.shape.k === "obj") {
-      const slots = {};
-      for (const [k, v2] of Object.entries(inner.shape.slots)) {
-        if (k === "length") continue;
-        setSlot(slots, k, v2);
-      }
-      if (Object.keys(slots).length > 0 || !inner.shape.open) return slots;
-    }
-    return void 0;
+};
+function isNudoReturn(e) {
+  return e instanceof NudoReturn;
+}
+function $loopReturn(v2) {
+  throw new NudoReturn(v2);
+}
+var NudoLoopSignal = class extends Error {
+  kind;
+  label;
+  constructor(kind, label) {
+    super("nudo:loop");
+    this.name = "NudoLoopSignal";
+    this.kind = kind;
+    this.label = label;
   }
-  if (s.k === "prim") return s.type === "string" ? void 0 : {};
-  if (s.k === "eff" || s.k === "never") return {};
-  return void 0;
+};
+function $loopBreak(label) {
+  throw new NudoLoopSignal("break", label || void 0);
 }
-function evalObjectMethod(name, args) {
-  const a0 = args[0];
-  const enumKeys = (slots, target) => {
-    const flags = getPropFlags(target);
-    return Object.keys(slots).filter(
-      (k) => flags?.get(k)?.enumerable !== false
-    );
-  };
-  switch (name) {
-    case "create": {
-      if (a0 === void 0 || a0.term?.op === "lit" && a0.term.value === void 0) {
-        throw new NudoThrow(errorTypeAbs("TypeError"));
-      }
-      const protoVR = litValue(a0);
-      const protoV = protoVR.ok ? protoVR.value : void 0;
-      if (protoV === null) return markNullProtoObj(abs({ k: "obj", slots: {} }, void 0, void 0, "exact"));
-      if (typeof protoV === "object") {
-        return abs({ k: "obj", slots: {} }, void 0, void 0, "path");
-      }
-      if (a0.term?.op === "lit") {
-        throw new NudoThrow(errorTypeAbs("TypeError"));
-      }
-      return void 0;
+function $loopContinue(label) {
+  throw new NudoLoopSignal("continue", label || void 0);
+}
+function loopSignalMatches(e, label) {
+  return e.label === void 0 || e.label === label;
+}
+function isNudoBreak(e, label) {
+  return e instanceof NudoLoopSignal && e.kind === "break" && loopSignalMatches(e, label);
+}
+function isNudoContinue(e, label) {
+  return e instanceof NudoLoopSignal && e.kind === "continue" && loopSignalMatches(e, label);
+}
+function $isBreakTo(e, label) {
+  return e instanceof NudoLoopSignal && e.kind === "break" && e.label === label;
+}
+function $rethrowIfNudoReturn(e) {
+  if (isNudoReturn(e)) throw e;
+}
+
+// src/algebra/builtins/shared.ts
+var noBody2 = { type: "BlockStatement", body: [], directives: [] };
+function numPrim(conf = "path") {
+  return abs({ k: "prim", type: "number" }, void 0, void 0, conf);
+}
+function str2(conf = "path") {
+  return abs({ k: "prim", type: "string" }, void 0, void 0, conf);
+}
+function boolPrim(conf = "partial") {
+  return abs({ k: "prim", type: "boolean" }, void 0, void 0, conf);
+}
+function peelBrand(shape) {
+  let s = shape;
+  while (s.k === "brand") s = s.shape.shape;
+  return s;
+}
+function isPrimLike(a) {
+  if (!a) return true;
+  if (a.shape.k === "prim" || a.shape.k === "never") return true;
+  if (a.term?.op === "lit" && (a.term.value === null || a.term.value === void 0)) {
+    return true;
+  }
+  return false;
+}
+
+// src/algebra/builtins/math.ts
+function coerceMathArg(a) {
+  if (!a || a.term?.op !== "lit") return void 0;
+  const v2 = a.term.value;
+  if (typeof v2 === "number") return v2;
+  if (typeof v2 === "string") return Number(v2);
+  if (typeof v2 === "boolean") return v2 ? 1 : 0;
+  if (v2 === null) return 0;
+  if (v2 === void 0) return void 0;
+  return "throw";
+}
+function mathMethod(name) {
+  if (!Object.hasOwn(Math, name)) return void 0;
+  const impl = Math[name];
+  return typeof impl === "function" ? impl : void 0;
+}
+function isNonNaN(a, phi2) {
+  if (a.term?.op === "lit") {
+    return typeof a.term.value === "number" && !Number.isNaN(a.term.value);
+  }
+  const hasNonNaNFact = (p) => {
+    if (!p) return false;
+    if (p.op === "and") return p.args.some(hasNonNaNFact);
+    if (p.op === "assumeFinite") {
+      return !!a.term && termEquals(p.t, a.term);
     }
-    case "keys": {
-      if (a0 && a0.term?.op === "lit" && (a0.term.value === null || a0.term.value === void 0)) {
-        throw new NudoThrow(errorTypeAbs("TypeError"));
-      }
-      if (a0?.shape.k === "obj") {
-        const keys = enumKeys(
-          a0.shape.slots,
-          a0
-        ).map((k) => strLit(k));
-        return abs({ k: "tuple", elements: keys }, void 0, void 0, "exact");
-      }
-      if (a0?.shape.k === "tuple") {
-        const holes = a0.shape.holes ?? [];
-        const keys = a0.shape.elements.map((_, i) => i).filter((i) => !holes.includes(i)).map((i) => strLit(String(i)));
-        return abs({ k: "tuple", elements: keys }, void 0, void 0, "exact");
-      }
-      if (a0?.term?.op === "lit" && typeof a0.term.value === "string") {
-        const s = a0.term.value;
-        return abs(
-          { k: "tuple", elements: Array.from({ length: s.length }, (_, i) => strLit(String(i))) },
-          void 0,
-          void 0,
-          "exact"
-        );
-      }
-      if (a0?.term?.op === "lit" && typeof a0.term.value === "number") {
-        return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
+    if (p.op === "ne") {
+      if (p.b.op === "lit" && typeof p.b.value === "number" && Number.isNaN(p.b.value) && a.term && termEquals(p.a, a.term)) {
+        return true;
       }
-      return abs({ k: "arr", element: str2("path") }, void 0, void 0, "partial");
     }
-    case "values": {
-      if (a0 && a0.term?.op === "lit" && (a0.term.value === null || a0.term.value === void 0)) {
-        throw new NudoThrow(errorTypeAbs("TypeError"));
-      }
-      if (a0?.shape.k === "obj") {
-        const slots = a0.shape.slots;
-        const vals = enumKeys(slots, a0).map((k) => slots[k].value);
-        return abs({ k: "tuple", elements: vals }, void 0, void 0, "exact");
-      }
-      if (a0?.shape.k === "tuple") {
-        const holes = a0.shape.holes ?? [];
-        return abs(
-          {
-            k: "tuple",
-            elements: a0.shape.elements.filter((_, i) => !holes.includes(i))
-          },
-          void 0,
-          void 0,
-          a0.conf
-        );
-      }
-      if (a0?.term?.op === "lit" && typeof a0.term.value === "string") {
-        const s = a0.term.value;
-        return abs(
-          {
-            k: "tuple",
-            elements: Array.from({ length: s.length }, (_, i) => strLit(s[i]))
-          },
-          void 0,
-          void 0,
-          "exact"
-        );
-      }
-      if (a0?.term?.op === "lit" && typeof a0.term.value === "number") {
-        return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
-      }
-      return abs({ k: "arr", element: unknown }, void 0, void 0, "partial");
+    if (p.op === "gt" || p.op === "ge" || p.op === "lt" || p.op === "le") {
+      if (a.term && (termEquals(p.a, a.term) || termEquals(p.b, a.term))) return true;
     }
-    case "entries": {
-      if (a0 && a0.term?.op === "lit" && (a0.term.value === null || a0.term.value === void 0)) {
-        throw new NudoThrow(errorTypeAbs("TypeError"));
-      }
-      if (a0?.shape.k === "obj") {
-        const slots = a0.shape.slots;
-        const entries = enumKeys(slots, a0).map(
-          (k) => abs({ k: "tuple", elements: [strLit(k), slots[k].value] }, void 0, void 0, "exact")
-        );
-        return abs({ k: "tuple", elements: entries }, void 0, void 0, "exact");
-      }
-      if (a0?.shape.k === "tuple") {
-        const holes = a0.shape.holes ?? [];
-        const entries = a0.shape.elements.map((el, i) => ({ el, i })).filter(({ i }) => !holes.includes(i)).map(
-          ({ el, i }) => abs({ k: "tuple", elements: [strLit(String(i)), el] }, void 0, void 0, "exact")
-        );
-        return abs({ k: "tuple", elements: entries }, void 0, void 0, "exact");
+    return false;
+  };
+  if (hasNonNaNFact(a.pred)) return true;
+  if (a.term?.op === "var") {
+    const id = a.term.id;
+    const conjs = phi2.op === "and" ? phi2.args : [phi2];
+    for (const p of conjs) {
+      if (p.op === "assumeFinite" && p.t.op === "var" && p.t.id === id) {
+        return true;
       }
-      if (a0?.term?.op === "lit" && typeof a0.term.value === "string") {
-        const s = a0.term.value;
-        return abs(
-          {
-            k: "tuple",
-            elements: Array.from(
-              { length: s.length },
-              (_, i) => abs({ k: "tuple", elements: [strLit(String(i)), strLit(s[i])] }, void 0, void 0, "exact")
-            )
-          },
-          void 0,
-          void 0,
-          "exact"
-        );
+      if (p.op === "ne") {
+        const b = p.b;
+        if (b.op === "lit" && typeof b.value === "number" && Number.isNaN(b.value) && p.a.op === "var" && p.a.id === id) {
+          return true;
+        }
       }
-      if (a0?.term?.op === "lit" && typeof a0.term.value === "number") {
-        return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
+      if (p.op === "gt" || p.op === "ge" || p.op === "lt" || p.op === "le") {
+        const sides = [p.a, p.b];
+        if (sides.some((t) => t.op === "var" && t.id === id) && sides.some((t) => t.op === "lit" && typeof t.value === "number")) {
+          return true;
+        }
       }
-      return abs({ k: "arr", element: unknown }, void 0, void 0, "partial");
     }
-    case "hasOwn": {
-      if (!a0) return boolPrim();
-      if (a0.term?.op === "lit" && (a0.term.value === null || a0.term.value === void 0)) {
-        throw new NudoThrow(errorTypeAbs("TypeError"));
-      }
-      const keyR = args[1] ? litValue(args[1]) : void 0;
-      const key = keyR?.ok ? keyR.value : void 0;
-      if (typeof key !== "string") return boolPrim();
-      if (a0.shape.k === "obj") {
-        const shape = a0.shape;
-        if (Object.prototype.hasOwnProperty.call(shape.slots, key)) return boolLit(true);
-        if (!shape.open && a0.conf === "exact") return boolLit(false);
-        return boolPrim();
-      }
-      return boolPrim();
+  }
+  return false;
+}
+function ieeeBoundNum(n) {
+  return Number.isFinite(n) || n === Infinity || n === -Infinity ? n : void 0;
+}
+function loMin(a, b) {
+  if (a.lo === void 0 || b.lo === void 0) return void 0;
+  if (b.lo.value < a.lo.value) return b.lo;
+  if (b.lo.value === a.lo.value && b.lo.strict && !a.lo.strict) return b.lo;
+  return a.lo;
+}
+function loMax(a, b) {
+  if (a.lo === void 0) return b.lo;
+  if (b.lo === void 0) return a.lo;
+  if (b.lo.value > a.lo.value) return b.lo;
+  if (b.lo.value === a.lo.value && b.lo.strict && !a.lo.strict) return b.lo;
+  return a.lo;
+}
+function hiMin(a, b) {
+  if (a.hi === void 0) return b.hi;
+  if (b.hi === void 0) return a.hi;
+  if (b.hi.value < a.hi.value) return b.hi;
+  if (b.hi.value === a.hi.value && b.hi.strict && !a.hi.strict) return b.hi;
+  return a.hi;
+}
+function hiMax(a, b) {
+  if (a.hi === void 0 || b.hi === void 0) return void 0;
+  if (b.hi.value > a.hi.value) return b.hi;
+  if (b.hi.value === a.hi.value && b.hi.strict && !a.hi.strict) return b.hi;
+  return a.hi;
+}
+function boundsToPred(t, b) {
+  const facts = [];
+  if (b.lo !== void 0) {
+    const v2 = ieeeBoundNum(b.lo.value);
+    if (v2 !== void 0) {
+      facts.push(b.lo.strict ? { op: "gt", a: t, b: lit(v2) } : { op: "ge", a: t, b: lit(v2) });
     }
-    case "getPrototypeOf": {
-      if (!a0) return unknown;
-      if (a0.term?.op === "lit" && (a0.term.value === null || a0.term.value === void 0)) {
-        throw new NudoThrow(errorTypeAbs("TypeError"));
-      }
-      return protoOfRecv(a0);
+  }
+  if (b.hi !== void 0) {
+    const v2 = ieeeBoundNum(b.hi.value);
+    if (v2 !== void 0) {
+      facts.push(b.hi.strict ? { op: "lt", a: t, b: lit(v2) } : { op: "le", a: t, b: lit(v2) });
     }
-    case "setPrototypeOf": {
-      if (!args.length) {
-        throw new NudoThrow(errorTypeAbs("TypeError"));
-      }
-      const t0 = args[0];
-      const p0 = args[1];
-      if (!t0 || !p0) {
-        throw new NudoThrow(errorTypeAbs("TypeError"));
+  }
+  if (facts.length === 0) return void 0;
+  return facts.length === 1 ? facts[0] : and(...facts);
+}
+function minMaxAbs(name, args) {
+  const phi2 = currentExecPhi();
+  const empty = {};
+  let acc = empty;
+  const termArgs = args.map(
+    (a, i) => a.term ?? app(`arg${i}`, [])
+  );
+  const term = simplifyTerm(app(`Math.${name}`, termArgs));
+  let first = true;
+  let mayNaN = false;
+  for (const a of args) {
+    if (!isNonNaN(a, phi2)) mayNaN = true;
+    const b = numericBounds(a, phi2) ?? {};
+    if (first) {
+      acc = { lo: b.lo, hi: b.hi };
+      first = false;
+      continue;
+    }
+    if (name === "min") {
+      acc = { lo: loMin(acc, b), hi: hiMin(acc, b) };
+    } else {
+      acc = { lo: loMax(acc, b), hi: hiMax(acc, b) };
+    }
+  }
+  const pred = boundsToPred(term, acc);
+  const bounded = abs({ k: "prim", type: "number" }, term, pred, "path");
+  if (!mayNaN) return bounded;
+  const nanArm = numLit(NaN);
+  return makeSum(nanArm, bounded);
+}
+function roundingAbs(name, arg) {
+  const phi2 = currentExecPhi();
+  const impl = name === "round" ? Math.round : name === "floor" ? Math.floor : name === "ceil" ? Math.ceil : Math.trunc;
+  const b = numericBounds(arg, phi2);
+  const mayNaN = !isNonNaN(arg, phi2);
+  const term = arg.term ? simplifyTerm(app(`Math.${name}`, [arg.term])) : void 0;
+  let out = {};
+  if (b) {
+    if (b.lo !== void 0) {
+      const v2 = impl(b.lo.value);
+      out.lo = Number.isNaN(v2) ? void 0 : { value: v2, strict: false };
+    }
+    if (b.hi !== void 0) {
+      const v2 = impl(b.hi.value);
+      out.hi = Number.isNaN(v2) ? void 0 : { value: v2, strict: false };
+    }
+  }
+  const pred = term ? boundsToPred(term, out) : void 0;
+  const bounded = abs({ k: "prim", type: "number" }, term, pred, "path");
+  if (!mayNaN) return bounded;
+  return makeSum(numLit(NaN), bounded);
+}
+function evalMathMethod(name, args) {
+  if (name === "random") return numPrim("path");
+  if (name === "min" || name === "max") {
+    const nums2 = [];
+    let allLit = true;
+    for (const a of args) {
+      const n = coerceMathArg(a);
+      if (n === void 0) {
+        allLit = false;
+        break;
       }
-      const pvR = litValue(p0);
-      const pv = pvR.ok ? pvR.value : void 0;
-      if (p0.term?.op === "lit" && (pv === void 0 || pv !== null && typeof pv !== "object")) {
-        throw new NudoThrow(errorTypeAbs("TypeError"));
+      if (n === "throw") throw new NudoThrow(errorTypeAbs("TypeError"));
+      nums2.push(n);
+    }
+    if (allLit) {
+      try {
+        return numLit((name === "min" ? Math.min : Math.max)(...nums2));
+      } catch {
+        return numPrim();
       }
-      return setProtoAbs(t0, p0);
     }
-    case "assign": {
-      if (!args.length) return unknown;
-      const t0 = args[0];
-      if (t0 && t0.term?.op === "lit") {
-        if (t0.term.value === null || t0.term.value === void 0) {
-          throw new NudoThrow(errorTypeAbs("TypeError"));
-        }
-        return unknown;
-      }
-      let acc = args[0];
-      for (let i = 1; i < args.length; i++) {
-        acc = { ...acc };
-        const src = args[i];
-        if (acc.shape.k === "obj" && src.shape.k === "obj") {
-          const base = acc.shape.slots;
-          const over = src.shape.slots;
-          const filtered = { ...base };
-          for (const k of enumKeys(over, src)) {
-            filtered[k] = over[k];
-          }
-          acc = abs({ k: "obj", slots: filtered }, void 0, void 0, confJoin(acc.conf, src.conf));
-        } else if (src.shape.k !== "obj") {
-          const srcSlots = assignSourceSlots(src);
-          if (srcSlots === void 0) {
-            if (acc.shape.k === "obj") {
-              const base = acc.shape.slots;
-              acc = abs({ k: "obj", slots: { ...base }, open: true }, void 0, void 0, acc.conf);
-            } else if (acc.shape.k === "tuple") {
-              const els = acc.shape.elements;
-              const joined = els.length ? els.reduce((x, y) => joinAbs(x, y)) : str2();
-              acc = abs(
-                { k: "arr", element: joinAbs(joined, str2()) },
-                void 0,
-                void 0,
-                "partial"
-              );
-            }
-          } else if (acc.shape.k === "obj") {
-            const base = acc.shape.slots;
-            acc = abs({ k: "obj", slots: { ...base, ...srcSlots } }, void 0, void 0, confJoin(acc.conf, src.conf));
-          } else if (acc.shape.k === "tuple") {
-            let elements = [...acc.shape.elements];
-            let holes = [...acc.shape.holes ?? []];
-            let len = elements.length;
-            for (const [k, s] of Object.entries(srcSlots)) {
-              const idx = canonicalArrayIndex(k);
-              if (idx === void 0) continue;
-              if (idx >= len) len = idx + 1;
-              if (idx >= elements.length) elements.length = idx + 1;
-              elements[idx] = s.value;
-              holes = holes.filter((h) => h !== idx);
-            }
-            elements.length = len;
-            acc = abs(
-              { k: "tuple", elements, holes: holes.length > 0 ? holes : void 0 },
-              void 0,
-              void 0,
-              confJoin(acc.conf, src.conf)
-            );
-          }
-        } else if (acc.shape.k === "tuple" && src.shape.k === "obj") {
-          const slots = src.shape.slots;
-          let elements = [...acc.shape.elements];
-          let holes = [...acc.shape.holes ?? []];
-          let len = elements.length;
-          for (const [k, s] of Object.entries(slots)) {
-            if (k === "length") {
-              const lv = s.value.term?.op === "lit" ? s.value.term.value : void 0;
-              if (typeof lv !== "number" || !Number.isInteger(lv) || lv < 0) {
-                throw new NudoThrow(errorTypeAbs("RangeError"));
-              }
-              if (lv > TUPLE_MATERIALIZE_CAP) {
-                return abs({ k: "arr", element: unknown }, void 0, void 0, "partial");
-              }
-              if (lv < len) {
-                elements.length = lv;
-                holes = holes.filter((h) => h < lv);
-              } else {
-                for (let j = len; j < lv; j++) holes.push(j);
-              }
-              len = lv;
-              continue;
-            }
-            const idx = canonicalArrayIndex(k);
-            if (idx === void 0) continue;
-            if (idx >= len) len = idx + 1;
-            if (idx >= elements.length) elements.length = idx + 1;
-            elements[idx] = s.value;
-            holes = holes.filter((h) => h !== idx);
-          }
-          elements.length = len;
-          acc = abs(
-            { k: "tuple", elements, holes: holes.length > 0 ? holes : void 0 },
-            void 0,
-            void 0,
-            confJoin(acc.conf, src.conf)
-          );
-        }
-      }
-      return acc;
+    for (const a of args) {
+      const n = coerceMathArg(a);
+      if (n === "throw") throw new NudoThrow(errorTypeAbs("TypeError"));
     }
-    case "is": {
-      const a02 = args[0];
-      const a1 = args[1];
-      if (a02 && a1 && isExactLit(a02) && isExactLit(a1)) {
-        const va = a02.term.value;
-        const vb = a1.term.value;
-        return boolLit(Object.is(va, vb));
+    return minMaxAbs(name, args);
+  }
+  if (name === "round" || name === "floor" || name === "ceil" || name === "trunc") {
+    const n = coerceMathArg(args[0]);
+    if (n === "throw") throw new NudoThrow(errorTypeAbs("TypeError"));
+    if (typeof n === "number") {
+      try {
+        return numLit(
+          name === "round" ? Math.round(n) : name === "floor" ? Math.floor(n) : name === "ceil" ? Math.ceil(n) : Math.trunc(n)
+        );
+      } catch {
+        return numPrim();
       }
-      return boolPrim();
-    }
-    case "freeze": {
-      if (a0) return markExtState(a0, "frozen");
-      return void 0;
-    }
-    case "seal": {
-      if (a0) return markExtState(a0, "sealed");
-      return void 0;
-    }
-    case "preventExtensions": {
-      if (a0) return markExtState(a0, "nonext");
-      return void 0;
-    }
-    case "isFrozen": {
-      const t = args[0];
-      if (isPrimLike(t)) return boolLit(true);
-      return boolLit(extStateOf(t) === "frozen");
-    }
-    case "isSealed": {
-      const t = args[0];
-      if (isPrimLike(t)) return boolLit(true);
-      const s = extStateOf(t);
-      return boolLit(s === "sealed" || s === "frozen");
-    }
-    case "isExtensible": {
-      const t = args[0];
-      if (isPrimLike(t)) return boolLit(false);
-      return boolLit(extStateOf(t) === void 0);
     }
-    case "defineProperty": {
-      const kvR = args[1] ? litValue(args[1]) : void 0;
-      const kv = kvR?.ok ? kvR.value : void 0;
-      if (!a0 || typeof kv !== "string" && typeof kv !== "number") return a0;
-      if (a0.term?.op === "lit") throw new NudoThrow(errorTypeAbs("TypeError"));
-      const key = String(kv);
-      const descAbs = args[2];
-      if (!descAbs || descAbs.shape.k !== "obj") return unknown;
-      const dslots = descAbs.shape.slots;
-      const field = (k) => {
-        const s = dslots[k]?.value;
-        if (!s) return { present: false, v: void 0 };
-        const lvR = litValue(s);
-        if (lvR.ok) return { present: true, v: lvR.value };
-        return { present: true, v: "fn-or-abstract" };
-      };
-      const getF = field("get");
-      const setF = field("set");
-      const valueF = field("value");
-      const invalidAccessor = (f) => f.present && f.v !== void 0 && f.v !== "fn-or-abstract";
-      if (invalidAccessor(getF) || invalidAccessor(setF)) return unknown;
-      const accessorPresent = getF.present && getF.v !== void 0 || setF.present && setF.v !== void 0;
-      if (accessorPresent && valueF.present && valueF.v !== void 0) return unknown;
-      const dv = (k) => {
-        const s = dslots[k]?.value;
-        if (!s) return void 0;
-        const r = litValue(s);
-        return r.ok ? r.value : void 0;
-      };
-      const value = dv("value");
-      const toBool = (k) => {
-        const f = field(k);
-        if (!f.present || f.v === void 0 || f.v === "fn-or-abstract") return void 0;
-        return Boolean(f.v);
-      };
-      const writable = toBool("writable");
-      const enumerable = toBool("enumerable");
-      const configurable = toBool("configurable");
-      const innerForExists = a0.shape.k === "brand" ? a0.shape.shape : a0;
-      const exists = innerForExists.shape.k === "obj" && Object.prototype.hasOwnProperty.call(innerForExists.shape.slots, key);
-      const flags = {};
-      if (exists) {
-        if (writable === false) flags.writable = false;
-        if (enumerable === false) flags.enumerable = false;
-        if (configurable === false) flags.configurable = false;
-      } else {
-        if (writable !== true) flags.writable = false;
-        if (enumerable !== true) flags.enumerable = false;
-        if (configurable !== true) flags.configurable = false;
-      }
-      const litOf = (v2) => {
-        if (v2 === void 0) return void 0;
-        if (typeof v2 === "number") return numLit(v2);
-        if (typeof v2 === "string") return strLit(v2);
-        if (typeof v2 === "boolean") return boolLit(v2);
-        if (v2 === null) return abs({ k: "unknown" }, { op: "lit", value: null }, void 0, "exact");
-        return void 0;
-      };
-      let out = a0;
-      const putSlots = (inner) => {
-        if (inner.shape.k !== "obj") return inner;
-        const lit3 = litOf(value);
-        const slots = lit3 ? { ...inner.shape.slots, [key]: { value: lit3 } } : { ...inner.shape.slots };
-        const next = abs({ k: "obj", slots }, void 0, void 0, inner.conf);
-        migrateInvariants(inner, next);
-        return next;
-      };
-      if (out.shape.k === "obj") {
-        out = putSlots(out);
-      } else if (out.shape.k === "brand") {
-        const inner = putSlots(out.shape.shape);
-        if (inner !== out.shape.shape) {
-          out = abs({ k: "brand", name: out.shape.name, shape: inner }, out.term, out.pred, out.conf);
-        }
-      }
-      setPropFlags(out, key, flags);
-      return out;
+    if (args[0]) {
+      const c2 = coerceMathArg(args[0]);
+      if (c2 === "throw") throw new NudoThrow(errorTypeAbs("TypeError"));
+      return roundingAbs(name, args[0]);
     }
-    default:
-      return void 0;
+    return numPrim();
+  }
+  const impl = mathMethod(name);
+  if (!impl) return void 0;
+  const nums = [];
+  for (const a of args) {
+    const n = coerceMathArg(a);
+    if (n === void 0) return numPrim();
+    if (n === "throw") throw new NudoThrow(errorTypeAbs("TypeError"));
+    nums.push(n);
+  }
+  try {
+    return numLit(impl(...nums));
+  } catch {
+    return numPrim();
   }
 }
 
-// src/algebra/builtins/json.ts
-var NOT_LITERAL = /* @__PURE__ */ Symbol("nudo:not-literal");
-function absToJsonNative(a, seen) {
-  if (seen.has(a)) return NOT_LITERAL;
-  const t = a.term;
-  if (t?.op === "lit") return t.value;
-  const s = a.shape;
-  if (s.k === "tuple") {
-    seen.add(a);
-    const holes = a.shape.holes ?? [];
-    const out = [];
-    for (let i = 0; i < s.elements.length; i++) {
-      if (holes.includes(i)) {
-        out.push(void 0);
-        continue;
-      }
-      const v2 = absToJsonNative(s.elements[i], seen);
-      if (v2 === NOT_LITERAL) return NOT_LITERAL;
-      out.push(v2);
-    }
-    return out;
-  }
-  if (s.k === "obj") {
-    if (s.open || s.index) return NOT_LITERAL;
-    seen.add(a);
-    const out = {};
-    const flags = getPropFlags(a);
-    for (const [k, sv] of Object.entries(s.slots)) {
-      if (flags?.get(k)?.enumerable === false) continue;
-      const v2 = absToJsonNative(sv.value, seen);
-      if (v2 === NOT_LITERAL) return NOT_LITERAL;
-      out[k] = v2;
-    }
-    return out;
-  }
-  return NOT_LITERAL;
-}
-function jsonValueToAbs(v2) {
-  if (v2 === null) return abs({ k: "unknown" }, { op: "lit", value: null }, pTrue, "exact");
-  if (typeof v2 === "number") return numLit(v2);
-  if (typeof v2 === "string") return strLit(v2);
-  if (typeof v2 === "boolean") return boolLit(v2);
-  if (Array.isArray(v2)) {
-    return abs({ k: "tuple", elements: v2.map(jsonValueToAbs) }, void 0, void 0, "exact");
-  }
-  const slots = /* @__PURE__ */ Object.create(null);
-  for (const [k, sv] of Object.entries(v2)) {
-    setSlot(slots, k, { value: jsonValueToAbs(sv) });
-  }
-  return abs({ k: "obj", slots }, void 0, void 0, "exact");
-}
-function isNonJsonTopLevel(a) {
-  if (a.shape.k === "fn") return true;
-  if (a.shape.k === "prim" && a.shape.type === "symbol") return true;
-  return false;
+// src/algebra/class-mark.ts
+var classValues = /* @__PURE__ */ new WeakMap();
+function markClassValue(v2, name) {
+  classValues.set(v2, name);
 }
-function evalJsonMethod(name, args) {
-  if (name === "parse") {
-    const a0Abs = args[0];
-    if (!a0Abs) throw new NudoThrow(errorTypeAbs("SyntaxError"));
-    if (args[1]) return unknown;
-    const t = a0Abs.term;
-    if (t?.op !== "lit") return unknown;
-    const v2 = t.value;
-    if (v2 === void 0) throw new NudoThrow(errorTypeAbs("SyntaxError"));
-    if (typeof v2 === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
-    const src = typeof v2 === "string" ? v2 : typeof v2 === "number" || typeof v2 === "boolean" || typeof v2 === "bigint" ? String(v2) : v2 === null ? "null" : void 0;
-    if (src === void 0) return unknown;
-    try {
-      return jsonValueToAbs(JSON.parse(src));
-    } catch {
-      throw new NudoThrow(errorTypeAbs("SyntaxError"));
-    }
-  }
-  if (name === "stringify") {
-    const a0Abs = args[0];
-    if (!a0Abs) return undefAbs();
-    const v2 = absToJsonNative(a0Abs, /* @__PURE__ */ new Set());
-    if (v2 === NOT_LITERAL) {
-      if (isNonJsonTopLevel(a0Abs)) return undefAbs();
-      return str2("partial");
-    }
-    const replacerArg = args[1];
-    let replacer;
-    if (replacerArg) {
-      const rv = absToJsonNative(replacerArg, /* @__PURE__ */ new Set());
-      if (rv === NOT_LITERAL) return str2("partial");
-      if (Array.isArray(rv)) {
-        replacer = rv.filter(
-          (x) => typeof x === "string" || typeof x === "number"
-        );
-      } else if (typeof rv === "function") {
-        return str2("partial");
-      }
-    }
-    const spaceArg = args[2];
-    let space;
-    if (spaceArg) {
-      const t = spaceArg.term;
-      if (t?.op !== "lit") return str2("partial");
-      const sv = t.value;
-      if (typeof sv === "number" || typeof sv === "string") {
-        space = sv;
-      } else if (sv !== void 0 && sv !== null) {
-        return str2("partial");
-      }
-    }
-    try {
-      const s = JSON.stringify(v2, replacer, space);
-      return s === void 0 ? undefAbs() : strLit(s);
-    } catch {
-      throw new NudoThrow(errorTypeAbs("TypeError"));
-    }
-  }
-  return void 0;
+function classNameOfValue(v2) {
+  return classValues.get(v2);
 }
 
-// src/algebra/builtins/number.ts
-function foldParseInt(s, radix) {
-  const str6 = String(s);
-  if (radix === void 0) return numLit(parseInt(str6));
-  const r = Number(radix) | 0;
-  if (r === 0) return numLit(parseInt(str6));
-  if (r < 2 || r > 36) return numLit(NaN);
-  return numLit(parseInt(str6, r));
-}
-function foldParseFloat(s) {
-  return numLit(parseFloat(String(s)));
+// src/algebra/builtins/ctor.ts
+var builtinCtorByName = /* @__PURE__ */ new Map();
+var builtinCtorByAbs = /* @__PURE__ */ new WeakMap();
+function builtinCtorAbs(name) {
+  let a = builtinCtorByName.get(name);
+  if (!a) {
+    a = abs(
+      { k: "brand", name, shape: objOf({ name: { value: strLit(name) } }) },
+      void 0,
+      void 0,
+      "exact"
+    );
+    markClassValue(a, name);
+    builtinCtorByName.set(name, a);
+    builtinCtorByAbs.set(a, name);
+  }
+  return a;
 }
-function toStringLitArg(a) {
-  if (!a) return { lit: true, v: void 0 };
-  if (a.term?.op !== "lit") return { lit: false };
-  const v2 = a.term.value;
-  if (typeof v2 === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
-  return { lit: true, v: v2 };
+function builtinCtorNameOf(v2) {
+  if (!v2 || typeof v2 !== "object") return void 0;
+  return builtinCtorByAbs.get(v2);
 }
-function radixLitArg(a) {
-  if (!a) return { ok: true, v: void 0 };
-  if (a.term?.op !== "lit") return { ok: false };
-  const v2 = a.term.value;
-  if (typeof v2 === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
-  if (v2 === void 0) return { ok: true, v: void 0 };
-  if (typeof v2 === "number" || typeof v2 === "string" || typeof v2 === "boolean" || v2 === null) {
-    return { ok: true, v: v2 };
-  }
-  return { ok: false };
+function hostBuiltinCtorName(v2) {
+  if (typeof v2 !== "function") return void 0;
+  if (v2 === Number) return "Number";
+  if (v2 === String) return "String";
+  if (v2 === Boolean) return "Boolean";
+  if (v2 === BigInt) return "BigInt";
+  if (v2 === Symbol) return "Symbol";
+  if (v2 === Array) return "Array";
+  if (v2 === Object) return "Object";
+  if (v2 === Function) return "Function";
+  if (v2 === Promise) return "Promise";
+  if (v2 === Date) return "Date";
+  if (v2 === RegExp) return "RegExp";
+  if (v2 === Map) return "Map";
+  if (v2 === Set) return "Set";
+  if (v2 === WeakMap) return "WeakMap";
+  if (v2 === WeakSet) return "WeakSet";
+  if (v2 === Error) return "Error";
+  if (v2 === TypeError) return "TypeError";
+  if (v2 === RangeError) return "RangeError";
+  if (v2 === ReferenceError) return "ReferenceError";
+  if (v2 === SyntaxError) return "SyntaxError";
+  if (v2 === URIError) return "URIError";
+  if (v2 === EvalError) return "EvalError";
+  if (v2 === AggregateError) return "AggregateError";
+  return void 0;
 }
-function evalNumberStatic(name, args) {
-  const a0Arg = args[0];
-  const a0R = a0Arg ? litValue(a0Arg) : void 0;
-  const a0 = a0R?.ok ? a0R.value : void 0;
-  const foldStrictNumberPred = (pred) => {
-    if (!a0Arg) return boolLit(false);
-    if (a0Arg.term?.op !== "lit") return void 0;
-    const v2 = a0Arg.term.value;
-    return boolLit(typeof v2 === "number" && pred(v2));
-  };
-  switch (name) {
-    case "isInteger":
-      return foldStrictNumberPred(Number.isInteger) ?? boolPrim();
-    case "isNaN":
-      return foldStrictNumberPred(Number.isNaN) ?? boolPrim();
-    case "isFinite":
-      return foldStrictNumberPred(Number.isFinite) ?? boolPrim();
-    case "parseInt": {
-      const s = toStringLitArg(a0Arg);
-      if (!s.lit) return numPrim();
-      const radix = radixLitArg(args[1]);
-      if (!radix.ok) return numPrim();
-      return foldParseInt(s.v, radix.v);
+function ctorNameOfRecv(recv) {
+  const s = recv.shape;
+  switch (s.k) {
+    case "prim":
+      return s.type === "number" ? "Number" : s.type === "string" ? "String" : s.type === "boolean" ? "Boolean" : s.type === "bigint" ? "BigInt" : s.type === "symbol" ? "Symbol" : void 0;
+    case "tuple":
+    case "arr":
+      return "Array";
+    case "obj":
+      return isNullProtoObj(recv) ? void 0 : "Object";
+    case "fn":
+      return "Function";
+    case "eff":
+      return s.eff === "promise" ? "Promise" : "Generator";
+    case "brand": {
+      if (s.name === "Object.prototype") return "Object";
+      if (s.name.endsWith(".prototype")) return s.name.slice(0, -".prototype".length);
+      return s.name;
     }
-    case "parseFloat": {
-      const s = toStringLitArg(a0Arg);
-      if (!s.lit) return numPrim();
-      return foldParseFloat(s.v);
+    case "sum": {
+      let first;
+      for (const m of s.members) {
+        const n = ctorNameOfRecv(m);
+        if (n === void 0) return void 0;
+        if (first === void 0) first = n;
+        else if (first !== n) return void 0;
+      }
+      return first;
     }
-    case "MAX_SAFE_INTEGER":
-      return numLit(Number.MAX_SAFE_INTEGER);
     default:
       return void 0;
   }
 }
-
-// src/algebra/collections.ts
-var NO_LIT_KEY = /* @__PURE__ */ Symbol("nudo:no-lit-key");
-var mapTables = /* @__PURE__ */ new WeakMap();
-var setTables = /* @__PURE__ */ new WeakMap();
-var armOverlays = [];
-function pushCollectionArm() {
-  armOverlays.push(null);
-}
-function popCollectionArm() {
-  return armOverlays.pop() ?? void 0;
-}
-function topArmOverlay() {
-  const i = armOverlays.length - 1;
-  let top = armOverlays[i];
-  if (!top) {
-    top = /* @__PURE__ */ new WeakMap();
-    armOverlays[i] = top;
-  }
-  return top;
+function protoBrandAbs(ctorName) {
+  return abs(
+    {
+      k: "brand",
+      name: `${ctorName}.prototype`,
+      shape: objOf({ constructor: { value: builtinCtorAbs(ctorName) } })
+    },
+    void 0,
+    void 0,
+    "exact"
+  );
 }
-function cloneMapTable(t) {
-  return {
-    byLit: new Map(t.byLit),
-    shadowValues: [...t.shadowValues],
-    maybeAbsent: t.maybeAbsent ? new Set(t.maybeAbsent) : void 0
-  };
-}
-function cloneSetTable(t) {
-  return {
-    elements: [...t.elements],
-    maybeAbsent: t.maybeAbsent instanceof Set ? new Set(t.maybeAbsent) : t.maybeAbsent
-  };
-}
-function setAbsentKey(t, k) {
-  if (!t) return false;
-  if (t.maybeAbsent === true) return true;
-  return t.maybeAbsent instanceof Set && t.maybeAbsent.has(k);
-}
-function setAnyAbsent(t) {
-  if (!t) return false;
-  return t.maybeAbsent === true || t.maybeAbsent instanceof Set && t.maybeAbsent.size > 0;
-}
-function mergeCollectionArms(arms) {
-  endCollectionFork(arms);
-}
-var forkTouchedStack = [];
-function beginCollectionFork() {
-  forkTouchedStack.push(null);
+function protoOfRecv(a) {
+  const s = a.shape;
+  const nullProtoLit = abs(
+    { k: "unknown" },
+    { op: "lit", value: null },
+    pTrue,
+    "exact"
+  );
+  if (s.k === "tuple" || s.k === "arr") return protoBrandAbs("Array");
+  if (s.k === "prim") {
+    const ctor = s.type === "number" ? "Number" : s.type === "string" ? "String" : s.type === "boolean" ? "Boolean" : s.type === "bigint" ? "BigInt" : s.type === "symbol" ? "Symbol" : void 0;
+    return ctor ? protoBrandAbs(ctor) : unknown;
+  }
+  if (s.k === "fn") return protoBrandAbs("Function");
+  if (s.k === "eff" && s.eff === "promise") return protoBrandAbs("Promise");
+  if (s.k === "brand") {
+    if (s.name === "Object.prototype") return nullProtoLit;
+    if (s.name.endsWith(".prototype")) return objectProtoBrand();
+    return protoBrandAbs(s.name);
+  }
+  if (s.k === "obj") {
+    if (isNullProtoObj(a)) return nullProtoLit;
+    return objectProtoBrand();
+  }
+  return unknown;
 }
-function noteCollectionWrite(id) {
-  const i = forkTouchedStack.length - 1;
-  if (i < 0) return;
-  let top = forkTouchedStack[i];
-  if (!top) {
-    top = /* @__PURE__ */ new Set();
-    forkTouchedStack[i] = top;
+var OBJECT_PROTO_METHOD_NAMES = /* @__PURE__ */ new Set([
+  "hasOwnProperty",
+  "isPrototypeOf",
+  "propertyIsEnumerable",
+  "valueOf",
+  "toString",
+  "toLocaleString"
+]);
+var objectProtoSingleton;
+function objectProtoBrand() {
+  if (!objectProtoSingleton) {
+    const a = abs(
+      {
+        k: "brand",
+        name: "Object.prototype",
+        shape: objOf({ constructor: { value: builtinCtorAbs("Object") } })
+      },
+      void 0,
+      void 0,
+      "exact"
+    );
+    setPropFlags(a, "constructor", { enumerable: false, writable: true, configurable: true });
+    objectProtoSingleton = a;
   }
-  top.add(id);
+  return objectProtoSingleton;
 }
-function endCollectionFork(arms) {
-  const touched = forkTouchedStack.pop();
-  if (!touched || touched.size === 0) return;
-  if (arms.length === 0) return;
-  const nested = armOverlays.length > 0;
-  const outerArm = nested ? armOverlays[armOverlays.length - 1] : void 0;
-  const commitMap = (id, merged) => {
-    if (nested) {
-      const outer = topArmOverlay();
-      const e = outer.get(id) ?? {};
-      outer.set(id, { ...e, map: merged });
-    } else {
-      mapTables.set(id, merged);
+function isObjectProtoBrand(a) {
+  return !!a && a.shape.k === "brand" && a.shape.name === "Object.prototype";
+}
+
+// src/algebra/builtins/object.ts
+function assignSourceSlots(src) {
+  const s = src.shape;
+  if (s.k === "tuple") {
+    const holes = s.holes ?? [];
+    const slots = {};
+    for (let i = 0; i < s.elements.length; i++) {
+      if (!holes.includes(i)) slots[String(i)] = { value: s.elements[i] };
     }
-  };
-  const commitSet = (id, merged) => {
-    if (nested) {
-      const outer = topArmOverlay();
-      const e = outer.get(id) ?? {};
-      outer.set(id, { ...e, set: merged });
-    } else {
-      setTables.set(id, merged);
+    return slots;
+  }
+  if (src.term?.op === "lit" && typeof src.term.value === "string") {
+    const v2 = src.term.value;
+    const slots = {};
+    for (let i = 0; i < v2.length; i++) slots[String(i)] = { value: strLit(v2[i]) };
+    return slots;
+  }
+  if (s.k === "brand" && s.name === "String") {
+    const inner = s.shape;
+    if (inner.shape.k === "obj") {
+      const slots = {};
+      for (const [k, v2] of Object.entries(inner.shape.slots)) {
+        if (k === "length") continue;
+        setSlot(slots, k, v2);
+      }
+      if (Object.keys(slots).length > 0 || !inner.shape.open) return slots;
     }
+    return void 0;
+  }
+  if (s.k === "prim") return s.type === "string" ? void 0 : {};
+  if (s.k === "eff" || s.k === "never") return {};
+  return void 0;
+}
+function evalObjectMethod(name, args) {
+  const a0 = args[0];
+  const enumKeys = (slots, target) => {
+    const flags = getPropFlags(target);
+    return Object.keys(slots).filter(
+      (k) => flags?.get(k)?.enumerable !== false
+    );
   };
-  for (const id of touched) {
-    const armTables = [];
-    const armSetTables = [];
-    let anyMap = false;
-    let anySet = false;
-    for (const arm of arms) {
-      const e = arm?.get(id);
-      if (e?.map) {
-        anyMap = true;
-        armTables.push(e.map);
-      } else if (anyMap || armTables.length > 0) {
-        armTables.push(void 0);
-      }
-      if (e?.set) {
-        anySet = true;
-        armSetTables.push(e.set);
-      } else if (anySet || armSetTables.length > 0) {
-        armSetTables.push(void 0);
+  switch (name) {
+    case "create": {
+      if (a0 === void 0 || a0.term?.op === "lit" && a0.term.value === void 0) {
+        throw new NudoThrow(errorTypeAbs("TypeError"));
       }
-    }
-    if (anyMap || armTables.some(Boolean)) {
-      const base = (nested ? mapTableForReadBase(outerArm, id) : mapTables.get(id)) ?? emptyMapTable();
-      const perArm = arms.map((arm) => {
-        const e = arm?.get(id);
-        return e?.map ?? cloneMapTable(base);
-      });
-      const merged = { byLit: /* @__PURE__ */ new Map(), shadowValues: [], maybeAbsent: /* @__PURE__ */ new Set() };
-      const keyArms = /* @__PURE__ */ new Map();
-      const forcedAbsent = /* @__PURE__ */ new Set();
-      for (const t of perArm) {
-        for (const [k, v2] of t.byLit) {
-          const prev = merged.byLit.get(k);
-          merged.byLit.set(k, prev ? joinAbs(prev, v2) : v2);
-          keyArms.set(k, (keyArms.get(k) ?? 0) + 1);
-        }
-        for (const sv of t.shadowValues) merged.shadowValues.push(sv);
-        if (t.maybeAbsent) {
-          for (const k of t.maybeAbsent) forcedAbsent.add(k);
-        }
+      const protoVR = litValue(a0);
+      const protoV = protoVR.ok ? protoVR.value : void 0;
+      if (protoV === null) return markNullProtoObj(abs({ k: "obj", slots: {} }, void 0, void 0, "exact"));
+      if (typeof protoV === "object") {
+        return abs({ k: "obj", slots: {} }, void 0, void 0, "path");
       }
-      for (const [k, count] of keyArms) {
-        if (count < perArm.length) merged.maybeAbsent.add(k);
+      if (a0.term?.op === "lit") {
+        throw new NudoThrow(errorTypeAbs("TypeError"));
       }
-      for (const k of forcedAbsent) merged.maybeAbsent.add(k);
-      if (merged.maybeAbsent.size === 0) delete merged.maybeAbsent;
-      commitMap(id, merged);
+      return void 0;
     }
-    if (anySet || armSetTables.some(Boolean)) {
-      const base = (nested ? setTableForReadBase(outerArm, id) : setTables.get(id)) ?? emptySetTable();
-      const perArm = arms.map((arm) => {
-        const e = arm?.get(id);
-        return e?.set ?? cloneSetTable(base);
-      });
-      const seen = /* @__PURE__ */ new Set();
-      const mergedEls = [];
-      const litArmCount = /* @__PURE__ */ new Map();
-      const forcedAbsent = /* @__PURE__ */ new Set();
-      let wholeUncertain = false;
-      let hasNonLit = false;
-      for (const t of perArm) {
-        if (t.maybeAbsent === true) wholeUncertain = true;
-        if (t.maybeAbsent instanceof Set) {
-          for (const k of t.maybeAbsent) forcedAbsent.add(k);
-        }
-        const armLits = /* @__PURE__ */ new Set();
-        for (const el of t.elements) {
-          const lk = litKeyOf(el);
-          if (isLitKey(lk)) {
-            if (!seen.has(lk)) {
-              seen.add(lk);
-              mergedEls.push(el);
-            }
-            armLits.add(lk);
-          } else {
-            hasNonLit = true;
-            mergedEls.push(el);
-          }
-        }
-        for (const k of armLits) {
-          litArmCount.set(k, (litArmCount.get(k) ?? 0) + 1);
-        }
+    case "keys": {
+      if (a0 && a0.term?.op === "lit" && (a0.term.value === null || a0.term.value === void 0)) {
+        throw new NudoThrow(errorTypeAbs("TypeError"));
       }
-      const maybeKeys = /* @__PURE__ */ new Set();
-      if (wholeUncertain || hasNonLit) {
-        wholeUncertain = true;
-      } else {
-        for (const [k, count] of litArmCount) {
-          if (count < perArm.length) maybeKeys.add(k);
-        }
-        for (const k of forcedAbsent) maybeKeys.add(k);
+      if (a0?.shape.k === "obj") {
+        const keys = enumKeys(
+          a0.shape.slots,
+          a0
+        ).map((k) => strLit(k));
+        return abs({ k: "tuple", elements: keys }, void 0, void 0, "exact");
       }
-      commitSet(id, {
-        elements: mergedEls,
+      if (a0?.shape.k === "tuple") {
+        const holes = a0.shape.holes ?? [];
+        const keys = a0.shape.elements.map((_, i) => i).filter((i) => !holes.includes(i)).map((i) => strLit(String(i)));
+        return abs({ k: "tuple", elements: keys }, void 0, void 0, "exact");
+      }
+      if (a0?.term?.op === "lit" && typeof a0.term.value === "string") {
+        const s = a0.term.value;
+        return abs(
+          { k: "tuple", elements: Array.from({ length: s.length }, (_, i) => strLit(String(i))) },
+          void 0,
+          void 0,
+          "exact"
+        );
+      }
+      if (a0?.term?.op === "lit" && typeof a0.term.value === "number") {
+        return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
+      }
+      return abs({ k: "arr", element: str2("path") }, void 0, void 0, "partial");
+    }
+    case "values": {
+      if (a0 && a0.term?.op === "lit" && (a0.term.value === null || a0.term.value === void 0)) {
+        throw new NudoThrow(errorTypeAbs("TypeError"));
+      }
+      if (a0?.shape.k === "obj") {
+        const slots = a0.shape.slots;
+        const vals = enumKeys(slots, a0).map((k) => slots[k].value);
+        return abs({ k: "tuple", elements: vals }, void 0, void 0, "exact");
+      }
+      if (a0?.shape.k === "tuple") {
+        const holes = a0.shape.holes ?? [];
+        return abs(
+          {
+            k: "tuple",
+            elements: a0.shape.elements.filter((_, i) => !holes.includes(i))
+          },
+          void 0,
+          void 0,
+          a0.conf
+        );
+      }
+      if (a0?.term?.op === "lit" && typeof a0.term.value === "string") {
+        const s = a0.term.value;
+        return abs(
+          {
+            k: "tuple",
+            elements: Array.from({ length: s.length }, (_, i) => strLit(s[i]))
+          },
+          void 0,
+          void 0,
+          "exact"
+        );
+      }
+      if (a0?.term?.op === "lit" && typeof a0.term.value === "number") {
+        return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
+      }
+      return abs({ k: "arr", element: unknown }, void 0, void 0, "partial");
+    }
+    case "entries": {
+      if (a0 && a0.term?.op === "lit" && (a0.term.value === null || a0.term.value === void 0)) {
+        throw new NudoThrow(errorTypeAbs("TypeError"));
+      }
+      if (a0?.shape.k === "obj") {
+        const slots = a0.shape.slots;
+        const entries = enumKeys(slots, a0).map(
+          (k) => abs({ k: "tuple", elements: [strLit(k), slots[k].value] }, void 0, void 0, "exact")
+        );
+        return abs({ k: "tuple", elements: entries }, void 0, void 0, "exact");
+      }
+      if (a0?.shape.k === "tuple") {
+        const holes = a0.shape.holes ?? [];
+        const entries = a0.shape.elements.map((el, i) => ({ el, i })).filter(({ i }) => !holes.includes(i)).map(
+          ({ el, i }) => abs({ k: "tuple", elements: [strLit(String(i)), el] }, void 0, void 0, "exact")
+        );
+        return abs({ k: "tuple", elements: entries }, void 0, void 0, "exact");
+      }
+      if (a0?.term?.op === "lit" && typeof a0.term.value === "string") {
+        const s = a0.term.value;
+        return abs(
+          {
+            k: "tuple",
+            elements: Array.from(
+              { length: s.length },
+              (_, i) => abs({ k: "tuple", elements: [strLit(String(i)), strLit(s[i])] }, void 0, void 0, "exact")
+            )
+          },
+          void 0,
+          void 0,
+          "exact"
+        );
+      }
+      if (a0?.term?.op === "lit" && typeof a0.term.value === "number") {
+        return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
+      }
+      return abs({ k: "arr", element: unknown }, void 0, void 0, "partial");
+    }
+    case "hasOwn": {
+      if (!a0) return boolPrim();
+      if (a0.term?.op === "lit" && (a0.term.value === null || a0.term.value === void 0)) {
+        throw new NudoThrow(errorTypeAbs("TypeError"));
+      }
+      const keyR = args[1] ? litValue(args[1]) : void 0;
+      const key = keyR?.ok ? keyR.value : void 0;
+      if (typeof key !== "string") return boolPrim();
+      if (a0.shape.k === "obj") {
+        const shape = a0.shape;
+        if (Object.prototype.hasOwnProperty.call(shape.slots, key)) return boolLit(true);
+        if (!shape.open && a0.conf === "exact") return boolLit(false);
+        return boolPrim();
+      }
+      return boolPrim();
+    }
+    case "getPrototypeOf": {
+      if (!a0) return unknown;
+      if (a0.term?.op === "lit" && (a0.term.value === null || a0.term.value === void 0)) {
+        throw new NudoThrow(errorTypeAbs("TypeError"));
+      }
+      return protoOfRecv(a0);
+    }
+    case "setPrototypeOf": {
+      if (!args.length) {
+        throw new NudoThrow(errorTypeAbs("TypeError"));
+      }
+      const t0 = args[0];
+      const p0 = args[1];
+      if (!t0 || !p0) {
+        throw new NudoThrow(errorTypeAbs("TypeError"));
+      }
+      const pvR = litValue(p0);
+      const pv = pvR.ok ? pvR.value : void 0;
+      if (p0.term?.op === "lit" && (pv === void 0 || pv !== null && typeof pv !== "object")) {
+        throw new NudoThrow(errorTypeAbs("TypeError"));
+      }
+      return setProtoAbs(t0, p0);
+    }
+    case "assign": {
+      if (!args.length) return unknown;
+      const t0 = args[0];
+      if (t0 && t0.term?.op === "lit") {
+        if (t0.term.value === null || t0.term.value === void 0) {
+          throw new NudoThrow(errorTypeAbs("TypeError"));
+        }
+        return unknown;
+      }
+      let acc = args[0];
+      for (let i = 1; i < args.length; i++) {
+        acc = { ...acc };
+        const src = args[i];
+        if (acc.shape.k === "obj" && src.shape.k === "obj") {
+          const base = acc.shape.slots;
+          const over = src.shape.slots;
+          const filtered = { ...base };
+          for (const k of enumKeys(over, src)) {
+            filtered[k] = over[k];
+          }
+          acc = abs({ k: "obj", slots: filtered }, void 0, void 0, confJoin(acc.conf, src.conf));
+        } else if (src.shape.k !== "obj") {
+          const srcSlots = assignSourceSlots(src);
+          if (srcSlots === void 0) {
+            if (acc.shape.k === "obj") {
+              const base = acc.shape.slots;
+              acc = abs({ k: "obj", slots: { ...base }, open: true }, void 0, void 0, acc.conf);
+            } else if (acc.shape.k === "tuple") {
+              const els = acc.shape.elements;
+              const joined = els.length ? els.reduce((x, y) => joinAbs(x, y)) : str2();
+              acc = abs(
+                { k: "arr", element: joinAbs(joined, str2()) },
+                void 0,
+                void 0,
+                "partial"
+              );
+            }
+          } else if (acc.shape.k === "obj") {
+            const base = acc.shape.slots;
+            acc = abs({ k: "obj", slots: { ...base, ...srcSlots } }, void 0, void 0, confJoin(acc.conf, src.conf));
+          } else if (acc.shape.k === "tuple") {
+            let elements = [...acc.shape.elements];
+            let holes = [...acc.shape.holes ?? []];
+            let len = elements.length;
+            for (const [k, s] of Object.entries(srcSlots)) {
+              const idx = canonicalArrayIndex(k);
+              if (idx === void 0) continue;
+              if (idx >= len) len = idx + 1;
+              if (idx >= elements.length) elements.length = idx + 1;
+              elements[idx] = s.value;
+              holes = holes.filter((h) => h !== idx);
+            }
+            elements.length = len;
+            acc = abs(
+              { k: "tuple", elements, holes: holes.length > 0 ? holes : void 0 },
+              void 0,
+              void 0,
+              confJoin(acc.conf, src.conf)
+            );
+          }
+        } else if (acc.shape.k === "tuple" && src.shape.k === "obj") {
+          const slots = src.shape.slots;
+          let elements = [...acc.shape.elements];
+          let holes = [...acc.shape.holes ?? []];
+          let len = elements.length;
+          for (const [k, s] of Object.entries(slots)) {
+            if (k === "length") {
+              const lv = s.value.term?.op === "lit" ? s.value.term.value : void 0;
+              if (typeof lv !== "number" || !Number.isInteger(lv) || lv < 0) {
+                throw new NudoThrow(errorTypeAbs("RangeError"));
+              }
+              if (lv > TUPLE_MATERIALIZE_CAP) {
+                return abs({ k: "arr", element: unknown }, void 0, void 0, "partial");
+              }
+              if (lv < len) {
+                elements.length = lv;
+                holes = holes.filter((h) => h < lv);
+              } else {
+                for (let j = len; j < lv; j++) holes.push(j);
+              }
+              len = lv;
+              continue;
+            }
+            const idx = canonicalArrayIndex(k);
+            if (idx === void 0) continue;
+            if (idx >= len) len = idx + 1;
+            if (idx >= elements.length) elements.length = idx + 1;
+            elements[idx] = s.value;
+            holes = holes.filter((h) => h !== idx);
+          }
+          elements.length = len;
+          acc = abs(
+            { k: "tuple", elements, holes: holes.length > 0 ? holes : void 0 },
+            void 0,
+            void 0,
+            confJoin(acc.conf, src.conf)
+          );
+        }
+      }
+      return acc;
+    }
+    case "is": {
+      const a02 = args[0];
+      const a1 = args[1];
+      if (a02 && a1 && isExactLit(a02) && isExactLit(a1)) {
+        const va = a02.term.value;
+        const vb = a1.term.value;
+        return boolLit(Object.is(va, vb));
+      }
+      return boolPrim();
+    }
+    case "freeze": {
+      if (a0) return markExtState(a0, "frozen");
+      return void 0;
+    }
+    case "seal": {
+      if (a0) return markExtState(a0, "sealed");
+      return void 0;
+    }
+    case "preventExtensions": {
+      if (a0) return markExtState(a0, "nonext");
+      return void 0;
+    }
+    case "isFrozen": {
+      const t = args[0];
+      if (isPrimLike(t)) return boolLit(true);
+      return boolLit(extStateOf(t) === "frozen");
+    }
+    case "isSealed": {
+      const t = args[0];
+      if (isPrimLike(t)) return boolLit(true);
+      const s = extStateOf(t);
+      return boolLit(s === "sealed" || s === "frozen");
+    }
+    case "isExtensible": {
+      const t = args[0];
+      if (isPrimLike(t)) return boolLit(false);
+      return boolLit(extStateOf(t) === void 0);
+    }
+    case "defineProperty": {
+      const kvR = args[1] ? litValue(args[1]) : void 0;
+      const kv = kvR?.ok ? kvR.value : void 0;
+      if (!a0 || typeof kv !== "string" && typeof kv !== "number") return a0;
+      if (a0.term?.op === "lit") throw new NudoThrow(errorTypeAbs("TypeError"));
+      const key = String(kv);
+      const descAbs = args[2];
+      if (!descAbs || descAbs.shape.k !== "obj") return unknown;
+      const dslots = descAbs.shape.slots;
+      const field = (k) => {
+        const s = dslots[k]?.value;
+        if (!s) return { present: false, v: void 0 };
+        const lvR = litValue(s);
+        if (lvR.ok) return { present: true, v: lvR.value };
+        return { present: true, v: "fn-or-abstract" };
+      };
+      const getF = field("get");
+      const setF = field("set");
+      const valueF = field("value");
+      const invalidAccessor = (f) => f.present && f.v !== void 0 && f.v !== "fn-or-abstract";
+      if (invalidAccessor(getF) || invalidAccessor(setF)) return unknown;
+      const accessorPresent = getF.present && getF.v !== void 0 || setF.present && setF.v !== void 0;
+      if (accessorPresent && valueF.present && valueF.v !== void 0) return unknown;
+      const dv = (k) => {
+        const s = dslots[k]?.value;
+        if (!s) return void 0;
+        const r = litValue(s);
+        return r.ok ? r.value : void 0;
+      };
+      const value = dv("value");
+      const toBool = (k) => {
+        const f = field(k);
+        if (!f.present || f.v === void 0 || f.v === "fn-or-abstract") return void 0;
+        return Boolean(f.v);
+      };
+      const writable = toBool("writable");
+      const enumerable = toBool("enumerable");
+      const configurable = toBool("configurable");
+      const innerForExists = a0.shape.k === "brand" ? a0.shape.shape : a0;
+      const exists = innerForExists.shape.k === "obj" && Object.prototype.hasOwnProperty.call(innerForExists.shape.slots, key);
+      const flags = {};
+      if (exists) {
+        if (writable === false) flags.writable = false;
+        if (enumerable === false) flags.enumerable = false;
+        if (configurable === false) flags.configurable = false;
+      } else {
+        if (writable !== true) flags.writable = false;
+        if (enumerable !== true) flags.enumerable = false;
+        if (configurable !== true) flags.configurable = false;
+      }
+      const litOf = (v2) => {
+        if (v2 === void 0) return void 0;
+        if (typeof v2 === "number") return numLit(v2);
+        if (typeof v2 === "string") return strLit(v2);
+        if (typeof v2 === "boolean") return boolLit(v2);
+        if (v2 === null) return abs({ k: "unknown" }, { op: "lit", value: null }, void 0, "exact");
+        return void 0;
+      };
+      let out = a0;
+      const putSlots = (inner) => {
+        if (inner.shape.k !== "obj") return inner;
+        const lit3 = litOf(value);
+        const slots = lit3 ? { ...inner.shape.slots, [key]: { value: lit3 } } : { ...inner.shape.slots };
+        const next = abs({ k: "obj", slots }, void 0, void 0, inner.conf);
+        migrateInvariants(inner, next);
+        return next;
+      };
+      if (out.shape.k === "obj") {
+        out = putSlots(out);
+      } else if (out.shape.k === "brand") {
+        const inner = putSlots(out.shape.shape);
+        if (inner !== out.shape.shape) {
+          out = abs({ k: "brand", name: out.shape.name, shape: inner }, out.term, out.pred, out.conf);
+        }
+      }
+      setPropFlags(out, key, flags);
+      return out;
+    }
+    default:
+      return void 0;
+  }
+}
+
+// src/algebra/builtins/json.ts
+var NOT_LITERAL = /* @__PURE__ */ Symbol("nudo:not-literal");
+function absToJsonNative(a, seen) {
+  if (seen.has(a)) return NOT_LITERAL;
+  const t = a.term;
+  if (t?.op === "lit") return t.value;
+  const s = a.shape;
+  if (s.k === "tuple") {
+    if (a.shape.rest) return NOT_LITERAL;
+    seen.add(a);
+    const holes = a.shape.holes ?? [];
+    const out = [];
+    for (let i = 0; i < s.elements.length; i++) {
+      if (holes.includes(i)) {
+        out.push(void 0);
+        continue;
+      }
+      const v2 = absToJsonNative(s.elements[i], seen);
+      if (v2 === NOT_LITERAL) return NOT_LITERAL;
+      out.push(v2);
+    }
+    return out;
+  }
+  if (s.k === "obj") {
+    if (s.open || s.index) return NOT_LITERAL;
+    seen.add(a);
+    const out = {};
+    const flags = getPropFlags(a);
+    for (const [k, sv] of Object.entries(s.slots)) {
+      if (flags?.get(k)?.enumerable === false) continue;
+      const v2 = absToJsonNative(sv.value, seen);
+      if (v2 === NOT_LITERAL) return NOT_LITERAL;
+      out[k] = v2;
+    }
+    return out;
+  }
+  return NOT_LITERAL;
+}
+function jsonValueToAbs(v2) {
+  if (v2 === null) return abs({ k: "unknown" }, { op: "lit", value: null }, pTrue, "exact");
+  if (typeof v2 === "number") return numLit(v2);
+  if (typeof v2 === "string") return strLit(v2);
+  if (typeof v2 === "boolean") return boolLit(v2);
+  if (Array.isArray(v2)) {
+    return abs({ k: "tuple", elements: v2.map(jsonValueToAbs) }, void 0, void 0, "exact");
+  }
+  const slots = /* @__PURE__ */ Object.create(null);
+  for (const [k, sv] of Object.entries(v2)) {
+    setSlot(slots, k, { value: jsonValueToAbs(sv) });
+  }
+  return abs({ k: "obj", slots }, void 0, void 0, "exact");
+}
+function isNonJsonTopLevel(a) {
+  if (a.shape.k === "fn") return true;
+  if (a.shape.k === "prim" && a.shape.type === "symbol") return true;
+  return false;
+}
+function evalJsonMethod(name, args) {
+  if (name === "parse") {
+    const a0Abs = args[0];
+    if (!a0Abs) throw new NudoThrow(errorTypeAbs("SyntaxError"));
+    if (args[1]) return unknown;
+    const t = a0Abs.term;
+    if (t?.op !== "lit") return unknown;
+    const v2 = t.value;
+    if (v2 === void 0) throw new NudoThrow(errorTypeAbs("SyntaxError"));
+    if (typeof v2 === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
+    const src = typeof v2 === "string" ? v2 : typeof v2 === "number" || typeof v2 === "boolean" || typeof v2 === "bigint" ? String(v2) : v2 === null ? "null" : void 0;
+    if (src === void 0) return unknown;
+    try {
+      return jsonValueToAbs(JSON.parse(src));
+    } catch {
+      throw new NudoThrow(errorTypeAbs("SyntaxError"));
+    }
+  }
+  if (name === "stringify") {
+    const a0Abs = args[0];
+    if (!a0Abs) return undefAbs();
+    const v2 = absToJsonNative(a0Abs, /* @__PURE__ */ new Set());
+    if (v2 === NOT_LITERAL) {
+      if (isNonJsonTopLevel(a0Abs)) return undefAbs();
+      return str2("partial");
+    }
+    const replacerArg = args[1];
+    let replacer;
+    if (replacerArg) {
+      const rv = absToJsonNative(replacerArg, /* @__PURE__ */ new Set());
+      if (rv === NOT_LITERAL) return str2("partial");
+      if (Array.isArray(rv)) {
+        replacer = rv.filter(
+          (x) => typeof x === "string" || typeof x === "number"
+        );
+      } else if (typeof rv === "function") {
+        return str2("partial");
+      }
+    }
+    const spaceArg = args[2];
+    let space;
+    if (spaceArg) {
+      const t = spaceArg.term;
+      if (t?.op !== "lit") return str2("partial");
+      const sv = t.value;
+      if (typeof sv === "number" || typeof sv === "string") {
+        space = sv;
+      } else if (sv !== void 0 && sv !== null) {
+        return str2("partial");
+      }
+    }
+    try {
+      const s = JSON.stringify(v2, replacer, space);
+      return s === void 0 ? undefAbs() : strLit(s);
+    } catch {
+      throw new NudoThrow(errorTypeAbs("TypeError"));
+    }
+  }
+  return void 0;
+}
+
+// src/algebra/builtins/number.ts
+function foldParseInt(s, radix) {
+  const str6 = String(s);
+  if (radix === void 0) return numLit(parseInt(str6));
+  const r = Number(radix) | 0;
+  if (r === 0) return numLit(parseInt(str6));
+  if (r < 2 || r > 36) return numLit(NaN);
+  return numLit(parseInt(str6, r));
+}
+function foldParseFloat(s) {
+  return numLit(parseFloat(String(s)));
+}
+function toStringLitArg(a) {
+  if (!a) return { lit: true, v: void 0 };
+  if (a.term?.op !== "lit") return { lit: false };
+  const v2 = a.term.value;
+  if (typeof v2 === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
+  return { lit: true, v: v2 };
+}
+function radixLitArg(a) {
+  if (!a) return { ok: true, v: void 0 };
+  if (a.term?.op !== "lit") return { ok: false };
+  const v2 = a.term.value;
+  if (typeof v2 === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
+  if (v2 === void 0) return { ok: true, v: void 0 };
+  if (typeof v2 === "number" || typeof v2 === "string" || typeof v2 === "boolean" || v2 === null) {
+    return { ok: true, v: v2 };
+  }
+  return { ok: false };
+}
+function evalNumberStatic(name, args) {
+  const a0Arg = args[0];
+  const a0R = a0Arg ? litValue(a0Arg) : void 0;
+  const a0 = a0R?.ok ? a0R.value : void 0;
+  const foldStrictNumberPred = (pred) => {
+    if (!a0Arg) return boolLit(false);
+    if (a0Arg.term?.op !== "lit") return void 0;
+    const v2 = a0Arg.term.value;
+    return boolLit(typeof v2 === "number" && pred(v2));
+  };
+  switch (name) {
+    case "isInteger":
+      return foldStrictNumberPred(Number.isInteger) ?? boolPrim();
+    case "isNaN": {
+      const folded = foldStrictNumberPred(Number.isNaN);
+      if (folded) return folded;
+      if (a0Arg?.term) {
+        return abs(
+          { k: "prim", type: "boolean" },
+          void 0,
+          { op: "eq", a: a0Arg.term, b: { op: "lit", value: NaN } },
+          "path"
+        );
+      }
+      return boolPrim();
+    }
+    case "isFinite":
+      return foldStrictNumberPred(Number.isFinite) ?? boolPrim();
+    case "parseInt": {
+      const s = toStringLitArg(a0Arg);
+      if (!s.lit) return numPrim();
+      const radix = radixLitArg(args[1]);
+      if (!radix.ok) return numPrim();
+      return foldParseInt(s.v, radix.v);
+    }
+    case "parseFloat": {
+      const s = toStringLitArg(a0Arg);
+      if (!s.lit) return numPrim();
+      return foldParseFloat(s.v);
+    }
+    case "MAX_SAFE_INTEGER":
+      return numLit(Number.MAX_SAFE_INTEGER);
+    default:
+      return void 0;
+  }
+}
+
+// src/algebra/collections.ts
+var NO_LIT_KEY = /* @__PURE__ */ Symbol("nudo:no-lit-key");
+var mapTables = /* @__PURE__ */ new WeakMap();
+var setTables = /* @__PURE__ */ new WeakMap();
+var armOverlays = [];
+function pushCollectionArm() {
+  armOverlays.push(null);
+}
+function popCollectionArm() {
+  return armOverlays.pop() ?? void 0;
+}
+function topArmOverlay() {
+  const i = armOverlays.length - 1;
+  let top = armOverlays[i];
+  if (!top) {
+    top = /* @__PURE__ */ new WeakMap();
+    armOverlays[i] = top;
+  }
+  return top;
+}
+function cloneMapTable(t) {
+  return {
+    byLit: new Map(t.byLit),
+    shadowValues: [...t.shadowValues],
+    maybeAbsent: t.maybeAbsent ? new Set(t.maybeAbsent) : void 0
+  };
+}
+function cloneSetTable(t) {
+  return {
+    elements: [...t.elements],
+    maybeAbsent: t.maybeAbsent instanceof Set ? new Set(t.maybeAbsent) : t.maybeAbsent
+  };
+}
+function setAbsentKey(t, k) {
+  if (!t) return false;
+  if (t.maybeAbsent === true) return true;
+  return t.maybeAbsent instanceof Set && t.maybeAbsent.has(k);
+}
+function setAnyAbsent(t) {
+  if (!t) return false;
+  return t.maybeAbsent === true || t.maybeAbsent instanceof Set && t.maybeAbsent.size > 0;
+}
+function mergeCollectionArms(arms) {
+  endCollectionFork(arms);
+}
+var forkTouchedStack = [];
+function beginCollectionFork() {
+  forkTouchedStack.push(null);
+}
+function noteCollectionWrite(id) {
+  const i = forkTouchedStack.length - 1;
+  if (i < 0) return;
+  let top = forkTouchedStack[i];
+  if (!top) {
+    top = /* @__PURE__ */ new Set();
+    forkTouchedStack[i] = top;
+  }
+  top.add(id);
+}
+function endCollectionFork(arms) {
+  const touched = forkTouchedStack.pop();
+  if (!touched || touched.size === 0) return;
+  if (arms.length === 0) return;
+  const nested = armOverlays.length > 0;
+  const outerArm = nested ? armOverlays[armOverlays.length - 1] : void 0;
+  const commitMap = (id, merged) => {
+    if (nested) {
+      const outer = topArmOverlay();
+      const e = outer.get(id) ?? {};
+      outer.set(id, { ...e, map: merged });
+    } else {
+      mapTables.set(id, merged);
+    }
+  };
+  const commitSet = (id, merged) => {
+    if (nested) {
+      const outer = topArmOverlay();
+      const e = outer.get(id) ?? {};
+      outer.set(id, { ...e, set: merged });
+    } else {
+      setTables.set(id, merged);
+    }
+  };
+  for (const id of touched) {
+    const armTables = [];
+    const armSetTables = [];
+    let anyMap = false;
+    let anySet = false;
+    for (const arm of arms) {
+      const e = arm?.get(id);
+      if (e?.map) {
+        anyMap = true;
+        armTables.push(e.map);
+      } else if (anyMap || armTables.length > 0) {
+        armTables.push(void 0);
+      }
+      if (e?.set) {
+        anySet = true;
+        armSetTables.push(e.set);
+      } else if (anySet || armSetTables.length > 0) {
+        armSetTables.push(void 0);
+      }
+    }
+    if (anyMap || armTables.some(Boolean)) {
+      const base = (nested ? mapTableForReadBase(outerArm, id) : mapTables.get(id)) ?? emptyMapTable();
+      const perArm = arms.map((arm) => {
+        const e = arm?.get(id);
+        return e?.map ?? cloneMapTable(base);
+      });
+      const merged = { byLit: /* @__PURE__ */ new Map(), shadowValues: [], maybeAbsent: /* @__PURE__ */ new Set() };
+      const keyArms = /* @__PURE__ */ new Map();
+      const forcedAbsent = /* @__PURE__ */ new Set();
+      for (const t of perArm) {
+        for (const [k, v2] of t.byLit) {
+          const prev = merged.byLit.get(k);
+          merged.byLit.set(k, prev ? joinAbs(prev, v2) : v2);
+          keyArms.set(k, (keyArms.get(k) ?? 0) + 1);
+        }
+        for (const sv of t.shadowValues) merged.shadowValues.push(sv);
+        if (t.maybeAbsent) {
+          for (const k of t.maybeAbsent) forcedAbsent.add(k);
+        }
+      }
+      for (const [k, count] of keyArms) {
+        if (count < perArm.length) merged.maybeAbsent.add(k);
+      }
+      for (const k of forcedAbsent) merged.maybeAbsent.add(k);
+      if (merged.maybeAbsent.size === 0) delete merged.maybeAbsent;
+      commitMap(id, merged);
+    }
+    if (anySet || armSetTables.some(Boolean)) {
+      const base = (nested ? setTableForReadBase(outerArm, id) : setTables.get(id)) ?? emptySetTable();
+      const perArm = arms.map((arm) => {
+        const e = arm?.get(id);
+        return e?.set ?? cloneSetTable(base);
+      });
+      const seen = /* @__PURE__ */ new Set();
+      const mergedEls = [];
+      const litArmCount = /* @__PURE__ */ new Map();
+      const forcedAbsent = /* @__PURE__ */ new Set();
+      let wholeUncertain = false;
+      let hasNonLit = false;
+      for (const t of perArm) {
+        if (t.maybeAbsent === true) wholeUncertain = true;
+        if (t.maybeAbsent instanceof Set) {
+          for (const k of t.maybeAbsent) forcedAbsent.add(k);
+        }
+        const armLits = /* @__PURE__ */ new Set();
+        for (const el of t.elements) {
+          const lk = litKeyOf(el);
+          if (isLitKey(lk)) {
+            if (!seen.has(lk)) {
+              seen.add(lk);
+              mergedEls.push(el);
+            }
+            armLits.add(lk);
+          } else {
+            hasNonLit = true;
+            mergedEls.push(el);
+          }
+        }
+        for (const k of armLits) {
+          litArmCount.set(k, (litArmCount.get(k) ?? 0) + 1);
+        }
+      }
+      const maybeKeys = /* @__PURE__ */ new Set();
+      if (wholeUncertain || hasNonLit) {
+        wholeUncertain = true;
+      } else {
+        for (const [k, count] of litArmCount) {
+          if (count < perArm.length) maybeKeys.add(k);
+        }
+        for (const k of forcedAbsent) maybeKeys.add(k);
+      }
+      commitSet(id, {
+        elements: mergedEls,
         maybeAbsent: wholeUncertain ? true : maybeKeys.size > 0 ? maybeKeys : void 0
       });
     }
@@ -5403,7 +5968,7 @@ function arrayJoinToString(recv) {
 }
 function arrayMethodAbs(name) {
   return absFunction(["thisArg"], {
-    body: noBody,
+    body: noBody2,
     bindThis: true,
     apply: (a) => {
       const recv = a[0] ?? undefAbs();
@@ -5766,11 +6331,11 @@ function evalPromiseCtor(args) {
     return undefAbs();
   };
   const resolveAbs = absFunction(["value"], {
-    body: noBody,
+    body: noBody2,
     apply: (args2) => onResolve(args2[0])
   });
   const rejectAbs = absFunction(["reason"], {
-    body: noBody,
+    body: noBody2,
     apply: (args2) => onReject(args2[0])
   });
   enterPromiseExecutorScope();
@@ -6453,7 +7018,7 @@ function evalObjectProtoMethod(name, thisVal, args) {
 }
 function objectProtoMethodAbs(name) {
   return absFunction(["thisArg", "arg0"], {
-    body: noBody,
+    body: noBody2,
     bindThis: true,
     apply: (a) => {
       const recv = a[0] ?? undefLit();
@@ -6606,51 +7171,15 @@ function toNumericAbs(a) {
   }
   return n;
 }
-function updateAddAbs(a) {
+function updateAddAbs(a, phi2 = pTrue) {
   const n = toNumericAbs(a);
   const one = n.shape.k === "prim" && n.shape.type === "bigint" ? bigintLit(1n) : numLit(1);
-  if (n.shape.k === "prim" && n.shape.type === "bigint" && !n.term) {
-    return abs({ k: "prim", type: "bigint" }, void 0, void 0, confJoin(n.conf, "exact"));
-  }
-  return addNumeric(n, one);
+  return add(n, one, phi2);
 }
-function updateSubAbs(a) {
+function updateSubAbs(a, phi2 = pTrue) {
   const n = toNumericAbs(a);
   const one = n.shape.k === "prim" && n.shape.type === "bigint" ? bigintLit(1n) : numLit(1);
-  if (n.shape.k === "prim" && n.shape.type === "bigint" && !n.term) {
-    return abs({ k: "prim", type: "bigint" }, void 0, void 0, confJoin(n.conf, "exact"));
-  }
-  return subNumeric(n, one);
-}
-function addNumeric(a, b) {
-  const ra = litValue(a);
-  const rb = litValue(b);
-  const va = ra.ok ? ra.value : void 0;
-  const vb = rb.ok ? rb.value : void 0;
-  if (typeof va === "bigint" && typeof vb === "bigint") return bigintLit(va + vb);
-  if (typeof va === "number" && typeof vb === "number") return numLit(va + vb);
-  const big = a.shape.k === "prim" && a.shape.type === "bigint" || typeof va === "bigint";
-  return abs(
-    { k: "prim", type: big ? "bigint" : "number" },
-    void 0,
-    void 0,
-    confJoin(confJoin(a.conf, b.conf), "path")
-  );
-}
-function subNumeric(a, b) {
-  const ra = litValue(a);
-  const rb = litValue(b);
-  const va = ra.ok ? ra.value : void 0;
-  const vb = rb.ok ? rb.value : void 0;
-  if (typeof va === "bigint" && typeof vb === "bigint") return bigintLit(va - vb);
-  if (typeof va === "number" && typeof vb === "number") return numLit(va - vb);
-  const big = a.shape.k === "prim" && a.shape.type === "bigint" || typeof va === "bigint";
-  return abs(
-    { k: "prim", type: big ? "bigint" : "number" },
-    void 0,
-    void 0,
-    confJoin(confJoin(a.conf, b.conf), "path")
-  );
+  return sub(n, one, phi2);
 }
 function toNumberAbs(a) {
   if (isSymbolAbs(a)) {
@@ -7689,24 +8218,40 @@ function leqShape(src, tgt, phi2, env, depth) {
       return leqWithPred(s.element, t.element, phi2, env, depth + 1);
     }
     if (s.k === "tuple") {
-      return s.elements.every((el) => leqWithPred(el, t.element, phi2, env, depth + 1).ok) ? ok() : fail("tuple \u22AD arr");
+      const elsOk = s.elements.every((el) => leqWithPred(el, t.element, phi2, env, depth + 1).ok);
+      const restOk = !s.rest || leqWithPred(s.rest, t.element, phi2, env, depth + 1).ok;
+      return elsOk && restOk ? ok() : fail("tuple \u22AD arr");
     }
     return fail(`shape ${s.k} \u22AD arr`);
   }
   if (t.k === "tuple") {
     if (s.k !== "tuple") return fail(`shape ${s.k} \u22AD tuple`);
-    if (s.elements.length !== t.elements.length) {
+    if (!t.rest && s.elements.length !== t.elements.length) {
       return fail(`tuple arity ${s.elements.length} \u22AD ${t.elements.length}`);
     }
+    if (t.rest && s.elements.length < t.elements.length) {
+      return fail(`tuple arity ${s.elements.length} \u22AD ${t.elements.length} (target requires ${t.elements.length})`);
+    }
+    if (s.rest && !t.rest) {
+      return fail(`tuple rest \u22AD fixed arity ${t.elements.length}`);
+    }
     const sHoles = s.holes ?? [];
     const tHoles = t.holes ?? [];
-    if (sHoles.length !== tHoles.length || sHoles.some((h, i) => h !== tHoles[i])) {
-      return fail(`tuple holes [${sHoles.join(",")}] \u22AD [${tHoles.join(",")}]`);
+    const overlap = Math.min(s.elements.length, t.elements.length);
+    for (let i = 0; i < overlap; i++) {
+      if (sHoles.includes(i) !== tHoles.includes(i)) {
+        return fail(`tuple holes [${sHoles.join(",")}] \u22AD [${tHoles.join(",")}]`);
+      }
     }
-    for (let i = 0; i < t.elements.length; i++) {
-      const r = leqWithPred(s.elements[i], t.elements[i], phi2, env, depth + 1);
+    for (let i = 0; i < s.elements.length; i++) {
+      const tgt2 = i < t.elements.length ? t.elements[i] : t.rest;
+      const r = leqWithPred(s.elements[i], tgt2, phi2, env, depth + 1);
       if (!r.ok) return fail(`tuple[${i}]: ${r.reason}`);
     }
+    if (s.rest && t.rest) {
+      const r = leqWithPred(s.rest, t.rest, phi2, env, depth + 1);
+      if (!r.ok) return fail(`tuple rest: ${r.reason}`);
+    }
     return ok();
   }
   if (t.k === "fn") {
@@ -7781,13 +8326,30 @@ function formatAbs(a, opts = {}) {
   return parts.join("  ");
 }
 function formatShapeSlot(a) {
-  const base = formatShape(a);
+  return formatShapeSlotB(a, new ProjectionBudget());
+}
+function formatShapeSlotB(a, budget) {
+  const base = formatShapeB(a, budget);
   if (!a.term || a.term.op === "lit") return base;
   if (a.shape.k === "fn" || a.shape.k === "arr") return base;
   if (a.shape.k === "any" && a.term.op === "var") return termToString(a.term);
   return `${base} = ${termToString(a.term)}`;
 }
+var FORMAT_TRUNC = { cycle: "\u2026cycle", depth: "\u2026" };
 function formatShape(a) {
+  return formatShapeB(a, new ProjectionBudget());
+}
+function formatShapeB(a, budget) {
+  const stop = budget.enter(a);
+  if (stop === "cycle") return FORMAT_TRUNC.cycle;
+  if (stop === "depth") return FORMAT_TRUNC.depth;
+  try {
+    return formatShapeInner(a, budget);
+  } finally {
+    budget.exit();
+  }
+}
+function formatShapeInner(a, budget) {
   const s = a.shape;
   switch (s.k) {
     case "never":
@@ -7814,28 +8376,28 @@ function formatShape(a) {
       const entries = Object.entries(s.slots).map(([k, slot]) => {
         const opt = slot.optional ? "?" : "";
         const key = /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(k) ? k : JSON.stringify(k);
-        return `${key}${opt}: ${formatShape(slot.value)}`;
+        return `${key}${opt}: ${formatShapeB(slot.value, budget)}`;
       });
       return `{ ${entries.join(", ")} }`;
     }
     case "arr": {
       if (s.element.shape.k === "any" && s.element.term?.op === "var") {
-        return `arr(${formatShapeSlot(s.element)})`;
+        return `arr(${formatShapeSlotB(s.element, budget)})`;
       }
-      return `${formatShape(s.element)}[]`;
+      return `${formatShapeB(s.element, budget)}[]`;
     }
     case "tuple": {
       const holes = s.holes ?? [];
       const parts = s.elements.map(
-        (el, i) => holes.includes(i) ? "" : formatShape(el)
+        (el, i) => holes.includes(i) ? "" : formatShapeB(el, budget)
       );
       if (s.rest) {
-        parts.push(`...${formatShape(s.rest)}`);
+        parts.push(`...${formatShapeB(s.rest, budget)}`);
       }
       return `[${parts.join(", ")}]`;
     }
     case "fn": {
-      const ret = s.returnType !== void 0 ? formatShapeSlot(s.returnType) : "?";
+      const ret = s.returnType !== void 0 ? formatShapeSlotB(s.returnType, budget) : "?";
       const labels = s.params ?? [];
       const paramTypes = s.paramTypes;
       const hasMarkers = labels.some(
@@ -7847,7 +8409,7 @@ function formatShape(a) {
         for (let i = 0; i < n; i++) {
           const label = labels[i];
           const type = paramTypes?.[i];
-          const typeText = type !== void 0 ? formatShapeSlot(type) : void 0;
+          const typeText = type !== void 0 ? formatShapeSlotB(type, budget) : void 0;
           if (label?.startsWith("...")) {
             ps.push(typeText ? `...${label.slice(3)}: ${typeText}` : label);
           } else if (label?.endsWith("?")) {
@@ -7864,7 +8426,7 @@ function formatShape(a) {
         return `(${renderLabeled().join(", ")}) => ${ret}`;
       }
       if (paramTypes && paramTypes.length > 0) {
-        const ps = paramTypes.map((p) => formatShapeSlot(p));
+        const ps = paramTypes.map((p) => formatShapeSlotB(p, budget));
         return `(${ps.join(", ")}) => ${ret}`;
       }
       return `(${labels.join(", ")}) => ${ret}`;
@@ -7875,7 +8437,7 @@ function formatShape(a) {
       if (slots) {
         const arg = (key) => {
           const sl = slots[key];
-          return sl ? formatShapeSlot(sl.value) : void 0;
+          return sl ? formatShapeSlotB(sl.value, budget) : void 0;
         };
         if (s.name === "Map" || s.name === "ReadonlyMap" || s.name === "WeakMap") {
           const k = arg("__key");
@@ -7890,12 +8452,12 @@ function formatShape(a) {
       return `${s.name}`;
     }
     case "eff":
-      return `${s.eff}<${formatShape(s.inner)}>`;
+      return `${s.eff}<${formatShapeB(s.inner, budget)}>`;
     case "sum": {
       const seen = /* @__PURE__ */ new Set();
       const parts = [];
       for (const m of s.members) {
-        const t = formatShape(m);
+        const t = formatShapeB(m, budget);
         if (seen.has(t)) continue;
         seen.add(t);
         parts.push(t);
@@ -8204,8 +8766,10 @@ function identBoundaryRegex(name) {
 var NudoUnsupportedError = class extends Error {
   reason;
   loc;
-  constructor(reason, loc) {
-    super(`nudo:unsupported ${reason}`);
+  constructor(reason, loc, detail) {
+    super(
+      detail ? `nudo:unsupported ${reason} (${detail})` : `nudo:unsupported ${reason}`
+    );
     this.name = "NudoUnsupportedError";
     this.reason = reason;
     this.loc = loc;
@@ -9609,15 +10173,15 @@ function transpileStatement(stmt, depth, opts) {
         if (nsSpecs.length > 0) {
           if (!stmt.source) return `${pad}/* export * as without source skipped */`;
           return nsSpecs.map((s) => {
-            const exported = s.exported.type === "Identifier" ? s.exported.name : s.exported.value;
+            const exported = s.exported.type === "Identifier" ? s.exported.name : JSON.stringify(s.exported.value);
             return `${pad}export * as ${exported} from ${JSON.stringify(stmt.source.value)};`;
           }).join("\n");
         }
         const specs = stmt.specifiers.filter(
           (s) => "local" in s
         ).map((s) => {
-          const local = s.local.type === "Identifier" ? s.local.name : s.local.value;
-          const exported = s.exported.type === "Identifier" ? s.exported.name : s.exported.value;
+          const local = s.local.type === "Identifier" ? s.local.name : JSON.stringify(s.local.value);
+          const exported = s.exported.type === "Identifier" ? s.exported.name : JSON.stringify(s.exported.value);
           return local === exported ? local : `${local} as ${exported}`;
         }).join(", ");
         if (stmt.source) {
@@ -10999,778 +11563,478 @@ ${emitFnBlockBody(prop.body, 1, methodOpts)}
               accRegs.push({
                 key: mkey,
                 set: `(__this, ${vname}) => {
-${emitFnBlockBody(prop.body, 1, methodOpts, { implicitReturn: false })}
-return __this;
-}`
-              });
-            }
-            continue;
-          }
-          let mBodyInner = emitFnBlockBody(prop.body, 1, methodOpts);
-          let mParams = ["__this", ...bindNames];
-          if (mHasArgs) {
-            const bound = emitParamBindingFromArgs(prop.params, "  ", methodOpts, "__nudoArgs");
-            mBodyInner = [
-              `  let __nudoArgs = $arguments(__margs);`,
-              ...bound.prologue,
-              mBodyInner
-            ].join("\n");
-            mParams = ["__this", "...__margs"];
-          }
-          const bodySrc = `{
-${mBodyInner}
-}`;
-          const fnValSrc = `$fnVal([${displayNames.map((p) => JSON.stringify(p)).join(", ")}], (${mParams.join(", ")}) => ${bodySrc}, { bindThis: true })`;
-          if (isProtoKey) {
-            acc = `$setKey(${acc ?? "$obj({})"}, $lit("__proto__"), ${fnValSrc})`;
-          } else {
-            props.push(`${mkey}: ${fnValSrc}`);
-          }
-          continue;
-        }
-        if (prop.type !== "ObjectProperty") continue;
-        if (prop.computed) {
-          flushProps();
-          const symK = symbolKeyOf(prop.key);
-          const v2 = transpileExpression(prop.value, opts);
-          const base = acc === null ? `$obj({})` : acc;
-          if (symK !== null) {
-            acc = `$set(${base}, ${symK}, ${v2})`;
-            continue;
-          }
-          const k = transpileExpression(prop.key, opts);
-          acc = `$setKey(${base}, ${k}, ${v2})`;
-          continue;
-        }
-        const key = (() => {
-          const k = staticKeyOf(prop.key);
-          return k === null ? null : JSON.stringify(k);
-        })();
-        if (key === null) continue;
-        if (!prop.computed && key === '"__proto__"') {
-          protoSet = transpileExpression(prop.value, opts);
-          continue;
-        }
-        if (prop.value.type === "FunctionExpression" && !prop.value.async) {
-          const fn = prop.value;
-          if (!fn.generator) {
-            const displayNames = paramDisplayNames(fn.params);
-            const bindNames = methodBindNames(fn.params);
-            const mHasArgs = fnBodyHasOwnArguments({ body: fn.body });
-            const methodOpts = {
-              ...opts,
-              inLoop: 0,
-              thisParam: "__this",
-              argsBinding: mHasArgs ? "__nudoArgs" : void 0
-            };
-            let mBodyInner = emitFnBlockBody(fn.body, 1, methodOpts);
-            let mParams = ["__this", ...bindNames];
-            if (mHasArgs) {
-              const bound = emitParamBindingFromArgs(fn.params, "  ", methodOpts, "__nudoArgs");
-              mBodyInner = [
-                `  let __nudoArgs = $arguments(__margs);`,
-                ...bound.prologue,
-                mBodyInner
-              ].join("\n");
-              mParams = ["__this", "...__margs"];
-            }
-            const bodySrc = `{
-${mBodyInner}
-}`;
-            props.push(
-              `${key}: $fnVal([${displayNames.map((p) => JSON.stringify(p)).join(", ")}], (${mParams.join(", ")}) => ${bodySrc}, { bindThis: true })`
-            );
-            continue;
-          }
-        }
-        const valSrc = transpileExpression(prop.value, opts);
-        props.push(`${key}: ${valSrc}`);
-      }
-      flushProps();
-      let result = acc ?? `$obj({})`;
-      for (const r of accRegs) {
-        result = `$objAccessor(${result}, ${r.key}, ${r.get ?? "null"}, ${r.set ?? "null"})`;
-      }
-      if (protoSet !== null) result = `$setProto(${result}, ${protoSet})`;
-      return result;
-    }
-    case "MemberExpression":
-    case "OptionalMemberExpression": {
-      const optional = expr.optional === true;
-      if (expr.computed) {
-        const obj2 = transpileExpression(expr.object, opts);
-        const key2 = expr.property;
-        if (key2.type === "StringLiteral") {
-          return optional ? `$optionalGet(${obj2}, ${JSON.stringify(key2.value)})` : `$get(${obj2}, ${JSON.stringify(key2.value)})`;
-        }
-        if (key2.type === "NumericLiteral") {
-          return optional ? `$optionalGet(${obj2}, ${JSON.stringify(String(key2.value))})` : `$idx(${obj2}, $lit(${key2.value}))`;
-        }
-        if (key2.type === "MemberExpression" && key2.computed !== true && key2.object.type === "Identifier" && key2.object.name === "Symbol" && key2.property.type === "Identifier") {
-          const symKey = JSON.stringify(`@@${key2.property.name}`);
-          return optional ? `$optionalGet(${obj2}, ${symKey})` : `$get(${obj2}, ${symKey})`;
-        }
-        if (isExpression(key2)) {
-          const k = transpileExpression(key2, opts);
-          return `$idx(${obj2}, ${k})`;
-        }
-        throw new NudoUnsupportedError(
-          `member:computed`,
-          expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
-        );
-      }
-      if (expr.property.type !== "Identifier") {
-        throw new NudoUnsupportedError(
-          `member:${expr.property.type}`,
-          expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
-        );
-      }
-      if (expr.property.name === "length") {
-        return `$len(${transpileExpression(expr.object, opts)})`;
-      }
-      const recv = transpileExpression(expr.object, opts);
-      const key = JSON.stringify(expr.property.name);
-      return optional ? `$optionalGet(${recv}, ${key})` : `$get(${recv}, ${key})`;
-    }
-    case "ArrayExpression": {
-      const hasSpread = expr.elements.some((el) => el?.type === "SpreadElement");
-      if (!hasSpread) {
-        const items = [];
-        const holes = [];
-        for (const el of expr.elements) {
-          if (!el) {
-            holes.push(items.length);
-            items.push("$lit(void 0)");
-            continue;
-          }
-          items.push(transpileExpression(el, opts));
-        }
-        return `$arrWithHoles([${items.join(", ")}], [${holes.join(", ")}])`;
-      }
-      let acc = null;
-      for (const el of expr.elements) {
-        if (!el) continue;
-        let piece;
-        if (el.type === "SpreadElement") {
-          piece = `$concat(${transpileExpression(el.argument, opts)}, $arr([]))`;
-        } else {
-          piece = `$arr([${transpileExpression(el, opts)}])`;
-        }
-        acc = acc === null ? piece : `$concat(${acc}, ${piece})`;
-      }
-      return acc ?? `$arr([])`;
-    }
-    case "AssignmentExpression": {
-      if (expr.operator === "=" && (expr.left.type === "ArrayPattern" || expr.left.type === "ObjectPattern")) {
-        const right2 = transpileExpression(expr.right, opts);
-        const out = [];
-        emitDestructure(expr.left, "__d", "", "", opts, out, { n: 0 });
-        return `((__d) => { ${out.join(" ")} return __d; })(${right2})`;
-      }
-      const compoundFn = COMPOUND_OPS[expr.operator];
-      const right = transpileExpression(expr.right, opts);
-      const op = expr.operator;
-      if (op === "||=" || op === "&&=" || op === "??=") {
-        const rNode = expr.right;
-        const emitLogicalAssign = (targetSrc, setSrc) => {
-          if (op === "||=") {
-            const sc2 = transpileShortCircuitExpr(opts, {
-              alwaysNodes: [],
-              alwaysSrc: targetSrc,
-              consSrc: "__test",
-              consNodes: [],
-              altSrc: right,
-              altNodes: [rNode]
-            });
-            return setSrc(sc2);
-          }
-          if (op === "&&=") {
-            const sc2 = transpileShortCircuitExpr(opts, {
-              alwaysNodes: [],
-              alwaysSrc: targetSrc,
-              consSrc: right,
-              consNodes: [rNode],
-              altSrc: "__test",
-              altNodes: []
-            });
-            return setSrc(sc2);
-          }
-          const sc = transpileShortCircuitExpr(opts, {
-            alwaysNodes: [],
-            alwaysSrc: targetSrc,
-            consSrc: right,
-            consNodes: [rNode],
-            altSrc: targetSrc,
-            altNodes: [],
-            testSrc: `$nullishTest(${targetSrc})`
-          });
-          return setSrc(sc);
-        };
-        if (expr.left.type === "Identifier") {
-          if (isConstAssignTarget(expr.left.name, opts)) {
-            const lhs = expr.left.name;
-            const skipsWrite = op === "||=" ? `$litTruth(${lhs}) === true` : op === "&&=" ? `$litTruth(${lhs}) === false` : `$litTruth($nullishTest(${lhs})) === false`;
-            return `((${lhs}) => { if (!(${skipsWrite})) $throwConstAssign(); return ${lhs}; })(${lhs})`;
-          }
-          return emitLogicalAssign(expr.left.name, (val) => `${expr.left.type === "Identifier" ? expr.left.name : ""} = ${val}`);
-        }
-        if (expr.left.type === "MemberExpression") {
-          const m = expr.left;
-          const path = memberPathOf(m, opts);
-          if (path) {
-            return emitLogicalAssign(readPathSrc(path), (val) => {
-              return `((__v) => { ${path.rootSrc} = ${setPathSrc(path, "__v")}; return __v; })(${val})`;
-            });
-          }
-        }
-        throw new NudoUnsupportedError(
-          `assign:${op}`,
-          expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
-        );
-      }
-      if (expr.left.type === "MemberExpression") {
-        const m = expr.left;
-        const path = memberPathOf(m, opts);
-        if (path) {
-          const valSrc = compoundFn ? `${compoundFn}(${readPathSrc(path)}, ${right})` : right;
-          return `((__v) => { ${path.rootSrc} = ${setPathSrc(path, "__v")}; return __v; })(${valSrc})`;
-        }
-        if (!m.computed && m.property.type === "Identifier") {
-          const obj2 = transpileExpression(m.object, opts);
-          return `((__v) => (($set(${obj2}, ${JSON.stringify(m.property.name)}, __v)), __v))(${right})`;
-        }
-        if (m.computed) {
-          const obj2 = transpileExpression(m.object, opts);
-          const k = m.property;
-          if (k.type === "NumericLiteral") {
-            return `((__v) => (($idxSet(${obj2}, $lit(${k.value}), __v)), __v))(${right})`;
+${emitFnBlockBody(prop.body, 1, methodOpts, { implicitReturn: false })}
+return __this;
+}`
+              });
+            }
+            continue;
           }
-          if (k.type === "StringLiteral") {
-            return `((__v) => (($set(${obj2}, ${JSON.stringify(k.value)}, __v)), __v))(${right})`;
+          let mBodyInner = emitFnBlockBody(prop.body, 1, methodOpts);
+          let mParams = ["__this", ...bindNames];
+          if (mHasArgs) {
+            const bound = emitParamBindingFromArgs(prop.params, "  ", methodOpts, "__nudoArgs");
+            mBodyInner = [
+              `  let __nudoArgs = $arguments(__margs);`,
+              ...bound.prologue,
+              mBodyInner
+            ].join("\n");
+            mParams = ["__this", "...__margs"];
           }
-          if (isExpression(k)) {
-            return `((__v) => (($idxSet(${obj2}, ${transpileExpression(k, opts)}, __v)), __v))(${right})`;
+          const bodySrc = `{
+${mBodyInner}
+}`;
+          const fnValSrc = `$fnVal([${displayNames.map((p) => JSON.stringify(p)).join(", ")}], (${mParams.join(", ")}) => ${bodySrc}, { bindThis: true })`;
+          if (isProtoKey) {
+            acc = `$setKey(${acc ?? "$obj({})"}, $lit("__proto__"), ${fnValSrc})`;
+          } else {
+            props.push(`${mkey}: ${fnValSrc}`);
           }
+          continue;
         }
-        throw new NudoUnsupportedError(
-          `assign-target`,
-          expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
-        );
-      }
-      if (expr.left.type === "Identifier") {
-        const name = expr.left.name;
-        if (isConstAssignTarget(name, opts)) {
-          return `$throwConstAssign()`;
+        if (prop.type !== "ObjectProperty") continue;
+        if (prop.computed) {
+          flushProps();
+          const symK = symbolKeyOf(prop.key);
+          const v2 = transpileExpression(prop.value, opts);
+          const base = acc === null ? `$obj({})` : acc;
+          if (symK !== null) {
+            acc = `$set(${base}, ${symK}, ${v2})`;
+            continue;
+          }
+          const k = transpileExpression(prop.key, opts);
+          acc = `$setKey(${base}, ${k}, ${v2})`;
+          continue;
         }
-        const cond = (opts.inLoop ?? 0) > 0 || (opts.conditionalFlow ?? 0) > 0;
-        const locLine = expr.loc?.start.line ?? 0;
-        const locCol = expr.loc?.start.column ?? 0;
-        const valSrc = compoundFn ? `${compoundFn}(${name}, ${right})` : right;
-        const bindSrc = !opts.inFunction ? ` $recordBinding(${JSON.stringify(name)}, __v);` : "";
-        return `((__v) => { $assignRecord(${JSON.stringify(name)}, ${name}, __v, ${locLine}, ${locCol}, ${cond});${bindSrc} return ${name} = __v; })(${valSrc})`;
-      }
-      throw new NudoUnsupportedError(
-        `assign-target`,
-        expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
-      );
-    }
-    case "CallExpression":
-    case "OptionalCallExpression": {
-      const exprAny = expr;
-      const optionalCall = exprAny.type === "OptionalCallExpression" || exprAny.optional === true;
-      const callee = expr.callee;
-      if (callee.type === "Super" && opts.thisParam && opts.className) {
-        const args2 = expr.arguments.map(
-          (a) => a.type === "SpreadElement" ? `...$elems(${transpileExpression(a.argument, opts)})` : transpileExpression(a, opts)
-        ).join(", ");
-        return `${opts.thisParam} = $super(${opts.thisParam}, ${JSON.stringify(opts.className)}, [${args2}])`;
-      }
-      if (callee.type === "MemberExpression" && !callee.computed && callee.object.type === "Super" && callee.property.type === "Identifier" && opts.thisParam && opts.className) {
-        const args2 = expr.arguments.map(
-          (a) => a.type === "SpreadElement" ? `...$elems(${transpileExpression(a.argument, opts)})` : transpileExpression(a, opts)
-        ).join(", ");
-        return `$invokeSuper(${opts.thisParam}, ${JSON.stringify(opts.className)}, ${JSON.stringify(callee.property.name)}, [${args2}])`;
-      }
-      if (callee.type === "MemberExpression" && !callee.computed && callee.object.type === "Identifier" && callee.object.name === "require" && callee.property.type === "Identifier" && callee.property.name === "resolve") {
-        const spec = foldRequireSpecArg(expr.arguments[0]);
-        if (spec !== void 0) return `$lit(${JSON.stringify(spec)})`;
-        return "$unknown()";
-      }
-      if (callee.type === "Identifier" && callee.name === "require") {
-        const spec = foldRequireSpecArg(expr.arguments[0]);
-        if (spec !== void 0) return `__nudoRequire(${JSON.stringify(spec)})`;
-        return "$unknown()";
-      }
-      if ((callee.type === "MemberExpression" || callee.type === "OptionalMemberExpression") && !callee.computed && callee.property.type === "Identifier") {
-        const recv = transpileExpression(callee.object, opts);
-        const args2 = expr.arguments.map(
-          (a) => a.type === "SpreadElement" ? `...$elems(${transpileExpression(a.argument, opts)})` : transpileExpression(a, opts)
-        ).join(", ");
-        const name = JSON.stringify(callee.property.name);
-        const opt = optionalCall || callee.optional === true;
-        const loc = expr.loc;
-        const locArg = loc ? `, [${loc.start.line}, ${loc.start.column}]` : "";
-        if (!opt && REGEX_STATEFUL_NAMES.has(callee.property.name) && callee.object.type === "Identifier") {
-          const recvName = callee.object.name;
-          return `(() => { const __v = $invoke(${recvName}, ${name}, [${args2}]${locArg}); ${recvName} = $reStateCall(${recvName}, ${name}, [${args2}]); return __v; })()`;
+        const key = (() => {
+          const k = staticKeyOf(prop.key);
+          return k === null ? null : JSON.stringify(k);
+        })();
+        if (key === null) continue;
+        if (!prop.computed && key === '"__proto__"') {
+          protoSet = transpileExpression(prop.value, opts);
+          continue;
         }
-        return opt ? `$optionalInvoke(${recv}, ${name}, [${args2}])` : `$invoke(${recv}, ${name}, [${args2}]${locArg})`;
-      }
-      if (callee.type === "Identifier" && !HOST_INTRINSIC_SET.has(callee.name)) {
-        const argSrcs = [];
-        const argLocSrcs = [];
-        for (const a of expr.arguments) {
-          if (a.type === "SpreadElement") {
-            argSrcs.push(`...$elems(${transpileExpression(a.argument, opts)})`);
-            argLocSrcs.push("null");
-          } else {
-            argSrcs.push(transpileExpression(a, opts));
-            const al = a.loc;
-            argLocSrcs.push(al ? `[${al.start.line}, ${al.start.column}]` : "null");
+        if (prop.value.type === "FunctionExpression" && !prop.value.async) {
+          const fn = prop.value;
+          if (!fn.generator) {
+            const displayNames = paramDisplayNames(fn.params);
+            const bindNames = methodBindNames(fn.params);
+            const mHasArgs = fnBodyHasOwnArguments({ body: fn.body });
+            const methodOpts = {
+              ...opts,
+              inLoop: 0,
+              thisParam: "__this",
+              argsBinding: mHasArgs ? "__nudoArgs" : void 0
+            };
+            let mBodyInner = emitFnBlockBody(fn.body, 1, methodOpts);
+            let mParams = ["__this", ...bindNames];
+            if (mHasArgs) {
+              const bound = emitParamBindingFromArgs(fn.params, "  ", methodOpts, "__nudoArgs");
+              mBodyInner = [
+                `  let __nudoArgs = $arguments(__margs);`,
+                ...bound.prologue,
+                mBodyInner
+              ].join("\n");
+              mParams = ["__this", "...__margs"];
+            }
+            const bodySrc = `{
+${mBodyInner}
+}`;
+            props.push(
+              `${key}: $fnVal([${displayNames.map((p) => JSON.stringify(p)).join(", ")}], (${mParams.join(", ")}) => ${bodySrc}, { bindThis: true })`
+            );
+            continue;
           }
         }
-        const loc = expr.loc;
-        const locArg = loc ? `, [${loc.start.line}, ${loc.start.column}]` : "";
-        const argLocArg = loc ? `, [${argLocSrcs.join(", ")}]` : "";
-        const calleeRef = opts.lenientGlobals ? `(typeof ${callee.name} !== "undefined" ? ${callee.name} : void 0)` : callee.name;
-        return `$callNamed(${JSON.stringify(callee.name)}, ${calleeRef}, [${argSrcs.join(", ")}]${locArg}${argLocArg})`;
+        const valSrc = transpileExpression(prop.value, opts);
+        props.push(`${key}: ${valSrc}`);
       }
-      const args = expr.arguments.map(
-        (a) => a.type === "SpreadElement" ? `...$elems(${transpileExpression(a.argument, opts)})` : transpileExpression(a, opts)
-      ).join(", ");
-      const c = callee.type === "Identifier" ? callee.name : isExpression(callee) ? transpileExpression(callee, opts) : "/* callee */";
-      if (callee.type !== "Identifier") {
-        return `$call(${c}, [${args}])`;
+      flushProps();
+      let result = acc ?? `$obj({})`;
+      for (const r of accRegs) {
+        result = `$objAccessor(${result}, ${r.key}, ${r.get ?? "null"}, ${r.set ?? "null"})`;
       }
-      return `${c}(${args})`;
+      if (protoSet !== null) result = `$setProto(${result}, ${protoSet})`;
+      return result;
     }
-    case "ArrowFunctionExpression":
-    case "FunctionExpression": {
-      const fn = expr;
-      const isArrow = expr.type === "ArrowFunctionExpression";
-      const hasThis = !isArrow && fnBodyHasThis(fn);
-      const hasArgs = !isArrow && fnBodyHasOwnArguments(fn);
-      const { sig, rest, prologue } = emitParamBinding(fn.params, indent(1), opts);
-      const fnBodyOpts = {
-        ...opts,
-        inLoop: 0,
-        inFunction: true,
-        ...hasThis ? { thisParam: "__this" } : {},
-        ...isArrow ? {} : { argsBinding: hasArgs ? "__nudoArgs" : void 0 }
-      };
-      const useArgsSlot = hasArgs && !hasThis;
-      const restRaw = rest && !useArgsSlot ? `__rest_raw` : rest;
-      const restPrologue = rest && !useArgsSlot && restRaw ? [`  const ${rest} = $arr(${restRaw});`] : [];
-      const paramParts = restRaw ? [...sig, `...${restRaw}`] : sig;
-      const nameList = `[${paramDisplayNames(fn.params).map((p) => JSON.stringify(p)).join(", ")}]`;
-      const thisPrologue = hasThis ? [`const __this = $rawThis(this);`] : [];
-      let argsSlotPrologue = [];
-      let argsParamParts = paramParts;
-      if (useArgsSlot) {
-        const bound = emitParamBindingFromArgs(fn.params, "  ", fnBodyOpts, "__nudoArgs");
-        argsSlotPrologue = [`  let __nudoArgs = $arguments(__allArgs);`, ...bound.prologue];
-        argsParamParts = ["...__allArgs"];
-      } else if (hasArgs && hasThis) {
-        argsSlotPrologue = [`  let __nudoArgs = $arguments(arguments);`];
-      }
-      const allPrologue = useArgsSlot ? [...argsSlotPrologue, ...thisPrologue] : [...prologue, ...restPrologue, ...thisPrologue, ...argsSlotPrologue];
-      if (fn.body.type === "BlockStatement") {
-        const inner = withImplicitReturn(
-          fn.body,
-          [...allPrologue, transpileFnBodyStmts(fn.body.body, 1, fnBodyOpts)].join("\n"),
-          1
-        );
-        if (hasThis) {
-          const wrap = fn.async ? `function (${argsParamParts.join(", ")}) { return $async(() => {
-${inner}
-}); }` : `function (${argsParamParts.join(", ")}) {
-${inner}
-}`;
-          return `$fnVal(${nameList}, ${wrap})`;
+    case "MemberExpression":
+    case "OptionalMemberExpression": {
+      const optional = expr.optional === true;
+      if (expr.computed) {
+        const obj2 = transpileExpression(expr.object, opts);
+        const key2 = expr.property;
+        if (key2.type === "StringLiteral") {
+          return optional ? `$optionalGet(${obj2}, ${JSON.stringify(key2.value)})` : `$get(${obj2}, ${JSON.stringify(key2.value)})`;
         }
-        if (fn.async) {
-          return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => $async(() => {
-${inner}
-}))`;
+        if (key2.type === "NumericLiteral") {
+          return optional ? `$optionalGet(${obj2}, ${JSON.stringify(String(key2.value))})` : `$idx(${obj2}, $lit(${key2.value}))`;
         }
-        return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => {
-${inner}
-})`;
-      }
-      const bodySrc = transpileExpression(fn.body, fnBodyOpts);
-      if (allPrologue.length > 0 || hasThis) {
-        const rebinds2 = emitArrMutatorRebinds(fn.body, fnBodyOpts, "  ");
-        const inner = [
-          ...allPrologue,
-          ...rebinds2.map((l) => `  ${l}`),
-          `  return ${fn.async ? `$async(() => ${bodySrc})` : bodySrc};`
-        ].join("\n");
-        if (hasThis) {
-          const wrap = `function (${argsParamParts.join(", ")}) {
-${inner}
-}`;
-          return `$fnVal(${nameList}, ${wrap})`;
+        if (key2.type === "MemberExpression" && key2.computed !== true && key2.object.type === "Identifier" && key2.object.name === "Symbol" && key2.property.type === "Identifier") {
+          const symKey = JSON.stringify(`@@${key2.property.name}`);
+          return optional ? `$optionalGet(${obj2}, ${symKey})` : `$get(${obj2}, ${symKey})`;
         }
-        return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => {
-${inner}
-})`;
+        if (isExpression(key2)) {
+          const k = transpileExpression(key2, opts);
+          return `$idx(${obj2}, ${k})`;
+        }
+        throw new NudoUnsupportedError(
+          `member:computed`,
+          expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
+        );
       }
-      const rebinds = emitArrMutatorRebinds(fn.body, fnBodyOpts, "  ");
-      if (rebinds.length > 0) {
-        const inner = [
-          ...rebinds.map((l) => `  ${l}`),
-          `  return ${fn.async ? `$async(() => ${bodySrc})` : bodySrc};`
-        ].join("\n");
-        return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => {
-${inner}
-})`;
+      if (expr.property.type !== "Identifier") {
+        throw new NudoUnsupportedError(
+          `member:${expr.property.type}`,
+          expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
+        );
       }
-      if (fn.async) {
-        return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => $async(() => ${bodySrc}))`;
+      if (expr.property.name === "length") {
+        return `$len(${transpileExpression(expr.object, opts)})`;
       }
-      return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => ${bodySrc})`;
+      const recv = transpileExpression(expr.object, opts);
+      const key = JSON.stringify(expr.property.name);
+      return optional ? `$optionalGet(${recv}, ${key})` : `$get(${recv}, ${key})`;
     }
-    case "MetaProperty":
-      return "$importMeta()";
-    case "ImportExpression": {
-      const specSrc = transpileExpression(expr.source, opts);
-      return `$dynamicImport(${specSrc})`;
+    case "ArrayExpression": {
+      const hasSpread = expr.elements.some((el) => el?.type === "SpreadElement");
+      if (!hasSpread) {
+        const items = [];
+        const holes = [];
+        for (const el of expr.elements) {
+          if (!el) {
+            holes.push(items.length);
+            items.push("$lit(void 0)");
+            continue;
+          }
+          items.push(transpileExpression(el, opts));
+        }
+        return `$arrWithHoles([${items.join(", ")}], [${holes.join(", ")}])`;
+      }
+      let acc = null;
+      for (const el of expr.elements) {
+        if (!el) continue;
+        let piece;
+        if (el.type === "SpreadElement") {
+          piece = `$concat(${transpileExpression(el.argument, opts)}, $arr([]))`;
+        } else {
+          piece = `$arr([${transpileExpression(el, opts)}])`;
+        }
+        acc = acc === null ? piece : `$concat(${acc}, ${piece})`;
+      }
+      return acc ?? `$arr([])`;
     }
-    case "JSXElement":
-    case "JSXFragment":
-      return "$unknown()";
-    default:
-      throw new NudoUnsupportedError(
-        `expression:${expr.type}`,
-        expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
-      );
-  }
-}
-bindTranspileExpression(transpileExpression);
-bindTranspileShortCircuit(transpileShortCircuitExpr);
-
-// src/algebra/exec/transpile.ts
-function transpileSource(source, opts = {}) {
-  const file = parseSource(source);
-  return transpileFile(file, { ...opts, source: opts.source ?? source });
-}
-function runtimeImportOf(runtime) {
-  return `import { $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $catchVal, $switch, $staticInvoke, $setKey, $gen, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`;
-}
-function transpileFile(file, opts = {}) {
-  const runtime = opts.runtimeImport ?? "@nudojs/core/exec";
-  const lines = [
-    `// nudo evaluator transpile \u2014 values are Abs; operators are overloaded calls`,
-    `import { $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $catchVal, $switch, $staticInvoke, $setKey, $gen, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`,
-    ``
-  ];
-  for (const stmt of file.program.body) {
-    lines.push(transpileStatement(stmt, 0, opts));
-  }
-  return lines.join("\n") + "\n";
-}
-function transpile(source, opts) {
-  return transpileSource(source, opts);
-}
-
-// src/algebra/exec/runtime/state.ts
-import { AsyncLocalStorage as AsyncLocalStorage2 } from "async_hooks";
-function writeInPlace(target, next) {
-  target.shape = next.shape;
-  target.conf = next.conf;
-  target.term = void 0;
-  target.pred = void 0;
-  return target;
-}
-function clearStaleTermPred(v2) {
-  v2.term = void 0;
-  v2.pred = void 0;
-}
-var phi = pTrue;
-function currentExecPhi() {
-  return phi;
-}
-function withExecPhi(p, body) {
-  const prev = phi;
-  phi = p;
-  try {
-    return body();
-  } finally {
-    phi = prev;
-  }
-}
-var noBody2 = { type: "BlockStatement", body: [], directives: [] };
-function asAbsVal(v2) {
-  if (v2 && typeof v2 === "object" && "shape" in v2) return v2;
-  if (typeof v2 === "function") {
-    const n = Math.max(0, v2.length);
-    const params = Array.from({ length: n }, (_, i) => `arg${i}`);
-    return absFunction(params, {
-      body: noBody2,
-      // 与 $fnVal / $callNamed 同边界：callee 的 NudoReturn 不得冒泡成 caller
-      apply: (args) => callAtFunctionBoundary(() => v2(...args))
-    });
-  }
-  return $lit(v2);
-}
-function callAtFunctionBoundary(body) {
-  let forwarded = [];
-  try {
-    return runWithLoopExits(() => {
-      try {
-        const r = body();
-        forwarded = takeThrowExits();
-        return r;
-      } catch (e) {
-        forwarded = takeThrowExits();
-        if (isNudoReturn(e)) return e.absValue;
-        throw e;
+    case "AssignmentExpression": {
+      if (expr.operator === "=" && (expr.left.type === "ArrayPattern" || expr.left.type === "ObjectPattern")) {
+        const right2 = transpileExpression(expr.right, opts);
+        const out = [];
+        emitDestructure(expr.left, "__d", "", "", opts, out, { n: 0 });
+        return `((__d) => { ${out.join(" ")} return __d; })(${right2})`;
       }
-    });
-  } finally {
-    for (const x of forwarded) pushThrowExit(x);
-  }
-}
-function $fnVal(params, impl, opts) {
-  return absFunction(params, {
-    body: noBody2,
-    // bindThis（对象方法）：receiver 走首参注入，无宿主 this；
-    // 非方法 fn：宿主 this 传递（call/apply/bind 的 thisArg 经 $rawThis 进入函数体）
-    apply: opts?.bindThis ? (args) => callAtFunctionBoundary(() => impl(...args)) : (args, thisVal) => callAtFunctionBoundary(() => impl.apply(thisVal, args)),
-    ...opts?.bindThis ? { bindThis: true } : {}
-  });
-}
-function $rawThis(v2) {
-  if (v2 === void 0 || v2 === globalThis) return $lit(void 0);
-  if (v2 && typeof v2 === "object" && "shape" in v2) return v2;
-  return $lit(v2);
-}
-function throwStrictWrite() {
-  throw new NudoThrow(errorTypeAbs("TypeError"));
-}
-function $throwConstAssign() {
-  throw new NudoThrow(errorTypeAbs("TypeError"));
-}
-function $litTruth(a) {
-  return litTruth(a);
-}
-function $lit(v2) {
-  if (v2 && typeof v2 === "object" && "shape" in v2 && "conf" in v2) {
-    return v2;
-  }
-  return litAbsFromJs(v2);
-}
-function litAbsFromJs(v2, depth = 0) {
-  if (v2 === null || v2 === void 0) {
-    return abs({ k: "unknown" }, { op: "lit", value: v2 }, pTrue, "exact");
-  }
-  const t = typeof v2;
-  if (t === "number" || t === "string" || t === "boolean" || t === "bigint") {
-    return abs(
-      { k: "prim", type: t },
-      { op: "lit", value: v2 },
-      pTrue,
-      "exact"
-    );
-  }
-  if (depth < 8) {
-    if (Array.isArray(v2)) {
-      const els = v2.map((x) => litAbsFromJs(x, depth + 1));
-      if (shouldWidenArrayLiteral(els.length)) {
-        return abs(
-          { k: "arr", element: els.reduce((x, y) => joinAbs(x, y)) },
-          void 0,
-          void 0,
-          widenedArrayConf()
+      const compoundFn = COMPOUND_OPS[expr.operator];
+      const right = transpileExpression(expr.right, opts);
+      const op = expr.operator;
+      if (op === "||=" || op === "&&=" || op === "??=") {
+        const rNode = expr.right;
+        const emitLogicalAssign = (targetSrc, setSrc) => {
+          if (op === "||=") {
+            const sc2 = transpileShortCircuitExpr(opts, {
+              alwaysNodes: [],
+              alwaysSrc: targetSrc,
+              consSrc: "__test",
+              consNodes: [],
+              altSrc: right,
+              altNodes: [rNode]
+            });
+            return setSrc(sc2);
+          }
+          if (op === "&&=") {
+            const sc2 = transpileShortCircuitExpr(opts, {
+              alwaysNodes: [],
+              alwaysSrc: targetSrc,
+              consSrc: right,
+              consNodes: [rNode],
+              altSrc: "__test",
+              altNodes: []
+            });
+            return setSrc(sc2);
+          }
+          const sc = transpileShortCircuitExpr(opts, {
+            alwaysNodes: [],
+            alwaysSrc: targetSrc,
+            consSrc: right,
+            consNodes: [rNode],
+            altSrc: targetSrc,
+            altNodes: [],
+            testSrc: `$nullishTest(${targetSrc})`
+          });
+          return setSrc(sc);
+        };
+        if (expr.left.type === "Identifier") {
+          if (isConstAssignTarget(expr.left.name, opts)) {
+            const lhs = expr.left.name;
+            const skipsWrite = op === "||=" ? `$litTruth(${lhs}) === true` : op === "&&=" ? `$litTruth(${lhs}) === false` : `$litTruth($nullishTest(${lhs})) === false`;
+            return `((${lhs}) => { if (!(${skipsWrite})) $throwConstAssign(); return ${lhs}; })(${lhs})`;
+          }
+          return emitLogicalAssign(expr.left.name, (val) => `${expr.left.type === "Identifier" ? expr.left.name : ""} = ${val}`);
+        }
+        if (expr.left.type === "MemberExpression") {
+          const m = expr.left;
+          const path = memberPathOf(m, opts);
+          if (path) {
+            return emitLogicalAssign(readPathSrc(path), (val) => {
+              return `((__v) => { ${path.rootSrc} = ${setPathSrc(path, "__v")}; return __v; })(${val})`;
+            });
+          }
+        }
+        throw new NudoUnsupportedError(
+          `assign:${op}`,
+          expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
         );
       }
-      return abs({ k: "tuple", elements: els }, void 0, void 0, "exact");
+      if (expr.left.type === "MemberExpression") {
+        const m = expr.left;
+        const path = memberPathOf(m, opts);
+        if (path) {
+          const valSrc = compoundFn ? `${compoundFn}(${readPathSrc(path)}, ${right})` : right;
+          return `((__v) => { ${path.rootSrc} = ${setPathSrc(path, "__v")}; return __v; })(${valSrc})`;
+        }
+        if (!m.computed && m.property.type === "Identifier") {
+          const obj2 = transpileExpression(m.object, opts);
+          return `((__v) => (($set(${obj2}, ${JSON.stringify(m.property.name)}, __v)), __v))(${right})`;
+        }
+        if (m.computed) {
+          const obj2 = transpileExpression(m.object, opts);
+          const k = m.property;
+          if (k.type === "NumericLiteral") {
+            return `((__v) => (($idxSet(${obj2}, $lit(${k.value}), __v)), __v))(${right})`;
+          }
+          if (k.type === "StringLiteral") {
+            return `((__v) => (($set(${obj2}, ${JSON.stringify(k.value)}, __v)), __v))(${right})`;
+          }
+          if (isExpression(k)) {
+            return `((__v) => (($idxSet(${obj2}, ${transpileExpression(k, opts)}, __v)), __v))(${right})`;
+          }
+        }
+        throw new NudoUnsupportedError(
+          `assign-target`,
+          expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
+        );
+      }
+      if (expr.left.type === "Identifier") {
+        const name = expr.left.name;
+        if (isConstAssignTarget(name, opts)) {
+          return `$throwConstAssign()`;
+        }
+        const cond = (opts.inLoop ?? 0) > 0 || (opts.conditionalFlow ?? 0) > 0;
+        const locLine = expr.loc?.start.line ?? 0;
+        const locCol = expr.loc?.start.column ?? 0;
+        const valSrc = compoundFn ? `${compoundFn}(${name}, ${right})` : right;
+        const bindSrc = !opts.inFunction ? ` $recordBinding(${JSON.stringify(name)}, __v);` : "";
+        return `((__v) => { $assignRecord(${JSON.stringify(name)}, ${name}, __v, ${locLine}, ${locCol}, ${cond});${bindSrc} return ${name} = __v; })(${valSrc})`;
+      }
+      throw new NudoUnsupportedError(
+        `assign-target`,
+        expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
+      );
     }
-    if (t === "object") {
-      const proto = Object.getPrototypeOf(v2);
-      if (proto === Object.prototype || proto === null) {
-        const slots = {};
-        for (const [k, val] of Object.entries(v2)) {
-          Object.defineProperty(slots, k, {
-            value: { value: litAbsFromJs(val, depth + 1) },
-            enumerable: true,
-            writable: true,
-            configurable: true
-          });
+    case "CallExpression":
+    case "OptionalCallExpression": {
+      const exprAny = expr;
+      const optionalCall = exprAny.type === "OptionalCallExpression" || exprAny.optional === true;
+      const callee = expr.callee;
+      if (callee.type === "Super" && opts.thisParam && opts.className) {
+        const args2 = expr.arguments.map(
+          (a) => a.type === "SpreadElement" ? `...$elems(${transpileExpression(a.argument, opts)})` : transpileExpression(a, opts)
+        ).join(", ");
+        return `${opts.thisParam} = $super(${opts.thisParam}, ${JSON.stringify(opts.className)}, [${args2}])`;
+      }
+      if (callee.type === "MemberExpression" && !callee.computed && callee.object.type === "Super" && callee.property.type === "Identifier" && opts.thisParam && opts.className) {
+        const args2 = expr.arguments.map(
+          (a) => a.type === "SpreadElement" ? `...$elems(${transpileExpression(a.argument, opts)})` : transpileExpression(a, opts)
+        ).join(", ");
+        return `$invokeSuper(${opts.thisParam}, ${JSON.stringify(opts.className)}, ${JSON.stringify(callee.property.name)}, [${args2}])`;
+      }
+      if (callee.type === "MemberExpression" && !callee.computed && callee.object.type === "Identifier" && callee.object.name === "require" && callee.property.type === "Identifier" && callee.property.name === "resolve") {
+        const spec = foldRequireSpecArg(expr.arguments[0]);
+        if (spec !== void 0) return `$lit(${JSON.stringify(spec)})`;
+        return "$unknown()";
+      }
+      if (callee.type === "Identifier" && callee.name === "require") {
+        const spec = foldRequireSpecArg(expr.arguments[0]);
+        if (spec !== void 0) return `__nudoRequire(${JSON.stringify(spec)})`;
+        return "$unknown()";
+      }
+      if ((callee.type === "MemberExpression" || callee.type === "OptionalMemberExpression") && !callee.computed && callee.property.type === "Identifier") {
+        const recv = transpileExpression(callee.object, opts);
+        const args2 = expr.arguments.map(
+          (a) => a.type === "SpreadElement" ? `...$elems(${transpileExpression(a.argument, opts)})` : transpileExpression(a, opts)
+        ).join(", ");
+        const name = JSON.stringify(callee.property.name);
+        const opt = optionalCall || callee.optional === true;
+        const loc = expr.loc;
+        const locArg = loc ? `, [${loc.start.line}, ${loc.start.column}]` : "";
+        if (!opt && REGEX_STATEFUL_NAMES.has(callee.property.name) && callee.object.type === "Identifier") {
+          const recvName = callee.object.name;
+          return `(() => { const __v = $invoke(${recvName}, ${name}, [${args2}]${locArg}); ${recvName} = $reStateCall(${recvName}, ${name}, [${args2}]); return __v; })()`;
         }
-        return objOf(slots);
+        return opt ? `$optionalInvoke(${recv}, ${name}, [${args2}])` : `$invoke(${recv}, ${name}, [${args2}]${locArg})`;
+      }
+      if (callee.type === "Identifier" && !HOST_INTRINSIC_SET.has(callee.name)) {
+        const argSrcs = [];
+        const argLocSrcs = [];
+        for (const a of expr.arguments) {
+          if (a.type === "SpreadElement") {
+            argSrcs.push(`...$elems(${transpileExpression(a.argument, opts)})`);
+            argLocSrcs.push("null");
+          } else {
+            argSrcs.push(transpileExpression(a, opts));
+            const al = a.loc;
+            argLocSrcs.push(al ? `[${al.start.line}, ${al.start.column}]` : "null");
+          }
+        }
+        const loc = expr.loc;
+        const locArg = loc ? `, [${loc.start.line}, ${loc.start.column}]` : "";
+        const argLocArg = loc ? `, [${argLocSrcs.join(", ")}]` : "";
+        const calleeRef = opts.lenientGlobals ? `(typeof ${callee.name} !== "undefined" ? ${callee.name} : void 0)` : callee.name;
+        return `$callNamed(${JSON.stringify(callee.name)}, ${calleeRef}, [${argSrcs.join(", ")}]${locArg}${argLocArg})`;
+      }
+      const args = expr.arguments.map(
+        (a) => a.type === "SpreadElement" ? `...$elems(${transpileExpression(a.argument, opts)})` : transpileExpression(a, opts)
+      ).join(", ");
+      const c = callee.type === "Identifier" ? callee.name : isExpression(callee) ? transpileExpression(callee, opts) : "/* callee */";
+      if (callee.type !== "Identifier") {
+        return `$call(${c}, [${args}])`;
       }
+      return `${c}(${args})`;
     }
+    case "ArrowFunctionExpression":
+    case "FunctionExpression": {
+      const fn = expr;
+      const isArrow = expr.type === "ArrowFunctionExpression";
+      const hasThis = !isArrow && fnBodyHasThis(fn);
+      const hasArgs = !isArrow && fnBodyHasOwnArguments(fn);
+      const { sig, rest, prologue } = emitParamBinding(fn.params, indent(1), opts);
+      const fnBodyOpts = {
+        ...opts,
+        inLoop: 0,
+        inFunction: true,
+        ...hasThis ? { thisParam: "__this" } : {},
+        ...isArrow ? {} : { argsBinding: hasArgs ? "__nudoArgs" : void 0 }
+      };
+      const useArgsSlot = hasArgs && !hasThis;
+      const restRaw = rest && !useArgsSlot ? `__rest_raw` : rest;
+      const restPrologue = rest && !useArgsSlot && restRaw ? [`  const ${rest} = $arr(${restRaw});`] : [];
+      const paramParts = restRaw ? [...sig, `...${restRaw}`] : sig;
+      const nameList = `[${paramDisplayNames(fn.params).map((p) => JSON.stringify(p)).join(", ")}]`;
+      const thisPrologue = hasThis ? [`const __this = $rawThis(this);`] : [];
+      let argsSlotPrologue = [];
+      let argsParamParts = paramParts;
+      if (useArgsSlot) {
+        const bound = emitParamBindingFromArgs(fn.params, "  ", fnBodyOpts, "__nudoArgs");
+        argsSlotPrologue = [`  let __nudoArgs = $arguments(__allArgs);`, ...bound.prologue];
+        argsParamParts = ["...__allArgs"];
+      } else if (hasArgs && hasThis) {
+        argsSlotPrologue = [`  let __nudoArgs = $arguments(arguments);`];
+      }
+      const allPrologue = useArgsSlot ? [...argsSlotPrologue, ...thisPrologue] : [...prologue, ...restPrologue, ...thisPrologue, ...argsSlotPrologue];
+      if (fn.body.type === "BlockStatement") {
+        const inner = withImplicitReturn(
+          fn.body,
+          [...allPrologue, transpileFnBodyStmts(fn.body.body, 1, fnBodyOpts)].join("\n"),
+          1
+        );
+        if (hasThis) {
+          const wrap = fn.async ? `function (${argsParamParts.join(", ")}) { return $async(() => {
+${inner}
+}); }` : `function (${argsParamParts.join(", ")}) {
+${inner}
+}`;
+          return `$fnVal(${nameList}, ${wrap})`;
+        }
+        if (fn.async) {
+          return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => $async(() => {
+${inner}
+}))`;
+        }
+        return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => {
+${inner}
+})`;
+      }
+      const bodySrc = transpileExpression(fn.body, fnBodyOpts);
+      if (allPrologue.length > 0 || hasThis) {
+        const rebinds2 = emitArrMutatorRebinds(fn.body, fnBodyOpts, "  ");
+        const inner = [
+          ...allPrologue,
+          ...rebinds2.map((l) => `  ${l}`),
+          `  return ${fn.async ? `$async(() => ${bodySrc})` : bodySrc};`
+        ].join("\n");
+        if (hasThis) {
+          const wrap = `function (${argsParamParts.join(", ")}) {
+${inner}
+}`;
+          return `$fnVal(${nameList}, ${wrap})`;
+        }
+        return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => {
+${inner}
+})`;
+      }
+      const rebinds = emitArrMutatorRebinds(fn.body, fnBodyOpts, "  ");
+      if (rebinds.length > 0) {
+        const inner = [
+          ...rebinds.map((l) => `  ${l}`),
+          `  return ${fn.async ? `$async(() => ${bodySrc})` : bodySrc};`
+        ].join("\n");
+        return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => {
+${inner}
+})`;
+      }
+      if (fn.async) {
+        return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => $async(() => ${bodySrc}))`;
+      }
+      return `$fnVal(${nameList}, (${argsParamParts.join(", ")}) => ${bodySrc})`;
+    }
+    case "MetaProperty":
+      return "$importMeta()";
+    case "ImportExpression": {
+      const specSrc = transpileExpression(expr.source, opts);
+      return `$dynamicImport(${specSrc})`;
+    }
+    case "JSXElement":
+    case "JSXFragment":
+      return "$unknown()";
+    default:
+      throw new NudoUnsupportedError(
+        `expression:${expr.type}`,
+        expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
+      );
   }
-  return unknown;
-}
-function litTruth(a) {
-  if (a.term?.op === "lit") {
-    return Boolean(a.term.value);
-  }
-  switch (a.shape.k) {
-    case "obj":
-    case "arr":
-    case "tuple":
-    case "fn":
-    case "brand":
-    case "eff":
-      return true;
-    case "prim":
-      return a.shape.type === "symbol" ? true : void 0;
-    case "never":
-      return false;
-    default:
-      return void 0;
-  }
-}
-function isDefinitelyTrue(a) {
-  return litTruth(a) === true;
-}
-function isDefinitelyFalse(a) {
-  const t = litTruth(a);
-  if (t === false) return true;
-  if (a.shape.k === "never") return true;
-  return false;
-}
-function undef() {
-  return abs({ k: "unknown" }, { op: "lit", value: void 0 }, pTrue, "exact");
-}
-var loopExitsAls = new AsyncLocalStorage2();
-var throwExitsAls = new AsyncLocalStorage2();
-var tryMarksAls = new AsyncLocalStorage2();
-var softFrameActiveAls = new AsyncLocalStorage2();
-function runWithLoopExits(body) {
-  return loopExitsAls.run(
-    [],
-    () => throwExitsAls.run(
-      [],
-      () => tryMarksAls.run([], () => softFrameActiveAls.run([], body))
-    )
-  );
-}
-function takeLoopExits() {
-  return loopExitsAls.getStore() ?? [];
-}
-function takeThrowExits() {
-  return throwExitsAls.getStore() ?? [];
-}
-function pushLoopExit(v2) {
-  loopExitsAls.getStore()?.push(v2);
-}
-function pushThrowExit(v2) {
-  throwExitsAls.getStore()?.push(v2);
-}
-function $pushLoopExit(v2) {
-  pushLoopExit(v2);
-}
-function $tryMark() {
-  $tryMarkSoft();
-  softFrameActiveAls.getStore()?.push(true);
-  const store = throwExitsAls.getStore();
-  const m = store?.length ?? 0;
-  tryMarksAls.getStore()?.push(m);
-  return m;
-}
-function $tryCurrentMark() {
-  const stack = tryMarksAls.getStore();
-  return stack && stack.length > 0 ? stack[stack.length - 1] : 0;
-}
-function $tryPopMark() {
-  tryMarksAls.getStore()?.pop();
-  const soft = softFrameActiveAls.getStore();
-  if (soft && soft.length > 0) {
-    if (soft[soft.length - 1]) $tryReleaseSoftOut();
-    soft.pop();
-  }
-}
-function $tryTakeSince(mark) {
-  const store = throwExitsAls.getStore();
-  if (!store) return [];
-  return store.splice(Math.min(mark, store.length));
-}
-function peekThrowExitsSince(mark) {
-  const store = throwExitsAls.getStore();
-  if (!store) return [];
-  return store.slice(Math.min(mark, store.length));
-}
-function throwExitsMark() {
-  return throwExitsAls.getStore()?.length ?? 0;
-}
-function $tryDigestSoftCatch() {
-  const soft = softFrameActiveAls.getStore();
-  if (!soft || soft.length === 0 || !soft[soft.length - 1]) return;
-  $tryDigestSoft();
-  soft[soft.length - 1] = false;
-}
-function $tryReleaseSoftCatch() {
-  const soft = softFrameActiveAls.getStore();
-  if (!soft || soft.length === 0 || !soft[soft.length - 1]) return;
-  $tryReleaseSoft();
-  soft[soft.length - 1] = false;
-}
-function $tryDetachSoftCatch() {
-  const soft = softFrameActiveAls.getStore();
-  if (!soft || soft.length === 0 || !soft[soft.length - 1]) return [];
-  const effects = popMayThrowFrame(false);
-  soft[soft.length - 1] = false;
-  return effects;
-}
-function $tryDiscardSoft(_effects) {
 }
-function $tryOrphanSoft(effects) {
-  orphanMayThrowEffects(effects);
-}
-function $tryReleaseSoftOut() {
-  const soft = softFrameActiveAls.getStore();
-  if (!soft || soft.length === 0 || !soft[soft.length - 1]) return;
-  $tryReleaseSoft();
-  soft[soft.length - 1] = false;
-}
-var NudoReturn = class extends Error {
-  absValue;
-  constructor(absValue) {
-    super("nudo:return");
-    this.name = "NudoReturn";
-    this.absValue = absValue;
-  }
-};
-function isNudoReturn(e) {
-  return e instanceof NudoReturn;
+bindTranspileExpression(transpileExpression);
+bindTranspileShortCircuit(transpileShortCircuitExpr);
+
+// src/algebra/exec/transpile.ts
+function transpileSource(source, opts = {}) {
+  const file = parseSource(source);
+  return transpileFile(file, { ...opts, source: opts.source ?? source });
 }
-function $loopReturn(v2) {
-  throw new NudoReturn(v2);
+function runtimeImportOf(runtime) {
+  return `import { $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $catchVal, $switch, $staticInvoke, $setKey, $gen, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`;
 }
-var NudoLoopSignal = class extends Error {
-  kind;
-  label;
-  constructor(kind, label) {
-    super("nudo:loop");
-    this.name = "NudoLoopSignal";
-    this.kind = kind;
-    this.label = label;
+function transpileFile(file, opts = {}) {
+  const runtime = opts.runtimeImport ?? "@nudojs/core/exec";
+  const lines = [
+    `// nudo evaluator transpile \u2014 values are Abs; operators are overloaded calls`,
+    `import { $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $catchVal, $switch, $staticInvoke, $setKey, $gen, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`,
+    ``
+  ];
+  for (const stmt of file.program.body) {
+    lines.push(transpileStatement(stmt, 0, opts));
   }
-};
-function $loopBreak(label) {
-  throw new NudoLoopSignal("break", label || void 0);
-}
-function $loopContinue(label) {
-  throw new NudoLoopSignal("continue", label || void 0);
-}
-function loopSignalMatches(e, label) {
-  return e.label === void 0 || e.label === label;
-}
-function isNudoBreak(e, label) {
-  return e instanceof NudoLoopSignal && e.kind === "break" && loopSignalMatches(e, label);
-}
-function isNudoContinue(e, label) {
-  return e instanceof NudoLoopSignal && e.kind === "continue" && loopSignalMatches(e, label);
-}
-function $isBreakTo(e, label) {
-  return e instanceof NudoLoopSignal && e.kind === "break" && e.label === label;
+  return lines.join("\n") + "\n";
 }
-function $rethrowIfNudoReturn(e) {
-  if (isNudoReturn(e)) throw e;
+function transpile(source, opts) {
+  return transpileSource(source, opts);
 }
 
 // src/algebra/exec/runtime/ops.ts
@@ -11846,10 +12110,10 @@ function $toNumeric(a) {
   return toNumericAbs(a);
 }
 function $updateAdd(a) {
-  return updateAddAbs(a);
+  return updateAddAbs(a, currentExecPhi());
 }
 function $updateSub(a) {
-  return updateSubAbs(a);
+  return updateSubAbs(a, currentExecPhi());
 }
 function $neg(a) {
   return negAbs(a);
@@ -12095,14 +12359,44 @@ function noteObjSlotMissing(recv, name, loc) {
 
 // src/algebra/exec/class-registry.ts
 var classRegistry = /* @__PURE__ */ new Map();
+var classEpoch = 0;
+var classEpochs = /* @__PURE__ */ new Map();
+var classCollisions = [];
+function beginClassEpoch() {
+  classEpoch++;
+}
+function drainClassCollisions() {
+  return classCollisions.splice(0, classCollisions.length);
+}
+function specShape(spec) {
+  const ctorName = spec.ctor?.name ?? "anon";
+  const methods = Object.keys(spec.methods ?? {}).sort().join(",");
+  const statics = Object.keys(spec.staticMethods ?? {}).sort().join(",");
+  const accessors = Object.keys(spec.accessors ?? {}).sort().join(",");
+  return `${ctorName}[${methods}](${statics}){${accessors}}`;
+}
 function registerEvalClass(spec) {
+  const prev = classRegistry.get(spec.name);
+  const prevEpoch = classEpochs.get(spec.name);
+  if (prev && prev !== spec && // 同 epoch（同一次 run 内）注册两次才可能是真碰撞：
+  // 块级作用域同名类。跨 epoch = 顺序重注册（常态）。
+  prevEpoch === classEpoch && specShape(prev) !== specShape(spec)) {
+    classCollisions.push({
+      name: spec.name,
+      previous: specShape(prev),
+      next: specShape(spec)
+    });
+  }
   classRegistry.set(spec.name, spec);
+  classEpochs.set(spec.name, classEpoch);
 }
 function getEvalClass(name) {
   return classRegistry.get(name);
 }
 function clearBClasses() {
   classRegistry.clear();
+  classEpochs.clear();
+  classCollisions.length = 0;
 }
 
 // src/algebra/exec/runtime.ts
@@ -12400,6 +12694,8 @@ function $copy(a) {
       {
         k: "tuple",
         elements: s.elements.map($copy),
+        // rest 槽必须随快照迁移（与 hof snapshotAbs 同口径），否则副本丢尾段
+        ...s.rest ? { rest: $copy(s.rest) } : {},
         holes: s.holes ? [...s.holes] : void 0
       },
       a.term,
@@ -12590,7 +12886,7 @@ function $idx(a, i) {
     if (slots.length === 0) return objShape.open ? unknown : undef();
     const joinSlotsWithUndef = () => joinAbs(slots.reduce((x, y) => joinAbs(x, y)), undef());
     if (typeof iv === "string" || typeof iv === "number" || typeof iv === "boolean") {
-      const slot = objShape.slots[String(iv)];
+      const slot = getSlot(objShape.slots, String(iv));
       if (slot) return slot.value;
       if (objShape.open) return unknown;
       return undef();
@@ -12807,6 +13103,20 @@ function $arrRest(a, start) {
     return parts.length ? parts.reduce((x, y) => joinAbs(x, y)) : unknown;
   }
   if (a.shape.k === "tuple") {
+    if (a.shape.rest) {
+      const sliced = a.shape.elements.slice(start);
+      if (start < a.shape.elements.length && !shouldWidenArrayLiteral(sliced.length + 1)) {
+        return abs(
+          { k: "tuple", elements: sliced, rest: a.shape.rest },
+          void 0,
+          void 0,
+          a.conf
+        );
+      }
+      const restEl = a.shape.rest.shape.k === "arr" ? a.shape.rest.shape.element : a.shape.rest;
+      const el = sliced.reduce((x, y) => joinAbs(x, y), restEl);
+      return abs({ k: "arr", element: el }, void 0, void 0, a.conf);
+    }
     return tupleOrWiden(a.shape.elements.slice(start), a.conf);
   }
   if (a.shape.k === "arr") return a;
@@ -13052,7 +13362,7 @@ function $get(o, key, opts) {
         const raw = o[key];
         if (typeof raw === "function") {
           return absFunction([`${ns}.${key}`], {
-            body: noBody2,
+            body: noBody,
             apply: (args) => evalNamespaceCall(ns, key, args) ?? unknown
           });
         }
@@ -13071,7 +13381,7 @@ function $get(o, key, opts) {
   }
   if (o.shape.k === "eff" && o.shape.eff === "promise" && (key === "then" || key === "catch" || key === "finally")) {
     return absFunction([key === "then" ? "onFulfilled" : key === "catch" ? "onRejected" : "onFinally"], {
-      body: noBody2
+      body: noBody
     });
   }
   if (o.shape.k === "brand") {
@@ -13082,7 +13392,7 @@ function $get(o, key, opts) {
     const isClassVal = classNameOfValue(o) === o.shape.name;
     const builtinM = BUILTIN_BRAND_METHODS[o.shape.name];
     if (builtinM && !isClassVal && (key === "@@iterator" || builtinM.has(key))) {
-      return absFunction([], { body: noBody2 });
+      return absFunction([], { body: noBody });
     }
     if (key === "size" && o.shape.name === "Map") return mapSizeAbs(o);
     if (key === "size" && o.shape.name === "Set") return setSizeAbs(o);
@@ -13098,14 +13408,14 @@ function $get(o, key, opts) {
       for (const n of evalClassChain(o.shape.name)) {
         const spec = getEvalClass(n);
         if (spec?.staticMethods?.[key]) {
-          return absFunction(spec.staticMethodParams?.[key] ?? [], { body: noBody2 });
+          return absFunction(spec.staticMethodParams?.[key] ?? [], { body: noBody });
         }
       }
       if (key === "prototype") {
         return abs({ k: "obj", slots: {} }, void 0, void 0, "path");
       }
       if (key === "call" || key === "apply" || key === "bind") {
-        return absFunction([], { body: noBody2 });
+        return absFunction([], { body: noBody });
       }
     } else {
       const acc = findClassAccessor(o.shape.name, key);
@@ -13114,7 +13424,7 @@ function $get(o, key, opts) {
       for (const n of evalClassChain(o.shape.name)) {
         const spec = getEvalClass(n);
         if (spec?.methods?.[key]) {
-          return absFunction(spec.methodParams?.[key] ?? [], { body: noBody2 });
+          return absFunction(spec.methodParams?.[key] ?? [], { body: noBody });
         }
       }
     }
@@ -15435,7 +15745,7 @@ function namespaceAbsOf(mod2) {
   return abs({ k: "obj", slots, open: true }, void 0, void 0, "path");
 }
 function bindImports(node, env, modules) {
-  const mod2 = modules[node.source.value];
+  const mod2 = Object.hasOwn(modules, node.source.value) ? modules[node.source.value] : void 0;
   if (!mod2) {
     for (const s of node.specifiers) {
       env.vars.set(s.local.name, unknown);
@@ -15447,7 +15757,8 @@ function bindImports(node, env, modules) {
       env.vars.set(s.local.name, mod2.default ?? unknown);
     } else if (s.type === "ImportSpecifier") {
       const imported = s.imported.type === "Identifier" ? s.imported.name : String(s.imported);
-      env.vars.set(s.local.name, mod2.named[imported] ?? unknown);
+      const named = Object.hasOwn(mod2.named, imported) ? mod2.named[imported] : void 0;
+      env.vars.set(s.local.name, named ?? unknown);
     } else if (s.type === "ImportNamespaceSpecifier") {
       env.vars.set(s.local.name, namespaceAbsOf(mod2));
     }
@@ -15473,7 +15784,7 @@ function collectAbsExports(file, env, modules) {
   for (const stmt of file.program.body) {
     if (stmt.type === "ExportNamedDeclaration") {
       if (stmt.source && modules) {
-        const mod2 = modules[stmt.source.value];
+        const mod2 = Object.hasOwn(modules, stmt.source.value) ? modules[stmt.source.value] : void 0;
         if (mod2) {
           for (const spec of stmt.specifiers) {
             if (spec.type === "ExportNamespaceSpecifier") {
@@ -15485,7 +15796,7 @@ function collectAbsExports(file, env, modules) {
             if (spec.type !== "ExportSpecifier") continue;
             const local = spec.local.type === "Identifier" ? spec.local.name : spec.local.value;
             const exported = spec.exported.type === "Identifier" ? spec.exported.name : spec.exported.value;
-            const v2 = local === "default" ? mod2.default : mod2.named[local];
+            const v2 = local === "default" ? mod2.default : Object.hasOwn(mod2.named, local) ? mod2.named[local] : void 0;
             const slot = v2 ?? unknown;
             if (exported === "default") defaultExport = slot;
             else {
@@ -15531,7 +15842,7 @@ function collectAbsExports(file, env, modules) {
         }
       }
     } else if (stmt.type === "ExportAllDeclaration" && stmt.source && modules) {
-      const mod2 = modules[stmt.source.value];
+      const mod2 = Object.hasOwn(modules, stmt.source.value) ? modules[stmt.source.value] : void 0;
       if (mod2?.named) {
         for (const [k, v2] of Object.entries(mod2.named)) {
           if (!explicitNames.has(k)) named[k] = v2;
@@ -15876,6 +16187,7 @@ ${js}`;
   const fn = new Function(...argNames, `${js}
 ${ret}`);
   setEvalBindingSink(bindings);
+  beginClassEpoch();
   try {
     const result = fn(...args);
     runBindings.set(result, bindings);
@@ -15883,6 +16195,18 @@ ${ret}`);
   } finally {
     setEvalBindingSink(null);
     drainPromiseMicros();
+    noteDrainedClassCollisions();
+  }
+}
+function noteDrainedClassCollisions() {
+  for (const c of drainClassCollisions()) {
+    noteEvalFallback(
+      new NudoUnsupportedError(
+        "class-collision",
+        void 0,
+        `class '${c.name}' registered again with a different shape (${c.previous} -> ${c.next}); name-keyed lookup may resolve to either definition`
+      )
+    );
   }
 }
 var evalFallbackCollector = null;
@@ -15944,14 +16268,16 @@ function isAbsVal(v2) {
 }
 function callTranspiledExportFull(exports, name, args, opts) {
   enterEvalCallBudgetSession();
+  beginClassEpoch();
   try {
     return callTranspiledExportFullInner(exports, name, args, opts);
   } finally {
     exitEvalCallBudgetSession();
+    noteDrainedClassCollisions();
   }
 }
 function callTranspiledExportFullInner(exports, name, args, opts) {
-  const fn = exports[name];
+  const fn = Object.hasOwn(exports, name) ? exports[name] : void 0;
   if (typeof fn === "function") {
     const callArgs = args.map(
       (a) => a && typeof a === "object" && "shape" in a ? $copy(a) : a
@@ -16535,7 +16861,7 @@ function $instanceofNonIdent(_left) {
 }
 function $classExpr() {
   return absFunction(["_rest"], {
-    body: noBody2,
+    body: noBody,
     apply: () => unknown
   });
 }
@@ -16623,6 +16949,7 @@ export {
   v,
   app,
   termEquals,
+  litKeyString,
   termToString,
   simplifyTerm,
   TYPEOF_NAMES,
@@ -16654,6 +16981,8 @@ export {
   geNum,
   ltNum,
   leNum,
+  PROJECTION_MAX_DEPTH,
+  ProjectionBudget,
   never,
   unknown,
   anyAbs,
@@ -16797,6 +17126,43 @@ export {
   getPropFlags,
   setPropFlags,
   migrateInvariants,
+  clearStaleTermPred,
+  currentExecPhi,
+  withExecPhi,
+  asAbsVal,
+  callAtFunctionBoundary,
+  $fnVal,
+  $rawThis,
+  $lit,
+  litTruth,
+  isDefinitelyTrue,
+  isDefinitelyFalse,
+  runWithLoopExits,
+  takeLoopExits,
+  takeThrowExits,
+  pushLoopExit,
+  pushThrowExit,
+  $pushLoopExit,
+  $tryMark,
+  $tryCurrentMark,
+  $tryPopMark,
+  $tryTakeSince,
+  $tryDigestSoftCatch,
+  $tryReleaseSoftCatch,
+  $tryDetachSoftCatch,
+  $tryDiscardSoft,
+  $tryOrphanSoft,
+  $tryReleaseSoftOut,
+  NudoReturn,
+  isNudoReturn,
+  $loopReturn,
+  NudoLoopSignal,
+  $loopBreak,
+  $loopContinue,
+  isNudoBreak,
+  isNudoContinue,
+  $isBreakTo,
+  $rethrowIfNudoReturn,
   evalMathMethod,
   builtinCtorAbs,
   builtinCtorNameOf,
@@ -16965,43 +17331,6 @@ export {
   runtimeImportOf,
   transpileFile,
   transpile,
-  clearStaleTermPred,
-  currentExecPhi,
-  withExecPhi,
-  asAbsVal,
-  callAtFunctionBoundary,
-  $fnVal,
-  $rawThis,
-  $lit,
-  litTruth,
-  isDefinitelyTrue,
-  isDefinitelyFalse,
-  runWithLoopExits,
-  takeLoopExits,
-  takeThrowExits,
-  pushLoopExit,
-  pushThrowExit,
-  $pushLoopExit,
-  $tryMark,
-  $tryCurrentMark,
-  $tryPopMark,
-  $tryTakeSince,
-  $tryDigestSoftCatch,
-  $tryReleaseSoftCatch,
-  $tryDetachSoftCatch,
-  $tryDiscardSoft,
-  $tryOrphanSoft,
-  $tryReleaseSoftOut,
-  NudoReturn,
-  isNudoReturn,
-  $loopReturn,
-  NudoLoopSignal,
-  $loopBreak,
-  $loopContinue,
-  isNudoBreak,
-  isNudoContinue,
-  $isBreakTo,
-  $rethrowIfNudoReturn,
   $unknown,
   $importMeta,
   $dynamicImport,
@@ -17130,6 +17459,7 @@ export {
   resetEvalFallbackStats,
   noteEvalFallback,
   tryRunTranspiled,
+  isAbsVal,
   callTranspiledExportFull,
   callTranspiledExport,
   callTranspiledExportApply,