@nudojs/lsp 1.1.1 → 1.1.3

package/dist/index.js

@@ -213867,7 +213867,12 @@ var app = (fn2, args) => ({ op: "app", fn: fn2, 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]));
@@ -213906,18 +213911,10 @@ function simplifyTerm(t) {
     const folded = foldLiterals(fn2, xs);
     if (folded !== void 0) return lit(folded);
   }
-  if (fn2 === "+" && 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 (fn2 === "*" && 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 (fn2 === "-" && args.length === 2) {
     const [a, b] = args;
@@ -230402,7 +230399,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,
@@ -230569,9 +230566,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") {
@@ -230683,9 +230677,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)) {
@@ -230693,14 +230684,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"));
   }
@@ -230713,11 +230714,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 };
@@ -230880,54 +230888,36 @@ function isPrimLike(a) {
 }
 
 // ../core/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();
   }
 }
 
@@ -231537,6 +231527,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];
@@ -231559,7 +231554,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) {
@@ -231601,34 +231599,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:
@@ -232416,29 +232440,59 @@ function arrayMethodAbs(name) {
 }
 
 // ../core/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)));
@@ -232447,18 +232501,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];
@@ -233291,6 +233351,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"));
@@ -233357,7 +233423,7 @@ function isDefinitelyTruthyShape(s) {
     case "eff":
       return true;
     case "prim":
-      return s.type === "symbol" || s.type === "bigint";
+      return s.type === "symbol";
     default:
       return false;
   }
@@ -233424,7 +233490,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;
 }
@@ -233488,9 +233559,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));
@@ -233499,20 +233587,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(prefix2, a0);
+        if (a0Str === void 0) return boolPrim5();
+        const d = decideStartsWith(prefix2, 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":
@@ -233538,10 +233626,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();
     }
@@ -233554,8 +233642,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));
@@ -233563,8 +233650,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");
@@ -233580,17 +233670,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 sep3 = 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 sep3 = toStringArg(args[0]);
         if (sep3 !== void 0) {
-          const parts = lit3.split(sep3, a1).map((s) => strLit(s));
+          const parts = lit3.split(sep3, lim).map((s) => strLit(s));
           return abs({ k: "tuple", elements: parts }, void 0, void 0, "exact");
         }
         return strArr("path");
@@ -233602,12 +233711,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;
@@ -233626,11 +233739,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];
@@ -233731,8 +233845,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)}`);
     }
@@ -236693,7 +236808,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:
@@ -237778,7 +237893,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") {
@@ -237800,7 +237915,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(
@@ -238438,7 +238553,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") {
@@ -239324,7 +239439,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": {
@@ -239760,11 +239875,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") {
@@ -239779,7 +239894,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;
@@ -239795,7 +239910,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));
@@ -240925,16 +241040,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));
   }
@@ -241323,6 +241443,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) {
@@ -241414,10 +241574,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 absFunction([], { body: noBody2 });
+    }
     return objectProtoMethodAbs(key);
   }
   if (noteNullishMemberThrows(o, key, "property")) {
@@ -242131,7 +242300,9 @@ __export(calls_exports, {
   $recordBinding: () => $recordBinding,
   MAX_B_CALL_DEPTH: () => MAX_B_CALL_DEPTH,
   MAX_B_TOTAL_CALLS: () => MAX_B_TOTAL_CALLS,
+  blockHostSideEffect: () => blockHostSideEffect,
   getBCallCollector: () => getBCallCollector,
+  neverExecHostName: () => neverExecHostName,
   noteBCallRecord: () => noteBCallRecord,
   resetBCallBudget: () => resetBCallBudget,
   setBAssignCollector: () => setBAssignCollector,
@@ -242200,6 +242371,12 @@ function neverExecHostName(fn2) {
   }
   return null;
 }
+function blockHostSideEffect(fn2) {
+  const hostName = neverExecHostName(fn2);
+  if (hostName === null) return null;
+  noteHostEffectBlocked(hostName);
+  return abs({ k: "unknown" }, void 0, void 0, "opaque");
+}
 function noteBCallRecord(r) {
   if (!bCallCollector) return;
   try {
@@ -242281,12 +242458,11 @@ function $callNamed(name, fn2, args, loc, argLocs) {
   try {
     if (typeof fn2 === "function") {
       const g = GLOBAL_FNS.has(name) && fn2 === globalThis[name] ? evalGlobalFn(name, args) : void 0;
-      const blockedHost = g === void 0 ? neverExecHostName(fn2) : null;
+      const blockedHost = g === void 0 ? blockHostSideEffect(fn2) : null;
       if (g !== void 0) {
         result = g;
       } else if (blockedHost !== null) {
-        noteHostEffectBlocked(blockedHost);
-        result = bTruncatedAbs();
+        result = blockedHost;
       } else {
         const entered = bEnterCall(name, fn2, args);
         if (!entered.ok) {
@@ -242557,6 +242733,8 @@ function $new(cls, args) {
     }
   }
   if (typeof cls === "function") {
+    const blockedHost = blockHostSideEffect(cls);
+    if (blockedHost) return blockedHost;
     if (cls === Array) {
       return makeArrayCtorAbs(args);
     }
@@ -242851,13 +243029,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) {
@@ -244856,37 +245032,105 @@ function parseObjectLiteral(content) {
   }
   return absExact({ k: "obj", slots });
 }
+function scanWithStrings(s, onChar, onStructural) {
+  let depth = 0;
+  let inString = null;
+  for (let i = 0; i < s.length; i++) {
+    const ch = s[i];
+    if (inString) {
+      onChar(ch, i);
+      if (ch === "\\") {
+        i++;
+        if (i < s.length) onChar(s[i], i);
+        continue;
+      }
+      if (ch === inString) inString = null;
+      continue;
+    }
+    if (ch === '"' || ch === "'") {
+      inString = ch;
+      onChar(ch, i);
+      continue;
+    }
+    if (ch === "(" || ch === "[" || ch === "{") {
+      depth++;
+      onChar(ch, i);
+      onStructural(ch, i, depth);
+      continue;
+    }
+    if (ch === ")" || ch === "]" || ch === "}") {
+      depth--;
+      onChar(ch, i);
+      onStructural(ch, i, depth);
+      continue;
+    }
+    onChar(ch, i);
+    onStructural(ch, i, depth);
+  }
+}
 function splitTopLevelArgs(s) {
   const result = [];
-  let depth = 0;
   let current = "";
-  for (const ch of s) {
+  let depth = 0;
+  let inString = null;
+  for (let i = 0; i < s.length; i++) {
+    const ch = s[i];
+    if (inString) {
+      current += ch;
+      if (ch === "\\") {
+        i++;
+        if (i < s.length) current += s[i];
+        continue;
+      }
+      if (ch === inString) inString = null;
+      continue;
+    }
+    if (ch === '"' || ch === "'") {
+      inString = ch;
+      current += ch;
+      continue;
+    }
     if (ch === "(" || ch === "[" || ch === "{") depth++;
     if (ch === ")" || ch === "]" || ch === "}") depth--;
     if (ch === "," && depth === 0) {
       result.push(current.trim());
       current = "";
-    } else {
-      current += ch;
+      continue;
     }
+    current += ch;
   }
   if (current.trim()) result.push(current.trim());
   return result;
 }
 function findTopLevelColon(s) {
-  let depth = 0;
-  for (let i = 0; i < s.length; i++) {
-    const ch = s[i];
-    if (ch === "(" || ch === "[" || ch === "{") depth++;
-    if (ch === ")" || ch === "]" || ch === "}") depth--;
-    if (ch === ":" && depth === 0) return i;
-  }
-  return -1;
+  let found = -1;
+  scanWithStrings(
+    s,
+    () => {
+    },
+    (ch, i, depth) => {
+      if (found === -1 && ch === ":" && depth === 0) found = i;
+    }
+  );
+  return found;
 }
 function findTopLevelArrow(s) {
   let depth = 0;
+  let inString = null;
   for (let i = 0; i < s.length - 1; i++) {
     const ch = s[i];
+    if (inString) {
+      if (ch === "\\") {
+        i++;
+        continue;
+      }
+      if (ch === inString) inString = null;
+      continue;
+    }
+    if (ch === '"' || ch === "'") {
+      inString = ch;
+      continue;
+    }
     if (ch === "(" || ch === "[" || ch === "{") depth++;
     else if (ch === ")" || ch === "]" || ch === "}") depth--;
     else if (depth === 0 && ch === "=" && s[i + 1] === ">") return i;
@@ -244896,9 +245140,23 @@ function findTopLevelArrow(s) {
 function extractBalancedParens(text, startIdx) {
   if (text[startIdx] !== "(") return null;
   let depth = 0;
+  let inString = null;
   for (let i = startIdx; i < text.length; i++) {
-    if (text[i] === "(") depth++;
-    if (text[i] === ")") depth--;
+    const ch = text[i];
+    if (inString) {
+      if (ch === "\\") {
+        i++;
+        continue;
+      }
+      if (ch === inString) inString = null;
+      continue;
+    }
+    if (ch === '"' || ch === "'") {
+      inString = ch;
+      continue;
+    }
+    if (ch === "(") depth++;
+    if (ch === ")") depth--;
     if (depth === 0) return text.slice(startIdx + 1, i);
   }
   return null;
@@ -245255,7 +245513,7 @@ function extractFileDirectives(ast) {
   return results;
 }
 
-// ../service/dist/chunk-ZXVAX7DE.js
+// ../service/dist/chunk-COMUCF3K.js
 import { readFileSync, existsSync, statSync, mkdirSync, writeFileSync } from "fs";
 import { resolve as resolvePath, join as joinPath } from "path";
 import { pathToFileURL } from "url";
@@ -247128,7 +247386,7 @@ function defineEnv3() {
   };
 }
 
-// ../service/dist/chunk-ZXVAX7DE.js
+// ../service/dist/chunk-COMUCF3K.js
 function hasOwnProp(props, name) {
   return Object.prototype.hasOwnProperty.call(props, name);
 }