@nudojs/core 1.2.0 → 1.2.2

package/dist/{chunk-WB565PQK.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 };
 }
@@ -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) {
@@ -2465,9 +2530,14 @@ function concatString(a, b) {
     );
   }
   const aParts = coerceToStringParts(a);
-  const evalParts = coerceToStringParts(b);
-  if (!aParts || !evalParts) return abs({ k: "unknown" }, void 0, void 0, "partial");
-  return createTemplateAbs([...aParts, ...evalParts]);
+  const bParts = coerceToStringParts(b);
+  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);
@@ -2723,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));
@@ -2732,9 +2808,6 @@ 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)) {
-    return concatString(a, b);
-  }
   if (a.shape.k === "tuple" || a.shape.k === "arr" || b.shape.k === "tuple" || b.shape.k === "arr") {
     return concatString(a, b);
   }
@@ -2751,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"
@@ -2785,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);
@@ -2792,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();
@@ -2821,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;
@@ -2831,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"
@@ -2847,14 +2954,18 @@ function addPred(a, b, sumTerm, phi2) {
   if (!aBounds && !evalBounds) return void 0;
   const facts = [];
   if (aBounds?.lo !== void 0 && evalBounds?.lo !== void 0) {
-    const loSum = aBounds.lo.value + evalBounds.lo.value;
     const strict = aBounds.lo.strict || evalBounds.lo.strict;
-    facts.push(strict ? gt(sumTerm, lit(loSum)) : ge(sumTerm, lit(loSum)));
+    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 && evalBounds?.hi !== void 0) {
-    const hiSum = aBounds.hi.value + evalBounds.hi.value;
     const strict = aBounds.hi.strict || evalBounds.hi.strict;
-    facts.push(strict ? lt(sumTerm, lit(hiSum)) : le(sumTerm, lit(hiSum)));
+    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);
@@ -2868,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) {
@@ -2961,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);
@@ -3006,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(
@@ -3068,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,
@@ -3161,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 {
@@ -3226,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;
@@ -3301,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) {
@@ -3568,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;
     }
@@ -3653,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"
@@ -3684,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,
@@ -3724,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];
@@ -3740,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) {
@@ -3985,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");
 }
@@ -4041,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");
@@ -5480,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"));
@@ -5723,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();
@@ -5756,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(
@@ -5791,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)) {
@@ -5848,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");
@@ -6154,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;
@@ -6226,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": {
@@ -6280,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]);
@@ -6479,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(
@@ -6674,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 {
@@ -6717,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);
@@ -6946,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;
@@ -7309,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);
       }
@@ -7547,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);
 }
@@ -8476,7 +8762,7 @@ function emitArrMutatorRebinds(expr, opts, pad) {
     }
     if (node.type === "UpdateExpression" && node.argument) {
       const arg = node.argument;
-      const fn = node.operator === "++" ? "$add" : "$sub";
+      const fn = node.operator === "++" ? "$updateAdd" : "$updateSub";
       if (arg.type === "MemberExpression") {
         const path = memberPathOf(
           arg,
@@ -8484,7 +8770,7 @@ function emitArrMutatorRebinds(expr, opts, pad) {
         );
         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})`)};`);
         }
       }
     }
@@ -9224,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(", ");
@@ -9943,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;
@@ -9950,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 */`;
   }
@@ -10070,19 +10480,18 @@ function transpileExpression(expr, opts = {}) {
     }
     case "UpdateExpression": {
       const arg = expr.argument;
-      const fn = expr.operator === "++" ? "$add" : "$sub";
-      const undo = expr.operator === "++" ? "$sub" : "$add";
+      const fn = expr.operator === "++" ? "$updateAdd" : "$updateSub";
       if (arg.type === "Identifier") {
-        if (expr.prefix) return `${arg.name} = ${fn}(${arg.name}, $lit(1))`;
-        return `(${arg.name} = ${fn}(${arg.name}, $lit(1)), ${undo}(${arg.name}, $lit(1)))`;
+        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)`;
@@ -10116,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(", ")} })`;
@@ -10137,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 });
@@ -10148,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)}
@@ -10181,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;
@@ -10203,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) {
@@ -10243,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":
@@ -10581,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 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, $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)};`,
+    `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) {
@@ -10783,6 +11208,7 @@ __export(runtime_exports, {
   $regex: () => $regex,
   $rethrowIfNudoReturn: () => $rethrowIfNudoReturn,
   $set: () => $set,
+  $setProto: () => $setProto,
   $shl: () => $shl,
   $shr: () => $shr,
   $spread: () => $spread,
@@ -10790,6 +11216,7 @@ __export(runtime_exports, {
   $switch: () => $switch,
   $throw: () => $throw,
   $toNumber: () => $toNumber,
+  $toNumeric: () => $toNumeric,
   $tryCurrentMark: () => $tryCurrentMark,
   $tryDetachSoftCatch: () => $tryDetachSoftCatch,
   $tryDigestSoftCatch: () => $tryDigestSoftCatch,
@@ -10802,6 +11229,8 @@ __export(runtime_exports, {
   $tryTakeSince: () => $tryTakeSince,
   $typeof: () => $typeof,
   $unknown: () => $unknown,
+  $updateAdd: () => $updateAdd,
+  $updateSub: () => $updateSub,
   $ushr: () => $ushr,
   $while: () => $while,
   $whileSeq: () => $whileSeq,
@@ -10905,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);
@@ -10919,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();
@@ -10937,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") {
@@ -11124,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)) },
@@ -11143,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;
@@ -11158,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 = [];
@@ -11233,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;
 }
@@ -11261,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;
@@ -11361,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,
@@ -11501,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;
@@ -11538,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;
 }
@@ -11560,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);
@@ -11581,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);
@@ -11650,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") {
@@ -11663,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;
@@ -11675,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;
       }
     }
@@ -11711,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 };
@@ -11822,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)));
@@ -12033,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);
   }
@@ -12042,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);
@@ -12147,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;
       }
@@ -12242,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;
@@ -13143,9 +13605,9 @@ function $class(name, spec) {
   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,
@@ -13187,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") {
@@ -13304,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();
       }
@@ -14001,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",
@@ -14090,9 +14551,19 @@ function $staticInvoke(cls, method, args) {
   }
 }
 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") {
@@ -14883,6 +15354,7 @@ export {
   projectDerivationDsl,
   termKey3 as termKey,
   canonicalArrayIndex,
+  propertyKeyOf,
   objOf,
   isObj,
   getSlot,
@@ -15151,6 +15623,9 @@ export {
   $ushr,
   $pow,
   $toNumber,
+  $toNumeric,
+  $updateAdd,
+  $updateSub,
   $neg,
   $typeof,
   $not,
@@ -15237,6 +15712,7 @@ export {
   $idxSet,
   $len,
   $obj,
+  $setProto,
   $spread,
   $objRest,
   $arrRest,