@nudojs/core 1.1.2 → 1.1.4

package/dist/{chunk-UC3LBZYR.js → chunk-SQSO4NKT.js}

@@ -16,7 +16,12 @@ var app = (fn, args) => ({ op: "app", fn, args });
 function termEquals(a, b) {
   if (a === b) return true;
   if (a.op !== b.op) return false;
-  if (a.op === "lit" && b.op === "lit") return a.value === b.value;
+  if (a.op === "lit" && b.op === "lit") {
+    if (typeof a.value === "number" && typeof b.value === "number" && Number.isNaN(a.value) && Number.isNaN(b.value)) {
+      return true;
+    }
+    return a.value === b.value;
+  }
   if (a.op === "var" && b.op === "var") return a.id === b.id;
   if (a.op === "app" && b.op === "app") {
     return a.fn === b.fn && a.args.length === b.args.length && a.args.every((x, i) => termEquals(x, b.args[i]));
@@ -55,18 +60,10 @@ function simplifyTerm(t) {
     const folded = foldLiterals(fn, xs);
     if (folded !== void 0) return lit(folded);
   }
-  if (fn === "+" && args.length === 2) {
-    const [a, b] = args;
-    if (a.op === "lit" && a.value === 0) return b;
-    if (b.op === "lit" && b.value === 0) return a;
-  }
   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;
-    if (a.op === "lit" && a.value === 0 || b.op === "lit" && b.value === 0) {
-      return lit(0);
-    }
   }
   if (fn === "-" && args.length === 2) {
     const [a, b] = args;
@@ -2796,7 +2793,7 @@ function coercibleLit(v2) {
   return v2 !== void 0 && (typeof v2 === "number" || typeof v2 === "string" || typeof v2 === "boolean" || v2 === null);
 }
 function toNumberResult(a, b, op) {
-  const term = a.term && b.term ? simplifyTerm(app(op, [a.term, b.term])) : void 0;
+  const term = a.term && b.term ? app(op, [a.term, b.term]) : void 0;
   return abs(
     { k: "prim", type: "number" },
     term,
@@ -2963,9 +2960,6 @@ function mul(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" && b.term.value === 0 || a.term.op === "lit" && a.term.value === 0) {
-      return numLit(0);
-    }
     let k;
     let base;
     if (b.term.op === "lit" && typeof b.term.value === "number") {
@@ -3077,9 +3071,6 @@ function mod(a, b, phi2 = pTrue) {
     return abs({ k: "prim", type: "bigint" }, void 0, void 0, confJoin(a.conf, b.conf));
   }
   if (typeof va === "number" && typeof vb === "number") {
-    if (vb === 0) {
-      return abs(num().shape, void 0, void 0, "path");
-    }
     return numLit(va % vb);
   }
   if (coercibleLit(va) && coercibleLit(vb)) {
@@ -3087,14 +3078,24 @@ function mod(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") {
+      const bv = b.term.value;
+      if (typeof bv === "number" && (bv === 0 || Number.isNaN(bv))) {
+        return numLit(NaN);
+      }
+    }
+    if (b.term.op === "lit" && typeof b.term.value === "number" && Number.isFinite(b.term.value) && b.term.value !== 0) {
       const k = Math.abs(b.term.value);
-      return abs(
-        num().shape,
-        term,
-        and(gt(term, lit(-k)), lt(term, lit(k))),
-        confJoin(confJoin(a.conf, b.conf), "path")
-      );
+      const ab = numericBounds(a, phi2);
+      const finiteDividend = ab?.lo !== void 0 && ab?.hi !== void 0 && Number.isFinite(ab.lo.value) && Number.isFinite(ab.hi.value);
+      if (finiteDividend) {
+        return abs(
+          num().shape,
+          term,
+          and(gt(term, lit(-k)), lt(term, lit(k))),
+          confJoin(confJoin(a.conf, b.conf), "path")
+        );
+      }
     }
     return abs(num().shape, term, void 0, confJoin(confJoin(a.conf, b.conf), "path"));
   }
@@ -3107,11 +3108,18 @@ function mod(a, b, phi2 = pTrue) {
   return abs({ k: "unknown" }, void 0, void 0, "partial");
 }
 function cmp(op, a, b, phi2 = pTrue) {
-  const va = litValue(a);
-  const vb = litValue(b);
-  if (va !== void 0 && vb !== void 0) {
-    const result = compareLits(op, va, vb);
+  const ta = a.term;
+  const tb = b.term;
+  if (ta?.op === "lit" && tb?.op === "lit") {
+    const result = compareLits(op, ta.value, tb.value);
     if (result !== void 0) return boolLit(result);
+  } else {
+    const va = litValue(a);
+    const vb = litValue(b);
+    if (va !== void 0 && vb !== void 0) {
+      const result = compareLits(op, va, vb);
+      if (result !== void 0) return boolLit(result);
+    }
   }
   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 };
@@ -3298,54 +3306,36 @@ function isPrimLike(a) {
 }
 
 // src/algebra/builtins/math.ts
+function coerceMathArg(a) {
+  if (!a || a.term?.op !== "lit") return void 0;
+  const v2 = a.term.value;
+  if (typeof v2 === "number") return v2;
+  if (typeof v2 === "string") return Number(v2);
+  if (typeof v2 === "boolean") return v2 ? 1 : 0;
+  if (v2 === null) return 0;
+  if (v2 === void 0) return void 0;
+  return "throw";
+}
+function mathMethod(name) {
+  if (!Object.hasOwn(Math, name)) return void 0;
+  const impl = Math[name];
+  return typeof impl === "function" ? impl : void 0;
+}
 function evalMathMethod(name, args) {
-  const a0 = args[0] ? litValue(args[0]) : void 0;
-  const a1 = args[1] ? litValue(args[1]) : void 0;
-  switch (name) {
-    case "abs":
-      if (typeof a0 === "number") return numLit(Math.abs(a0));
-      return numPrim();
-    case "floor":
-      if (typeof a0 === "number") return numLit(Math.floor(a0));
-      return numPrim();
-    case "ceil":
-      if (typeof a0 === "number") return numLit(Math.ceil(a0));
-      return numPrim();
-    case "round":
-      if (typeof a0 === "number") return numLit(Math.round(a0));
-      return numPrim();
-    case "random":
-      return numPrim("path");
-    case "sqrt":
-      if (typeof a0 === "number") return numLit(Math.sqrt(a0));
-      return numPrim();
-    case "min": {
-      const lits = args.map(litValue);
-      if (lits.length > 0 && lits.every((x) => typeof x === "number")) {
-        return numLit(Math.min(...lits));
-      }
-      return numPrim();
-    }
-    case "max": {
-      const lits = args.map(litValue);
-      if (lits.length > 0 && lits.every((x) => typeof x === "number")) {
-        return numLit(Math.max(...lits));
-      }
-      return numPrim();
-    }
-    case "pow":
-      if (typeof a0 === "number" && typeof a1 === "number") return numLit(Math.pow(a0, a1));
-      return numPrim();
-    case "sign":
-      if (typeof a0 === "number") return numLit(Math.sign(a0));
-      return numPrim();
-    case "atan2":
-      if (typeof a0 === "number" && typeof a1 === "number") {
-        return numLit(Math.atan2(a0, a1));
-      }
-      return numPrim();
-    default:
-      return void 0;
+  if (name === "random") return numPrim("path");
+  const impl = mathMethod(name);
+  if (!impl) return void 0;
+  const nums = [];
+  for (const a of args) {
+    const n = coerceMathArg(a);
+    if (n === void 0) return numPrim();
+    if (n === "throw") throw new NudoThrow(errorTypeAbs("TypeError"));
+    nums.push(n);
+  }
+  try {
+    return numLit(impl(...nums));
+  } catch {
+    return numPrim();
   }
 }
 
@@ -3964,6 +3954,11 @@ function jsonValueToAbs(v2) {
   }
   return abs({ k: "obj", slots }, void 0, void 0, "exact");
 }
+function isNonJsonTopLevel(a) {
+  if (a.shape.k === "fn") return true;
+  if (a.shape.k === "prim" && a.shape.type === "symbol") return true;
+  return false;
+}
 function evalJsonMethod(name, args) {
   if (name === "parse") {
     const a0Abs = args[0];
@@ -3986,7 +3981,10 @@ function evalJsonMethod(name, args) {
     const a0Abs = args[0];
     if (!a0Abs) return undefAbs();
     const v2 = absToJsonNative(a0Abs, /* @__PURE__ */ new Set());
-    if (v2 === NOT_LITERAL) return str2("partial");
+    if (v2 === NOT_LITERAL) {
+      if (isNonJsonTopLevel(a0Abs)) return undefAbs();
+      return str2("partial");
+    }
     const replacerArg = args[1];
     let replacer;
     if (replacerArg) {
@@ -4028,34 +4026,60 @@ function evalJsonMethod(name, args) {
 function foldParseInt(s, radix) {
   const str6 = String(s);
   if (radix === void 0) return numLit(parseInt(str6));
-  const r = radix | 0;
+  const r = Number(radix) | 0;
   if (r === 0) return numLit(parseInt(str6));
   if (r < 2 || r > 36) return numLit(NaN);
   return numLit(parseInt(str6, r));
 }
+function foldParseFloat(s) {
+  return numLit(parseFloat(String(s)));
+}
+function toStringLitArg(a) {
+  if (!a) return { lit: true, v: void 0 };
+  if (a.term?.op !== "lit") return { lit: false };
+  const v2 = a.term.value;
+  if (typeof v2 === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
+  return { lit: true, v: v2 };
+}
+function radixLitArg(a) {
+  if (!a) return { ok: true, v: void 0 };
+  if (a.term?.op !== "lit") return { ok: false };
+  const v2 = a.term.value;
+  if (typeof v2 === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
+  if (v2 === void 0) return { ok: true, v: void 0 };
+  if (typeof v2 === "number" || typeof v2 === "string" || typeof v2 === "boolean" || v2 === null) {
+    return { ok: true, v: v2 };
+  }
+  return { ok: false };
+}
 function evalNumberStatic(name, args) {
-  const a0 = args[0] ? litValue(args[0]) : void 0;
+  const a0Arg = args[0];
+  const a0 = a0Arg ? litValue(a0Arg) : void 0;
+  const foldStrictNumberPred = (pred) => {
+    if (!a0Arg) return boolLit(false);
+    if (a0Arg.term?.op !== "lit") return void 0;
+    const v2 = a0Arg.term.value;
+    return boolLit(typeof v2 === "number" && pred(v2));
+  };
   switch (name) {
     case "isInteger":
-      if (typeof a0 === "number") return boolLit(Number.isInteger(a0));
-      return boolPrim();
+      return foldStrictNumberPred(Number.isInteger) ?? boolPrim();
     case "isNaN":
-      if (typeof a0 === "number") return boolLit(Number.isNaN(a0));
-      return boolPrim();
+      return foldStrictNumberPred(Number.isNaN) ?? boolPrim();
     case "isFinite":
-      if (typeof a0 === "number") return boolLit(Number.isFinite(a0));
-      return boolPrim();
-    case "parseInt":
-      if (typeof a0 === "string" || typeof a0 === "number") {
-        const radix = args[1] ? litValue(args[1]) : void 0;
-        if (radix === void 0) return foldParseInt(a0, void 0);
-        if (typeof radix === "number") return foldParseInt(a0, radix);
-        return numPrim();
-      }
-      return numPrim();
-    case "parseFloat":
-      if (typeof a0 === "string" || typeof a0 === "number") return numLit(parseFloat(String(a0)));
-      return numPrim();
+      return foldStrictNumberPred(Number.isFinite) ?? boolPrim();
+    case "parseInt": {
+      const s = toStringLitArg(a0Arg);
+      if (!s.lit) return numPrim();
+      const radix = radixLitArg(args[1]);
+      if (!radix.ok) return numPrim();
+      return foldParseInt(s.v, radix.v);
+    }
+    case "parseFloat": {
+      const s = toStringLitArg(a0Arg);
+      if (!s.lit) return numPrim();
+      return foldParseFloat(s.v);
+    }
     case "MAX_SAFE_INTEGER":
       return numLit(Number.MAX_SAFE_INTEGER);
     default:
@@ -4893,29 +4917,59 @@ function arrayMethodAbs(name) {
 }
 
 // src/algebra/builtins/global.ts
+function litTermOf(a) {
+  return a?.term?.op === "lit" ? a.term : void 0;
+}
 function evalGlobalFn(name, args) {
   const a0 = args[0] ? litValue(args[0]) : void 0;
+  const a0Lit = litTermOf(args[0]);
   switch (name) {
     case "eval":
       return unknown;
     case "Array":
       return makeArrayCtorAbs(args);
-    case "parseInt":
-      if (typeof a0 === "string" || typeof a0 === "number") {
-        const radix = args[1] ? litValue(args[1]) : void 0;
-        if (radix === void 0) return foldParseInt(a0, void 0);
-        if (typeof radix === "number") return foldParseInt(a0, radix);
+    case "parseInt": {
+      const sVal = a0Lit ? a0Lit.value : void 0;
+      if (a0Lit && typeof sVal === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
+      if (!a0Lit && args[0] && args[0].term?.op !== "lit") return numPrim();
+      const rAbs = args[1];
+      let radix;
+      if (!rAbs) {
+        radix = void 0;
+      } else if (rAbs.term?.op !== "lit") {
         return numPrim();
+      } else if (typeof rAbs.term.value === "symbol") {
+        throw new NudoThrow(errorTypeAbs("TypeError"));
+      } else {
+        const rv = rAbs.term.value;
+        radix = rv === void 0 ? void 0 : rv;
+        if (rv !== void 0 && typeof rv !== "number" && typeof rv !== "string" && typeof rv !== "boolean" && rv !== null) {
+          return numPrim();
+        }
+      }
+      return foldParseInt(sVal, radix);
+    }
+    case "parseFloat": {
+      if (!a0Lit && args[0] && args[0].term?.op !== "lit") return numPrim();
+      if (a0Lit && typeof a0Lit.value === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
+      return foldParseFloat(a0Lit ? a0Lit.value : void 0);
+    }
+    case "isNaN": {
+      if (args[0] && isSymbolAbs2(args[0])) throw new NudoThrow(errorTypeAbs("TypeError"));
+      if (!args[0] || args[0].term?.op === "lit" && args[0].term.value === void 0) {
+        return boolLit(true);
       }
-      return numPrim();
-    case "parseFloat":
-      if (typeof a0 === "string" || typeof a0 === "number") return numLit(parseFloat(String(a0)));
-      return numPrim();
-    case "isNaN":
       if (typeof a0 === "number") return boolLit(Number.isNaN(a0));
+      if (typeof a0 === "boolean" || a0 === null) return boolLit(false);
+      if (typeof a0 === "string") return boolLit(Number.isNaN(Number(a0)));
+      if (typeof a0 === "bigint") throw new NudoThrow(errorTypeAbs("TypeError"));
       return boolPrim();
+    }
     case "isFinite": {
-      if (a0 === void 0 && args.length === 0) return boolLit(false);
+      if (args[0] && isSymbolAbs2(args[0])) throw new NudoThrow(errorTypeAbs("TypeError"));
+      if (!args[0] || args[0].term?.op === "lit" && args[0].term.value === void 0) {
+        return boolLit(false);
+      }
       if (typeof a0 === "number") return boolLit(Number.isFinite(a0));
       if (typeof a0 === "boolean") return boolLit(true);
       if (typeof a0 === "string") return boolLit(Number.isFinite(Number(a0)));
@@ -4924,18 +4978,24 @@ function evalGlobalFn(name, args) {
     }
     case "Number":
       if (args[0] && isSymbolAbs2(args[0])) throw new NudoThrow(errorTypeAbs("TypeError"));
+      if (!args[0]) return numLit(0);
+      if (a0Lit && a0Lit.value === void 0) return numLit(NaN);
       if (typeof a0 === "number") return numLit(a0);
       if (typeof a0 === "string") return numLit(Number(a0));
       if (typeof a0 === "boolean") return numLit(a0 ? 1 : 0);
+      if (a0 === null) return numLit(0);
+      if (typeof a0 === "bigint") return numLit(Number(a0));
       return numPrim();
     case "String":
       if (args[0] && isSymbolAbs2(args[0])) return stringOfSymbol(args[0]);
-      if (a0 !== void 0) return strLit(String(a0));
+      if (!args[0]) return strLit("");
+      if (a0Lit) return strLit(String(a0Lit.value));
       return str2();
     case "Symbol":
       return makeSymbolAbs(args[0]);
     case "Boolean":
-      if (a0 !== void 0) return boolLit(Boolean(a0));
+      if (!args[0]) return boolLit(false);
+      if (a0Lit) return boolLit(Boolean(a0Lit.value));
       return boolPrim();
     case "Object": {
       const arg = args[0];
@@ -5816,6 +5876,12 @@ function negAbs(a, _phi = pTrue) {
   const v2 = litValue(a);
   if (typeof v2 === "number") return numLitAbs(-v2);
   if (typeof v2 === "bigint") return bigintLit(-v2);
+  if (a.term?.op === "lit") {
+    const tv = a.term.value;
+    if (typeof tv === "string" || typeof tv === "boolean" || tv === null) {
+      return numLitAbs(-Number(tv));
+    }
+  }
   if (a.shape.k === "prim" && a.shape.type === "number") {
     if (!a.term) {
       return abs(num().shape, void 0, void 0, confJoin(a.conf, "widened"));
@@ -5882,7 +5948,7 @@ function isDefinitelyTruthyShape(s) {
     case "eff":
       return true;
     case "prim":
-      return s.type === "symbol" || s.type === "bigint";
+      return s.type === "symbol";
     default:
       return false;
   }
@@ -5949,7 +6015,12 @@ function strictEqAbs(a, b) {
   if (bNullish && 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) {
-    return true;
+    const k = a.shape.k;
+    if (k === "obj" || k === "arr" || k === "tuple" || k === "fn" || k === "brand" || k === "eff") {
+      return true;
+    }
+    if (k === "prim" && a.shape.type !== "number") return true;
+    return void 0;
   }
   return void 0;
 }
@@ -6013,9 +6084,26 @@ function callbackEnv() {
 function isStrRecv(recv) {
   return isTemplateLike(recv) || recv.shape.k === "prim" && recv.shape.type === "string" || recv.term?.op === "lit" && typeof recv.term.value === "string";
 }
+function isFoldableIndexArg(x) {
+  if (x === void 0) return true;
+  if (x.term?.op !== "lit") return false;
+  const v2 = x.term.value;
+  return v2 === void 0 || typeof v2 === "number" || typeof v2 === "string" || typeof v2 === "boolean" || v2 === null;
+}
+function toStringArg(x) {
+  if (x === void 0) return "undefined";
+  if (x.term?.op !== "lit") return void 0;
+  const v2 = x.term.value;
+  if (typeof v2 === "symbol") return void 0;
+  return String(v2);
+}
+function isUndefinedArg(x) {
+  return x === void 0 || x.term?.op === "lit" && x.term.value === void 0;
+}
 function callAbsMethod(recv, name, args) {
   if (!isStrRecv(recv)) return void 0;
   const a0 = args[0] ? litValue(args[0]) : void 0;
+  const a0Str = toStringArg(args[0]);
   const lit3 = recv.term?.op === "lit" && typeof recv.term.value === "string" ? recv.term.value : void 0;
   if (isTemplateLike(recv)) {
     const views = absTemplateViews(templatePartsOf(recv));
@@ -6024,20 +6112,20 @@ function callAbsMethod(recv, name, args) {
     switch (name) {
       case "startsWith": {
         if (args[1] && litValue(args[1]) !== void 0) return boolPrim5();
-        if (typeof a0 !== "string") return boolPrim5();
-        const d = decideStartsWith(prefix, a0);
+        if (a0Str === void 0) return boolPrim5();
+        const d = decideStartsWith(prefix, a0Str);
         return d === "unknown" ? boolPrim5() : boolLit(d);
       }
       case "endsWith": {
         if (args[1] && litValue(args[1]) !== void 0) return boolPrim5();
-        if (typeof a0 !== "string") return boolPrim5();
-        const d = decideEndsWith(suffix, a0);
+        if (a0Str === void 0) return boolPrim5();
+        const d = decideEndsWith(suffix, a0Str);
         return d === "unknown" ? boolPrim5() : boolLit(d);
       }
       case "includes": {
         if (args[1] && litValue(args[1]) !== void 0) return boolPrim5();
-        if (typeof a0 !== "string") return boolPrim5();
-        const d = decideIncludes(allFixedTextOfViews(views), a0);
+        if (a0Str === void 0) return boolPrim5();
+        const d = decideIncludes(allFixedTextOfViews(views), a0Str);
         return d === "unknown" ? boolPrim5() : boolLit(d);
       }
       case "toUpperCase":
@@ -6063,10 +6151,10 @@ function callAbsMethod(recv, name, args) {
       const a1 = a1Abs ? litValue(a1Abs) : void 0;
       const a1Unknown = a1Abs !== void 0 && a1Abs.term?.op !== "lit";
       if (a1Unknown) return boolPrim5();
-      if (lit3 !== void 0 && typeof a0 === "string") {
-        if (name === "startsWith") return boolLit(lit3.startsWith(a0, a1));
-        if (name === "endsWith") return boolLit(lit3.endsWith(a0, a1));
-        return boolLit(lit3.includes(a0, a1));
+      if (lit3 !== void 0 && a0Str !== void 0) {
+        if (name === "startsWith") return boolLit(lit3.startsWith(a0Str, a1));
+        if (name === "endsWith") return boolLit(lit3.endsWith(a0Str, a1));
+        return boolLit(lit3.includes(a0Str, a1));
       }
       return boolPrim5();
     }
@@ -6079,8 +6167,7 @@ function callAbsMethod(recv, name, args) {
     case "slice":
     case "substring":
       if (lit3 !== void 0) {
-        const numOrMissing = (x) => x === void 0 || x.term?.op === "lit" && (x.term.value === void 0 || typeof x.term.value === "number");
-        if (!numOrMissing(args[0]) || !numOrMissing(args[1])) return strPrim("path");
+        if (!isFoldableIndexArg(args[0]) || !isFoldableIndexArg(args[1])) return strPrim("path");
         const a1 = args[1] ? litValue(args[1]) : void 0;
         if (name === "slice") {
           return strLit(lit3.slice(a0, a1));
@@ -6088,8 +6175,11 @@ function callAbsMethod(recv, name, args) {
         return strLit(lit3.substring(Number(a0 ?? 0), Number(a1 ?? lit3.length)));
       }
       return strPrim("path");
-    case "charAt":
-      return lit3 !== void 0 && typeof a0 === "number" ? strLit(lit3.charAt(a0)) : strPrim("path");
+    case "charAt": {
+      if (lit3 === void 0) return strPrim("path");
+      if (!isFoldableIndexArg(args[0])) return strPrim("path");
+      return strLit(lit3.charAt(Number(a0 ?? 0)));
+    }
     case "toString":
     case "valueOf":
       return lit3 !== void 0 ? strLit(lit3) : strPrim("path");
@@ -6105,17 +6195,36 @@ function callAbsMethod(recv, name, args) {
       return strPrim("path");
     }
     case "indexOf":
-    case "lastIndexOf":
-    case "charCodeAt":
-      return numPrim5("path");
+    case "lastIndexOf": {
+      if (lit3 === void 0) return numPrim5("path");
+      const search = toStringArg(args[0]);
+      if (search === void 0) return numPrim5("path");
+      if (!isFoldableIndexArg(args[1])) return numPrim5("path");
+      const from = args[1] ? litValue(args[1]) : void 0;
+      return numLit(
+        name === "indexOf" ? lit3.indexOf(search, from) : lit3.lastIndexOf(search, from)
+      );
+    }
+    case "charCodeAt": {
+      if (lit3 === void 0) return numPrim5("path");
+      if (!isFoldableIndexArg(args[0])) return numPrim5("path");
+      return numLit(lit3.charCodeAt(Number(a0 ?? 0)));
+    }
     case "split": {
       if (lit3 !== void 0) {
-        const sep = typeof a0 === "string" ? a0 : void 0;
-        const a1Abs = args[1];
-        const a1 = a1Abs ? litValue(a1Abs) : void 0;
-        if (a1Abs !== void 0 && a1Abs.term?.op !== "lit") return strArr("path");
+        const limAbs = args[1];
+        const lim = limAbs ? litValue(limAbs) : void 0;
+        if (limAbs !== void 0 && limAbs.term?.op !== "lit") return strArr("path");
+        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");
+          return one;
+        }
+        const sep = toStringArg(args[0]);
         if (sep !== void 0) {
-          const parts = lit3.split(sep, a1).map((s) => strLit(s));
+          const parts = lit3.split(sep, lim).map((s) => strLit(s));
           return abs({ k: "tuple", elements: parts }, void 0, void 0, "exact");
         }
         return strArr("path");
@@ -6127,12 +6236,16 @@ function callAbsMethod(recv, name, args) {
       if (lit3 !== void 0) {
         const patAbs = args[0];
         const repAbs = args[1];
-        if (patAbs && repAbs) {
+        {
           let patSrc;
           let patRe;
-          const pv = patAbs.term?.op === "lit" ? patAbs.term.value : void 0;
-          if (typeof pv === "string") {
+          const pv = patAbs?.term?.op === "lit" ? patAbs.term.value : void 0;
+          if (patAbs === void 0) {
+            patSrc = "undefined";
+          } else if (typeof pv === "string") {
             patSrc = pv;
+          } else if (patAbs.term?.op === "lit" && typeof pv !== "symbol") {
+            patSrc = String(pv);
           } else if (patAbs.shape.k === "brand" && patAbs.shape.name === "RegExp") {
             const inner = patAbs.shape.shape;
             const slots = inner.shape.k === "obj" ? inner.shape.slots : void 0;
@@ -6151,11 +6264,12 @@ function callAbsMethod(recv, name, args) {
             throw new NudoThrow(errorTypeAbs("TypeError"));
           }
           const pat = patSrc ?? patRe;
-          const rv = repAbs.term?.op === "lit" ? repAbs.term.value : void 0;
-          if (typeof rv === "string") {
+          const rvLit = repAbs?.term?.op === "lit" ? repAbs.term.value : void 0;
+          const rv = repAbs === void 0 ? "undefined" : typeof rvLit === "string" ? rvLit : repAbs.term?.op === "lit" && typeof rvLit !== "symbol" ? String(rvLit) : void 0;
+          if (rv !== void 0) {
             return strLit(name === "replaceAll" ? lit3.replaceAll(pat, rv) : lit3.replace(pat, rv));
           }
-          if (repAbs.shape.k === "fn") {
+          if (repAbs && repAbs.shape.k === "fn") {
             let anyUnknown = false;
             const replWrapper = (...caps) => {
               const last = caps[caps.length - 1];
@@ -6545,8 +6659,9 @@ function leqWithPred(src, tgt, phi2, env, depth) {
   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) {
-    if (sv === tv) return ok();
+    if (sameLit) return ok();
     if (tgt.shape.k === "prim") {
       return fail(`lit ${String(sv)} \u22AD lit ${String(tv)}`);
     }
@@ -7153,7 +7268,7 @@ function litTruth(a) {
     case "eff":
       return true;
     case "prim":
-      return a.shape.type === "symbol" || a.shape.type === "bigint" ? true : void 0;
+      return a.shape.type === "symbol" ? true : void 0;
     case "never":
       return false;
     default:
@@ -8257,7 +8372,7 @@ function emitArrMutatorRebinds(expr, opts, pad) {
     if (node.type === "CallExpression" && node.callee?.type === "MemberExpression" && node.callee.computed !== true && node.callee.property?.type === "Identifier" && ARR_MUTATOR_NAMES.has(node.callee.property.name)) {
       const methodName = node.callee.property.name;
       const argSrcs = (node.arguments ?? []).map(
-        (a) => a.type === "SpreadElement" ? "$lit(undefined)" : isExpression(a) ? emitTranspileExpression(a, opts) : "$lit(undefined)"
+        (a) => a.type === "SpreadElement" ? "$unknown()" : isExpression(a) ? emitTranspileExpression(a, opts) : "$unknown()"
       ).join(", ");
       const objNode = node.callee.object;
       if (objNode.type === "Identifier") {
@@ -8279,7 +8394,7 @@ function emitArrMutatorRebinds(expr, opts, pad) {
     }
     if (node.type === "CallExpression" && node.callee?.type === "MemberExpression" && node.callee.computed !== true && node.callee.object?.type === "Identifier" && node.callee.object.name === "Object" && node.callee.property?.type === "Identifier" && node.callee.property.name === "defineProperty" && node.arguments?.[0] && node.arguments[0].type === "Identifier") {
       const argSrcs = node.arguments.map(
-        (a) => a.type === "SpreadElement" ? "$lit(undefined)" : emitTranspileExpression(a, opts)
+        (a) => a.type === "SpreadElement" ? "$unknown()" : emitTranspileExpression(a, opts)
       ).join(", ");
       const targetName = node.arguments[0].name;
       lines.push(
@@ -8917,7 +9032,7 @@ ${pad}export default ${name};`;
         const methodName = expr.callee.property.name;
         if (["push", "unshift", "splice", "pop", "shift", "reverse", "sort"].includes(methodName)) {
           const argSrcs = expr.arguments.map(
-            (a) => a.type === "SpreadElement" ? "$lit(undefined)" : emitTranspileExpression(a, opts)
+            (a) => a.type === "SpreadElement" ? "$unknown()" : emitTranspileExpression(a, opts)
           ).join(", ");
           const objNode = expr.callee.object;
           if (objNode.type === "Identifier") {
@@ -9803,7 +9918,7 @@ function transpileExpression(expr, opts = {}) {
     case "NewExpression": {
       const callee = expr.callee;
       const cname = callee.type === "Identifier" ? callee.name : isExpression(callee) ? transpileExpression(callee, opts) : "$lit(undefined)";
-      const args = expr.arguments.map((a) => a.type === "SpreadElement" ? "$lit(undefined)" : transpileExpression(a, opts)).join(", ");
+      const args = expr.arguments.map((a) => a.type === "SpreadElement" ? "$unknown()" : transpileExpression(a, opts)).join(", ");
       return `$new(${cname}, [${args}])`;
     }
     case "LogicalExpression": {
@@ -10239,11 +10354,11 @@ ${mBodyInner}
       const optionalCall = exprAny.type === "OptionalCallExpression" || exprAny.optional === true;
       const callee = expr.callee;
       if (callee.type === "Super" && opts.thisParam && opts.className) {
-        const args2 = expr.arguments.map((a) => a.type === "SpreadElement" ? "$lit(undefined)" : transpileExpression(a, opts)).join(", ");
+        const args2 = expr.arguments.map((a) => a.type === "SpreadElement" ? "$unknown()" : transpileExpression(a, opts)).join(", ");
         return `${opts.thisParam} = $super(${opts.thisParam}, ${JSON.stringify(opts.className)}, [${args2}])`;
       }
       if (callee.type === "MemberExpression" && !callee.computed && callee.object.type === "Super" && callee.property.type === "Identifier" && opts.thisParam && opts.className) {
-        const args2 = expr.arguments.map((a) => a.type === "SpreadElement" ? "$lit(undefined)" : transpileExpression(a, opts)).join(", ");
+        const args2 = expr.arguments.map((a) => a.type === "SpreadElement" ? "$unknown()" : transpileExpression(a, opts)).join(", ");
         return `$invokeSuper(${opts.thisParam}, ${JSON.stringify(opts.className)}, ${JSON.stringify(callee.property.name)}, [${args2}])`;
       }
       if (callee.type === "MemberExpression" && !callee.computed && callee.object.type === "Identifier" && callee.object.name === "require" && callee.property.type === "Identifier" && callee.property.name === "resolve") {
@@ -10258,7 +10373,7 @@ ${mBodyInner}
       }
       if ((callee.type === "MemberExpression" || callee.type === "OptionalMemberExpression") && !callee.computed && callee.property.type === "Identifier") {
         const recv = transpileExpression(callee.object, opts);
-        const args2 = expr.arguments.map((a) => a.type === "SpreadElement" ? "$lit(undefined)" : transpileExpression(a, opts)).join(", ");
+        const args2 = expr.arguments.map((a) => a.type === "SpreadElement" ? "$unknown()" : transpileExpression(a, opts)).join(", ");
         const name = JSON.stringify(callee.property.name);
         const opt = optionalCall || callee.optional === true;
         const loc = expr.loc;
@@ -10274,7 +10389,7 @@ ${mBodyInner}
         const argLocSrcs = [];
         for (const a of expr.arguments) {
           if (a.type === "SpreadElement") {
-            argSrcs.push("$lit(undefined)");
+            argSrcs.push("$unknown()");
             argLocSrcs.push("null");
           } else {
             argSrcs.push(transpileExpression(a, opts));
@@ -11327,16 +11442,21 @@ function $arrMutContainer(arr, method, args) {
 function $idx(a, i) {
   if (a?.shape?.k === "any") return anyMemberResult();
   const iv = litValue(i);
+  const idx = iv !== void 0 ? canonicalArrayIndex(iv) : void 0;
   if (a.shape.k === "tuple") {
     const els = a.shape.elements;
-    if (typeof iv === "number" && Number.isInteger(iv)) {
-      if (iv >= 0 && iv < els.length) return els[iv];
+    if (iv !== void 0 && idx === void 0) return undef();
+    if (idx !== void 0) {
+      if (idx < els.length) return els[idx];
       return undef();
     }
     if (els.length === 0) return undef();
     return els.reduce((x, y) => joinAbs(x, y));
   }
-  if (a.shape.k === "arr") return a.shape.element;
+  if (a.shape.k === "arr") {
+    if (iv !== void 0 && idx === void 0) return undef();
+    return a.shape.element;
+  }
   if (a.shape.k === "sum") {
     return a.shape.members.map((m) => $idx(m, i)).reduce((x, y) => joinAbs(x, y));
   }
@@ -11725,6 +11845,46 @@ function namespaceNameOf(v2) {
 function $regex(pattern, flags = "") {
   return regexBrandAbsFrom(pattern, flags);
 }
+var ARRAY_PROTO_METHOD_NAMES = /* @__PURE__ */ new Set([
+  "at",
+  "concat",
+  "copyWithin",
+  "entries",
+  "every",
+  "fill",
+  "filter",
+  "find",
+  "findIndex",
+  "findLast",
+  "findLastIndex",
+  "flat",
+  "flatMap",
+  "forEach",
+  "includes",
+  "indexOf",
+  "join",
+  "keys",
+  "lastIndexOf",
+  "map",
+  "pop",
+  "push",
+  "reduce",
+  "reduceRight",
+  "reverse",
+  "shift",
+  "slice",
+  "some",
+  "sort",
+  "splice",
+  "toLocaleString",
+  "toString",
+  "unshift",
+  "values",
+  "@@iterator"
+]);
+function isPossiblyProtoMemberKey(key) {
+  return OBJECT_PROTO_METHOD_NAMES.has(key) || ARRAY_PROTO_METHOD_NAMES.has(key) || key === "constructor" || key.startsWith("@@");
+}
 function $get(o, key, opts) {
   if (!o || typeof o !== "object" || !("shape" in o)) {
     if (o === Object.prototype) {
@@ -11816,10 +11976,19 @@ function $get(o, key, opts) {
   if ((o.shape.k === "tuple" || o.shape.k === "arr") && key === "length") {
     return $len(o);
   }
-  if ((o.shape.k === "tuple" || o.shape.k === "arr" || o.shape.k === "prim") && OBJECT_PROTO_METHOD_NAMES.has(key) && !(o.shape.k === "prim" && o.shape.type === "string" && key === "toString")) {
+  if (o.shape.k === "tuple") {
+    const idx = canonicalArrayIndex(key);
+    const els = o.shape.elements;
+    if (idx !== void 0) return idx < els.length ? els[idx] : undef();
+    if (!isPossiblyProtoMemberKey(key)) 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);
     }
+    if (o.shape.k !== "prim" && (ARRAY_PROTO_METHOD_NAMES.has(key) || key === "@@iterator")) {
+      return { shape: { k: "fn", params: [] }, conf: "path" };
+    }
     return objectProtoMethodAbs(key);
   }
   if (noteNullishMemberThrows(o, key, "property")) {
@@ -13262,13 +13431,11 @@ function $invoke(thisVal, method, args, loc) {
   }
   const brandName = thisVal.shape.k === "brand" ? thisVal.shape.name : void 0;
   if (brandName) {
-    if (brandName === "Map" || brandName === "Set") {
-      const viaCol = evalBuiltinInstanceMethod(brandName, method, thisVal, args);
-      if (viaCol !== void 0) return viaCol;
-      if (method === "forEach") {
-        const r = $collectionForEach(thisVal, args[0]);
-        if (r !== void 0) return r;
-      }
+    const viaBuiltin = evalBuiltinInstanceMethod(brandName, method, thisVal, args);
+    if (viaBuiltin !== void 0) return viaBuiltin;
+    if ((brandName === "Map" || brandName === "Set") && method === "forEach") {
+      const r = $collectionForEach(thisVal, args[0]);
+      if (r !== void 0) return r;
     }
     const m = findMethod(brandName, method);
     if (m) {

package/dist/{chunk-EFFPFUSD.js → chunk-XOHKHJHE.js}

@@ -41,7 +41,7 @@ import {
   unknown,
   v,
   withExecPhi
-} from "./chunk-UC3LBZYR.js";
+} from "./chunk-SQSO4NKT.js";
 
 // src/algebra/constraint.ts
 var SELF = "__nudo_self__";

package/dist/exec.d.ts

@@ -1,3 +1,3 @@
-export { $ as $add, a as $arguments, b as $arr, c as $arrMutContainer, d as $arrRest, e as $arrWithHoles, f as $assignRecord, g as $async, h as $asyncReturn, i as $await, j as $bitand, k as $bitnot, l as $bitor, m as $bitxor, n as $call, o as $callNamed, p as $catchVal, q as $class, r as $classExpr, s as $collectionForEach, t as $concat, u as $copy, v as $del, w as $delRes, x as $div, y as $dynamicImport, z as $elems, B as $eq, C as $eqLoose, D as $fnVal, E as $for, F as $forInKeys, G as $forIter, H as $forOf, I as $fork, J as $ge, K as $gen, L as $get, M as $gt, N as $idx, O as $idxSet, P as $importMeta, Q as $in, S as $instanceof, T as $instanceofNonIdent, U as $invoke, V as $invokeSuper, W as $isBreakTo, X as $isForkExit, Y as $join, Z as $le, _ as $len, a0 as $lit, a1 as $loopBreak, a2 as $loopContinue, a3 as $loopReturn, a4 as $lt, a5 as $mod, a6 as $mul, a7 as $ne, a8 as $neLoose, a9 as $neg, aa as $new, ab as $not, ac as $nullishTest, ad as $obj, ae as $objAccessor, af as $objRest, ag as $optionalGet, ah as $optionalInvoke, ai as $orDefault, aj as $pow, ak as $pushLoopExit, al as $rawThis, am as $reStateCall, an as $recordBinding, ao as $regex, ap as $rethrowIfNudoReturn, aq as $set, ar as $setKey, as as $shl, at as $shr, au as $spread, av as $staticInvoke, aw as $sub, ax as $super, ay as $switch, az as $thisGet, aA as $thisSet, aB as $throw, aC as $toNumber, aD as $tryCurrentMark, aE as $tryDetachSoftCatch, aF as $tryDigestSoftCatch, aG as $tryDiscardSoft, aH as $tryMark, aI as $tryOrphanSoft, aJ as $tryPopMark, aK as $tryReleaseSoftCatch, aL as $tryReleaseSoftOut, aM as $tryTakeSince, aN as $typeof, aO as $unknown, aP as $ushr, aQ as $while, aR as $whileSeq, aS as $yield, aT as BAbsAssignRecord, aU as BCallRecord, aV as BClassSpec, aW as BPathFallback, aX as DEFAULT_MAX_LOOP_ITERS, aY as MAX_B_CALL_DEPTH, aZ as MAX_B_TOTAL_CALLS, a_ as NudoLoopSignal, a$ as NudoReturn, b0 as NudoThrow, b1 as NudoUnsupportedError, b2 as RUNTIME_IMPORT_RE, R as RunTranspiledOptions, b3 as TranspileOptions, b4 as TranspiledCallResult, b5 as asAbsVal, b7 as bindingsOf, b8 as callAtFunctionBoundary, b9 as callTranspiledExport, ba as callTranspiledExportFull, bb as clearBClasses, bc as clearStaleTermPred, be as currentExecPhi, bf as evalExprAbs, bg as fillTuple, bh as foldRequireSpecArg, bi as foldStaticStringExpr, bj as getBCallCollector, bk as getBClass, bl as isArrMutator, bm as isDefinitelyFalse, bn as isDefinitelyTrue, bo as isNudoBreak, bp as isNudoContinue, bq as isNudoReturn, br as isNudoThrow, bs as litTruth, bt as lookupObjAccessor, bu as namespaceNameOf, bv as noteBCallRecord, bw as noteBPathFallback, bx as pushLoopExit, by as pushThrowExit, bz as registerBClass, bA as resetBCallBudget, bB as runTranspiled, bC as runTranspiledOptionsMemoKey, bD as runWithLoopExits, bE as runtimeImportOf, bF as setBAssignCollector, bG as setBBindingSink, bH as setBCallCollector, bI as setBPathFallbackCollector, bJ as takeLoopExits, bK as takeThrowExits, bL as transpile, bM as transpileBodyNode, bN as transpileExpression, bO as transpileFile, bP as transpileSource, bQ as tryRunTranspiled, bR as withExecPhi } from './index-B7Lb8FU6.js';
+export { $ as $add, a as $arguments, b as $arr, c as $arrMutContainer, d as $arrRest, e as $arrWithHoles, f as $assignRecord, g as $async, h as $asyncReturn, i as $await, j as $bitand, k as $bitnot, l as $bitor, m as $bitxor, n as $call, o as $callNamed, p as $catchVal, q as $class, r as $classExpr, s as $collectionForEach, t as $concat, u as $copy, v as $del, w as $delRes, x as $div, y as $dynamicImport, z as $elems, B as $eq, C as $eqLoose, D as $fnVal, E as $for, F as $forInKeys, G as $forIter, H as $forOf, I as $fork, J as $ge, K as $gen, L as $get, M as $gt, N as $idx, O as $idxSet, P as $importMeta, Q as $in, S as $instanceof, T as $instanceofNonIdent, U as $invoke, V as $invokeSuper, W as $isBreakTo, X as $isForkExit, Y as $join, Z as $le, _ as $len, a0 as $lit, a1 as $loopBreak, a2 as $loopContinue, a3 as $loopReturn, a4 as $lt, a5 as $mod, a6 as $mul, a7 as $ne, a8 as $neLoose, a9 as $neg, aa as $new, ab as $not, ac as $nullishTest, ad as $obj, ae as $objAccessor, af as $objRest, ag as $optionalGet, ah as $optionalInvoke, ai as $orDefault, aj as $pow, ak as $pushLoopExit, al as $rawThis, am as $reStateCall, an as $recordBinding, ao as $regex, ap as $rethrowIfNudoReturn, aq as $set, ar as $setKey, as as $shl, at as $shr, au as $spread, av as $staticInvoke, aw as $sub, ax as $super, ay as $switch, az as $thisGet, aA as $thisSet, aB as $throw, aC as $toNumber, aD as $tryCurrentMark, aE as $tryDetachSoftCatch, aF as $tryDigestSoftCatch, aG as $tryDiscardSoft, aH as $tryMark, aI as $tryOrphanSoft, aJ as $tryPopMark, aK as $tryReleaseSoftCatch, aL as $tryReleaseSoftOut, aM as $tryTakeSince, aN as $typeof, aO as $unknown, aP as $ushr, aQ as $while, aR as $whileSeq, aS as $yield, aT as BAbsAssignRecord, aU as BCallRecord, aV as BClassSpec, aW as BPathFallback, aX as DEFAULT_MAX_LOOP_ITERS, aY as MAX_B_CALL_DEPTH, aZ as MAX_B_TOTAL_CALLS, a_ as NudoLoopSignal, a$ as NudoReturn, b0 as NudoThrow, b1 as NudoUnsupportedError, b2 as RUNTIME_IMPORT_RE, R as RunTranspiledOptions, b3 as TranspileOptions, b4 as TranspiledCallResult, b5 as asAbsVal, b7 as bindingsOf, b8 as callAtFunctionBoundary, b9 as callTranspiledExport, ba as callTranspiledExportFull, bb as clearBClasses, bc as clearStaleTermPred, be as currentExecPhi, bf as evalExprAbs, bg as fillTuple, bh as foldRequireSpecArg, bi as foldStaticStringExpr, bj as getBCallCollector, bk as getBClass, bl as isArrMutator, bm as isDefinitelyFalse, bn as isDefinitelyTrue, bo as isNudoBreak, bp as isNudoContinue, bq as isNudoReturn, br as isNudoThrow, bs as litTruth, bt as lookupObjAccessor, bu as namespaceNameOf, bv as noteBCallRecord, bw as noteBPathFallback, bx as pushLoopExit, by as pushThrowExit, bz as registerBClass, bA as resetBCallBudget, bB as runTranspiled, bC as runTranspiledOptionsMemoKey, bD as runWithLoopExits, bE as runtimeImportOf, bF as setBAssignCollector, bG as setBBindingSink, bH as setBCallCollector, bI as setBPathFallbackCollector, bJ as takeLoopExits, bK as takeThrowExits, bL as transpile, bM as transpileBodyNode, bN as transpileExpression, bO as transpileFile, bP as transpileSource, bQ as tryRunTranspiled, bR as withExecPhi } from './index-D4rnOHre.js';
 import './hof-types-tAeoYvzY.js';
 import '@babel/types';

package/dist/exec.js

@@ -162,7 +162,7 @@ import {
   transpileSource,
   tryRunTranspiled,
   withExecPhi
-} from "./chunk-UC3LBZYR.js";
+} from "./chunk-SQSO4NKT.js";
 export {
   $add,
   $arguments,

package/dist/{index-B7Lb8FU6.d.ts → index-D4rnOHre.d.ts}

@@ -291,7 +291,7 @@ declare function $copy(a: Abs): Abs;
  *  的就地 mutator：Abs 身份不变（JS 引用语义——`const b = a; b.push(4)` 对 a
  *  可见）；transpile 重绑 `a = $arrMutContainer(a, …)` 仍写回同一对象。 */
 declare function $arrMutContainer(arr: Abs, method: string, args: Abs[]): Abs;
-/** 下标读 a[i]；字面量 i 走 tuple 精确投影，否则并所有元素；string[i] → 单字符 */
+/** 下标读 a[i]；规范数组下标走精确投影，确定非下标键 → undefined，否则并所有元素；string[i] → 单字符 */
 declare function $idx(a: Abs, i: Abs): Abs;
 /** 下标写 a[i]=v → 新 tuple（越界写按 JS 语义增长，空洞为 undefined） */
 declare function $idxSet(a: Abs, i: Abs, value: Abs): Abs;

package/dist/index.d.ts

@@ -3,8 +3,8 @@ export { I as ImplicationOracle, L as LiteralValue, P as PrimName, x as TYPEOF_N
 import { Node } from '@babel/types';
 import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, i as CheckReport, N as NudoConstraint } from './check-report-AtnAfY9U.js';
 export { j as CheckAction, C as CheckIssue, k as CheckJson, o as CheckJsonMulti, q as ConstraintBuilder, D as Diagnostic, u as EffectiveInterface, G as GitlabCodeQualityIssue, v as InterfaceDiag, I as InterfaceSource, w as InterfaceTierInfo, a as InterfaceTierOpts, x as NamedImport, y as NudoField, z as NudoFnConstraint, A as NudoSidecarError, B as NudoSig, R as RefineDiag, F as RefineEntry, H as RefineResolveOpts, S as SELF, J as actionsForIssue, K as andC, M as any, O as array, P as boolean, Q as checkArg, T as checkCall, U as constraintToEntryAbs, V as effectiveInterface, W as execNudoModule, X as extractDeclaredThrows, Y as extractNudoImports, Z as extractRefineReturnFromSource, _ as extractRefinesFromSource, $ as fn, a0 as fnConstraintToEntryReqs, a1 as formatCheckReport, a2 as formatConstraint, a3 as formatDiagnostics, a4 as formatEffectiveInterfaceDisplay, a5 as formatGithubAnnotations, a6 as formatGitlabCodeQuality, a7 as formatInterfaceTierLine, a8 as generatedExportNames, a9 as getParseSourceCacheSize, aa as getTerm, ab as instantiateConstraint, ac as interfaceDiagCount, ad as interfaceSourceOf, ae as interfaceTierOf, af as isIntFlag, ag as isNodeModulesPath, ah as isNudoConstraint, ai as lenTerm, aj as litC, ak as localNamedExports, al as number, am as omit, an as partial, ao as pick, ap as refineDiagCount, aq as refineToIndexedFull, ar as resetNudoModuleExecCache, as as resetParseSourceCache, at as serializeCheckJson, au as serializeCheckJsonMulti, av as setInterfaceDiagCollector, aw as setRefineDiagCollector, ax as shape, ay as sidecarClosureFingerprint, az as sidecarPathOf, aA as string, aB as takeInterfaceDiags, aC as takeInterfaceDiagsSince, aD as takeRefineDiags, aE as takeRefineDiagsSince, aF as throwConstraintToKinds, aG as union } from './check-report-AtnAfY9U.js';
-import { A as AbsModuleExports, R as RunTranspiledOptions } from './index-B7Lb8FU6.js';
-export { $ as $add, a as $arguments, b as $arr, c as $arrMutContainer, d as $arrRest, e as $arrWithHoles, f as $assignRecord, g as $async, h as $asyncReturn, i as $await, j as $bitand, k as $bitnot, l as $bitor, m as $bitxor, n as $call, o as $callNamed, p as $catchVal, q as $class, r as $classExpr, s as $collectionForEach, t as $concat, u as $copy, v as $del, w as $delRes, x as $div, y as $dynamicImport, z as $elems, B as $eq, C as $eqLoose, D as $fnVal, E as $for, F as $forInKeys, G as $forIter, H as $forOf, I as $fork, J as $ge, K as $gen, L as $get, M as $gt, N as $idx, O as $idxSet, P as $importMeta, Q as $in, S as $instanceof, T as $instanceofNonIdent, U as $invoke, V as $invokeSuper, W as $isBreakTo, X as $isForkExit, Y as $join, Z as $le, _ as $len, a0 as $lit, a1 as $loopBreak, a2 as $loopContinue, a3 as $loopReturn, a4 as $lt, a5 as $mod, a6 as $mul, a7 as $ne, a8 as $neLoose, a9 as $neg, aa as $new, ab as $not, ac as $nullishTest, ad as $obj, ae as $objAccessor, af as $objRest, ag as $optionalGet, ah as $optionalInvoke, ai as $orDefault, aj as $pow, ak as $pushLoopExit, al as $rawThis, am as $reStateCall, an as $recordBinding, ao as $regex, ap as $rethrowIfNudoReturn, aq as $set, ar as $setKey, as as $shl, at as $shr, au as $spread, av as $staticInvoke, aw as $sub, ax as $super, ay as $switch, az as $thisGet, aA as $thisSet, aB as $throw, aC as $toNumber, aD as $tryCurrentMark, aE as $tryDetachSoftCatch, aF as $tryDigestSoftCatch, aG as $tryDiscardSoft, aH as $tryMark, aI as $tryOrphanSoft, aJ as $tryPopMark, aK as $tryReleaseSoftCatch, aL as $tryReleaseSoftOut, aM as $tryTakeSince, aN as $typeof, aO as $unknown, aP as $ushr, aQ as $while, aR as $whileSeq, aS as $yield, aT as BAbsAssignRecord, aU as BCallRecord, aV as BClassSpec, aW as BPathFallback, aX as DEFAULT_MAX_LOOP_ITERS, aY as MAX_B_CALL_DEPTH, aZ as MAX_B_TOTAL_CALLS, a_ as NudoLoopSignal, a$ as NudoReturn, b0 as NudoThrow, b1 as NudoUnsupportedError, b2 as RUNTIME_IMPORT_RE, b3 as TranspileOptions, b4 as TranspiledCallResult, b5 as asAbsVal, b6 as bindImports, b7 as bindingsOf, b8 as callAtFunctionBoundary, b9 as callTranspiledExport, ba as callTranspiledExportFull, bb as clearBClasses, bc as clearStaleTermPred, bd as collectAbsExports, be as currentExecPhi, bf as evalExprAbs, bg as fillTuple, bh as foldRequireSpecArg, bi as foldStaticStringExpr, bj as getBCallCollector, bk as getBClass, bl as isArrMutator, bm as isDefinitelyFalse, bn as isDefinitelyTrue, bo as isNudoBreak, bp as isNudoContinue, bq as isNudoReturn, br as isNudoThrow, bs as litTruth, bt as lookupObjAccessor, bu as namespaceNameOf, bv as noteBCallRecord, bw as noteBPathFallback, bx as pushLoopExit, by as pushThrowExit, bz as registerBClass, bA as resetBCallBudget, bB as runTranspiled, bC as runTranspiledOptionsMemoKey, bD as runWithLoopExits, bE as runtimeImportOf, bF as setBAssignCollector, bG as setBBindingSink, bH as setBCallCollector, bI as setBPathFallbackCollector, bJ as takeLoopExits, bK as takeThrowExits, bL as transpile, bM as transpileBodyNode, bN as transpileExpression, bO as transpileFile, bP as transpileSource, bQ as tryRunTranspiled, bR as withExecPhi } from './index-B7Lb8FU6.js';
+import { A as AbsModuleExports, R as RunTranspiledOptions } from './index-D4rnOHre.js';
+export { $ as $add, a as $arguments, b as $arr, c as $arrMutContainer, d as $arrRest, e as $arrWithHoles, f as $assignRecord, g as $async, h as $asyncReturn, i as $await, j as $bitand, k as $bitnot, l as $bitor, m as $bitxor, n as $call, o as $callNamed, p as $catchVal, q as $class, r as $classExpr, s as $collectionForEach, t as $concat, u as $copy, v as $del, w as $delRes, x as $div, y as $dynamicImport, z as $elems, B as $eq, C as $eqLoose, D as $fnVal, E as $for, F as $forInKeys, G as $forIter, H as $forOf, I as $fork, J as $ge, K as $gen, L as $get, M as $gt, N as $idx, O as $idxSet, P as $importMeta, Q as $in, S as $instanceof, T as $instanceofNonIdent, U as $invoke, V as $invokeSuper, W as $isBreakTo, X as $isForkExit, Y as $join, Z as $le, _ as $len, a0 as $lit, a1 as $loopBreak, a2 as $loopContinue, a3 as $loopReturn, a4 as $lt, a5 as $mod, a6 as $mul, a7 as $ne, a8 as $neLoose, a9 as $neg, aa as $new, ab as $not, ac as $nullishTest, ad as $obj, ae as $objAccessor, af as $objRest, ag as $optionalGet, ah as $optionalInvoke, ai as $orDefault, aj as $pow, ak as $pushLoopExit, al as $rawThis, am as $reStateCall, an as $recordBinding, ao as $regex, ap as $rethrowIfNudoReturn, aq as $set, ar as $setKey, as as $shl, at as $shr, au as $spread, av as $staticInvoke, aw as $sub, ax as $super, ay as $switch, az as $thisGet, aA as $thisSet, aB as $throw, aC as $toNumber, aD as $tryCurrentMark, aE as $tryDetachSoftCatch, aF as $tryDigestSoftCatch, aG as $tryDiscardSoft, aH as $tryMark, aI as $tryOrphanSoft, aJ as $tryPopMark, aK as $tryReleaseSoftCatch, aL as $tryReleaseSoftOut, aM as $tryTakeSince, aN as $typeof, aO as $unknown, aP as $ushr, aQ as $while, aR as $whileSeq, aS as $yield, aT as BAbsAssignRecord, aU as BCallRecord, aV as BClassSpec, aW as BPathFallback, aX as DEFAULT_MAX_LOOP_ITERS, aY as MAX_B_CALL_DEPTH, aZ as MAX_B_TOTAL_CALLS, a_ as NudoLoopSignal, a$ as NudoReturn, b0 as NudoThrow, b1 as NudoUnsupportedError, b2 as RUNTIME_IMPORT_RE, b3 as TranspileOptions, b4 as TranspiledCallResult, b5 as asAbsVal, b6 as bindImports, b7 as bindingsOf, b8 as callAtFunctionBoundary, b9 as callTranspiledExport, ba as callTranspiledExportFull, bb as clearBClasses, bc as clearStaleTermPred, bd as collectAbsExports, be as currentExecPhi, bf as evalExprAbs, bg as fillTuple, bh as foldRequireSpecArg, bi as foldStaticStringExpr, bj as getBCallCollector, bk as getBClass, bl as isArrMutator, bm as isDefinitelyFalse, bn as isDefinitelyTrue, bo as isNudoBreak, bp as isNudoContinue, bq as isNudoReturn, br as isNudoThrow, bs as litTruth, bt as lookupObjAccessor, bu as namespaceNameOf, bv as noteBCallRecord, bw as noteBPathFallback, bx as pushLoopExit, by as pushThrowExit, bz as registerBClass, bA as resetBCallBudget, bB as runTranspiled, bC as runTranspiledOptionsMemoKey, bD as runWithLoopExits, bE as runtimeImportOf, bF as setBAssignCollector, bG as setBBindingSink, bH as setBCallCollector, bI as setBPathFallbackCollector, bJ as takeLoopExits, bK as takeThrowExits, bL as transpile, bM as transpileBodyNode, bN as transpileExpression, bO as transpileFile, bP as transpileSource, bQ as tryRunTranspiled, bR as withExecPhi } from './index-D4rnOHre.js';
 
 /**
  * AstEnv：抽象求值环境类型面（ast-eval 删除后保留）。
@@ -363,8 +363,9 @@ declare function mul(a: Abs, b: Abs, phi?: Phi): Abs;
  */
 declare function div(a: Abs, b: Abs, phi?: Phi): Abs;
 /**
- * 取模：字面量折叠；`x % k`（k>0 字面量）结果界在 (−|k|, |k|)。
- * 整数模可收紧到 [0, k)，此处先做保守实数界。
+ * 取模：字面量折叠；`x % k`（k 为有限非零字面量）仅当被除数有限时
+ * 结果界在 (−|k|, |k|)。整数模可收紧到 [0, k)，此处先做保守实数界。
+ * `n % 0` / `x % 0` / `x % NaN` 恒为 NaN（JS）。
  */
 declare function mod(a: Abs, b: Abs, phi?: Phi): Abs;
 /** 比较：返回 boolean Abs；若双字面量则 exact */
@@ -413,7 +414,7 @@ declare function powAbs(a: Abs, b: Abs): Abs;
 declare function toNumberAbs(a: Abs): Abs;
 /** JS typeof：结果域永远是 string */
 declare function typeofAbs(a: Abs): Abs;
-/** 一元负号：字面量折叠；符号数翻转不等式 */
+/** 一元负号：字面量折叠（含 ToNumber 强制）；符号数翻转不等式 */
 declare function negAbs(a: Abs, _phi?: Phi): Abs;
 /** 逻辑非 */
 declare function notAbs(a: Abs): Abs;
@@ -453,7 +454,7 @@ declare function setPropFlags(o: Abs, key: string, f: PropFlags): void;
 declare function migrateInvariants(from: Abs, to: Abs): void;
 
 /**
- * Math.* — 字面量可折叠的返回精确值，否则 number
+ * Math.* — 字面量实参走 ToNumber/ToInt32 后调用原生折叠，否则 number
  */
 
 declare function evalMathMethod(name: string, args: Abs[]): Abs | undefined;
@@ -476,7 +477,7 @@ declare function evalObjectMethod(name: string, args: Abs[]): Abs | undefined;
 declare function evalJsonMethod(name: string, args: Abs[]): Abs | undefined;
 
 /**
- * Number.* 静态方法 + parseInt 折叠
+ * Number.* 静态方法 + parseInt/parseFloat 折叠
  */
 
 /** Number.isInteger / isNaN / parseFloat 等 */

package/dist/index.js

@@ -67,7 +67,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-EFFPFUSD.js";
+} from "./chunk-XOHKHJHE.js";
 import {
   $add,
   $arguments,
@@ -466,7 +466,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-UC3LBZYR.js";
+} from "./chunk-SQSO4NKT.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {

package/dist/internal.js

@@ -16,7 +16,7 @@ import {
   resolveDepPath,
   sidecarSpecsOf,
   stableAnalyzeKeySource
-} from "./chunk-EFFPFUSD.js";
+} from "./chunk-XOHKHJHE.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -135,7 +135,7 @@ import {
   truncatedAbs,
   viewTemplateParts,
   wrapPromise
-} from "./chunk-UC3LBZYR.js";
+} from "./chunk-SQSO4NKT.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/core",
-  "version": "1.1.2",
+  "version": "1.1.4",
   "engines": {
     "node": ">=20"
   },