@nudojs/core 1.1.4 → 1.2.0

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

@@ -1803,10 +1803,10 @@ function tryPromoteDirectCall(env, calleeName, args, loc) {
   });
   return env.vars.get(calleeName);
 }
-function tryPromoteHofCallback(env, cbName, method, argAbses, loc) {
+function tryPromoteHofCallback(env, cevalName, method, argAbses, loc) {
   const hc = env.hofCollect;
-  if (!hc || !hc.paramNames.has(cbName)) return void 0;
-  const prev = env.vars.get(cbName);
+  if (!hc || !hc.paramNames.has(cevalName)) return void 0;
+  const prev = env.vars.get(cevalName);
   if (!prev) return void 0;
   if (prev.shape.k !== "any" && prev.shape.k !== "unknown") return void 0;
   let paramTypes;
@@ -1820,12 +1820,12 @@ function tryPromoteHofCallback(env, cbName, method, argAbses, loc) {
     paramTypes = argAbses.map(
       (a) => abs({ k: "any" }, alphaOf(a, hc), void 0, "path")
     );
-    returnType = abs({ k: "any" }, betaOf(cbName), void 0, "path");
+    returnType = abs({ k: "any" }, betaOf(cevalName), void 0, "path");
   } else {
     paramTypes = argAbses.map(
       (a) => abs({ k: "any" }, alphaOf(a, hc), void 0, "path")
     );
-    returnType = abs({ k: "any" }, betaOf(cbName), void 0, "path");
+    returnType = abs({ k: "any" }, betaOf(cevalName), void 0, "path");
   }
   const fnShape = {
     k: "fn",
@@ -1833,14 +1833,14 @@ function tryPromoteHofCallback(env, cbName, method, argAbses, loc) {
     paramTypes,
     returnType
   };
-  promoteParamShape(env, cbName, fnShape, { loc, recordSite: false });
+  promoteParamShape(env, cevalName, fnShape, { loc, recordSite: false });
   hc.sites.push({
-    param: cbName,
+    param: cevalName,
     argTerms: argAbses.map((a) => a.term ?? { op: "var", id: "_" }),
     result: returnType,
     loc
   });
-  return env.vars.get(cbName);
+  return env.vars.get(cevalName);
 }
 function snapshotAbs(a) {
   const shape = a.shape;
@@ -2465,22 +2465,56 @@ function concatString(a, b) {
     );
   }
   const aParts = coerceToStringParts(a);
-  const bParts = coerceToStringParts(b);
-  if (!aParts || !bParts) return abs({ k: "unknown" }, void 0, void 0, "partial");
-  return createTemplateAbs([...aParts, ...bParts]);
+  const evalParts = coerceToStringParts(b);
+  if (!aParts || !evalParts) return abs({ k: "unknown" }, void 0, void 0, "partial");
+  return createTemplateAbs([...aParts, ...evalParts]);
 }
 function coerceToStringParts(a) {
   if (isTemplateAbs(a) || isStrPrim2(a)) return templatePartsOf(a);
   if (isStrLit(a)) return [a];
-  const lv = litValue(a);
-  if (typeof lv === "number" || typeof lv === "boolean") {
-    return [abs({ k: "prim", type: "string" }, lit(String(lv)), void 0, "exact")];
+  if (a.term?.op === "lit") {
+    const v2 = a.term.value;
+    if (typeof v2 === "symbol") return void 0;
+    return [abs({ k: "prim", type: "string" }, lit(String(v2)), void 0, "exact")];
   }
   if (a.shape.k === "prim" && a.shape.type === "number") {
     return [a];
   }
+  if (a.shape.k === "tuple" || a.shape.k === "arr") {
+    return [arrayToPrimitiveString(a)];
+  }
+  if (a.shape.k === "obj" && !a.shape.open && !a.shape.index && !isNullProtoObj(a)) {
+    const slots = a.shape.slots;
+    if (!Object.hasOwn(slots, "toString") && !Object.hasOwn(slots, "valueOf")) {
+      return [
+        abs({ k: "prim", type: "string" }, lit("[object Object]"), void 0, "exact")
+      ];
+    }
+  }
   return void 0;
 }
+function arrayToPrimitiveString(a) {
+  const s = a.shape;
+  const strPrimPart = () => abs({ k: "prim", type: "string" }, void 0, void 0, "path");
+  if (s.k === "arr") return strPrimPart();
+  if (s.k !== "tuple") return strPrimPart();
+  const holes = s.holes ?? [];
+  const parts = [];
+  for (let i = 0; i < s.elements.length; i++) {
+    if (holes.includes(i)) {
+      parts.push("");
+      continue;
+    }
+    const el = s.elements[i];
+    if (el.term?.op !== "lit") return strPrimPart();
+    const v2 = el.term.value;
+    if (typeof v2 === "symbol") return strPrimPart();
+    if (v2 === null || v2 === void 0) parts.push("");
+    else if (typeof v2 === "object") return strPrimPart();
+    else parts.push(String(v2));
+  }
+  return abs({ k: "prim", type: "string" }, lit(parts.join(",")), void 0, "exact");
+}
 
 // src/algebra/symbol-id.ts
 var symbolMeta = /* @__PURE__ */ new WeakMap();
@@ -2701,6 +2735,9 @@ function add(a, b, phi2 = pTrue) {
   if (isStrPrim(a) || isStrPrim(b) || isTemplateLike(a) || isTemplateLike(b)) {
     return concatString(a, b);
   }
+  if (a.shape.k === "tuple" || a.shape.k === "arr" || b.shape.k === "tuple" || b.shape.k === "arr") {
+    return concatString(a, b);
+  }
   if (isNumPrim(a) && isNumPrim(b)) {
     if (!a.term || !b.term) {
       return abs(num().shape, void 0, void 0, confJoin(a.conf, "widened"));
@@ -2806,17 +2843,17 @@ function isNumericLike(a) {
 }
 function addPred(a, b, sumTerm, phi2) {
   const aBounds = numericBounds(a, phi2);
-  const bBounds = numericBounds(b, phi2);
-  if (!aBounds && !bBounds) return void 0;
+  const evalBounds = numericBounds(b, phi2);
+  if (!aBounds && !evalBounds) return void 0;
   const facts = [];
-  if (aBounds?.lo !== void 0 && bBounds?.lo !== void 0) {
-    const loSum = aBounds.lo.value + bBounds.lo.value;
-    const strict = aBounds.lo.strict || bBounds.lo.strict;
+  if (aBounds?.lo !== void 0 && evalBounds?.lo !== void 0) {
+    const loSum = aBounds.lo.value + evalBounds.lo.value;
+    const strict = aBounds.lo.strict || evalBounds.lo.strict;
     facts.push(strict ? gt(sumTerm, lit(loSum)) : ge(sumTerm, lit(loSum)));
   }
-  if (aBounds?.hi !== void 0 && bBounds?.hi !== void 0) {
-    const hiSum = aBounds.hi.value + bBounds.hi.value;
-    const strict = aBounds.hi.strict || bBounds.hi.strict;
+  if (aBounds?.hi !== void 0 && evalBounds?.hi !== void 0) {
+    const hiSum = aBounds.hi.value + evalBounds.hi.value;
+    const strict = aBounds.hi.strict || evalBounds.hi.strict;
     facts.push(strict ? lt(sumTerm, lit(hiSum)) : le(sumTerm, lit(hiSum)));
   }
   if (facts.length === 0) return void 0;
@@ -4808,7 +4845,12 @@ function evalArrayStatic(name, args) {
       return boolLit(false);
     }
     case "of":
-      return abs({ k: "arr", element: a0 ?? unknown }, void 0, void 0, "path");
+      return abs(
+        { k: "tuple", elements: args.map((a) => asAbs(a) ?? unknown) },
+        void 0,
+        void 0,
+        "exact"
+      );
     case "from": {
       const mapFn = args[1];
       const hasMapFn = mapFn !== void 0 && mapFn !== null;
@@ -5984,8 +6026,8 @@ function strictEqAbs(a, b) {
     if (an !== void 0 && bn !== void 0) return an === bn;
   }
   const aIsAbs = !!(a && typeof a === "object" && "shape" in a);
-  const bIsAbs = !!(b && typeof b === "object" && "shape" in b);
-  if (!aIsAbs || !bIsAbs) {
+  const evalIsAbs = !!(b && typeof b === "object" && "shape" in b);
+  if (!aIsAbs || !evalIsAbs) {
     return a === b ? true : void 0;
   }
   if (a.term?.op === "lit" && b.term?.op === "lit") {
@@ -6011,8 +6053,8 @@ function strictEqAbs(a, b) {
   const vb = litValue(b);
   if (va !== void 0 && vb !== void 0) return va === vb;
   const aNullish = va === null || a.term?.op === "lit" && a.term.value === void 0;
-  const bNullish = vb === null || b.term?.op === "lit" && b.term.value === void 0;
-  if (bNullish && definitelyNotNullishShape(a.shape)) return false;
+  const evalNullish = vb === null || b.term?.op === "lit" && b.term.value === void 0;
+  if (evalNullish && definitelyNotNullishShape(a.shape)) return false;
   if (aNullish && definitelyNotNullishShape(b.shape)) return false;
   if (a.term && b.term && a.term.op === "var" && b.term.op === "var" && a.term.id === b.term.id) {
     const k = a.shape.k;
@@ -6090,6 +6132,18 @@ function isFoldableIndexArg(x) {
   const v2 = x.term.value;
   return v2 === void 0 || typeof v2 === "number" || typeof v2 === "string" || typeof v2 === "boolean" || v2 === null;
 }
+function toIntegerOrInfinityLit(x) {
+  if (x === void 0) return 0;
+  if (x.term?.op !== "lit") return void 0;
+  const v2 = x.term.value;
+  if (typeof v2 === "symbol" || typeof v2 === "bigint") return void 0;
+  if (v2 === void 0) return 0;
+  const n = Number(v2);
+  if (Number.isNaN(n)) return 0;
+  if (n === Infinity) return Infinity;
+  if (n === -Infinity) return -Infinity;
+  return Math.trunc(n);
+}
 function toStringArg(x) {
   if (x === void 0) return "undefined";
   if (x.term?.op !== "lit") return void 0;
@@ -6180,6 +6234,14 @@ function callAbsMethod(recv, name, args) {
       if (!isFoldableIndexArg(args[0])) return strPrim("path");
       return strLit(lit3.charAt(Number(a0 ?? 0)));
     }
+    case "at": {
+      if (lit3 === void 0) return strPrim("path");
+      const iv = toIntegerOrInfinityLit(args[0]);
+      if (iv === void 0) return strPrim("path");
+      const idx = iv < 0 ? lit3.length + iv : iv;
+      if (idx >= 0 && idx < lit3.length) return strLit(lit3[idx]);
+      return undefAbs();
+    }
     case "toString":
     case "valueOf":
       return lit3 !== void 0 ? strLit(lit3) : strPrim("path");
@@ -8415,10 +8477,7 @@ function emitArrMutatorRebinds(expr, opts, pad) {
     if (node.type === "UpdateExpression" && node.argument) {
       const arg = node.argument;
       const fn = node.operator === "++" ? "$add" : "$sub";
-      const isPostfix = node.prefix !== true;
-      if (arg.type === "Identifier" && arg.name) {
-        if (isPostfix) lines.push(`${pad}${arg.name} = ${fn}(${arg.name}, $lit(1));`);
-      } else if (arg.type === "MemberExpression") {
+      if (arg.type === "MemberExpression") {
         const path = memberPathOf(
           arg,
           opts
@@ -10012,9 +10071,10 @@ function transpileExpression(expr, opts = {}) {
     case "UpdateExpression": {
       const arg = expr.argument;
       const fn = expr.operator === "++" ? "$add" : "$sub";
+      const undo = expr.operator === "++" ? "$sub" : "$add";
       if (arg.type === "Identifier") {
         if (expr.prefix) return `${arg.name} = ${fn}(${arg.name}, $lit(1))`;
-        return arg.name;
+        return `(${arg.name} = ${fn}(${arg.name}, $lit(1)), ${undo}(${arg.name}, $lit(1)))`;
       }
       if (arg.type === "MemberExpression") {
         const m = arg;
@@ -10526,7 +10586,7 @@ function runtimeImportOf(runtime) {
 function transpileFile(file, opts = {}) {
   const runtime = opts.runtimeImport ?? "@nudojs/core/exec";
   const lines = [
-    `// nudo B-path transpile \u2014 values are Abs; operators are overloaded calls`,
+    `// nudo evaluator transpile \u2014 values are Abs; operators are overloaded calls`,
     `import { $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $catchVal, $switch, $staticInvoke, $setKey, $gen, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`,
     ``
   ];
@@ -10552,11 +10612,11 @@ function getAbsCallBudgetStats() {
   return {
     calls: _absTotalCalls,
     maxCalls: MAX_TOTAL_CALLS,
-    forks: _bForkCount,
-    maxForks: _bForkBudgetLimit,
+    forks: _evalForkCount,
+    maxForks: _evalForkBudgetLimit,
     callTruncated: _callTruncated,
-    forkTruncated: _bForkTruncNoted,
-    truncated: _callTruncated || _bForkTruncNoted
+    forkTruncated: _evalForkTruncNoted,
+    truncated: _callTruncated || _evalForkTruncNoted
   };
 }
 function resetAbsCallBudget() {
@@ -10564,7 +10624,7 @@ function resetAbsCallBudget() {
   _absTotalCalls = 0;
   _activeCallKeys = [];
   _callTruncated = false;
-  resetBForkBudget();
+  resetEvalForkBudget();
 }
 function stableCallId(obj2) {
   let id = _fnCallIds.get(obj2);
@@ -10614,41 +10674,41 @@ function exitCall() {
   _absCallDepth--;
   _activeCallKeys.pop();
 }
-var MAX_B_TOTAL_FORKS = 5e3;
-var _bForkBudgetLimit = MAX_B_TOTAL_FORKS;
-var _bForkCount = 0;
-var _bForkTruncNoted = false;
+var MAX_EVAL_TOTAL_FORKS = 5e3;
+var _evalForkBudgetLimit = MAX_EVAL_TOTAL_FORKS;
+var _evalForkCount = 0;
+var _evalForkTruncNoted = false;
 var FORK_TRUNCATION_LABEL = "#fork-budget";
 var HOST_EFFECT_LABEL_PREFIX = "#host-effect:";
 function noteHostEffectBlocked(name) {
   noteAbsTruncation(`${HOST_EFFECT_LABEL_PREFIX}${name}`);
 }
-function noteBForkTruncation() {
+function noteEvalForkTruncation() {
   noteAbsTruncation(FORK_TRUNCATION_LABEL);
 }
-function setBForkBudgetLimit(n) {
+function setEvalForkBudgetLimit(n) {
   if (typeof n === "number" && Number.isFinite(n) && n >= 1) {
-    _bForkBudgetLimit = Math.floor(n);
+    _evalForkBudgetLimit = Math.floor(n);
   } else {
-    _bForkBudgetLimit = MAX_B_TOTAL_FORKS;
+    _evalForkBudgetLimit = MAX_EVAL_TOTAL_FORKS;
   }
-  return _bForkBudgetLimit;
+  return _evalForkBudgetLimit;
 }
-function getBForkBudgetLimit() {
-  return _bForkBudgetLimit;
+function getEvalForkBudgetLimit() {
+  return _evalForkBudgetLimit;
 }
-function getBForkCount() {
-  return _bForkCount;
+function getEvalForkCount() {
+  return _evalForkCount;
 }
-function resetBForkBudget() {
-  _bForkCount = 0;
-  _bForkTruncNoted = false;
+function resetEvalForkBudget() {
+  _evalForkCount = 0;
+  _evalForkTruncNoted = false;
 }
-function bumpBForkBudget() {
-  if (++_bForkCount <= _bForkBudgetLimit) return true;
-  if (!_bForkTruncNoted) {
-    _bForkTruncNoted = true;
-    noteBForkTruncation();
+function bumpEvalForkBudget() {
+  if (++_evalForkCount <= _evalForkBudgetLimit) return true;
+  if (!_evalForkTruncNoted) {
+    _evalForkTruncNoted = true;
+    noteEvalForkTruncation();
   }
   return false;
 }
@@ -10775,10 +10835,10 @@ __export(runtime_exports, {
 
 // src/algebra/exec/class-registry.ts
 var classRegistry = /* @__PURE__ */ new Map();
-function registerBClass(spec) {
+function registerEvalClass(spec) {
   classRegistry.set(spec.name, spec);
 }
-function getBClass(name) {
+function getEvalClass(name) {
   return classRegistry.get(name);
 }
 function clearBClasses() {
@@ -10821,9 +10881,9 @@ function findClassAccessor(startName, key) {
   const seen = /* @__PURE__ */ new Set();
   while (cur && !seen.has(cur)) {
     seen.add(cur);
-    const acc = getBClass(cur)?.accessors?.[key];
+    const acc = getEvalClass(cur)?.accessors?.[key];
     if (acc) return acc;
-    cur = getBClass(cur)?.superName;
+    cur = getEvalClass(cur)?.superName;
   }
   return void 0;
 }
@@ -10832,9 +10892,9 @@ function findStaticClassAccessor(startName, key) {
   const seen = /* @__PURE__ */ new Set();
   while (cur && !seen.has(cur)) {
     seen.add(cur);
-    const acc = getBClass(cur)?.staticAccessors?.[key];
+    const acc = getEvalClass(cur)?.staticAccessors?.[key];
     if (acc) return acc;
-    cur = getBClass(cur)?.superName;
+    cur = getEvalClass(cur)?.superName;
   }
   return void 0;
 }
@@ -10897,8 +10957,8 @@ var BUILTIN_BRAND_METHODS = {
   Promise: /* @__PURE__ */ new Set(["then", "catch", "finally"])
 };
 function brandHasProtoMember(brandName, key) {
-  for (const name of bClassChain(brandName)) {
-    const spec = getBClass(name);
+  for (const name of evalClassChain(brandName)) {
+    const spec = getEvalClass(name);
     if (spec?.methods?.[key]) return true;
     if (spec?.accessors?.[key]) return true;
     const builtin = BUILTIN_BRAND_METHODS[name];
@@ -10916,12 +10976,12 @@ var BUILTIN_ERROR_SUPER2 = {
   EvalError: "Error",
   AggregateError: "Error"
 };
-function bClassChain(name) {
+function evalClassChain(name) {
   const out = [name];
   let cur = name;
   let depth = 0;
   while (cur && depth++ < 32) {
-    const spec = getBClass(cur);
+    const spec = getEvalClass(cur);
     const parent = spec?.superName ?? BUILTIN_ERROR_SUPER2[cur];
     if (!parent || out.includes(parent)) break;
     out.push(parent);
@@ -10978,7 +11038,7 @@ function $instanceof(left, rightName, rightVal) {
         return boolLit(rightName === "Function" || rightName === "Object");
       }
       return boolLit(
-        rightName === "Object" || bClassChain(left.shape.name).includes(rightName)
+        rightName === "Object" || evalClassChain(left.shape.name).includes(rightName)
       );
     case "arr":
     case "tuple":
@@ -11549,7 +11609,7 @@ function $idxSet(a, i, value) {
   }
   if (sk === "brand") {
     if (iv === void 0) return a;
-    if (getBClass(a.shape.name)) return $set(a, String(iv), value);
+    if (getEvalClass(a.shape.name)) return $set(a, String(iv), value);
     return a;
   }
   if (sk === "tuple") {
@@ -11944,8 +12004,8 @@ function $get(o, key, opts) {
       const sacc = findStaticClassAccessor(o.shape.name, key);
       if (sacc) return sacc.get ? sacc.get(o) : undef();
       if (findClassAccessor(o.shape.name, key)) return undef();
-      for (const n of bClassChain(o.shape.name)) {
-        const spec = getBClass(n);
+      for (const n of evalClassChain(o.shape.name)) {
+        const spec = getEvalClass(n);
         if (spec?.staticMethods?.[key]) {
           return absFunction(spec.staticMethodParams?.[key] ?? [], { body: noBody2 });
         }
@@ -11960,8 +12020,8 @@ function $get(o, key, opts) {
       const acc = findClassAccessor(o.shape.name, key);
       if (acc) return acc.get ? acc.get(o) : undef();
       if (findStaticClassAccessor(o.shape.name, key)) return undef();
-      for (const n of bClassChain(o.shape.name)) {
-        const spec = getBClass(n);
+      for (const n of evalClassChain(o.shape.name)) {
+        const spec = getEvalClass(n);
         if (spec?.methods?.[key]) {
           return absFunction(spec.methodParams?.[key] ?? [], { body: noBody2 });
         }
@@ -12240,8 +12300,8 @@ function runForkArm(arm, exits) {
 }
 function settleForkArms(a, b, exits) {
   const aThrow = a.kind === "throw";
-  const bThrow = b.kind === "throw";
-  if (aThrow && bThrow) {
+  const evalThrow = b.kind === "throw";
+  if (aThrow && evalThrow) {
     throw new NudoThrow(joinAbs(a.v, b.v));
   }
   const first = aThrow ? b : a;
@@ -12249,7 +12309,7 @@ function settleForkArms(a, b, exits) {
   if (first.kind === "ret" && second.kind === "ret") {
     throw new NudoReturn(joinAbs(first.v, second.v));
   }
-  if (aThrow !== bThrow) {
+  if (aThrow !== evalThrow) {
     if (first.kind === "ret") {
       if (!exits) throw new NudoReturn(first.v);
       return undef();
@@ -12289,7 +12349,7 @@ function boundedPhi(p, q) {
 function $fork(test, consequent, alternate) {
   notePromiseExecutorFork();
   const testAbs = asAbsVal(test);
-  if (!bumpBForkBudget()) return unknown;
+  if (!bumpEvalForkBudget()) return unknown;
   const truth = litTruth(testAbs);
   const p = currentExecPhi();
   const tCons = testAbs.pred;
@@ -12687,10 +12747,10 @@ __export(class_exports, {
   $thisSet: () => $thisSet,
   clearBClasses: () => clearBClasses,
   execRegexBrand: () => execRegexBrand,
-  getBClass: () => getBClass,
+  getEvalClass: () => getEvalClass,
   regexExecWithState: () => regexExecWithState,
   regexParts: () => regexParts,
-  registerBClass: () => registerBClass,
+  registerEvalClass: () => registerEvalClass,
   stringRegexMethod: () => stringRegexMethod
 });
 
@@ -12700,29 +12760,29 @@ __export(calls_exports, {
   $assignRecord: () => $assignRecord,
   $callNamed: () => $callNamed,
   $recordBinding: () => $recordBinding,
-  MAX_B_CALL_DEPTH: () => MAX_B_CALL_DEPTH,
-  MAX_B_TOTAL_CALLS: () => MAX_B_TOTAL_CALLS,
+  MAX_EVAL_CALL_DEPTH: () => MAX_EVAL_CALL_DEPTH,
+  MAX_EVAL_TOTAL_CALLS: () => MAX_EVAL_TOTAL_CALLS,
   blockHostSideEffect: () => blockHostSideEffect,
-  getBCallCollector: () => getBCallCollector,
+  getEvalCallCollector: () => getEvalCallCollector,
   neverExecHostName: () => neverExecHostName,
-  noteBCallRecord: () => noteBCallRecord,
-  resetBCallBudget: () => resetBCallBudget,
-  setBAssignCollector: () => setBAssignCollector,
-  setBBindingSink: () => setBBindingSink,
-  setBCallCollector: () => setBCallCollector
+  noteEvalCallRecord: () => noteEvalCallRecord,
+  resetEvalCallBudget: () => resetEvalCallBudget,
+  setEvalAssignCollector: () => setEvalAssignCollector,
+  setEvalBindingSink: () => setEvalBindingSink,
+  setEvalCallCollector: () => setEvalCallCollector
 });
 var pureCallMemo = /* @__PURE__ */ new WeakMap();
-var bCallCollector = null;
-var bAssignCollector = null;
-function setBAssignCollector(collector2) {
-  const prev = bAssignCollector;
-  bAssignCollector = collector2;
+var evalCallCollector = null;
+var evalAssignCollector = null;
+function setEvalAssignCollector(collector2) {
+  const prev = evalAssignCollector;
+  evalAssignCollector = collector2;
   return prev;
 }
 function $assignRecord(name, prev, next, line, column, conditional) {
-  if (!bAssignCollector) return;
+  if (!evalAssignCollector) return;
   try {
-    bAssignCollector({
+    evalAssignCollector({
       name,
       prev,
       next,
@@ -12734,7 +12794,7 @@ function $assignRecord(name, prev, next, line, column, conditional) {
   }
 }
 var bindingSink = null;
-function setBBindingSink(sink) {
+function setEvalBindingSink(sink) {
   bindingSink = sink;
 }
 function $recordBinding(name, value) {
@@ -12779,63 +12839,63 @@ function blockHostSideEffect(fn) {
   noteHostEffectBlocked(hostName);
   return abs({ k: "unknown" }, void 0, void 0, "opaque");
 }
-function noteBCallRecord(r) {
-  if (!bCallCollector) return;
+function noteEvalCallRecord(r) {
+  if (!evalCallCollector) return;
   try {
-    bCallCollector(r);
+    evalCallCollector(r);
   } catch {
   }
 }
-function setBCallCollector(collector2) {
-  const prev = bCallCollector;
-  bCallCollector = collector2;
+function setEvalCallCollector(collector2) {
+  const prev = evalCallCollector;
+  evalCallCollector = collector2;
   return prev;
 }
-function getBCallCollector() {
-  return bCallCollector;
-}
-var MAX_B_CALL_DEPTH = 64;
-var MAX_B_TOTAL_CALLS = 2e4;
-var bCallDepth = 0;
-var bTotalCalls = 0;
-var bActiveCallKeys = [];
-var bFnCallIds = /* @__PURE__ */ new WeakMap();
-var bFnCallIdSeq = 0;
-function bStableId(obj2) {
-  let id = bFnCallIds.get(obj2);
+function getEvalCallCollector() {
+  return evalCallCollector;
+}
+var MAX_EVAL_CALL_DEPTH = 64;
+var MAX_EVAL_TOTAL_CALLS = 2e4;
+var evalCallDepth = 0;
+var evalTotalCalls = 0;
+var evalActiveCallKeys = [];
+var evalFnCallIds = /* @__PURE__ */ new WeakMap();
+var evalFnCallIdSeq = 0;
+function evalStableId(obj2) {
+  let id = evalFnCallIds.get(obj2);
   if (id === void 0) {
-    id = `#${++bFnCallIdSeq}`;
-    bFnCallIds.set(obj2, id);
+    id = `#${++evalFnCallIdSeq}`;
+    evalFnCallIds.set(obj2, id);
   }
   return id;
 }
-function resetBCallBudget() {
-  bCallDepth = 0;
-  bTotalCalls = 0;
-  bActiveCallKeys = [];
-  resetBForkBudget();
+function resetEvalCallBudget() {
+  evalCallDepth = 0;
+  evalTotalCalls = 0;
+  evalActiveCallKeys = [];
+  resetEvalForkBudget();
 }
-function bTruncatedAbs() {
+function evalTruncatedAbs() {
   return abs({ k: "unknown" }, void 0, void 0, "opaque");
 }
-function bCallBudgetKey(name, fn, args) {
-  const id = fn && typeof fn === "object" ? bStableId(fn) : "prim";
+function evalCallBudgetKey(name, fn, args) {
+  const id = fn && typeof fn === "object" ? evalStableId(fn) : "prim";
   return callBudgetKey(name, id, args);
 }
-function bEnterCall(name, fn, args) {
-  const key = bCallBudgetKey(name, fn, args);
-  if (bActiveCallKeys.includes(key) || bCallDepth >= MAX_B_CALL_DEPTH || bTotalCalls >= MAX_B_TOTAL_CALLS) {
+function evalEnterCall(name, fn, args) {
+  const key = evalCallBudgetKey(name, fn, args);
+  if (evalActiveCallKeys.includes(key) || evalCallDepth >= MAX_EVAL_CALL_DEPTH || evalTotalCalls >= MAX_EVAL_TOTAL_CALLS) {
     noteAbsTruncation(name);
     return { ok: false };
   }
-  bActiveCallKeys.push(key);
-  bCallDepth++;
-  bTotalCalls++;
+  evalActiveCallKeys.push(key);
+  evalCallDepth++;
+  evalTotalCalls++;
   return { ok: true, key };
 }
-function bExitCall() {
-  bCallDepth--;
-  bActiveCallKeys.pop();
+function evalExitCall() {
+  evalCallDepth--;
+  evalActiveCallKeys.pop();
 }
 function $callNamed(name, fn, args, loc, argLocs) {
   const pureName = pureFnNameOf(fn);
@@ -12866,26 +12926,26 @@ function $callNamed(name, fn, args, loc, argLocs) {
       } else if (blockedHost !== null) {
         result = blockedHost;
       } else {
-        const entered = bEnterCall(name, fn, args);
+        const entered = evalEnterCall(name, fn, args);
         if (!entered.ok) {
-          result = bTruncatedAbs();
+          result = evalTruncatedAbs();
         } else {
           try {
             result = callAtFunctionBoundary(() => fn(...args));
           } finally {
-            bExitCall();
+            evalExitCall();
           }
         }
       }
     } else if (fn && typeof fn === "object" && "shape" in fn) {
-      const entered = bEnterCall(name, fn, args);
+      const entered = evalEnterCall(name, fn, args);
       if (!entered.ok) {
-        result = bTruncatedAbs();
+        result = evalTruncatedAbs();
       } else {
         try {
           result = $call(fn, args);
         } finally {
-          bExitCall();
+          evalExitCall();
         }
       }
     }
@@ -12902,9 +12962,9 @@ function $callNamed(name, fn, args, loc, argLocs) {
       }
       m.set(pk, result);
     }
-    if (bCallCollector) {
+    if (evalCallCollector) {
       try {
-        bCallCollector({
+        evalCallCollector({
           fnName: name,
           args: argsSnapshot,
           result: threw ? unknown : result,
@@ -13080,7 +13140,7 @@ function $class(name, spec) {
     accessors: spec.accessors,
     staticAccessors: spec.staticAccessors
   };
-  registerBClass(full);
+  registerEvalClass(full);
   const slots = {};
   if (spec.statics) {
     for (const [k, v2] of Object.entries(spec.statics)) slots[k] = { value: asAbsVal(v2) };
@@ -13098,7 +13158,7 @@ function $class(name, spec) {
 }
 function specOf(cls) {
   if (classImpl.has(cls)) return classImpl.get(cls);
-  if (cls.shape.k === "brand") return getBClass(cls.shape.name);
+  if (cls.shape.k === "brand") return getEvalClass(cls.shape.name);
   return void 0;
 }
 function findMethod(startName, method) {
@@ -13106,7 +13166,7 @@ function findMethod(startName, method) {
   const seen = /* @__PURE__ */ new Set();
   while (cur && !seen.has(cur)) {
     seen.add(cur);
-    const spec = getBClass(cur);
+    const spec = getEvalClass(cur);
     if (spec?.methods?.[method]) return spec.methods[method];
     cur = spec?.superName;
   }
@@ -13117,7 +13177,7 @@ function findCtor(startName) {
   const seen = /* @__PURE__ */ new Set();
   while (cur && !seen.has(cur)) {
     seen.add(cur);
-    const spec = getBClass(cur);
+    const spec = getEvalClass(cur);
     if (spec?.ctor) return { ctor: spec.ctor, className: cur };
     cur = spec?.superName;
   }
@@ -13212,7 +13272,7 @@ function $new(cls, args) {
   return thisVal;
 }
 function $super(thisVal, childName, args) {
-  const child = getBClass(childName);
+  const child = getEvalClass(childName);
   const parentName = child?.superName;
   if (!parentName) return thisVal;
   const found = findCtor(parentName);
@@ -13449,7 +13509,7 @@ function $invoke(thisVal, method, args, loc) {
         result = e && typeof e === "object" && "absValue" in e ? e.absValue : unknown;
         throw e;
       } finally {
-        noteBCallRecord({
+        noteEvalCallRecord({
           fnName: `${brandName}.${method}`,
           args,
           result,
@@ -13458,7 +13518,7 @@ function $invoke(thisVal, method, args, loc) {
         });
       }
     }
-    const spec = getBClass(brandName);
+    const spec = getEvalClass(brandName);
     const sm = spec?.staticMethods?.[method];
     if (sm) {
       let result = unknown;
@@ -13471,7 +13531,7 @@ function $invoke(thisVal, method, args, loc) {
         result = e && typeof e === "object" && "absValue" in e ? e.absValue : unknown;
         throw e;
       } finally {
-        noteBCallRecord({
+        noteEvalCallRecord({
           fnName: `${brandName}.${method}`,
           args,
           result,
@@ -13576,7 +13636,7 @@ function $invoke(thisVal, method, args, loc) {
       result = e && typeof e === "object" && "absValue" in e ? e.absValue : unknown;
       throw e;
     } finally {
-      noteBCallRecord({
+      noteEvalCallRecord({
         fnName: recordName,
         args,
         result,
@@ -13904,8 +13964,7 @@ function invokeArrMethod(arr, method, args) {
     if (shape.k === "arr") return joinAbs(shape.element, undefAbs());
   }
   if (method === "at") {
-    const raw = args[0] !== void 0 ? litValue(args[0]) : void 0;
-    const iv = typeof raw === "number" && Number.isInteger(raw) ? raw : void 0;
+    const iv = toIntegerOrInfinityLit(args[0]);
     if (shape.k === "tuple") {
       const els = shape.elements;
       if (iv === void 0) {
@@ -13921,7 +13980,7 @@ function invokeArrMethod(arr, method, args) {
   return void 0;
 }
 function $invokeSuper(thisVal, childName, method, args) {
-  const child = getBClass(childName);
+  const child = getEvalClass(childName);
   const parentName = child?.superName;
   if (!parentName) return unknown;
   const m = findMethod(parentName, method);
@@ -14027,7 +14086,7 @@ function $staticInvoke(cls, method, args) {
     result = e && typeof e === "object" && "absValue" in e ? e.absValue : unknown;
     throw e;
   } finally {
-    noteBCallRecord({ fnName: recordName, args, result, threw });
+    noteEvalCallRecord({ fnName: recordName, args, result, threw });
   }
 }
 function $setKey(o, key, value) {
@@ -14301,7 +14360,7 @@ function bindingsOf(run) {
   return runBindings.get(run);
 }
 function runTranspiled(source, opts = {}) {
-  resetBCallBudget();
+  resetEvalCallBudget();
   const modules = opts.modules ?? {};
   let js = transpile(source, {
     runtimeImport: "@nudojs/core/exec",
@@ -14394,18 +14453,18 @@ ${js}`;
   const ret = `return { ...__nudoExports, ...${cjsMerge}, ${names.join(", ")} };`;
   const fn = new Function(...argNames, `${js}
 ${ret}`);
-  setBBindingSink(bindings);
+  setEvalBindingSink(bindings);
   try {
     const result = fn(...args);
     runBindings.set(result, bindings);
     return result;
   } finally {
-    setBBindingSink(null);
+    setEvalBindingSink(null);
   }
 }
-var bFallbackCollector = null;
-function setBPathFallbackCollector(collector2) {
-  bFallbackCollector = collector2;
+var evalFallbackCollector = null;
+function setEvalFallbackCollector(collector2) {
+  evalFallbackCollector = collector2;
 }
 function evalExprAbs(expr, bindings = {}) {
   const src = transpileExpression(expr, {});
@@ -14418,15 +14477,15 @@ function evalExprAbs(expr, bindings = {}) {
   const factory = new Function(...names, cleaned);
   return factory(...Object.values(rtAllBindings()), ...Object.values(bindings));
 }
-function noteBPathFallback(e) {
-  if (!bFallbackCollector) return;
+function noteEvalFallback(e) {
+  if (!evalFallbackCollector) return;
   const f = e instanceof NudoUnsupportedError ? { reason: `unsupported:${e.reason}`, message: e.message, ...e.loc ? { loc: e.loc } : {} } : isNudoThrow(e) ? (
     // NudoThrow：程序自身的抛（如顶层 this 写 / strict 写 TypeError）——
     // 模块装载失败，不是 B 能力边界也不是 B 缺陷（catch 可吸收）
     { reason: "module-throw", message: e instanceof Error ? e.message : String(e) }
   ) : { reason: "internal", message: e instanceof Error ? e.message : String(e) };
   try {
-    bFallbackCollector(f);
+    evalFallbackCollector(f);
   } catch {
   }
 }
@@ -14434,7 +14493,7 @@ function tryRunTranspiled(source, opts = {}) {
   try {
     return runTranspiled(source, opts);
   } catch (e) {
-    noteBPathFallback(e);
+    noteEvalFallback(e);
     return void 0;
   }
 }
@@ -14444,7 +14503,7 @@ function isAbsVal(v2) {
 function callTranspiledExportFull(exports, name, args, opts) {
   const fn = exports[name];
   if (typeof fn === "function") {
-    resetBCallBudget();
+    resetEvalCallBudget();
     const callArgs = args.map(
       (a) => a && typeof a === "object" && "shape" in a ? $copy(a) : a
     );
@@ -14637,7 +14696,7 @@ function compiledBodyOf(impl) {
     runner = (args) => bodyFn(...args);
     compiledByImpl.set(implKey, runner);
   } catch (e) {
-    noteBPathFallback(e);
+    noteEvalFallback(e);
     return void 0;
   }
   return runner;
@@ -15144,19 +15203,19 @@ export {
   noteAbsTruncation,
   enterCall,
   exitCall,
-  MAX_B_TOTAL_FORKS,
+  MAX_EVAL_TOTAL_FORKS,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
   noteHostEffectBlocked,
-  noteBForkTruncation,
-  setBForkBudgetLimit,
-  getBForkBudgetLimit,
-  getBForkCount,
-  resetBForkBudget,
-  bumpBForkBudget,
+  noteEvalForkTruncation,
+  setEvalForkBudgetLimit,
+  getEvalForkBudgetLimit,
+  getEvalForkCount,
+  resetEvalForkBudget,
+  bumpEvalForkBudget,
   $call,
-  registerBClass,
-  getBClass,
+  registerEvalClass,
+  getEvalClass,
   clearBClasses,
   $objAccessor,
   lookupObjAccessor,
@@ -15205,16 +15264,16 @@ export {
   $gen,
   $yield,
   $nullishTest,
-  setBAssignCollector,
+  setEvalAssignCollector,
   $assignRecord,
-  setBBindingSink,
+  setEvalBindingSink,
   $recordBinding,
-  noteBCallRecord,
-  setBCallCollector,
-  getBCallCollector,
-  MAX_B_CALL_DEPTH,
-  MAX_B_TOTAL_CALLS,
-  resetBCallBudget,
+  noteEvalCallRecord,
+  setEvalCallCollector,
+  getEvalCallCollector,
+  MAX_EVAL_CALL_DEPTH,
+  MAX_EVAL_TOTAL_CALLS,
+  resetEvalCallBudget,
   $callNamed,
   $reStateCall,
   $class,
@@ -15233,9 +15292,9 @@ export {
   RUNTIME_IMPORT_RE,
   bindingsOf,
   runTranspiled,
-  setBPathFallbackCollector,
+  setEvalFallbackCollector,
   evalExprAbs,
-  noteBPathFallback,
+  noteEvalFallback,
   tryRunTranspiled,
   callTranspiledExportFull,
   callTranspiledExport