@nudojs/core 1.1.4 → 1.2.2

package/dist/{chunk-SQSO4NKT.js → chunk-4V3CRVSD.js}

@@ -30,7 +30,9 @@ function termEquals(a, b) {
 }
 function termToString(t) {
   if (t.op === "lit") {
-    return typeof t.value === "string" ? JSON.stringify(t.value) : String(t.value);
+    if (typeof t.value === "string") return JSON.stringify(t.value);
+    if (typeof t.value === "number" && Object.is(t.value, -0)) return "-0";
+    return String(t.value);
   }
   if (t.op === "var") return t.id;
   if (t.op === "app" && t.fn === "get" && t.args.length === 2) {
@@ -62,12 +64,22 @@ function simplifyTerm(t) {
   }
   if (fn === "*" && args.length === 2) {
     const [a, b] = args;
-    if (a.op === "lit" && a.value === 1) return b;
-    if (b.op === "lit" && b.value === 1) return a;
+    const one = (t2) => t2.op === "lit" && t2.value === 1;
+    const surviveMulOne = (t2) => {
+      if (t2.op !== "lit") return t2;
+      const v2 = t2.value;
+      if (typeof v2 === "number") return t2;
+      if (typeof v2 === "boolean") return lit(v2 ? 1 : 0);
+      if (v2 === null) return lit(0);
+      if (typeof v2 === "string") return lit(Number(v2));
+      return lit(NaN);
+    };
+    if (one(b)) return surviveMulOne(a);
+    if (one(a)) return surviveMulOne(b);
   }
   if (fn === "-" && args.length === 2) {
     const [a, b] = args;
-    if (b.op === "lit" && b.value === 0) return a;
+    if (b.op === "lit" && Object.is(b.value, 0)) return a;
   }
   return app(fn, args);
 }
@@ -174,13 +186,10 @@ function negatePred(p) {
     case "ne":
       return eq(p.a, p.b);
     case "lt":
-      return ge(p.a, p.b);
     case "le":
-      return gt(p.a, p.b);
     case "gt":
-      return le(p.a, p.b);
     case "ge":
-      return lt(p.a, p.b);
+      return { op: "not", arg: p };
     case "and":
       return or(...p.args.map(negatePred));
     case "or":
@@ -193,6 +202,13 @@ function negatePred(p) {
       );
   }
 }
+function totalOrderDual(p) {
+  if (p.op === "lt") return ge(p.a, p.b);
+  if (p.op === "le") return gt(p.a, p.b);
+  if (p.op === "gt") return le(p.a, p.b);
+  if (p.op === "ge") return lt(p.a, p.b);
+  return void 0;
+}
 function predEquals(a, b) {
   if (a === b) return true;
   if (a.op !== b.op) return false;
@@ -332,14 +348,18 @@ function implies(phi2, pred) {
     if (expanded.op !== "not") {
       return implies(phi2, expanded);
     }
+    const dual = totalOrderDual(pred.arg);
+    if (dual && implies(phi2, dual)) return true;
     if (phi2.op === "not") {
       return implies(pred.arg, phi2.arg);
     }
     if (phi2.op === "and") {
       for (const c of phi2.args) {
         if (c.op === "not" && implies(pred.arg, c.arg)) return true;
+        if (dual && predEquals(c, dual)) return true;
       }
     }
+    if (dual && predEquals(phi2, dual)) return true;
     if (pred.arg.op === "typeof" && impliesNotTypeof(phi2, pred.arg)) return true;
     return false;
   }
@@ -1106,10 +1126,17 @@ function pureFnNameOf(fn) {
   if (impl?.pureName) return impl.pureName;
   return fn._memoize;
 }
-function absFunction(params, impl) {
+function absFunction(params, impl, opts) {
   const a = {
-    shape: { k: "fn", params },
-    conf: "exact"
+    shape: {
+      k: "fn",
+      params,
+      ...opts?.name ? { name: opts.name } : {},
+      ...opts?.paramTypes ? { paramTypes: opts.paramTypes } : {},
+      ...opts?.returnType ? { returnType: opts.returnType } : {},
+      ...opts?.slots ? { slots: opts.slots } : {}
+    },
+    conf: opts?.conf ?? "exact"
   };
   attachFnImpl(a, { params, ...impl });
   return a;
@@ -1164,7 +1191,8 @@ function shapeStableKey(s, seen) {
       const pts = (s.paramTypes ?? []).map((t) => absStableKey(t, seen)).join(",");
       const ret = s.returnType ? absStableKey(s.returnType, seen) : "?";
       const name = s.name ? `#${s.name}` : "";
-      return `fn${name}(${s.params.join(",")}|${pts})=>${ret}`;
+      const slots = s.slots ? `{${Object.keys(s.slots).sort().map((k) => `${k}:${absStableKey(s.slots[k].value, seen)}`).join(",")}}` : "";
+      return `fn${name}(${s.params.join(",")}|${pts})=>${ret}${slots}`;
     }
     case "sum":
       return `sum(${s.members.map((m) => absStableKey(m, seen)).join("|")})`;
@@ -1370,6 +1398,13 @@ function canonicalArrayIndex(v2) {
   }
   return void 0;
 }
+function propertyKeyOf(a) {
+  if (a === void 0) return void 0;
+  if (a.term?.op !== "lit") return void 0;
+  const v2 = a.term.value;
+  if (typeof v2 === "symbol") return void 0;
+  return String(v2);
+}
 function objOf(slots, opts) {
   const shape = { k: "obj", slots };
   if (opts?.index) shape.index = opts.index;
@@ -1382,6 +1417,25 @@ function isObj(a) {
 function getSlot(slots, key) {
   return Object.prototype.hasOwnProperty.call(slots, key) ? slots[key] : void 0;
 }
+function setSlot(slots, key, slot) {
+  Object.defineProperty(slots, key, {
+    value: slot,
+    enumerable: true,
+    writable: true,
+    configurable: true
+  });
+}
+function setProtoAbs(o, proto) {
+  const pv = litValue(proto);
+  if (pv === null) return markNullProtoObj(o);
+  if (proto.term?.op === "lit" && (pv === void 0 || typeof pv !== "object")) {
+    return o;
+  }
+  if (isObj(o)) {
+    o.shape.open = true;
+  }
+  return o;
+}
 function spread(base, over) {
   if (!isObj(base) && !isObj(over)) {
     if (isObj(over)) return { shape: { ...over.shape, open: true }, conf: confJoin(base.conf, over.conf) };
@@ -1400,7 +1454,7 @@ function spread(base, over) {
     const indexSlots = spreadIndexSlots(over);
     if (indexSlots && isObj(base)) {
       const slots2 = { ...base.shape.slots };
-      for (const [k, s] of Object.entries(indexSlots)) slots2[k] = s;
+      for (const [k, s] of Object.entries(indexSlots)) setSlot(slots2, k, s);
       const shape2 = { k: "obj", slots: slots2 };
       if (base.shape.open) shape2.open = true;
       return { shape: shape2, conf: confJoin(base.conf, over.conf) };
@@ -1416,7 +1470,7 @@ function spread(base, over) {
   }
   const slots = { ...base.shape.slots };
   for (const [k, s] of Object.entries(over.shape.slots)) {
-    slots[k] = s;
+    setSlot(slots, k, s);
   }
   const open = base.shape.open || over.shape.open || false;
   const shape = { k: "obj", slots };
@@ -1440,8 +1494,9 @@ function spreadIndexSlots(over) {
   const sv = over.term?.op === "lit" && typeof over.term.value === "string" ? over.term.value : void 0;
   if (sv !== void 0) {
     const slots = {};
-    let i = 0;
-    for (const ch of sv) slots[String(i++)] = { value: strLit(ch) };
+    for (let i = 0; i < sv.length; i++) {
+      slots[String(i)] = { value: strLit(sv[i]) };
+    }
     return slots;
   }
   return void 0;
@@ -1466,7 +1521,7 @@ function joinObjects(a, b) {
     const optional = sa.optional || sb.optional;
     const jv = joinValues(sa.value, sb.value);
     conf = confJoin(conf, jv.conf);
-    slots[k] = { value: jv, optional };
+    setSlot(slots, k, { value: jv, optional });
   }
   return { shape: { k: "obj", slots }, conf };
 }
@@ -1803,10 +1858,10 @@ function tryPromoteDirectCall(env, calleeName, args, loc) {
   });
   return env.vars.get(calleeName);
 }
-function tryPromoteHofCallback(env, cbName, method, argAbses, loc) {
+function tryPromoteHofCallback(env, cevalName, method, argAbses, loc) {
   const hc = env.hofCollect;
-  if (!hc || !hc.paramNames.has(cbName)) return void 0;
-  const prev = env.vars.get(cbName);
+  if (!hc || !hc.paramNames.has(cevalName)) return void 0;
+  const prev = env.vars.get(cevalName);
   if (!prev) return void 0;
   if (prev.shape.k !== "any" && prev.shape.k !== "unknown") return void 0;
   let paramTypes;
@@ -1820,12 +1875,12 @@ function tryPromoteHofCallback(env, cbName, method, argAbses, loc) {
     paramTypes = argAbses.map(
       (a) => abs({ k: "any" }, alphaOf(a, hc), void 0, "path")
     );
-    returnType = abs({ k: "any" }, betaOf(cbName), void 0, "path");
+    returnType = abs({ k: "any" }, betaOf(cevalName), void 0, "path");
   } else {
     paramTypes = argAbses.map(
       (a) => abs({ k: "any" }, alphaOf(a, hc), void 0, "path")
     );
-    returnType = abs({ k: "any" }, betaOf(cbName), void 0, "path");
+    returnType = abs({ k: "any" }, betaOf(cevalName), void 0, "path");
   }
   const fnShape = {
     k: "fn",
@@ -1833,14 +1888,14 @@ function tryPromoteHofCallback(env, cbName, method, argAbses, loc) {
     paramTypes,
     returnType
   };
-  promoteParamShape(env, cbName, fnShape, { loc, recordSite: false });
+  promoteParamShape(env, cevalName, fnShape, { loc, recordSite: false });
   hc.sites.push({
-    param: cbName,
+    param: cevalName,
     argTerms: argAbses.map((a) => a.term ?? { op: "var", id: "_" }),
     result: returnType,
     loc
   });
-  return env.vars.get(cbName);
+  return env.vars.get(cevalName);
 }
 function snapshotAbs(a) {
   const shape = a.shape;
@@ -1871,7 +1926,12 @@ function snapshotAbs(a) {
           const nextSlot = { value: snapshotAbs(slot.value) };
           if (slot.optional) nextSlot.optional = true;
           if (slot.readonly) nextSlot.readonly = true;
-          slots[k] = nextSlot;
+          Object.defineProperty(slots, k, {
+            value: nextSlot,
+            enumerable: true,
+            writable: true,
+            configurable: true
+          });
         }
         const next = { k: "obj", slots };
         if (s.index) {
@@ -2117,7 +2177,12 @@ function substShape(s, map, cache, visiting) {
         const nextSlot = { value: substAbsInner(slot.value, map, cache, visiting) };
         if (slot.optional) nextSlot.optional = true;
         if (slot.readonly) nextSlot.readonly = true;
-        slots[k] = nextSlot;
+        Object.defineProperty(slots, k, {
+          value: nextSlot,
+          enumerable: true,
+          writable: true,
+          configurable: true
+        });
       }
       const next = { k: "obj", slots };
       if (s.index) {
@@ -2466,21 +2531,60 @@ function concatString(a, b) {
   }
   const aParts = coerceToStringParts(a);
   const bParts = coerceToStringParts(b);
-  if (!aParts || !bParts) return abs({ k: "unknown" }, void 0, void 0, "partial");
+  if (!aParts || !bParts) {
+    if (isStrPrim2(a) || isStrPrim2(b)) {
+      return abs({ k: "prim", type: "string" }, void 0, void 0, "path");
+    }
+    return abs({ k: "unknown" }, void 0, void 0, "partial");
+  }
   return createTemplateAbs([...aParts, ...bParts]);
 }
 function coerceToStringParts(a) {
   if (isTemplateAbs(a) || isStrPrim2(a)) return templatePartsOf(a);
   if (isStrLit(a)) return [a];
-  const lv = litValue(a);
-  if (typeof lv === "number" || typeof lv === "boolean") {
-    return [abs({ k: "prim", type: "string" }, lit(String(lv)), void 0, "exact")];
+  if (a.term?.op === "lit") {
+    const v2 = a.term.value;
+    if (typeof v2 === "symbol") return void 0;
+    return [abs({ k: "prim", type: "string" }, lit(String(v2)), void 0, "exact")];
   }
   if (a.shape.k === "prim" && a.shape.type === "number") {
     return [a];
   }
+  if (a.shape.k === "tuple" || a.shape.k === "arr") {
+    return [arrayToPrimitiveString(a)];
+  }
+  if (a.shape.k === "obj" && !a.shape.open && !a.shape.index && !isNullProtoObj(a)) {
+    const slots = a.shape.slots;
+    if (!Object.hasOwn(slots, "toString") && !Object.hasOwn(slots, "valueOf")) {
+      return [
+        abs({ k: "prim", type: "string" }, lit("[object Object]"), void 0, "exact")
+      ];
+    }
+  }
   return void 0;
 }
+function arrayToPrimitiveString(a) {
+  const s = a.shape;
+  const strPrimPart = () => abs({ k: "prim", type: "string" }, void 0, void 0, "path");
+  if (s.k === "arr") return strPrimPart();
+  if (s.k !== "tuple") return strPrimPart();
+  const holes = s.holes ?? [];
+  const parts = [];
+  for (let i = 0; i < s.elements.length; i++) {
+    if (holes.includes(i)) {
+      parts.push("");
+      continue;
+    }
+    const el = s.elements[i];
+    if (el.term?.op !== "lit") return strPrimPart();
+    const v2 = el.term.value;
+    if (typeof v2 === "symbol") return strPrimPart();
+    if (v2 === null || v2 === void 0) parts.push("");
+    else if (typeof v2 === "object") return strPrimPart();
+    else parts.push(String(v2));
+  }
+  return abs({ k: "prim", type: "string" }, lit(parts.join(",")), void 0, "exact");
+}
 
 // src/algebra/symbol-id.ts
 var symbolMeta = /* @__PURE__ */ new WeakMap();
@@ -2689,6 +2793,12 @@ function add(a, b, phi2 = pTrue) {
     if (typeof va === "string" || typeof vb === "string") {
       return strLitResult(String(va) + String(vb));
     }
+    if (typeof va === "bigint" && typeof vb !== "bigint" || typeof vb === "bigint" && typeof va !== "bigint") {
+      throw new NudoThrow(errorTypeAbs("TypeError"));
+    }
+  }
+  if (isStrPrim(a) || isStrPrim(b) || isTemplateLike(a) || isTemplateLike(b)) {
+    return concatString(a, b);
   }
   if (coercibleLit(va) && coercibleLit(vb)) {
     return numLit(Number(va) + Number(vb));
@@ -2698,7 +2808,7 @@ function add(a, b, phi2 = pTrue) {
   if (isBigPrim(a) && isBigPrim(b)) {
     return abs({ k: "prim", type: "bigint" }, void 0, void 0, confJoin(a.conf, b.conf));
   }
-  if (isStrPrim(a) || isStrPrim(b) || isTemplateLike(a) || isTemplateLike(b)) {
+  if (a.shape.k === "tuple" || a.shape.k === "arr" || b.shape.k === "tuple" || b.shape.k === "arr") {
     return concatString(a, b);
   }
   if (isNumPrim(a) && isNumPrim(b)) {
@@ -2714,8 +2824,12 @@ function add(a, b, phi2 = pTrue) {
   }
   if (isAnyLike(a) || isAnyLike(b)) {
     const term = a.term && b.term ? simplifyTerm(app("+", [a.term, b.term])) : void 0;
+    const bigFace = isBigPrim(a) || isBigPrim(b);
     return abs(
-      { k: "sum", members: [num(), str()] },
+      {
+        k: "sum",
+        members: bigFace ? [abs({ k: "prim", type: "bigint" }, void 0, void 0, "exact"), str()] : [num(), str()]
+      },
       term,
       void 0,
       "partial"
@@ -2748,6 +2862,15 @@ function add(a, b, phi2 = pTrue) {
   }
   return abs({ k: "unknown" }, void 0, void 0, "partial");
 }
+function isKnownNonBigintNumeric(a) {
+  const va = litValue(a);
+  if (typeof va === "number" || typeof va === "boolean" || va === null) return true;
+  if (a.term?.op === "lit" && a.term.value === void 0) return true;
+  return a.shape.k === "prim" && (a.shape.type === "number" || a.shape.type === "boolean");
+}
+function isMaybeBigintOperand(a) {
+  return a.shape.k === "any" || a.shape.k === "unknown" || a.shape.k === "obj" || a.shape.k === "fn" || a.shape.k === "brand" || a.shape.k === "sum";
+}
 function foldBigintBinOp(a, b, op) {
   const va = litValue(a);
   const vb = litValue(b);
@@ -2755,13 +2878,27 @@ function foldBigintBinOp(a, b, op) {
   if (typeof va === "bigint" && typeof vb === "bigint") {
     try {
       return bigintLit(op(va, vb));
-    } catch {
-      return abs({ k: "unknown" }, void 0, void 0, "partial");
+    } catch (e) {
+      if (e instanceof RangeError) throw new NudoThrow(errorTypeAbs("RangeError"));
+      throw new NudoThrow(errorTypeAbs("TypeError"));
     }
   }
   const other = typeof va === "bigint" ? b : a;
   if (isBigPrim(other)) return void 0;
-  return abs({ k: "unknown" }, void 0, void 0, "partial");
+  if (isKnownNonBigintNumeric(other)) {
+    throw new NudoThrow(errorTypeAbs("TypeError"));
+  }
+  if (isStrPrim(other)) {
+    throw new NudoThrow(errorTypeAbs("TypeError"));
+  }
+  if (isMaybeBigintOperand(other)) {
+    recordMayThrow({
+      kind: "TypeError",
+      cause: "mixed bigint \u2297 abstract operand"
+    });
+    return void 0;
+  }
+  throw new NudoThrow(errorTypeAbs("TypeError"));
 }
 function dedupAbsMembers(ms) {
   const seen = /* @__PURE__ */ new Set();
@@ -2784,6 +2921,12 @@ function strLitResult(s) {
 function normalizeNegZero(n) {
   return n === 0 ? 0 : n;
 }
+function ieeeBound(n, strict, strictZeroOk) {
+  if (!Number.isFinite(n)) return void 0;
+  const z = normalizeNegZero(n);
+  if (z === 0 && strict && !strictZeroOk) return void 0;
+  return z;
+}
 function isAnyLike(a) {
   if (a.shape.k === "any") return true;
   if (a.shape.k === "unknown") return true;
@@ -2794,8 +2937,9 @@ function coercibleLit(v2) {
 }
 function toNumberResult(a, b, op) {
   const term = a.term && b.term ? app(op, [a.term, b.term]) : void 0;
+  const bigFace = isBigPrim(a) || isBigPrim(b);
   return abs(
-    { k: "prim", type: "number" },
+    bigFace ? { k: "prim", type: "bigint" } : { k: "prim", type: "number" },
     term,
     void 0,
     term ? confJoin(confJoin(a.conf, b.conf), "partial") : "partial"
@@ -2806,18 +2950,22 @@ function isNumericLike(a) {
 }
 function addPred(a, b, sumTerm, phi2) {
   const aBounds = numericBounds(a, phi2);
-  const bBounds = numericBounds(b, phi2);
-  if (!aBounds && !bBounds) return void 0;
+  const evalBounds = numericBounds(b, phi2);
+  if (!aBounds && !evalBounds) return void 0;
   const facts = [];
-  if (aBounds?.lo !== void 0 && bBounds?.lo !== void 0) {
-    const loSum = aBounds.lo.value + bBounds.lo.value;
-    const strict = aBounds.lo.strict || bBounds.lo.strict;
-    facts.push(strict ? gt(sumTerm, lit(loSum)) : ge(sumTerm, lit(loSum)));
+  if (aBounds?.lo !== void 0 && evalBounds?.lo !== void 0) {
+    const strict = aBounds.lo.strict || evalBounds.lo.strict;
+    const loSum = ieeeBound(aBounds.lo.value + evalBounds.lo.value, strict, true);
+    if (loSum !== void 0) {
+      facts.push(strict ? gt(sumTerm, lit(loSum)) : ge(sumTerm, lit(loSum)));
+    }
   }
-  if (aBounds?.hi !== void 0 && bBounds?.hi !== void 0) {
-    const hiSum = aBounds.hi.value + bBounds.hi.value;
-    const strict = aBounds.hi.strict || bBounds.hi.strict;
-    facts.push(strict ? lt(sumTerm, lit(hiSum)) : le(sumTerm, lit(hiSum)));
+  if (aBounds?.hi !== void 0 && evalBounds?.hi !== void 0) {
+    const strict = aBounds.hi.strict || evalBounds.hi.strict;
+    const hiSum = ieeeBound(aBounds.hi.value + evalBounds.hi.value, strict, true);
+    if (hiSum !== void 0) {
+      facts.push(strict ? lt(sumTerm, lit(hiSum)) : le(sumTerm, lit(hiSum)));
+    }
   }
   if (facts.length === 0) return void 0;
   return and(...facts);
@@ -2831,77 +2979,57 @@ function numericBounds(a, phi2 = pTrue) {
   if (a.term?.op === "var") {
     collectBoundsFromPhi(phi2, a.term.id, result);
   }
-  if (a.term?.op === "lit" && typeof a.term.value === "number") {
+  if (a.term?.op === "lit" && typeof a.term.value === "number" && !Number.isNaN(a.term.value)) {
     result.lo = { value: a.term.value, strict: false };
     result.hi = { value: a.term.value, strict: false };
   }
   if (result.lo === void 0 && result.hi === void 0) return void 0;
   return result;
 }
+function tightenLo2(acc, n, strict) {
+  if (acc.lo === void 0 || n > acc.lo.value || n === acc.lo.value && strict && !acc.lo.strict) {
+    acc.lo = { value: n, strict };
+  }
+}
+function tightenHi2(acc, n, strict) {
+  if (acc.hi === void 0 || n < acc.hi.value || n === acc.hi.value && strict && !acc.hi.strict) {
+    acc.hi = { value: n, strict };
+  }
+}
+function noteBoundFromRel(p, isTarget, acc) {
+  if (p.op !== "gt" && p.op !== "ge" && p.op !== "lt" && p.op !== "le") return;
+  let op = p.op;
+  let litSide;
+  if (isTarget(p.a) && p.b.op === "lit" && typeof p.b.value === "number") {
+    litSide = p.b;
+  } else if (isTarget(p.b) && p.a.op === "lit" && typeof p.a.value === "number") {
+    op = op === "gt" ? "lt" : op === "lt" ? "gt" : op === "ge" ? "le" : "ge";
+    litSide = p.a;
+  } else {
+    return;
+  }
+  const n = litSide.value;
+  if (op === "gt") tightenLo2(acc, n, true);
+  else if (op === "ge") tightenLo2(acc, n, false);
+  else if (op === "lt") tightenHi2(acc, n, true);
+  else tightenHi2(acc, n, false);
+}
 function collectBoundsFromPred(pred, term, acc) {
-  const match = (t) => termToString(t) === termToString(term);
+  const isTarget = (t) => termToString(t) === termToString(term);
   const apply = (p) => {
     if (p.op === "and") {
       p.args.forEach(apply);
       return;
     }
-    if (p.op === "gt" && match(p.a) && p.b.op === "lit" && typeof p.b.value === "number") {
-      const n = p.b.value;
-      if (acc.lo === void 0 || n > acc.lo.value || n === acc.lo.value && !acc.lo.strict) {
-        acc.lo = { value: n, strict: true };
-      }
-      return;
-    }
-    if (p.op === "ge" && match(p.a) && p.b.op === "lit" && typeof p.b.value === "number") {
-      const n = p.b.value;
-      if (acc.lo === void 0 || n > acc.lo.value) {
-        acc.lo = { value: n, strict: false };
-      }
-      return;
-    }
-    if (p.op === "lt" && match(p.a) && p.b.op === "lit" && typeof p.b.value === "number") {
-      const n = p.b.value;
-      if (acc.hi === void 0 || n < acc.hi.value || n === acc.hi.value && !acc.hi.strict) {
-        acc.hi = { value: n, strict: true };
-      }
-      return;
-    }
-    if (p.op === "le" && match(p.a) && p.b.op === "lit" && typeof p.b.value === "number") {
-      const n = p.b.value;
-      if (acc.hi === void 0 || n < acc.hi.value) {
-        acc.hi = { value: n, strict: false };
-      }
-    }
+    noteBoundFromRel(p, isTarget, acc);
   };
   apply(pred);
 }
 function collectBoundsFromPhi(phi2, id, acc) {
+  const isTarget = (t) => t.op === "var" && t.id === id;
   const conjs = phi2.op === "and" ? phi2.args : [phi2];
   for (const p of conjs) {
-    if (p.op === "gt" && p.a.op === "var" && p.a.id === id && p.b.op === "lit" && typeof p.b.value === "number") {
-      const n = p.b.value;
-      if (acc.lo === void 0 || n > acc.lo.value || n === acc.lo.value && !acc.lo.strict) {
-        acc.lo = { value: n, strict: true };
-      }
-    }
-    if (p.op === "ge" && p.a.op === "var" && p.a.id === id && p.b.op === "lit" && typeof p.b.value === "number") {
-      const n = p.b.value;
-      if (acc.lo === void 0 || n > acc.lo.value) {
-        acc.lo = { value: n, strict: false };
-      }
-    }
-    if (p.op === "lt" && p.a.op === "var" && p.a.id === id && p.b.op === "lit" && typeof p.b.value === "number") {
-      const n = p.b.value;
-      if (acc.hi === void 0 || n < acc.hi.value || n === acc.hi.value && !acc.hi.strict) {
-        acc.hi = { value: n, strict: true };
-      }
-    }
-    if (p.op === "le" && p.a.op === "var" && p.a.id === id && p.b.op === "lit" && typeof p.b.value === "number") {
-      const n = p.b.value;
-      if (acc.hi === void 0 || n < acc.hi.value) {
-        acc.hi = { value: n, strict: false };
-      }
-    }
+    noteBoundFromRel(p, isTarget, acc);
   }
 }
 function sub(a, b, phi2 = pTrue) {
@@ -2924,14 +3052,18 @@ function sub(a, b, phi2 = pTrue) {
     const bb = numericBounds(b, phi2);
     const facts = [];
     if (ab?.lo !== void 0 && bb?.hi !== void 0) {
-      const lo = ab.lo.value - bb.hi.value;
       const strict = ab.lo.strict || bb.hi.strict;
-      facts.push(strict ? gt(term, lit(lo)) : ge(term, lit(lo)));
+      const lo = ieeeBound(ab.lo.value - bb.hi.value, strict, true);
+      if (lo !== void 0) {
+        facts.push(strict ? gt(term, lit(lo)) : ge(term, lit(lo)));
+      }
     }
     if (ab?.hi !== void 0 && bb?.lo !== void 0) {
-      const hi = ab.hi.value - bb.lo.value;
       const strict = ab.hi.strict || bb.lo.strict;
-      facts.push(strict ? lt(term, lit(hi)) : le(term, lit(hi)));
+      const hi = ieeeBound(ab.hi.value - bb.lo.value, strict, true);
+      if (hi !== void 0) {
+        facts.push(strict ? lt(term, lit(hi)) : le(term, lit(hi)));
+      }
     }
     const conf = term.op === "lit" ? "exact" : confJoin(confJoin(a.conf, b.conf), facts.length ? "path" : "path");
     return abs({ k: "prim", type: "number" }, term, facts.length ? and(...facts) : void 0, conf);
@@ -2969,25 +3101,26 @@ function mul(a, b, phi2 = pTrue) {
       k = a.term.value;
       base = b;
     }
-    if (k !== void 0 && base !== void 0 && k !== 0) {
+    if (k !== void 0 && base !== void 0 && k !== 0 && Number.isFinite(k)) {
+      const strictZeroOk = Math.abs(k) >= 1;
       const ab = numericBounds(base, phi2);
       const facts = [];
       if (ab?.lo !== void 0) {
         if (k > 0) {
-          const lo = ab.lo.value * k;
-          facts.push(ab.lo.strict ? gt(term, lit(lo)) : ge(term, lit(lo)));
+          const lo = ieeeBound(ab.lo.value * k, ab.lo.strict, strictZeroOk);
+          if (lo !== void 0) facts.push(ab.lo.strict ? gt(term, lit(lo)) : ge(term, lit(lo)));
         } else {
-          const hi = ab.lo.value * k;
-          facts.push(ab.lo.strict ? lt(term, lit(normalizeNegZero(hi))) : le(term, lit(normalizeNegZero(hi))));
+          const hi = ieeeBound(ab.lo.value * k, ab.lo.strict, strictZeroOk);
+          if (hi !== void 0) facts.push(ab.lo.strict ? lt(term, lit(hi)) : le(term, lit(hi)));
         }
       }
       if (ab?.hi !== void 0) {
         if (k > 0) {
-          const hi = ab.hi.value * k;
-          facts.push(ab.hi.strict ? lt(term, lit(hi)) : le(term, lit(hi)));
+          const hi = ieeeBound(ab.hi.value * k, ab.hi.strict, strictZeroOk);
+          if (hi !== void 0) facts.push(ab.hi.strict ? lt(term, lit(hi)) : le(term, lit(hi)));
         } else {
-          const lo = ab.hi.value * k;
-          facts.push(ab.hi.strict ? gt(term, lit(normalizeNegZero(lo))) : ge(term, lit(normalizeNegZero(lo))));
+          const lo = ieeeBound(ab.hi.value * k, ab.hi.strict, strictZeroOk);
+          if (lo !== void 0) facts.push(ab.hi.strict ? gt(term, lit(lo)) : ge(term, lit(lo)));
         }
       }
       return abs(
@@ -3031,19 +3164,24 @@ function div(a, b, phi2 = pTrue) {
   }
   if (isNumericLike(a) && isNumericLike(b) && a.term && b.term) {
     const term = simplifyTerm(app("/", [a.term, b.term]));
-    if (b.term.op === "lit" && typeof b.term.value === "number" && b.term.value !== 0) {
+    if (b.term.op === "lit" && typeof b.term.value === "number" && b.term.value !== 0 && Number.isFinite(b.term.value)) {
       const k = b.term.value;
+      const strictZeroOk = Math.abs(k) <= 1;
       const ab = numericBounds(a, phi2);
       const facts = [];
       if (ab?.lo !== void 0) {
-        const lo = ab.lo.value / k;
-        if (k > 0) facts.push(ab.lo.strict ? gt(term, lit(lo)) : ge(term, lit(lo)));
-        else facts.push(ab.lo.strict ? lt(term, lit(lo)) : le(term, lit(lo)));
+        const lo = ieeeBound(ab.lo.value / k, ab.lo.strict, strictZeroOk);
+        if (lo !== void 0) {
+          if (k > 0) facts.push(ab.lo.strict ? gt(term, lit(lo)) : ge(term, lit(lo)));
+          else facts.push(ab.lo.strict ? lt(term, lit(lo)) : le(term, lit(lo)));
+        }
       }
       if (ab?.hi !== void 0) {
-        const hi = ab.hi.value / k;
-        if (k > 0) facts.push(ab.hi.strict ? lt(term, lit(hi)) : le(term, lit(hi)));
-        else facts.push(ab.hi.strict ? gt(term, lit(hi)) : ge(term, lit(hi)));
+        const hi = ieeeBound(ab.hi.value / k, ab.hi.strict, strictZeroOk);
+        if (hi !== void 0) {
+          if (k > 0) facts.push(ab.hi.strict ? lt(term, lit(hi)) : le(term, lit(hi)));
+          else facts.push(ab.hi.strict ? gt(term, lit(hi)) : ge(term, lit(hi)));
+        }
       }
       return abs(
         num().shape,
@@ -3124,8 +3262,9 @@ function cmp(op, a, b, phi2 = pTrue) {
   if (a.term && b.term) {
     const pred = op === "lt" ? lt(a.term, b.term) : op === "le" ? le(a.term, b.term) : op === "gt" ? gt(a.term, b.term) : op === "ge" ? ge(a.term, b.term) : op === "eq" ? { op: "eq", a: a.term, b: b.term } : { op: "ne", a: a.term, b: b.term };
     if (implies(phi2, pred)) return boolLit(true);
-    const neg = op === "lt" ? ge(a.term, b.term) : op === "le" ? gt(a.term, b.term) : op === "gt" ? le(a.term, b.term) : op === "ge" ? lt(a.term, b.term) : op === "eq" ? { op: "ne", a: a.term, b: b.term } : { op: "eq", a: a.term, b: b.term };
-    if (implies(phi2, neg)) return boolLit(false);
+    if (implies(phi2, negatePred(pred))) return boolLit(false);
+    const dual = totalOrderDual(pred) ?? (op === "eq" ? { op: "ne", a: a.term, b: b.term } : op === "ne" ? { op: "eq", a: a.term, b: b.term } : void 0);
+    if (dual && implies(phi2, dual)) return boolLit(false);
     const decided = decideByBounds(op, a, b, phi2);
     if (decided !== void 0) return boolLit(decided);
     return {
@@ -3189,24 +3328,26 @@ function decideByBounds(op, a, b, phi2) {
   const aHi = aB?.hi;
   const bLo = bB?.lo;
   const bHi = bB?.hi;
+  const tighterHi = (x, y) => x.value < y.value || x.value === y.value && (x.strict || y.strict);
+  const tighterLo = (x, y) => x.value > y.value || x.value === y.value && (x.strict || y.strict);
   if (op === "lt") {
-    if (aHi && bLo && aHi.value < bLo.value) return true;
+    if (aHi && bLo && tighterHi(aHi, bLo)) return true;
     if (aLo && bHi && aLo.value >= bHi.value) return false;
     return void 0;
   }
   if (op === "le") {
-    if (aHi && bLo && aHi.value < bLo.value) return true;
-    if (aLo && bHi && aLo.value > bHi.value) return false;
+    if (aHi && bLo && aHi.value <= bLo.value) return true;
+    if (aLo && bHi && tighterLo(aLo, bHi)) return false;
     return void 0;
   }
   if (op === "gt") {
-    if (aLo && bHi && aLo.value > bHi.value) return true;
+    if (aLo && bHi && tighterLo(aLo, bHi)) return true;
     if (aHi && bLo && aHi.value <= bLo.value) return false;
     return void 0;
   }
   if (op === "ge") {
     if (aLo && bHi && aLo.value >= bHi.value) return true;
-    if (aHi && bLo && aHi.value < bLo.value) return false;
+    if (aHi && bLo && tighterHi(aHi, bLo)) return false;
     return void 0;
   }
   return void 0;
@@ -3264,6 +3405,13 @@ function extStateOf(o) {
 function getPropFlags(o) {
   return propFlagsTable.get(o);
 }
+function enumOwnKeys(o, slots) {
+  const flags = getPropFlags(o);
+  return Object.keys(slots).filter((k) => flags?.get(k)?.enumerable !== false);
+}
+function isEnumerableView(o, key) {
+  return getPropFlags(o)?.get(key)?.enumerable !== false;
+}
 function setPropFlags(o, key, f) {
   let m = propFlagsTable.get(o);
   if (!m) {
@@ -3531,7 +3679,7 @@ function assignSourceSlots(src) {
       const slots = {};
       for (const [k, v2] of Object.entries(inner.shape.slots)) {
         if (k === "length") continue;
-        slots[k] = v2;
+        setSlot(slots, k, v2);
       }
       if (Object.keys(slots).length > 0 || !inner.shape.open) return slots;
     }
@@ -3616,8 +3764,12 @@ function evalObjectMethod(name, args) {
         );
       }
       if (a0?.term?.op === "lit" && typeof a0.term.value === "string") {
+        const s = a0.term.value;
         return abs(
-          { k: "tuple", elements: Array.from(a0.term.value, (c) => strLit(c)) },
+          {
+            k: "tuple",
+            elements: Array.from({ length: s.length }, (_, i) => strLit(s[i]))
+          },
           void 0,
           void 0,
           "exact"
@@ -3647,12 +3799,13 @@ function evalObjectMethod(name, args) {
         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(
-              a0.term.value,
-              (c, i) => abs({ k: "tuple", elements: [strLit(String(i)), strLit(c)] }, void 0, void 0, "exact")
+              { length: s.length },
+              (_, i) => abs({ k: "tuple", elements: [strLit(String(i)), strLit(s[i])] }, void 0, void 0, "exact")
             )
           },
           void 0,
@@ -3687,6 +3840,21 @@ function evalObjectMethod(name, args) {
       }
       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 pv = litValue(p0);
+      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];
@@ -3703,7 +3871,11 @@ function evalObjectMethod(name, args) {
         if (acc.shape.k === "obj" && src.shape.k === "obj") {
           const base = acc.shape.slots;
           const over = src.shape.slots;
-          acc = abs({ k: "obj", slots: { ...base, ...over } }, void 0, void 0, confJoin(acc.conf, src.conf));
+          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) {
@@ -3948,9 +4120,9 @@ function jsonValueToAbs(v2) {
   if (Array.isArray(v2)) {
     return abs({ k: "tuple", elements: v2.map(jsonValueToAbs) }, void 0, void 0, "exact");
   }
-  const slots = {};
+  const slots = /* @__PURE__ */ Object.create(null);
   for (const [k, sv] of Object.entries(v2)) {
-    slots[k] = { value: jsonValueToAbs(sv) };
+    setSlot(slots, k, { value: jsonValueToAbs(sv) });
   }
   return abs({ k: "obj", slots }, void 0, void 0, "exact");
 }
@@ -4004,9 +4176,7 @@ function evalJsonMethod(name, args) {
       const t = spaceArg.term;
       if (t?.op !== "lit") return str2("partial");
       const sv = t.value;
-      if (typeof sv === "number") {
-        space = Number.isFinite(sv) ? Math.min(10, Math.max(0, Math.floor(sv))) : 0;
-      } else if (typeof sv === "string") {
+      if (typeof sv === "number" || typeof sv === "string") {
         space = sv;
       } else if (sv !== void 0 && sv !== null) {
         return str2("partial");
@@ -4808,7 +4978,12 @@ function evalArrayStatic(name, args) {
       return boolLit(false);
     }
     case "of":
-      return abs({ k: "arr", element: a0 ?? unknown }, void 0, void 0, "path");
+      return abs(
+        { k: "tuple", elements: args.map((a) => asAbs(a) ?? unknown) },
+        void 0,
+        void 0,
+        "exact"
+      );
     case "from": {
       const mapFn = args[1];
       const hasMapFn = mapFn !== void 0 && mapFn !== null;
@@ -5438,6 +5613,37 @@ function evalBuiltinNew(className, args) {
       return evalPromiseCtor(args);
     case "Array":
       return makeArrayCtorAbs(args);
+    case "Number":
+    case "Boolean":
+      return abs(
+        { k: "brand", name: className, shape: objOf({}) },
+        void 0,
+        void 0,
+        "path"
+      );
+    case "String": {
+      const a0 = args[0] ? litValue(args[0]) : void 0;
+      if (typeof a0 === "string") {
+        const slots = {
+          length: { value: numLit(a0.length) }
+        };
+        for (let i = 0; i < a0.length; i++) {
+          slots[String(i)] = { value: strLit(a0[i]) };
+        }
+        return abs(
+          { k: "brand", name: "String", shape: objOf(slots) },
+          void 0,
+          void 0,
+          "exact"
+        );
+      }
+      return abs(
+        { k: "brand", name: "String", shape: objOf({}, { open: true }) },
+        void 0,
+        void 0,
+        "path"
+      );
+    }
     case "Map":
       if (ctorArgDefinitelyInvalid("Map", args[0])) {
         throw new NudoThrow(errorTypeAbs("TypeError"));
@@ -5681,6 +5887,7 @@ function evalObjectProtoMethod(name, thisVal, args) {
       if (!vObjLike && vk !== "sum" && vk !== "any" && vk !== "unknown") return boolLit(false);
       if (vObjLike && isNullProtoObj(v2)) return boolLit(false);
       if (isObjectProtoBrand(thisVal)) {
+        if (isObjectProtoBrand(v2)) return boolLit(false);
         return vObjLike ? boolLit(true) : boolPrimB();
       }
       return boolPrimB();
@@ -5714,27 +5921,50 @@ function objectProtoMethodAbs(name) {
 function coercibleNumberLit(v2) {
   return typeof v2 === "number" || typeof v2 === "string" || typeof v2 === "boolean" || v2 === null;
 }
-function unknownPartial() {
-  return abs({ k: "unknown" }, void 0, void 0, "partial");
+function isKnownNonBigintNumeric2(a) {
+  const va = litValue(a);
+  if (typeof va === "number" || typeof va === "boolean" || va === null) return true;
+  if (a.term?.op === "lit" && a.term.value === void 0) return true;
+  return a.shape.k === "prim" && (a.shape.type === "number" || a.shape.type === "boolean");
+}
+function isMaybeBigintOperand2(a) {
+  return a.shape.k === "any" || a.shape.k === "unknown" || a.shape.k === "obj" || a.shape.k === "fn" || a.shape.k === "brand" || a.shape.k === "sum";
 }
 function foldNumericBinOp(a, b, numOp, bigOp) {
   const va = litValue(a);
   const vb = litValue(b);
+  if (!bigOp && (typeof va === "bigint" || typeof vb === "bigint" || isBigPrim(a) || isBigPrim(b))) {
+    throw new NudoThrow(errorTypeAbs("TypeError"));
+  }
   if (typeof va === "bigint" || typeof vb === "bigint") {
     if (typeof va === "bigint" && typeof vb === "bigint") {
-      if (!bigOp) return unknownPartial();
+      const op = bigOp;
       try {
         return abs(
           { k: "prim", type: "bigint" },
-          lit(bigOp(va, vb)),
+          lit(op(va, vb)),
           pTrue,
           "exact"
         );
-      } catch {
-        return unknownPartial();
+      } catch (e) {
+        if (e instanceof RangeError) throw new NudoThrow(errorTypeAbs("RangeError"));
+        throw new NudoThrow(errorTypeAbs("TypeError"));
       }
     }
-    return unknownPartial();
+    const other = typeof va === "bigint" ? b : a;
+    if (isBigPrim(other)) return void 0;
+    if (!bigOp) throw new NudoThrow(errorTypeAbs("TypeError"));
+    if (isKnownNonBigintNumeric2(other) || isStrPrim(other)) {
+      throw new NudoThrow(errorTypeAbs("TypeError"));
+    }
+    if (isMaybeBigintOperand2(other)) {
+      recordMayThrow({
+        kind: "TypeError",
+        cause: "mixed bigint \u2297 abstract operand"
+      });
+      return void 0;
+    }
+    throw new NudoThrow(errorTypeAbs("TypeError"));
   }
   if (coercibleNumberLit(va) && coercibleNumberLit(vb)) {
     return abs(
@@ -5749,11 +5979,12 @@ function foldNumericBinOp(a, b, numOp, bigOp) {
 function foldNumericUnOp(a, numOp, bigOp) {
   const v2 = litValue(a);
   if (typeof v2 === "bigint") {
-    if (!bigOp) return unknownPartial();
+    if (!bigOp) throw new NudoThrow(errorTypeAbs("TypeError"));
     try {
       return abs({ k: "prim", type: "bigint" }, lit(bigOp(v2)), pTrue, "exact");
-    } catch {
-      return unknownPartial();
+    } catch (e) {
+      if (e instanceof RangeError) throw new NudoThrow(errorTypeAbs("RangeError"));
+      throw new NudoThrow(errorTypeAbs("TypeError"));
     }
   }
   if (coercibleNumberLit(v2)) {
@@ -5806,10 +6037,65 @@ function ushrAbs(a, b) {
 function powAbs(a, b) {
   return foldNumericBinOp(a, b, (x, y) => x ** y, (x, y) => x ** y) ?? bitwiseResultShape(a, b);
 }
+function toNumericAbs(a) {
+  const v2 = litValue(a);
+  if (typeof v2 === "bigint") return bigintLit(v2);
+  if (isBigPrim(a)) return a;
+  if (a.term?.op === "lit" && a.term.value === void 0) {
+    return abs({ k: "prim", type: "number" }, lit(NaN), pTrue, "exact");
+  }
+  const n = toNumberAbs(a);
+  if (n.shape.k === "unknown") {
+    return abs({ k: "prim", type: "number" }, void 0, void 0, "partial");
+  }
+  return n;
+}
+function updateAddAbs(a) {
+  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);
+}
+function updateSubAbs(a) {
+  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 va = litValue(a);
+  const vb = litValue(b);
+  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 va = litValue(a);
+  const vb = litValue(b);
+  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 toNumberAbs(a) {
   const v2 = litValue(a);
-  if (typeof v2 === "bigint") {
-    return abs({ k: "unknown" }, void 0, void 0, "partial");
+  if (typeof v2 === "bigint" || isBigPrim(a)) {
+    throw new NudoThrow(errorTypeAbs("TypeError"));
   }
   if (coercibleNumberLit(v2)) {
     return abs({ k: "prim", type: "number" }, lit(Number(v2)), pTrue, "exact");
@@ -5984,8 +6270,8 @@ function strictEqAbs(a, b) {
     if (an !== void 0 && bn !== void 0) return an === bn;
   }
   const aIsAbs = !!(a && typeof a === "object" && "shape" in a);
-  const bIsAbs = !!(b && typeof b === "object" && "shape" in b);
-  if (!aIsAbs || !bIsAbs) {
+  const evalIsAbs = !!(b && typeof b === "object" && "shape" in b);
+  if (!aIsAbs || !evalIsAbs) {
     return a === b ? true : void 0;
   }
   if (a.term?.op === "lit" && b.term?.op === "lit") {
@@ -6011,8 +6297,8 @@ function strictEqAbs(a, b) {
   const vb = litValue(b);
   if (va !== void 0 && vb !== void 0) return va === vb;
   const aNullish = va === null || a.term?.op === "lit" && a.term.value === void 0;
-  const bNullish = vb === null || b.term?.op === "lit" && b.term.value === void 0;
-  if (bNullish && definitelyNotNullishShape(a.shape)) return false;
+  const evalNullish = vb === null || b.term?.op === "lit" && b.term.value === void 0;
+  if (evalNullish && definitelyNotNullishShape(a.shape)) return false;
   if (aNullish && definitelyNotNullishShape(b.shape)) return false;
   if (a.term && b.term && a.term.op === "var" && b.term.op === "var" && a.term.id === b.term.id) {
     const k = a.shape.k;
@@ -6090,6 +6376,18 @@ function isFoldableIndexArg(x) {
   const v2 = x.term.value;
   return v2 === void 0 || typeof v2 === "number" || typeof v2 === "string" || typeof v2 === "boolean" || v2 === null;
 }
+function toIntegerOrInfinityLit(x) {
+  if (x === void 0) return 0;
+  if (x.term?.op !== "lit") return void 0;
+  const v2 = x.term.value;
+  if (typeof v2 === "symbol" || typeof v2 === "bigint") return void 0;
+  if (v2 === void 0) return 0;
+  const n = Number(v2);
+  if (Number.isNaN(n)) return 0;
+  if (n === Infinity) return Infinity;
+  if (n === -Infinity) return -Infinity;
+  return Math.trunc(n);
+}
 function toStringArg(x) {
   if (x === void 0) return "undefined";
   if (x.term?.op !== "lit") return void 0;
@@ -6100,6 +6398,14 @@ function toStringArg(x) {
 function isUndefinedArg(x) {
   return x === void 0 || x.term?.op === "lit" && x.term.value === void 0;
 }
+function toUint32Limit(v2) {
+  if (typeof v2 === "bigint" || typeof v2 === "symbol") return void 0;
+  const n = Number(v2);
+  if (!Number.isFinite(n) || n === 0) return 0;
+  const int = Math.trunc(n);
+  const mod2 = int % 4294967296;
+  return mod2 < 0 ? mod2 + 4294967296 : mod2;
+}
 function callAbsMethod(recv, name, args) {
   if (!isStrRecv(recv)) return void 0;
   const a0 = args[0] ? litValue(args[0]) : void 0;
@@ -6172,7 +6478,9 @@ function callAbsMethod(recv, name, args) {
         if (name === "slice") {
           return strLit(lit3.slice(a0, a1));
         }
-        return strLit(lit3.substring(Number(a0 ?? 0), Number(a1 ?? lit3.length)));
+        const start = toIntegerOrInfinityLit(args[0]) ?? 0;
+        const end = isUndefinedArg(args[1]) ? lit3.length : toIntegerOrInfinityLit(args[1]) ?? 0;
+        return strLit(lit3.substring(start, end));
       }
       return strPrim("path");
     case "charAt": {
@@ -6180,6 +6488,14 @@ function callAbsMethod(recv, name, args) {
       if (!isFoldableIndexArg(args[0])) return strPrim("path");
       return strLit(lit3.charAt(Number(a0 ?? 0)));
     }
+    case "at": {
+      if (lit3 === void 0) return strPrim("path");
+      const iv = toIntegerOrInfinityLit(args[0]);
+      if (iv === void 0) return strPrim("path");
+      const idx = iv < 0 ? lit3.length + iv : iv;
+      if (idx >= 0 && idx < lit3.length) return strLit(lit3[idx]);
+      return undefAbs();
+    }
     case "toString":
     case "valueOf":
       return lit3 !== void 0 ? strLit(lit3) : strPrim("path");
@@ -6218,8 +6534,9 @@ function callAbsMethod(recv, name, args) {
         if (isUndefinedArg(args[0])) {
           const one = abs({ k: "tuple", elements: [strLit(lit3)] }, void 0, void 0, "exact");
           if (lim === void 0) return one;
-          const n = Number(lim);
-          if (!(n > 0)) return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
+          const n = toUint32Limit(lim);
+          if (n === void 0) return strArr("path");
+          if (n === 0) return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
           return one;
         }
         const sep = toStringArg(args[0]);
@@ -6417,7 +6734,12 @@ function mergeInstanceFields(instance, fields, className) {
   const fieldObj = fields.shape.k === "brand" ? fields.shape.shape : fields;
   if (fieldObj.shape.k === "obj") {
     for (const [k, s] of Object.entries(fieldObj.shape.slots)) {
-      slots[k] = s;
+      Object.defineProperty(slots, k, {
+        value: s,
+        enumerable: true,
+        writable: true,
+        configurable: true
+      });
     }
   }
   return abs(
@@ -6612,15 +6934,23 @@ function classFromMethods(name, methods, superClass, superShape) {
   const slots = {};
   if (superShape?.shape.k === "obj") {
     for (const [k, s] of Object.entries(superShape.shape.slots)) {
-      slots[k] = s;
+      Object.defineProperty(slots, k, {
+        value: s,
+        enumerable: true,
+        writable: true,
+        configurable: true
+      });
     }
   }
   for (const m of methods) {
     methodMap.set(m.name, m);
     if (m.kind !== "constructor") {
-      slots[m.name] = {
-        value: abs({ k: "fn", params: m.params, name: m.name }, void 0, void 0, "exact")
-      };
+      Object.defineProperty(slots, m.name, {
+        value: abs({ k: "fn", params: m.params, name: m.name }, void 0, void 0, "exact"),
+        enumerable: true,
+        writable: true,
+        configurable: true
+      });
     }
   }
   return {
@@ -6655,21 +6985,21 @@ function leqAbs(src, tgt, opts = {}) {
 function leqWithPred(src, tgt, phi2, env, depth) {
   if (depth > 32) return fail("leq depth exceeded");
   if (src.shape.k === "never") return ok();
-  if (tgt.shape.k === "any" || tgt.shape.k === "unknown") return ok();
-  if (src.shape.k === "any") return ok();
-  const sv = litValue(src);
-  const tv = litValue(tgt);
-  const sameLit = sv === tv || typeof sv === "number" && typeof tv === "number" && Number.isNaN(sv) && Number.isNaN(tv);
-  if (sv !== void 0 && tv !== void 0) {
+  const srcLitTerm = src.term?.op === "lit" ? src.term : void 0;
+  const tgtLitTerm = tgt.term?.op === "lit" ? tgt.term : void 0;
+  if (tgtLitTerm && srcLitTerm) {
+    const sv = srcLitTerm.value;
+    const tv = tgtLitTerm.value;
+    const sameLit = sv === tv || typeof sv === "number" && typeof tv === "number" && Number.isNaN(sv) && Number.isNaN(tv);
     if (sameLit) return ok();
-    if (tgt.shape.k === "prim") {
-      return fail(`lit ${String(sv)} \u22AD lit ${String(tv)}`);
-    }
-  } else if (tv !== void 0 && sv === void 0) {
-    if (tgt.shape.k === "prim") {
-      return fail(`non-lit prim \u22AD lit ${String(tv)}`);
-    }
+    return fail(`lit ${String(sv)} \u22AD lit ${String(tv)}`);
+  }
+  if (tgtLitTerm && !srcLitTerm) {
+    if (src.shape.k === "any") return ok();
+    return fail(`non-lit \u22AD lit ${String(tgtLitTerm.value)}`);
   }
+  if (tgt.shape.k === "any" || tgt.shape.k === "unknown") return ok();
+  if (src.shape.k === "any") return ok();
   const shapeR = leqShape(src, tgt, phi2, env, depth);
   if (!shapeR.ok) return shapeR;
   return leqPred(src, tgt, phi2, depth);
@@ -6884,12 +7214,16 @@ function formatShape(a) {
     case "any":
       return "any";
     case "unknown": {
-      if (a.term?.op === "lit" && a.term.value === void 0) return "undefined";
+      if (a.term?.op === "lit") {
+        if (a.term.value === void 0) return "undefined";
+        if (a.term.value === null) return "null";
+      }
       return "unknown";
     }
     case "prim": {
       const lv = litValue(a);
       if (typeof lv === "number" && !Number.isFinite(lv)) return String(lv);
+      if (typeof lv === "number" && Object.is(lv, -0)) return "-0";
       if (typeof lv === "bigint") return `${String(lv)}n`;
       if (lv !== void 0) return JSON.stringify(lv);
       return s.type;
@@ -7247,7 +7581,12 @@ function litAbsFromJs(v2, depth = 0) {
       if (proto === Object.prototype || proto === null) {
         const slots = {};
         for (const [k, val] of Object.entries(v2)) {
-          slots[k] = { value: litAbsFromJs(val, depth + 1) };
+          Object.defineProperty(slots, k, {
+            value: { value: litAbsFromJs(val, depth + 1) },
+            enumerable: true,
+            writable: true,
+            configurable: true
+          });
         }
         return objOf(slots);
       }
@@ -7485,6 +7824,15 @@ function $pow(a, b) {
 function $toNumber(a) {
   return toNumberAbs(a);
 }
+function $toNumeric(a) {
+  return toNumericAbs(a);
+}
+function $updateAdd(a) {
+  return updateAddAbs(a);
+}
+function $updateSub(a) {
+  return updateSubAbs(a);
+}
 function $neg(a) {
   return negAbs(a);
 }
@@ -8414,18 +8762,15 @@ function emitArrMutatorRebinds(expr, opts, pad) {
     }
     if (node.type === "UpdateExpression" && node.argument) {
       const arg = node.argument;
-      const fn = node.operator === "++" ? "$add" : "$sub";
-      const isPostfix = node.prefix !== true;
-      if (arg.type === "Identifier" && arg.name) {
-        if (isPostfix) lines.push(`${pad}${arg.name} = ${fn}(${arg.name}, $lit(1));`);
-      } else if (arg.type === "MemberExpression") {
+      const fn = node.operator === "++" ? "$updateAdd" : "$updateSub";
+      if (arg.type === "MemberExpression") {
         const path = memberPathOf(
           arg,
           opts
         );
         if (path) {
           const readSrc = readPathSrc(path);
-          lines.push(`${pad}${path.rootSrc} = ${setPathSrc(path, `${fn}(${readSrc}, $lit(1))`)};`);
+          lines.push(`${pad}${path.rootSrc} = ${setPathSrc(path, `${fn}(${readSrc})`)};`);
         }
       }
     }
@@ -9165,7 +9510,7 @@ ${pad}export default ${name};`;
         const stepPart = (u) => {
           const upd = u;
           if (upd.type === "UpdateExpression" && upd.argument?.type === "Identifier" && upd.argument.name) {
-            return `${upd.argument.name} = ${upd.operator === "++" ? "$add" : "$sub"}(${upd.argument.name}, $lit(1))`;
+            return `${upd.argument.name} = ${upd.operator === "++" ? "$updateAdd" : "$updateSub"}(${upd.argument.name})`;
           }
           if (upd.type === "SequenceExpression") {
             return (upd.expressions ?? []).map((e) => stepPart(e)).join(", ");
@@ -9884,6 +10229,128 @@ function transpileShortCircuitExpr(opts, parts) {
     `})()`
   ].join("\n");
 }
+function isChainLink(n) {
+  return n.type === "MemberExpression" || n.type === "OptionalMemberExpression" || n.type === "CallExpression" || n.type === "OptionalCallExpression";
+}
+function linkIsOptional(n) {
+  return n.optional === true;
+}
+function chainNeedsShortCircuit(n) {
+  let cur = n;
+  while (isChainLink(cur)) {
+    if (linkIsOptional(cur)) return true;
+    cur = cur.callee ?? cur.object;
+  }
+  return false;
+}
+function flattenChain(expr, opts) {
+  const hops = [];
+  let cur = expr;
+  while (isChainLink(cur)) {
+    const optional = linkIsOptional(cur);
+    if (cur.type === "CallExpression" || cur.type === "OptionalCallExpression") {
+      const args = (cur.arguments ?? []).map(
+        (a) => a.type === "SpreadElement" ? "$unknown()" : transpileExpression(a, opts)
+      ).join(", ");
+      const loc = cur.loc;
+      const locArg = loc ? `, [${loc.start.line}, ${loc.start.column}]` : "";
+      const callee = cur.callee;
+      const calleeProp = callee?.property;
+      const methodName = callee && (callee.type === "MemberExpression" || callee.type === "OptionalMemberExpression") ? !callee.computed && calleeProp?.type === "Identifier" ? calleeProp.name : callee.computed && calleeProp?.type === "StringLiteral" ? String(calleeProp.value) : void 0 : void 0;
+      if (callee && methodName !== void 0) {
+        const recvNode = callee.object;
+        hops.unshift({
+          kind: "invoke",
+          method: JSON.stringify(methodName),
+          argsSrc: `[${args}]`,
+          locArg,
+          recvOptional: linkIsOptional(callee),
+          fnOptional: linkIsOptional(cur),
+          recvName: recvNode?.type === "Identifier" && recvNode.name ? recvNode.name : void 0
+        });
+        cur = callee.object;
+        continue;
+      }
+      hops.unshift({ kind: "call", argsSrc: `[${args}]`, optional: linkIsOptional(cur), locArg });
+      cur = cur.callee ?? cur.object;
+      continue;
+    }
+    const optionalM = optional;
+    if (cur.computed) {
+      const key = cur.property;
+      if (key?.type === "StringLiteral") {
+        hops.unshift({ kind: "get", key: JSON.stringify(key.value), optional: optionalM });
+      } else if (key?.type === "NumericLiteral") {
+        hops.unshift({ kind: "idx", keySrc: `$lit(${key.value})`, optional: optionalM });
+      } else if (isExpression(cur.property)) {
+        hops.unshift({
+          kind: "idx",
+          keySrc: transpileExpression(cur.property, opts),
+          optional: optionalM
+        });
+      } else {
+        return void 0;
+      }
+      cur = cur.object;
+      continue;
+    }
+    const prop = cur.property;
+    if (prop?.type !== "Identifier") return void 0;
+    if (prop.name === "length") {
+      hops.unshift({ kind: "len", optional: optionalM });
+    } else {
+      hops.unshift({ kind: "get", key: JSON.stringify(prop.name), optional: optionalM });
+    }
+    cur = cur.object;
+  }
+  if (cur.type === "Super") return void 0;
+  const baseSrc = isExpression(cur) ? transpileExpression(cur, opts) : void 0;
+  if (baseSrc === void 0) return void 0;
+  return { baseSrc, hops };
+}
+function emitChainFrom(hops, i, valSrc) {
+  if (i >= hops.length) return valSrc;
+  const hop = hops[i];
+  const rest = (recv) => emitChainFrom(hops, i + 1, recv);
+  switch (hop.kind) {
+    case "get":
+      return hop.optional ? shortCircuitHop(valSrc, `$get($__oc, ${hop.key})`, hops, i) : rest(`$get(${valSrc}, ${hop.key})`);
+    case "idx":
+      return hop.optional ? shortCircuitHop(valSrc, `$idx($__oc, ${hop.keySrc})`, hops, i) : rest(`$idx(${valSrc}, ${hop.keySrc})`);
+    case "len":
+      return hop.optional ? shortCircuitHop(valSrc, `$len($__oc)`, hops, i) : rest(`$len(${valSrc})`);
+    case "call":
+      return hop.optional ? shortCircuitHop(valSrc, `$callNamed("call", $__oc, ${hop.argsSrc}${hop.locArg})`, hops, i) : rest(`$callNamed("call", ${valSrc}, ${hop.argsSrc}${hop.locArg})`);
+    case "invoke": {
+      const invokeOf = (recv, fnCheck) => {
+        let call = `$invoke(${recv}, ${hop.method}, ${hop.argsSrc}${hop.locArg})`;
+        const rawMethod = JSON.parse(hop.method);
+        if (hop.recvName && REGEX_STATEFUL_NAMES.has(rawMethod)) {
+          call = `(() => { const __v = ${call}; ${hop.recvName} = $reStateCall(${hop.recvName}, ${hop.method}, ${hop.argsSrc}); return __v; })()`;
+        }
+        if (!fnCheck) return call;
+        return `(($__fn) => $fork($nullishTest($__fn), () => $lit(undefined), () => ${call}))($get(${recv}, ${hop.method}))`;
+      };
+      if (hop.recvOptional) {
+        return shortCircuitHop(valSrc, invokeOf("$__oc", hop.fnOptional), hops, i);
+      }
+      return rest(invokeOf(valSrc, hop.fnOptional));
+    }
+  }
+}
+function shortCircuitHop(valSrc, appliedWithOc, hops, i) {
+  return `(($__oc) => $fork($nullishTest($__oc), () => $lit(undefined), () => ${emitChainFrom(hops, i + 1, appliedWithOc)}))(${valSrc})`;
+}
+function tryTranspileOptionalChain(expr, opts) {
+  const t = expr.type;
+  if (t !== "MemberExpression" && t !== "OptionalMemberExpression" && t !== "CallExpression" && t !== "OptionalCallExpression") {
+    return void 0;
+  }
+  if (!chainNeedsShortCircuit(expr)) return void 0;
+  const flat = flattenChain(expr, opts);
+  if (!flat) return void 0;
+  return emitChainFrom(flat.hops, 0, flat.baseSrc);
+}
 function transpileExpression(expr, opts = {}) {
   const rep = matchReplacement(expr, opts);
   if (rep) return rep;
@@ -9891,6 +10358,8 @@ function transpileExpression(expr, opts = {}) {
   if (anyExpr.type === "ChainExpression" && anyExpr.expression) {
     return transpileExpression(anyExpr.expression, opts);
   }
+  const chainSrc = tryTranspileOptionalChain(expr, opts);
+  if (chainSrc !== void 0) return chainSrc;
   if (anyExpr.type === "Super") {
     return `/* super */`;
   }
@@ -10011,18 +10480,18 @@ function transpileExpression(expr, opts = {}) {
     }
     case "UpdateExpression": {
       const arg = expr.argument;
-      const fn = expr.operator === "++" ? "$add" : "$sub";
+      const fn = expr.operator === "++" ? "$updateAdd" : "$updateSub";
       if (arg.type === "Identifier") {
-        if (expr.prefix) return `${arg.name} = ${fn}(${arg.name}, $lit(1))`;
-        return arg.name;
+        if (expr.prefix) return `${arg.name} = ${fn}(${arg.name})`;
+        return `((__old) => (${arg.name} = ${fn}(__old), __old))($toNumeric(${arg.name}))`;
       }
       if (arg.type === "MemberExpression") {
         const m = arg;
         const path = memberPathOf(m, opts);
         if (path) {
           const readSrc = readPathSrc(path);
-          if (expr.prefix) return `${fn}(${readSrc}, $lit(1))`;
-          return readSrc;
+          if (expr.prefix) return `${fn}(${readSrc})`;
+          return `$toNumeric(${readSrc})`;
         }
       }
       return `/* update ${expr.operator} */ $lit(undefined)`;
@@ -10056,6 +10525,7 @@ function transpileExpression(expr, opts = {}) {
       let acc = null;
       const props = [];
       const accRegs = [];
+      let protoSet = null;
       const flushProps = () => {
         if (props.length === 0) return;
         const obj2 = `$obj({ ${props.join(", ")} })`;
@@ -10077,6 +10547,7 @@ function transpileExpression(expr, opts = {}) {
             return symbolKeyOf(prop.key);
           })();
           if (mkey === null) continue;
+          const isProtoKey = mkey === '"__proto__"';
           const displayNames = paramDisplayNames(prop.params);
           const bindNames = methodBindNames(prop.params);
           const mHasArgs = fnBodyHasOwnArguments({ body: prop.body });
@@ -10088,7 +10559,12 @@ function transpileExpression(expr, opts = {}) {
             argsBinding: mHasArgs ? "__nudoArgs" : void 0
           };
           if (prop.kind === "get" || prop.kind === "set") {
-            props.push(`${mkey}: $lit(undefined)`);
+            const slotSrc = `${mkey}: $lit(undefined)`;
+            if (isProtoKey) {
+              acc = `$setKey(${acc ?? "$obj({})"}, $lit("__proto__"), $lit(undefined))`;
+            } else {
+              props.push(slotSrc);
+            }
             if (prop.kind === "get") {
               const bodySrc2 = `{
 ${emitFnBlockBody(prop.body, 1, methodOpts)}
@@ -10121,7 +10597,11 @@ return __this;
 ${mBodyInner}
 }`;
           const fnValSrc = `$fnVal([${displayNames.map((p) => JSON.stringify(p)).join(", ")}], (${mParams.join(", ")}) => ${bodySrc}, { bindThis: true })`;
-          props.push(`${mkey}: ${fnValSrc}`);
+          if (isProtoKey) {
+            acc = `$setKey(${acc ?? "$obj({})"}, $lit("__proto__"), ${fnValSrc})`;
+          } else {
+            props.push(`${mkey}: ${fnValSrc}`);
+          }
           continue;
         }
         if (prop.type !== "ObjectProperty") continue;
@@ -10143,6 +10623,10 @@ ${mBodyInner}
           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) {
@@ -10183,6 +10667,7 @@ ${mBodyInner}
       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":
@@ -10521,13 +11006,13 @@ function transpileSource(source, opts = {}) {
   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, $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, $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, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(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, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`;
 }
 function transpileFile(file, opts = {}) {
   const runtime = opts.runtimeImport ?? "@nudojs/core/exec";
   const lines = [
-    `// nudo B-path transpile \u2014 values are Abs; operators are overloaded calls`,
-    `import { $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $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, $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, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`,
+    `// 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, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`,
     ``
   ];
   for (const stmt of file.program.body) {
@@ -10552,11 +11037,11 @@ function getAbsCallBudgetStats() {
   return {
     calls: _absTotalCalls,
     maxCalls: MAX_TOTAL_CALLS,
-    forks: _bForkCount,
-    maxForks: _bForkBudgetLimit,
+    forks: _evalForkCount,
+    maxForks: _evalForkBudgetLimit,
     callTruncated: _callTruncated,
-    forkTruncated: _bForkTruncNoted,
-    truncated: _callTruncated || _bForkTruncNoted
+    forkTruncated: _evalForkTruncNoted,
+    truncated: _callTruncated || _evalForkTruncNoted
   };
 }
 function resetAbsCallBudget() {
@@ -10564,7 +11049,7 @@ function resetAbsCallBudget() {
   _absTotalCalls = 0;
   _activeCallKeys = [];
   _callTruncated = false;
-  resetBForkBudget();
+  resetEvalForkBudget();
 }
 function stableCallId(obj2) {
   let id = _fnCallIds.get(obj2);
@@ -10614,41 +11099,41 @@ function exitCall() {
   _absCallDepth--;
   _activeCallKeys.pop();
 }
-var MAX_B_TOTAL_FORKS = 5e3;
-var _bForkBudgetLimit = MAX_B_TOTAL_FORKS;
-var _bForkCount = 0;
-var _bForkTruncNoted = false;
+var MAX_EVAL_TOTAL_FORKS = 5e3;
+var _evalForkBudgetLimit = MAX_EVAL_TOTAL_FORKS;
+var _evalForkCount = 0;
+var _evalForkTruncNoted = false;
 var FORK_TRUNCATION_LABEL = "#fork-budget";
 var HOST_EFFECT_LABEL_PREFIX = "#host-effect:";
 function noteHostEffectBlocked(name) {
   noteAbsTruncation(`${HOST_EFFECT_LABEL_PREFIX}${name}`);
 }
-function noteBForkTruncation() {
+function noteEvalForkTruncation() {
   noteAbsTruncation(FORK_TRUNCATION_LABEL);
 }
-function setBForkBudgetLimit(n) {
+function setEvalForkBudgetLimit(n) {
   if (typeof n === "number" && Number.isFinite(n) && n >= 1) {
-    _bForkBudgetLimit = Math.floor(n);
+    _evalForkBudgetLimit = Math.floor(n);
   } else {
-    _bForkBudgetLimit = MAX_B_TOTAL_FORKS;
+    _evalForkBudgetLimit = MAX_EVAL_TOTAL_FORKS;
   }
-  return _bForkBudgetLimit;
+  return _evalForkBudgetLimit;
 }
-function getBForkBudgetLimit() {
-  return _bForkBudgetLimit;
+function getEvalForkBudgetLimit() {
+  return _evalForkBudgetLimit;
 }
-function getBForkCount() {
-  return _bForkCount;
+function getEvalForkCount() {
+  return _evalForkCount;
 }
-function resetBForkBudget() {
-  _bForkCount = 0;
-  _bForkTruncNoted = false;
+function resetEvalForkBudget() {
+  _evalForkCount = 0;
+  _evalForkTruncNoted = false;
 }
-function bumpBForkBudget() {
-  if (++_bForkCount <= _bForkBudgetLimit) return true;
-  if (!_bForkTruncNoted) {
-    _bForkTruncNoted = true;
-    noteBForkTruncation();
+function bumpEvalForkBudget() {
+  if (++_evalForkCount <= _evalForkBudgetLimit) return true;
+  if (!_evalForkTruncNoted) {
+    _evalForkTruncNoted = true;
+    noteEvalForkTruncation();
   }
   return false;
 }
@@ -10723,6 +11208,7 @@ __export(runtime_exports, {
   $regex: () => $regex,
   $rethrowIfNudoReturn: () => $rethrowIfNudoReturn,
   $set: () => $set,
+  $setProto: () => $setProto,
   $shl: () => $shl,
   $shr: () => $shr,
   $spread: () => $spread,
@@ -10730,6 +11216,7 @@ __export(runtime_exports, {
   $switch: () => $switch,
   $throw: () => $throw,
   $toNumber: () => $toNumber,
+  $toNumeric: () => $toNumeric,
   $tryCurrentMark: () => $tryCurrentMark,
   $tryDetachSoftCatch: () => $tryDetachSoftCatch,
   $tryDigestSoftCatch: () => $tryDigestSoftCatch,
@@ -10742,6 +11229,8 @@ __export(runtime_exports, {
   $tryTakeSince: () => $tryTakeSince,
   $typeof: () => $typeof,
   $unknown: () => $unknown,
+  $updateAdd: () => $updateAdd,
+  $updateSub: () => $updateSub,
   $ushr: () => $ushr,
   $while: () => $while,
   $whileSeq: () => $whileSeq,
@@ -10775,10 +11264,10 @@ __export(runtime_exports, {
 
 // src/algebra/exec/class-registry.ts
 var classRegistry = /* @__PURE__ */ new Map();
-function registerBClass(spec) {
+function registerEvalClass(spec) {
   classRegistry.set(spec.name, spec);
 }
-function getBClass(name) {
+function getEvalClass(name) {
   return classRegistry.get(name);
 }
 function clearBClasses() {
@@ -10821,9 +11310,9 @@ function findClassAccessor(startName, key) {
   const seen = /* @__PURE__ */ new Set();
   while (cur && !seen.has(cur)) {
     seen.add(cur);
-    const acc = getBClass(cur)?.accessors?.[key];
+    const acc = getEvalClass(cur)?.accessors?.[key];
     if (acc) return acc;
-    cur = getBClass(cur)?.superName;
+    cur = getEvalClass(cur)?.superName;
   }
   return void 0;
 }
@@ -10832,9 +11321,9 @@ function findStaticClassAccessor(startName, key) {
   const seen = /* @__PURE__ */ new Set();
   while (cur && !seen.has(cur)) {
     seen.add(cur);
-    const acc = getBClass(cur)?.staticAccessors?.[key];
+    const acc = getEvalClass(cur)?.staticAccessors?.[key];
     if (acc) return acc;
-    cur = getBClass(cur)?.superName;
+    cur = getEvalClass(cur)?.superName;
   }
   return void 0;
 }
@@ -10845,10 +11334,11 @@ function $in(key, o) {
   if (o.shape.k === "prim" || o.shape.k === "never" || isNullishLitAbs(o)) {
     return unknown;
   }
-  const kv = key.term?.op === "lit" ? key.term.value : void 0;
-  if (kv === null || kv === void 0) {
-    return isNullishLitAbs(key) ? unknown : bool();
+  const keyStr = propertyKeyOf(key);
+  if (keyStr === void 0) {
+    return bool();
   }
+  const kv = keyStr;
   if (o.shape.k === "tuple") {
     if (kv === "length") return boolLit(true);
     const idx = canonicalArrayIndex(kv);
@@ -10859,8 +11349,6 @@ function $in(key, o) {
     return boolLit(false);
   }
   if (o.shape.k === "arr") return bool();
-  const keyStr = typeof kv === "number" ? String(kv) : typeof kv === "string" ? kv : void 0;
-  if (keyStr === void 0) return bool();
   if (o.shape.k === "obj" || o.shape.k === "brand") {
     const objShape = o.shape.k === "brand" ? o.shape.shape.shape.k === "obj" ? o.shape.shape.shape : void 0 : o.shape;
     if (!objShape) return bool();
@@ -10877,6 +11365,9 @@ function $in(key, o) {
     return boolLit(OBJECT_PROTO_NAMES.has(keyStr));
   }
   if (o.shape.k === "fn") {
+    if (o.shape.slots && getSlot(o.shape.slots, keyStr) && !o.shape.slots[keyStr].optional) {
+      return boolLit(true);
+    }
     return boolLit(OBJECT_PROTO_NAMES.has(keyStr) || FUNCTION_PROTO_NAMES.has(keyStr));
   }
   if (o.shape.k === "eff") {
@@ -10897,8 +11388,8 @@ var BUILTIN_BRAND_METHODS = {
   Promise: /* @__PURE__ */ new Set(["then", "catch", "finally"])
 };
 function brandHasProtoMember(brandName, key) {
-  for (const name of bClassChain(brandName)) {
-    const spec = getBClass(name);
+  for (const name of evalClassChain(brandName)) {
+    const spec = getEvalClass(name);
     if (spec?.methods?.[key]) return true;
     if (spec?.accessors?.[key]) return true;
     const builtin = BUILTIN_BRAND_METHODS[name];
@@ -10916,12 +11407,12 @@ var BUILTIN_ERROR_SUPER2 = {
   EvalError: "Error",
   AggregateError: "Error"
 };
-function bClassChain(name) {
+function evalClassChain(name) {
   const out = [name];
   let cur = name;
   let depth = 0;
   while (cur && depth++ < 32) {
-    const spec = getBClass(cur);
+    const spec = getEvalClass(cur);
     const parent = spec?.superName ?? BUILTIN_ERROR_SUPER2[cur];
     if (!parent || out.includes(parent)) break;
     out.push(parent);
@@ -10978,7 +11469,7 @@ function $instanceof(left, rightName, rightVal) {
         return boolLit(rightName === "Function" || rightName === "Object");
       }
       return boolLit(
-        rightName === "Object" || bClassChain(left.shape.name).includes(rightName)
+        rightName === "Object" || evalClassChain(left.shape.name).includes(rightName)
       );
     case "arr":
     case "tuple":
@@ -11064,7 +11555,7 @@ function $delRes(o, _key) {
   return bool();
 }
 function $del(o, key) {
-  const kv = litValue(key);
+  const keyStr = propertyKeyOf(key);
   if (o.shape.k === "sum") {
     return abs(
       { k: "sum", members: o.shape.members.map((m) => $del(m, key)) },
@@ -11083,7 +11574,6 @@ function $del(o, key) {
     if (clsName) markClassValue(next, clsName);
     return next;
   }
-  const keyStr = typeof kv === "number" ? String(kv) : typeof kv === "string" ? kv : void 0;
   if (o.shape.k === "obj" && keyStr !== void 0) {
     if (getPropFlags(o)?.get(keyStr)?.configurable === false) throwStrictWrite();
     if (o.shape.open) return o;
@@ -11098,7 +11588,7 @@ function $del(o, key) {
     return o;
   }
   if (o.shape.k === "tuple") {
-    const idx = canonicalArrayIndex(kv);
+    const idx = canonicalArrayIndex(keyStr);
     if (idx === void 0 || idx >= o.shape.elements.length) return o;
     o.shape.elements[idx] = $lit(void 0);
     if (!o.shape.holes) o.shape.holes = [];
@@ -11173,7 +11663,9 @@ function toIOI(v2) {
     return Math.trunc(lv);
   }
   if (typeof lv === "string" || typeof lv === "boolean") {
-    return Math.trunc(Number(lv));
+    const n = Number(lv);
+    if (Number.isNaN(n)) return 0;
+    return Math.trunc(n);
   }
   return null;
 }
@@ -11201,7 +11693,7 @@ function copyWithinTuple(shape, vals) {
     if (win) {
       const els = [...shape.elements];
       const holesSet = new Set(origHoles);
-      const backwards = (s ?? 0) < (t ?? 0) && win.s + (win.e - win.s) > win.t;
+      const backwards = win.s < win.t && win.s + (win.e - win.s) > win.t;
       const count = win.e - win.s;
       for (let kk = 0; kk < count; kk++) {
         const k = backwards ? count - 1 - kk : kk;
@@ -11301,7 +11793,7 @@ function $copy(a) {
   if (s.k === "obj") {
     const slots = {};
     for (const [k, v2] of Object.entries(s.slots)) {
-      slots[k] = { ...v2, value: $copy(v2.value) };
+      setSlot(slots, k, { ...v2, value: $copy(v2.value) });
     }
     const next = objOf(slots, {
       index: s.index ? { key: $copy(s.index.key), value: $copy(s.index.value) } : void 0,
@@ -11441,7 +11933,8 @@ function $arrMutContainer(arr, method, args) {
 }
 function $idx(a, i) {
   if (a?.shape?.k === "any") return anyMemberResult();
-  const iv = litValue(i);
+  const keyStr = propertyKeyOf(i);
+  const iv = keyStr !== void 0 ? keyStr : litValue(i);
   const idx = iv !== void 0 ? canonicalArrayIndex(iv) : void 0;
   if (a.shape.k === "tuple") {
     const els = a.shape.elements;
@@ -11478,18 +11971,11 @@ function $idx(a, i) {
   }
   const sv = litValue(a);
   if (typeof sv === "string") {
-    if (typeof iv === "number" && Number.isInteger(iv)) {
-      if (iv >= 0 && iv < sv.length) {
-        return abs(
-          { k: "prim", type: "string" },
-          { op: "lit", value: sv[iv] },
-          pTrue,
-          "exact"
-        );
-      }
-      return undef();
-    }
-    return unknown;
+    if (i.term?.op !== "lit") return unknown;
+    const idx2 = canonicalArrayIndex(i.term.value);
+    if (idx2 === void 0) return undef();
+    if (idx2 < sv.length) return $lit(sv[idx2]);
+    return undef();
   }
   return unknown;
 }
@@ -11500,20 +11986,26 @@ function widenTupleToArr(els, holes, value) {
   return { k: "arr", element: joined };
 }
 function $idxSet(a, i, value) {
-  const iv = litValue(i);
-  if (a.shape.k === "tuple" && typeof iv === "number" && Number.isInteger(iv) && iv >= 0) {
+  const pk = propertyKeyOf(i);
+  const raw = i.term?.op === "lit" ? i.term.value : litValue(i);
+  let numIdx;
+  if (typeof raw === "number") numIdx = raw;
+  else if (typeof raw === "bigint") numIdx = Number(raw);
+  else if (pk !== void 0) numIdx = canonicalArrayIndex(pk);
+  const iv = pk !== void 0 ? pk : litValue(i);
+  if (a.shape.k === "tuple" && numIdx !== void 0 && Number.isInteger(numIdx) && numIdx >= 0) {
     const st = extStateOf(a);
     if (st === "frozen") throwStrictWrite();
-    if ((st === "sealed" || st === "nonext") && iv >= a.shape.elements.length) {
+    if ((st === "sealed" || st === "nonext") && numIdx >= a.shape.elements.length) {
       throwStrictWrite();
     }
-    if (iv >= 4294967295) {
+    if (numIdx >= 4294967295) {
       a.shape = widenTupleToArr(a.shape.elements, a.shape.holes, value);
       a.conf = confJoin(a.conf, "path");
       clearStaleTermPred(a);
       return a;
     }
-    if (iv + 1 > TUPLE_MATERIALIZE_CAP) {
+    if (numIdx + 1 > TUPLE_MATERIALIZE_CAP) {
       a.shape = widenTupleToArr(a.shape.elements, a.shape.holes, value);
       a.conf = confJoin(a.conf, "path");
       clearStaleTermPred(a);
@@ -11521,12 +12013,12 @@ function $idxSet(a, i, value) {
     }
     const els = [...a.shape.elements];
     const holes = [...a.shape.holes ?? []];
-    while (els.length < iv) {
+    while (els.length < numIdx) {
       holes.push(els.length);
       els.push(undef());
     }
-    els[iv] = asAbsVal(value);
-    const hi = holes.indexOf(iv);
+    els[numIdx] = asAbsVal(value);
+    const hi = holes.indexOf(numIdx);
     if (hi >= 0) holes.splice(hi, 1);
     a.shape = { k: "tuple", elements: els, holes: holes.length > 0 ? holes : void 0 };
     clearStaleTermPred(a);
@@ -11549,7 +12041,7 @@ function $idxSet(a, i, value) {
   }
   if (sk === "brand") {
     if (iv === void 0) return a;
-    if (getBClass(a.shape.name)) return $set(a, String(iv), value);
+    if (getEvalClass(a.shape.name)) return $set(a, String(iv), value);
     return a;
   }
   if (sk === "tuple") {
@@ -11590,6 +12082,9 @@ function $len(a) {
       "exact"
     );
   }
+  if (a.shape.k === "prim" && a.shape.type === "string") {
+    return abs({ k: "prim", type: "number" }, void 0, void 0, "path");
+  }
   if (a.shape.k === "brand" && a.shape.name === "String") {
     const inner = a.shape.shape;
     if (inner.shape.k === "obj") {
@@ -11603,10 +12098,17 @@ function $len(a) {
   return unknown;
 }
 function $obj(slots) {
-  const s = {};
-  for (const [k, v2] of Object.entries(slots)) s[k] = { value: asAbsVal(v2) };
+  const s = /* @__PURE__ */ Object.create(null);
+  for (const k of Object.keys(slots)) {
+    setSlot(s, k, { value: asAbsVal(slots[k]) });
+  }
   return objOf(s);
 }
+function $setProto(o, proto) {
+  const next = setProtoAbs(o, proto);
+  if (next !== o) clearStaleTermPred(o);
+  return next;
+}
 function $spread(a, b) {
   let bb = asAbsVal(b);
   const acc = bb && typeof bb === "object" ? accessorTable.get(bb) : void 0;
@@ -11615,7 +12117,7 @@ function $spread(a, b) {
     const slots = { ...bb.shape.slots };
     for (const [k, fn] of acc) {
       if (fn.get) {
-        slots[k] = { value: fn.get(bb) };
+        setSlot(slots, k, { value: fn.get(bb) });
         changed = true;
       }
     }
@@ -11651,7 +12153,7 @@ function $objRest(o, keys) {
   let openRest = o.shape.open === true;
   for (const [k, s] of Object.entries(o.shape.slots)) {
     if (drop.has(k)) continue;
-    slots[k] = s;
+    setSlot(slots, k, s);
   }
   if (o.shape.open) openRest = true;
   const shape = { k: "obj", slots };
@@ -11762,7 +12264,7 @@ function $forInKeys(o) {
     return k !== "" && String(n) === k && Number.isInteger(n) && n >= 0 && n < 4294967295;
   };
   if (shape.k === "obj") {
-    const keys = Object.keys(shape.slots);
+    const keys = enumOwnKeys(o, shape.slots);
     const intKeys = keys.filter(isArrayIndexKey).sort((a, b) => Number(a) - Number(b));
     const strKeys = keys.filter((k) => !isArrayIndexKey(k));
     return $arr([...intKeys, ...strKeys].map((k) => $lit(k)));
@@ -11944,8 +12446,8 @@ function $get(o, key, opts) {
       const sacc = findStaticClassAccessor(o.shape.name, key);
       if (sacc) return sacc.get ? sacc.get(o) : undef();
       if (findClassAccessor(o.shape.name, key)) return undef();
-      for (const n of bClassChain(o.shape.name)) {
-        const spec = getBClass(n);
+      for (const n of evalClassChain(o.shape.name)) {
+        const spec = getEvalClass(n);
         if (spec?.staticMethods?.[key]) {
           return absFunction(spec.staticMethodParams?.[key] ?? [], { body: noBody2 });
         }
@@ -11960,8 +12462,8 @@ function $get(o, key, opts) {
       const acc = findClassAccessor(o.shape.name, key);
       if (acc) return acc.get ? acc.get(o) : undef();
       if (findStaticClassAccessor(o.shape.name, key)) return undef();
-      for (const n of bClassChain(o.shape.name)) {
-        const spec = getBClass(n);
+      for (const n of evalClassChain(o.shape.name)) {
+        const spec = getEvalClass(n);
         if (spec?.methods?.[key]) {
           return absFunction(spec.methodParams?.[key] ?? [], { body: noBody2 });
         }
@@ -11973,6 +12475,13 @@ function $get(o, key, opts) {
     }
     return $get(inner, key, opts);
   }
+  if (o.shape.k === "fn" && o.shape.slots) {
+    const slot = getSlot(o.shape.slots, key);
+    if (slot) {
+      if (slot.optional) return joinAbs(slot.value, undef());
+      return slot.value;
+    }
+  }
   if ((o.shape.k === "tuple" || o.shape.k === "arr") && key === "length") {
     return $len(o);
   }
@@ -11982,6 +12491,16 @@ function $get(o, key, opts) {
     if (idx !== void 0) return idx < els.length ? els[idx] : undef();
     if (!isPossiblyProtoMemberKey(key)) return undef();
   }
+  if (o.shape.k === "prim" && o.shape.type === "string") {
+    const idx = canonicalArrayIndex(key);
+    const sv = litValue(o);
+    if (idx !== void 0) {
+      if (typeof sv === "string") return idx < sv.length ? $lit(sv[idx]) : undef();
+      return abs({ k: "prim", type: "string" }, void 0, void 0, "path");
+    }
+    if (key === "length" && typeof sv === "string") return numLit(sv.length);
+    if (!isPossiblyProtoMemberKey(key) && key !== "length") return undef();
+  }
   if ((o.shape.k === "tuple" || o.shape.k === "arr" || o.shape.k === "prim") && (OBJECT_PROTO_METHOD_NAMES.has(key) || o.shape.k !== "prim" && ARRAY_PROTO_METHOD_NAMES.has(key)) && !(o.shape.k === "prim" && o.shape.type === "string" && key === "toString")) {
     if ((o.shape.k === "tuple" || o.shape.k === "arr") && (key === "toString" || key === "toLocaleString" || key === "join")) {
       return arrayMethodAbs(key === "join" ? "join" : key);
@@ -12087,7 +12606,7 @@ function $set(o, key, value) {
           throwStrictWrite();
         }
         if (getPropFlags(o)?.get(key)?.writable === false) throwStrictWrite();
-        inner2.shape.slots[key] = { value: asAbsVal(value) };
+        setSlot(inner2.shape.slots, key, { value: asAbsVal(value) });
         clearStaleTermPred(o);
         return o;
       }
@@ -12182,7 +12701,10 @@ function $set(o, key, value) {
     if (!acc.set) throwStrictWrite();
     return acc.set(o, value);
   }
-  shape.slots[key] = { value: asAbsVal(value) };
+  if (key === "__proto__" && !isNullProtoObj(o)) {
+    return $setProto(o, value);
+  }
+  setSlot(shape.slots, key, { value: asAbsVal(value) });
   o.conf = confJoin(o.conf, value.conf);
   clearStaleTermPred(o);
   return o;
@@ -12240,8 +12762,8 @@ function runForkArm(arm, exits) {
 }
 function settleForkArms(a, b, exits) {
   const aThrow = a.kind === "throw";
-  const bThrow = b.kind === "throw";
-  if (aThrow && bThrow) {
+  const evalThrow = b.kind === "throw";
+  if (aThrow && evalThrow) {
     throw new NudoThrow(joinAbs(a.v, b.v));
   }
   const first = aThrow ? b : a;
@@ -12249,7 +12771,7 @@ function settleForkArms(a, b, exits) {
   if (first.kind === "ret" && second.kind === "ret") {
     throw new NudoReturn(joinAbs(first.v, second.v));
   }
-  if (aThrow !== bThrow) {
+  if (aThrow !== evalThrow) {
     if (first.kind === "ret") {
       if (!exits) throw new NudoReturn(first.v);
       return undef();
@@ -12289,7 +12811,7 @@ function boundedPhi(p, q) {
 function $fork(test, consequent, alternate) {
   notePromiseExecutorFork();
   const testAbs = asAbsVal(test);
-  if (!bumpBForkBudget()) return unknown;
+  if (!bumpEvalForkBudget()) return unknown;
   const truth = litTruth(testAbs);
   const p = currentExecPhi();
   const tCons = testAbs.pred;
@@ -12687,10 +13209,10 @@ __export(class_exports, {
   $thisSet: () => $thisSet,
   clearBClasses: () => clearBClasses,
   execRegexBrand: () => execRegexBrand,
-  getBClass: () => getBClass,
+  getEvalClass: () => getEvalClass,
   regexExecWithState: () => regexExecWithState,
   regexParts: () => regexParts,
-  registerBClass: () => registerBClass,
+  registerEvalClass: () => registerEvalClass,
   stringRegexMethod: () => stringRegexMethod
 });
 
@@ -12700,29 +13222,29 @@ __export(calls_exports, {
   $assignRecord: () => $assignRecord,
   $callNamed: () => $callNamed,
   $recordBinding: () => $recordBinding,
-  MAX_B_CALL_DEPTH: () => MAX_B_CALL_DEPTH,
-  MAX_B_TOTAL_CALLS: () => MAX_B_TOTAL_CALLS,
+  MAX_EVAL_CALL_DEPTH: () => MAX_EVAL_CALL_DEPTH,
+  MAX_EVAL_TOTAL_CALLS: () => MAX_EVAL_TOTAL_CALLS,
   blockHostSideEffect: () => blockHostSideEffect,
-  getBCallCollector: () => getBCallCollector,
+  getEvalCallCollector: () => getEvalCallCollector,
   neverExecHostName: () => neverExecHostName,
-  noteBCallRecord: () => noteBCallRecord,
-  resetBCallBudget: () => resetBCallBudget,
-  setBAssignCollector: () => setBAssignCollector,
-  setBBindingSink: () => setBBindingSink,
-  setBCallCollector: () => setBCallCollector
+  noteEvalCallRecord: () => noteEvalCallRecord,
+  resetEvalCallBudget: () => resetEvalCallBudget,
+  setEvalAssignCollector: () => setEvalAssignCollector,
+  setEvalBindingSink: () => setEvalBindingSink,
+  setEvalCallCollector: () => setEvalCallCollector
 });
 var pureCallMemo = /* @__PURE__ */ new WeakMap();
-var bCallCollector = null;
-var bAssignCollector = null;
-function setBAssignCollector(collector2) {
-  const prev = bAssignCollector;
-  bAssignCollector = collector2;
+var evalCallCollector = null;
+var evalAssignCollector = null;
+function setEvalAssignCollector(collector2) {
+  const prev = evalAssignCollector;
+  evalAssignCollector = collector2;
   return prev;
 }
 function $assignRecord(name, prev, next, line, column, conditional) {
-  if (!bAssignCollector) return;
+  if (!evalAssignCollector) return;
   try {
-    bAssignCollector({
+    evalAssignCollector({
       name,
       prev,
       next,
@@ -12734,7 +13256,7 @@ function $assignRecord(name, prev, next, line, column, conditional) {
   }
 }
 var bindingSink = null;
-function setBBindingSink(sink) {
+function setEvalBindingSink(sink) {
   bindingSink = sink;
 }
 function $recordBinding(name, value) {
@@ -12779,63 +13301,63 @@ function blockHostSideEffect(fn) {
   noteHostEffectBlocked(hostName);
   return abs({ k: "unknown" }, void 0, void 0, "opaque");
 }
-function noteBCallRecord(r) {
-  if (!bCallCollector) return;
+function noteEvalCallRecord(r) {
+  if (!evalCallCollector) return;
   try {
-    bCallCollector(r);
+    evalCallCollector(r);
   } catch {
   }
 }
-function setBCallCollector(collector2) {
-  const prev = bCallCollector;
-  bCallCollector = collector2;
+function setEvalCallCollector(collector2) {
+  const prev = evalCallCollector;
+  evalCallCollector = collector2;
   return prev;
 }
-function getBCallCollector() {
-  return bCallCollector;
-}
-var MAX_B_CALL_DEPTH = 64;
-var MAX_B_TOTAL_CALLS = 2e4;
-var bCallDepth = 0;
-var bTotalCalls = 0;
-var bActiveCallKeys = [];
-var bFnCallIds = /* @__PURE__ */ new WeakMap();
-var bFnCallIdSeq = 0;
-function bStableId(obj2) {
-  let id = bFnCallIds.get(obj2);
+function getEvalCallCollector() {
+  return evalCallCollector;
+}
+var MAX_EVAL_CALL_DEPTH = 64;
+var MAX_EVAL_TOTAL_CALLS = 2e4;
+var evalCallDepth = 0;
+var evalTotalCalls = 0;
+var evalActiveCallKeys = [];
+var evalFnCallIds = /* @__PURE__ */ new WeakMap();
+var evalFnCallIdSeq = 0;
+function evalStableId(obj2) {
+  let id = evalFnCallIds.get(obj2);
   if (id === void 0) {
-    id = `#${++bFnCallIdSeq}`;
-    bFnCallIds.set(obj2, id);
+    id = `#${++evalFnCallIdSeq}`;
+    evalFnCallIds.set(obj2, id);
   }
   return id;
 }
-function resetBCallBudget() {
-  bCallDepth = 0;
-  bTotalCalls = 0;
-  bActiveCallKeys = [];
-  resetBForkBudget();
+function resetEvalCallBudget() {
+  evalCallDepth = 0;
+  evalTotalCalls = 0;
+  evalActiveCallKeys = [];
+  resetEvalForkBudget();
 }
-function bTruncatedAbs() {
+function evalTruncatedAbs() {
   return abs({ k: "unknown" }, void 0, void 0, "opaque");
 }
-function bCallBudgetKey(name, fn, args) {
-  const id = fn && typeof fn === "object" ? bStableId(fn) : "prim";
+function evalCallBudgetKey(name, fn, args) {
+  const id = fn && typeof fn === "object" ? evalStableId(fn) : "prim";
   return callBudgetKey(name, id, args);
 }
-function bEnterCall(name, fn, args) {
-  const key = bCallBudgetKey(name, fn, args);
-  if (bActiveCallKeys.includes(key) || bCallDepth >= MAX_B_CALL_DEPTH || bTotalCalls >= MAX_B_TOTAL_CALLS) {
+function evalEnterCall(name, fn, args) {
+  const key = evalCallBudgetKey(name, fn, args);
+  if (evalActiveCallKeys.includes(key) || evalCallDepth >= MAX_EVAL_CALL_DEPTH || evalTotalCalls >= MAX_EVAL_TOTAL_CALLS) {
     noteAbsTruncation(name);
     return { ok: false };
   }
-  bActiveCallKeys.push(key);
-  bCallDepth++;
-  bTotalCalls++;
+  evalActiveCallKeys.push(key);
+  evalCallDepth++;
+  evalTotalCalls++;
   return { ok: true, key };
 }
-function bExitCall() {
-  bCallDepth--;
-  bActiveCallKeys.pop();
+function evalExitCall() {
+  evalCallDepth--;
+  evalActiveCallKeys.pop();
 }
 function $callNamed(name, fn, args, loc, argLocs) {
   const pureName = pureFnNameOf(fn);
@@ -12866,26 +13388,26 @@ function $callNamed(name, fn, args, loc, argLocs) {
       } else if (blockedHost !== null) {
         result = blockedHost;
       } else {
-        const entered = bEnterCall(name, fn, args);
+        const entered = evalEnterCall(name, fn, args);
         if (!entered.ok) {
-          result = bTruncatedAbs();
+          result = evalTruncatedAbs();
         } else {
           try {
             result = callAtFunctionBoundary(() => fn(...args));
           } finally {
-            bExitCall();
+            evalExitCall();
           }
         }
       }
     } else if (fn && typeof fn === "object" && "shape" in fn) {
-      const entered = bEnterCall(name, fn, args);
+      const entered = evalEnterCall(name, fn, args);
       if (!entered.ok) {
-        result = bTruncatedAbs();
+        result = evalTruncatedAbs();
       } else {
         try {
           result = $call(fn, args);
         } finally {
-          bExitCall();
+          evalExitCall();
         }
       }
     }
@@ -12902,9 +13424,9 @@ function $callNamed(name, fn, args, loc, argLocs) {
       }
       m.set(pk, result);
     }
-    if (bCallCollector) {
+    if (evalCallCollector) {
       try {
-        bCallCollector({
+        evalCallCollector({
           fnName: name,
           args: argsSnapshot,
           result: threw ? unknown : result,
@@ -13080,12 +13602,12 @@ function $class(name, spec) {
     accessors: spec.accessors,
     staticAccessors: spec.staticAccessors
   };
-  registerBClass(full);
+  registerEvalClass(full);
   const slots = {};
   if (spec.statics) {
-    for (const [k, v2] of Object.entries(spec.statics)) slots[k] = { value: asAbsVal(v2) };
+    for (const [k, v2] of Object.entries(spec.statics)) setSlot(slots, k, { value: asAbsVal(v2) });
   }
-  slots["name"] = { value: strLit(name) };
+  setSlot(slots, "name", { value: strLit(name) });
   const val = abs(
     { k: "brand", name, shape: objOf(slots) },
     void 0,
@@ -13098,7 +13620,7 @@ function $class(name, spec) {
 }
 function specOf(cls) {
   if (classImpl.has(cls)) return classImpl.get(cls);
-  if (cls.shape.k === "brand") return getBClass(cls.shape.name);
+  if (cls.shape.k === "brand") return getEvalClass(cls.shape.name);
   return void 0;
 }
 function findMethod(startName, method) {
@@ -13106,7 +13628,7 @@ function findMethod(startName, method) {
   const seen = /* @__PURE__ */ new Set();
   while (cur && !seen.has(cur)) {
     seen.add(cur);
-    const spec = getBClass(cur);
+    const spec = getEvalClass(cur);
     if (spec?.methods?.[method]) return spec.methods[method];
     cur = spec?.superName;
   }
@@ -13117,7 +13639,7 @@ function findCtor(startName) {
   const seen = /* @__PURE__ */ new Set();
   while (cur && !seen.has(cur)) {
     seen.add(cur);
-    const spec = getBClass(cur);
+    const spec = getEvalClass(cur);
     if (spec?.ctor) return { ctor: spec.ctor, className: cur };
     cur = spec?.superName;
   }
@@ -13127,11 +13649,9 @@ function $new(cls, args) {
   if (cls && typeof cls === "object" && "shape" in cls) {
     const cs = cls.shape;
     const ctorName = cs.k === "brand" ? cs.name : builtinCtorNameOf(cls) ?? (cs.k === "fn" ? cs.name ?? void 0 : void 0);
-    if (ctorName && isErrorCtorName(ctorName)) {
-      return errorBrandAbs(ctorName, args);
-    }
-    if (ctorName === "Promise") {
-      return evalPromiseCtor(args);
+    if (ctorName) {
+      const built = evalBuiltinNew(ctorName, args);
+      if (built !== void 0) return built;
     }
   }
   if (typeof cls === "function") {
@@ -13212,7 +13732,7 @@ function $new(cls, args) {
   return thisVal;
 }
 function $super(thisVal, childName, args) {
-  const child = getBClass(childName);
+  const child = getEvalClass(childName);
   const parentName = child?.superName;
   if (!parentName) return thisVal;
   const found = findCtor(parentName);
@@ -13244,6 +13764,7 @@ function runtimeAssignObject(args) {
     const base = accObj.shape.slots;
     const flags = getPropFlags(accObj);
     for (const [k, s] of Object.entries(srcAbs.shape.slots)) {
+      if (!isEnumerableView(srcAbs, k)) continue;
       if ((st === "sealed" || st === "nonext") && !Object.prototype.hasOwnProperty.call(base, k)) {
         throwStrictAssign();
       }
@@ -13449,7 +13970,7 @@ function $invoke(thisVal, method, args, loc) {
         result = e && typeof e === "object" && "absValue" in e ? e.absValue : unknown;
         throw e;
       } finally {
-        noteBCallRecord({
+        noteEvalCallRecord({
           fnName: `${brandName}.${method}`,
           args,
           result,
@@ -13458,7 +13979,7 @@ function $invoke(thisVal, method, args, loc) {
         });
       }
     }
-    const spec = getBClass(brandName);
+    const spec = getEvalClass(brandName);
     const sm = spec?.staticMethods?.[method];
     if (sm) {
       let result = unknown;
@@ -13471,7 +13992,7 @@ function $invoke(thisVal, method, args, loc) {
         result = e && typeof e === "object" && "absValue" in e ? e.absValue : unknown;
         throw e;
       } finally {
-        noteBCallRecord({
+        noteEvalCallRecord({
           fnName: `${brandName}.${method}`,
           args,
           result,
@@ -13576,7 +14097,7 @@ function $invoke(thisVal, method, args, loc) {
       result = e && typeof e === "object" && "absValue" in e ? e.absValue : unknown;
       throw e;
     } finally {
-      noteBCallRecord({
+      noteEvalCallRecord({
         fnName: recordName,
         args,
         result,
@@ -13904,8 +14425,7 @@ function invokeArrMethod(arr, method, args) {
     if (shape.k === "arr") return joinAbs(shape.element, undefAbs());
   }
   if (method === "at") {
-    const raw = args[0] !== void 0 ? litValue(args[0]) : void 0;
-    const iv = typeof raw === "number" && Number.isInteger(raw) ? raw : void 0;
+    const iv = toIntegerOrInfinityLit(args[0]);
     if (shape.k === "tuple") {
       const els = shape.elements;
       if (iv === void 0) {
@@ -13921,7 +14441,7 @@ function invokeArrMethod(arr, method, args) {
   return void 0;
 }
 function $invokeSuper(thisVal, childName, method, args) {
-  const child = getBClass(childName);
+  const child = getEvalClass(childName);
   const parentName = child?.superName;
   if (!parentName) return unknown;
   const m = findMethod(parentName, method);
@@ -13942,7 +14462,7 @@ function $thisSet(thisVal, key, value) {
   if (thisVal.shape.k === "brand") {
     const inner = thisVal.shape.shape;
     const slots = inner.shape.k === "obj" ? { ...inner.shape.slots } : {};
-    slots[key] = { value: asAbsVal(value) };
+    setSlot(slots, key, { value: asAbsVal(value) });
     return abs(
       {
         k: "brand",
@@ -14027,13 +14547,23 @@ function $staticInvoke(cls, method, args) {
     result = e && typeof e === "object" && "absValue" in e ? e.absValue : unknown;
     throw e;
   } finally {
-    noteBCallRecord({ fnName: recordName, args, result, threw });
+    noteEvalCallRecord({ fnName: recordName, args, result, threw });
   }
 }
 function $setKey(o, key, value) {
-  const k = litValue(key);
+  const pk = propertyKeyOf(key);
+  const k = pk !== void 0 ? pk : litValue(key);
   if (typeof k === "string" || typeof k === "number") {
-    return $set(o, String(k), value);
+    const ks = String(k);
+    if (ks === "__proto__" && o.shape.k === "obj") {
+      setSlot(o.shape.slots, ks, {
+        value: asAbsVal(value)
+      });
+      o.conf = confJoin(o.conf, value.conf);
+      clearStaleTermPred(o);
+      return o;
+    }
+    return $set(o, ks, value);
   }
   const val = asAbsVal(value);
   if (o.shape.k === "brand") {
@@ -14301,7 +14831,7 @@ function bindingsOf(run) {
   return runBindings.get(run);
 }
 function runTranspiled(source, opts = {}) {
-  resetBCallBudget();
+  resetEvalCallBudget();
   const modules = opts.modules ?? {};
   let js = transpile(source, {
     runtimeImport: "@nudojs/core/exec",
@@ -14394,18 +14924,18 @@ ${js}`;
   const ret = `return { ...__nudoExports, ...${cjsMerge}, ${names.join(", ")} };`;
   const fn = new Function(...argNames, `${js}
 ${ret}`);
-  setBBindingSink(bindings);
+  setEvalBindingSink(bindings);
   try {
     const result = fn(...args);
     runBindings.set(result, bindings);
     return result;
   } finally {
-    setBBindingSink(null);
+    setEvalBindingSink(null);
   }
 }
-var bFallbackCollector = null;
-function setBPathFallbackCollector(collector2) {
-  bFallbackCollector = collector2;
+var evalFallbackCollector = null;
+function setEvalFallbackCollector(collector2) {
+  evalFallbackCollector = collector2;
 }
 function evalExprAbs(expr, bindings = {}) {
   const src = transpileExpression(expr, {});
@@ -14418,15 +14948,15 @@ function evalExprAbs(expr, bindings = {}) {
   const factory = new Function(...names, cleaned);
   return factory(...Object.values(rtAllBindings()), ...Object.values(bindings));
 }
-function noteBPathFallback(e) {
-  if (!bFallbackCollector) return;
+function noteEvalFallback(e) {
+  if (!evalFallbackCollector) return;
   const f = e instanceof NudoUnsupportedError ? { reason: `unsupported:${e.reason}`, message: e.message, ...e.loc ? { loc: e.loc } : {} } : isNudoThrow(e) ? (
     // NudoThrow：程序自身的抛（如顶层 this 写 / strict 写 TypeError）——
     // 模块装载失败，不是 B 能力边界也不是 B 缺陷（catch 可吸收）
     { reason: "module-throw", message: e instanceof Error ? e.message : String(e) }
   ) : { reason: "internal", message: e instanceof Error ? e.message : String(e) };
   try {
-    bFallbackCollector(f);
+    evalFallbackCollector(f);
   } catch {
   }
 }
@@ -14434,7 +14964,7 @@ function tryRunTranspiled(source, opts = {}) {
   try {
     return runTranspiled(source, opts);
   } catch (e) {
-    noteBPathFallback(e);
+    noteEvalFallback(e);
     return void 0;
   }
 }
@@ -14444,7 +14974,7 @@ function isAbsVal(v2) {
 function callTranspiledExportFull(exports, name, args, opts) {
   const fn = exports[name];
   if (typeof fn === "function") {
-    resetBCallBudget();
+    resetEvalCallBudget();
     const callArgs = args.map(
       (a) => a && typeof a === "object" && "shape" in a ? $copy(a) : a
     );
@@ -14637,7 +15167,7 @@ function compiledBodyOf(impl) {
     runner = (args) => bodyFn(...args);
     compiledByImpl.set(implKey, runner);
   } catch (e) {
-    noteBPathFallback(e);
+    noteEvalFallback(e);
     return void 0;
   }
   return runner;
@@ -14824,6 +15354,7 @@ export {
   projectDerivationDsl,
   termKey3 as termKey,
   canonicalArrayIndex,
+  propertyKeyOf,
   objOf,
   isObj,
   getSlot,
@@ -15092,6 +15623,9 @@ export {
   $ushr,
   $pow,
   $toNumber,
+  $toNumeric,
+  $updateAdd,
+  $updateSub,
   $neg,
   $typeof,
   $not,
@@ -15144,19 +15678,19 @@ export {
   noteAbsTruncation,
   enterCall,
   exitCall,
-  MAX_B_TOTAL_FORKS,
+  MAX_EVAL_TOTAL_FORKS,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
   noteHostEffectBlocked,
-  noteBForkTruncation,
-  setBForkBudgetLimit,
-  getBForkBudgetLimit,
-  getBForkCount,
-  resetBForkBudget,
-  bumpBForkBudget,
+  noteEvalForkTruncation,
+  setEvalForkBudgetLimit,
+  getEvalForkBudgetLimit,
+  getEvalForkCount,
+  resetEvalForkBudget,
+  bumpEvalForkBudget,
   $call,
-  registerBClass,
-  getBClass,
+  registerEvalClass,
+  getEvalClass,
   clearBClasses,
   $objAccessor,
   lookupObjAccessor,
@@ -15178,6 +15712,7 @@ export {
   $idxSet,
   $len,
   $obj,
+  $setProto,
   $spread,
   $objRest,
   $arrRest,
@@ -15205,16 +15740,16 @@ export {
   $gen,
   $yield,
   $nullishTest,
-  setBAssignCollector,
+  setEvalAssignCollector,
   $assignRecord,
-  setBBindingSink,
+  setEvalBindingSink,
   $recordBinding,
-  noteBCallRecord,
-  setBCallCollector,
-  getBCallCollector,
-  MAX_B_CALL_DEPTH,
-  MAX_B_TOTAL_CALLS,
-  resetBCallBudget,
+  noteEvalCallRecord,
+  setEvalCallCollector,
+  getEvalCallCollector,
+  MAX_EVAL_CALL_DEPTH,
+  MAX_EVAL_TOTAL_CALLS,
+  resetEvalCallBudget,
   $callNamed,
   $reStateCall,
   $class,
@@ -15233,9 +15768,9 @@ export {
   RUNTIME_IMPORT_RE,
   bindingsOf,
   runTranspiled,
-  setBPathFallbackCollector,
+  setEvalFallbackCollector,
   evalExprAbs,
-  noteBPathFallback,
+  noteEvalFallback,
   tryRunTranspiled,
   callTranspiledExportFull,
   callTranspiledExport