nudojs 1.0.3 → 1.0.5

package/dist/index.js

@@ -16264,10 +16264,10 @@ function tryPromoteDirectCall(env2, calleeName, args, loc) {
   });
   return env2.vars.get(calleeName);
 }
-function tryPromoteHofCallback(env2, cbName, method, argAbses, loc) {
+function tryPromoteHofCallback(env2, cevalName, method, argAbses, loc) {
   const hc = env2.hofCollect;
-  if (!hc || !hc.paramNames.has(cbName)) return void 0;
-  const prev = env2.vars.get(cbName);
+  if (!hc || !hc.paramNames.has(cevalName)) return void 0;
+  const prev = env2.vars.get(cevalName);
   if (!prev) return void 0;
   if (prev.shape.k !== "any" && prev.shape.k !== "unknown") return void 0;
   let paramTypes;
@@ -16281,12 +16281,12 @@ function tryPromoteHofCallback(env2, 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",
@@ -16294,14 +16294,14 @@ function tryPromoteHofCallback(env2, cbName, method, argAbses, loc) {
     paramTypes,
     returnType
   };
-  promoteParamShape(env2, cbName, fnShape, { loc, recordSite: false });
+  promoteParamShape(env2, 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 env2.vars.get(cbName);
+  return env2.vars.get(cevalName);
 }
 function snapshotAbs(a) {
   const shape2 = a.shape;
@@ -16937,27 +16937,62 @@ 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");
+}
 var init_template = __esm({
   "../core/src/algebra/template.ts"() {
     "use strict";
     init_abs();
     init_term();
+    init_objects();
   }
 });
 
@@ -17199,6 +17234,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"));
@@ -17304,17 +17342,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;
@@ -19439,7 +19477,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;
@@ -20749,8 +20792,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") {
@@ -20776,8 +20819,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;
@@ -20866,6 +20909,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;
@@ -20956,6 +21011,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");
@@ -24250,9 +24313,9 @@ function promoteAsFn(ctx2, name, args, loc) {
     loc
   });
 }
-function promoteCb(ctx2, cbName, method, argTerms, loc) {
-  if (!ctx2.params.has(cbName)) return;
-  const prev = ctx2.shapes.get(cbName);
+function promoteCb(ctx2, cevalName, method, argTerms, loc) {
+  if (!ctx2.params.has(cevalName)) return;
+  const prev = ctx2.shapes.get(cevalName);
   if (!prev) return;
   if (prev.shape.k !== "any" && prev.shape.k !== "unknown") return;
   let paramTypes;
@@ -24262,7 +24325,7 @@ function promoteCb(ctx2, cbName, method, argTerms, loc) {
     returnType = abs({ k: "prim", type: "boolean" }, void 0, void 0, "path");
   } else {
     paramTypes = argTerms.map((t) => abs({ k: "any" }, t, void 0, "path"));
-    returnType = abs({ k: "any" }, v(`B:${cbName}`), void 0, "path");
+    returnType = abs({ k: "any" }, v(`B:${cevalName}`), void 0, "path");
   }
   const fnShape = {
     k: "fn",
@@ -24270,9 +24333,9 @@ function promoteCb(ctx2, cbName, method, argTerms, loc) {
     paramTypes,
     returnType
   };
-  promoteShape(ctx2, cbName, fnShape, loc, false);
+  promoteShape(ctx2, cevalName, fnShape, loc, false);
   ctx2.sites.push({
-    param: cbName,
+    param: cevalName,
     argTerms,
     result: returnType,
     loc
@@ -25729,10 +25792,7 @@ function emitArrMutatorRebinds(expr, opts, pad) {
     if (node.type === "UpdateExpression" && node.argument) {
       const arg = node.argument;
       const fn2 = node.operator === "++" ? "$add" : "$sub";
-      const isPostfix = node.prefix !== true;
-      if (arg.type === "Identifier" && arg.name) {
-        if (isPostfix) lines.push(`${pad}${arg.name} = ${fn2}(${arg.name}, $lit(1));`);
-      } else if (arg.type === "MemberExpression") {
+      if (arg.type === "MemberExpression") {
         const path = memberPathOf(
           arg,
           opts
@@ -27354,9 +27414,10 @@ function transpileExpression(expr, opts = {}) {
     case "UpdateExpression": {
       const arg = expr.argument;
       const fn2 = expr.operator === "++" ? "$add" : "$sub";
+      const undo = expr.operator === "++" ? "$sub" : "$add";
       if (arg.type === "Identifier") {
         if (expr.prefix) return `${arg.name} = ${fn2}(${arg.name}, $lit(1))`;
-        return arg.name;
+        return `(${arg.name} = ${fn2}(${arg.name}, $lit(1)), ${undo}(${arg.name}, $lit(1)))`;
       }
       if (arg.type === "MemberExpression") {
         const m = arg;
@@ -27880,7 +27941,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)};`,
     ``
   ];
@@ -28023,7 +28084,7 @@ function compiledBodyOf(impl) {
     runner = (args) => bodyFn(...args);
     compiledByImpl.set(implKey, runner);
   } catch (e) {
-    noteBPathFallback(e);
+    noteEvalFallback(e);
     return void 0;
   }
   return runner;
@@ -28047,11 +28108,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() {
@@ -28059,7 +28120,7 @@ function resetAbsCallBudget() {
   _absTotalCalls = 0;
   _activeCallKeys = [];
   _callTruncated = false;
-  resetBForkBudget();
+  resetEvalForkBudget();
 }
 function stableCallId(obj2) {
   let id = _fnCallIds.get(obj2);
@@ -28111,36 +28172,36 @@ function exitCall() {
 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;
 }
-var MAX_CALL_DEPTH, MAX_TOTAL_CALLS, _absCallDepth, _absTotalCalls, _activeCallKeys, _fnCallIds, _fnCallIdSeq, _callTruncated, absTruncCollector, MAX_B_TOTAL_FORKS, _bForkBudgetLimit, _bForkCount, _bForkTruncNoted, FORK_TRUNCATION_LABEL, HOST_EFFECT_LABEL_PREFIX;
+var MAX_CALL_DEPTH, MAX_TOTAL_CALLS, _absCallDepth, _absTotalCalls, _activeCallKeys, _fnCallIds, _fnCallIdSeq, _callTruncated, absTruncCollector, MAX_EVAL_TOTAL_FORKS, _evalForkBudgetLimit, _evalForkCount, _evalForkTruncNoted, FORK_TRUNCATION_LABEL, HOST_EFFECT_LABEL_PREFIX;
 var init_call_budget = __esm({
   "../core/src/algebra/call-budget.ts"() {
     "use strict";
@@ -28155,10 +28216,10 @@ var init_call_budget = __esm({
     _fnCallIdSeq = 0;
     _callTruncated = false;
     absTruncCollector = null;
-    MAX_B_TOTAL_FORKS = 5e3;
-    _bForkBudgetLimit = MAX_B_TOTAL_FORKS;
-    _bForkCount = 0;
-    _bForkTruncNoted = false;
+    MAX_EVAL_TOTAL_FORKS = 5e3;
+    _evalForkBudgetLimit = MAX_EVAL_TOTAL_FORKS;
+    _evalForkCount = 0;
+    _evalForkTruncNoted = false;
     FORK_TRUNCATION_LABEL = "#fork-budget";
     HOST_EFFECT_LABEL_PREFIX = "#host-effect:";
   }
@@ -28275,10 +28336,10 @@ var init_call = __esm({
 });
 
 // ../core/src/algebra/exec/class-registry.ts
-function registerBClass(spec) {
+function registerEvalClass(spec) {
   classRegistry.set(spec.name, spec);
 }
-function getBClass(name) {
+function getEvalClass(name) {
   return classRegistry.get(name);
 }
 function clearBClasses() {
@@ -28328,9 +28389,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;
 }
@@ -28339,9 +28400,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;
 }
@@ -28394,8 +28455,8 @@ function $in(key, o) {
   return boolLit(OBJECT_PROTO_NAMES.has(keyStr));
 }
 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];
@@ -28403,12 +28464,12 @@ function brandHasProtoMember(brandName, key) {
   }
   return false;
 }
-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);
@@ -28439,7 +28500,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":
@@ -29070,7 +29131,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") {
@@ -29428,8 +29489,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 });
         }
@@ -29444,8 +29505,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 });
         }
@@ -29471,7 +29532,7 @@ function $get(o, key, opts) {
       return arrayMethodAbs(key === "join" ? "join" : key);
     }
     if (o.shape.k !== "prim" && (ARRAY_PROTO_METHOD_NAMES.has(key) || key === "@@iterator")) {
-      return absFunction([], { body: noBody2 });
+      return { shape: { k: "fn", params: [] }, conf: "path" };
     }
     return objectProtoMethodAbs(key);
   }
@@ -29793,8 +29854,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;
@@ -29802,7 +29863,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();
@@ -29841,7 +29902,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;
@@ -30390,26 +30451,26 @@ __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
 });
-function setBAssignCollector(collector2) {
-  const prev = bAssignCollector;
-  bAssignCollector = collector2;
+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,
@@ -30420,7 +30481,7 @@ function $assignRecord(name, prev, next, line, column, conditional) {
   } catch {
   }
 }
-function setBBindingSink(sink) {
+function setEvalBindingSink(sink) {
   bindingSink = sink;
 }
 function $recordBinding(name, value) {
@@ -30440,56 +30501,56 @@ function blockHostSideEffect(fn2) {
   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;
+function getEvalCallCollector() {
+  return evalCallCollector;
 }
-function bStableId(obj2) {
-  let id = bFnCallIds.get(obj2);
+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, fn2, args) {
-  const id = fn2 && typeof fn2 === "object" ? bStableId(fn2) : "prim";
+function evalCallBudgetKey(name, fn2, args) {
+  const id = fn2 && typeof fn2 === "object" ? evalStableId(fn2) : "prim";
   return callBudgetKey(name, id, args);
 }
-function bEnterCall(name, fn2, args) {
-  const key = bCallBudgetKey(name, fn2, args);
-  if (bActiveCallKeys.includes(key) || bCallDepth >= MAX_B_CALL_DEPTH || bTotalCalls >= MAX_B_TOTAL_CALLS) {
+function evalEnterCall(name, fn2, args) {
+  const key = evalCallBudgetKey(name, fn2, 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, fn2, args, loc, argLocs) {
   const pureName = pureFnNameOf(fn2);
@@ -30520,26 +30581,26 @@ function $callNamed(name, fn2, args, loc, argLocs) {
       } else if (blockedHost !== null) {
         result = blockedHost;
       } else {
-        const entered = bEnterCall(name, fn2, args);
+        const entered = evalEnterCall(name, fn2, args);
         if (!entered.ok) {
-          result = bTruncatedAbs();
+          result = evalTruncatedAbs();
         } else {
           try {
             result = callAtFunctionBoundary(() => fn2(...args));
           } finally {
-            bExitCall();
+            evalExitCall();
           }
         }
       }
     } else if (fn2 && typeof fn2 === "object" && "shape" in fn2) {
-      const entered = bEnterCall(name, fn2, args);
+      const entered = evalEnterCall(name, fn2, args);
       if (!entered.ok) {
-        result = bTruncatedAbs();
+        result = evalTruncatedAbs();
       } else {
         try {
           result = $call(fn2, args);
         } finally {
-          bExitCall();
+          evalExitCall();
         }
       }
     }
@@ -30556,9 +30617,9 @@ function $callNamed(name, fn2, args, loc, argLocs) {
       }
       m.set(pk, result);
     }
-    if (bCallCollector) {
+    if (evalCallCollector) {
       try {
-        bCallCollector({
+        evalCallCollector({
           fnName: name,
           args: argsSnapshot,
           result: threw ? unknown : result,
@@ -30571,7 +30632,7 @@ function $callNamed(name, fn2, args, loc, argLocs) {
   }
   return result;
 }
-var pureCallMemo, bCallCollector, bAssignCollector, bindingSink, GLOBAL_FNS, NEVER_EXEC_HOST_FN_NAMES, MAX_B_CALL_DEPTH, MAX_B_TOTAL_CALLS, bCallDepth, bTotalCalls, bActiveCallKeys, bFnCallIds, bFnCallIdSeq;
+var pureCallMemo, evalCallCollector, evalAssignCollector, bindingSink, GLOBAL_FNS, NEVER_EXEC_HOST_FN_NAMES, MAX_EVAL_CALL_DEPTH, MAX_EVAL_TOTAL_CALLS, evalCallDepth, evalTotalCalls, evalActiveCallKeys, evalFnCallIds, evalFnCallIdSeq;
 var init_calls = __esm({
   "../core/src/algebra/exec/calls.ts"() {
     "use strict";
@@ -30583,8 +30644,8 @@ var init_calls = __esm({
     init_call_budget();
     init_member_diag();
     pureCallMemo = /* @__PURE__ */ new WeakMap();
-    bCallCollector = null;
-    bAssignCollector = null;
+    evalCallCollector = null;
+    evalAssignCollector = null;
     bindingSink = null;
     GLOBAL_FNS = /* @__PURE__ */ new Set([
       "parseInt",
@@ -30611,13 +30672,13 @@ var init_calls = __esm({
       "requestAnimationFrame",
       "requestIdleCallback"
     ];
-    MAX_B_CALL_DEPTH = 64;
-    MAX_B_TOTAL_CALLS = 2e4;
-    bCallDepth = 0;
-    bTotalCalls = 0;
-    bActiveCallKeys = [];
-    bFnCallIds = /* @__PURE__ */ new WeakMap();
-    bFnCallIdSeq = 0;
+    MAX_EVAL_CALL_DEPTH = 64;
+    MAX_EVAL_TOTAL_CALLS = 2e4;
+    evalCallDepth = 0;
+    evalTotalCalls = 0;
+    evalActiveCallKeys = [];
+    evalFnCallIds = /* @__PURE__ */ new WeakMap();
+    evalFnCallIdSeq = 0;
   }
 });
 
@@ -30788,10 +30849,10 @@ __export(class_exports, {
   $thisSet: () => $thisSet,
   clearBClasses: () => clearBClasses,
   execRegexBrand: () => execRegexBrand,
-  getBClass: () => getBClass,
+  getEvalClass: () => getEvalClass,
   regexExecWithState: () => regexExecWithState,
   regexParts: () => regexParts,
-  registerBClass: () => registerBClass,
+  registerEvalClass: () => registerEvalClass,
   stringRegexMethod: () => stringRegexMethod
 });
 function $class(name, spec) {
@@ -30816,7 +30877,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) };
@@ -30834,7 +30895,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) {
@@ -30842,7 +30903,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;
   }
@@ -30853,7 +30914,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;
   }
@@ -30948,7 +31009,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);
@@ -31185,7 +31246,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,
@@ -31194,7 +31255,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;
@@ -31207,7 +31268,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,
@@ -31312,7 +31373,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,
@@ -31640,8 +31701,7 @@ function invokeArrMethod(arr, method, args) {
     if (shape2.k === "arr") return joinAbs(shape2.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 (shape2.k === "tuple") {
       const els = shape2.elements;
       if (iv === void 0) {
@@ -31657,7 +31717,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);
@@ -31763,7 +31823,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) {
@@ -32079,7 +32139,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",
@@ -32172,17 +32232,17 @@ ${js}`;
   const ret = `return { ...__nudoExports, ...${cjsMerge}, ${names2.join(", ")} };`;
   const fn2 = new Function(...argNames, `${js}
 ${ret}`);
-  setBBindingSink(bindings);
+  setEvalBindingSink(bindings);
   try {
     const result = fn2(...args);
     runBindings.set(result, bindings);
     return result;
   } finally {
-    setBBindingSink(null);
+    setEvalBindingSink(null);
   }
 }
-function setBPathFallbackCollector(collector2) {
-  bFallbackCollector = collector2;
+function setEvalFallbackCollector(collector2) {
+  evalFallbackCollector = collector2;
 }
 function evalExprAbs(expr, bindings = {}) {
   const src = transpileExpression(expr, {});
@@ -32195,15 +32255,15 @@ function evalExprAbs(expr, bindings = {}) {
   const factory = new Function(...names2, 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 {
   }
 }
@@ -32211,7 +32271,7 @@ function tryRunTranspiled(source, opts = {}) {
   try {
     return runTranspiled(source, opts);
   } catch (e) {
-    noteBPathFallback(e);
+    noteEvalFallback(e);
     return void 0;
   }
 }
@@ -32221,7 +32281,7 @@ function isAbsVal(v2) {
 function callTranspiledExportFull(exports, name, args, opts) {
   const fn2 = exports[name];
   if (typeof fn2 === "function") {
-    resetBCallBudget();
+    resetEvalCallBudget();
     const callArgs = args.map(
       (a) => a && typeof a === "object" && "shape" in a ? $copy(a) : a
     );
@@ -32290,7 +32350,7 @@ function joinControlExits(normal) {
 function callTranspiledExport(exports, name, args) {
   return callTranspiledExportFull(exports, name, args).result;
 }
-var RUNTIME_IMPORT_RE2, runBindings, bFallbackCollector;
+var RUNTIME_IMPORT_RE2, runBindings, evalFallbackCollector;
 var init_run = __esm({
   "../core/src/algebra/exec/run.ts"() {
     "use strict";
@@ -32310,7 +32370,7 @@ var init_run = __esm({
     init_call();
     RUNTIME_IMPORT_RE2 = /^import\s*\{[^}]+\}\s*from\s*"[^"]+";\s*$/m;
     runBindings = /* @__PURE__ */ new WeakMap();
-    bFallbackCollector = null;
+    evalFallbackCollector = null;
   }
 });
 
@@ -32589,13 +32649,13 @@ var init_generalize_key = __esm({
 });
 
 // ../core/src/algebra/generalize.ts
-function bPathRunOf(source, modules, inject) {
+function evalRunOf(source, modules, inject) {
   const mKey = `${source}|${runTranspiledOptionsMemoKey({ ...inject ?? {}, ...modules ? { modules } : {} })}`;
-  if (bRunMemo.size >= 256) {
-    const oldest = bRunMemo.keys().next().value;
-    if (oldest !== void 0) bRunMemo.delete(oldest);
+  if (evalRunMemo.size >= 256) {
+    const oldest = evalRunMemo.keys().next().value;
+    if (oldest !== void 0) evalRunMemo.delete(oldest);
   }
-  let run = bRunMemo.get(mKey);
+  let run = evalRunMemo.get(mKey);
   if (run === void 0) {
     const merged = modules ?? inject?.modules;
     const r = tryRunTranspiled(source, {
@@ -32605,7 +32665,7 @@ function bPathRunOf(source, modules, inject) {
     });
     if (r === void 0) return void 0;
     run = r;
-    bRunMemo.set(mKey, run);
+    evalRunMemo.set(mKey, run);
   }
   return run;
 }
@@ -32995,7 +33055,7 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
   );
   const envGated = envGatedSource && freeIdentifiers(body, boundNames).size > 0;
   const replaceGated = /@nudo:replace\b/.test(source) && !hasReps;
-  const bEligible = !unresolvableImports && !mockGated && !envGated && !replaceGated;
+  const evalEligible = !unresolvableImports && !mockGated && !envGated && !replaceGated;
   const run = (args, phi2 = pTrue) => {
     const { key, varOrder } = instantiateMemoKey(args, phi2);
     const hit = instMemo.get(key);
@@ -33003,27 +33063,27 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
       return alphaRenameResult(hit.result, hit.varOrder, varOrder);
     }
     let result;
-    if (bEligible) {
+    if (evalEligible) {
       try {
-        const bRun = bPathRunOf(source, opts.modules, opts.inject);
-        if (!bRun) {
+        const evalRun = evalRunOf(source, opts.modules, opts.inject);
+        if (!evalRun) {
         } else if (fnName.includes(".")) {
           const [clsName, methodName] = fnName.split(".", 2);
-          const clsAbs = bRun[clsName ?? ""];
+          const clsAbs = evalRun[clsName ?? ""];
           if (clsAbs && typeof clsAbs === "object" && "shape" in clsAbs) {
             const nCtor = ctorParamCountOf(fileAst, clsName ?? "");
             const inst = $new(clsAbs, Array.from({ length: nCtor }, () => abs({ k: "any" }, void 0, pTrue, "path")));
             result = withExecPhi(phi2, () => $invoke(inst, methodName ?? "", args));
           }
-        } else if (fnName in bRun) {
-          const bArgs = args.map((a, i) => {
+        } else if (fnName in evalRun) {
+          const evalArgs = args.map((a, i) => {
             const shape2 = promoteScan.promotedShapes.get(params[i]);
             if (shape2 && (a.shape.k === "any" || a.shape.k === "unknown")) {
               return { shape: shape2, term: a.term, pred: a.pred, conf: "path" };
             }
             return a;
           });
-          result = callTranspiledExportFull(bRun, fnName, bArgs, { phi: phi2 }).result;
+          result = callTranspiledExportFull(evalRun, fnName, evalArgs, { phi: phi2 }).result;
         }
       } catch {
       }
@@ -33187,7 +33247,7 @@ function buildArgsFromAssume(source, fnName, assumeIds) {
     return abs({ k: "any" }, void 0, void 0, "path");
   });
 }
-var bRunMemo, generalizeMemo, memoKeyDeps, memoDepIndex, loadModuleIds, nextLoadModuleId, MAX_GENERALIZE_MEMO, moduleMapIds, moduleMapIdSeq;
+var evalRunMemo, generalizeMemo, memoKeyDeps, memoDepIndex, loadModuleIds, nextLoadModuleId, MAX_GENERALIZE_MEMO, moduleMapIds, moduleMapIdSeq;
 var init_generalize = __esm({
   "../core/src/algebra/generalize.ts"() {
     "use strict";
@@ -33212,7 +33272,7 @@ var init_generalize = __esm({
     init_class();
     init_generalize_key();
     init_generalize_key();
-    bRunMemo = /* @__PURE__ */ new Map();
+    evalRunMemo = /* @__PURE__ */ new Map();
     generalizeMemo = /* @__PURE__ */ new Map();
     memoKeyDeps = /* @__PURE__ */ new Map();
     memoDepIndex = /* @__PURE__ */ new Map();
@@ -34130,17 +34190,17 @@ function scanLiteralCalls(source, knownFns, phi2, opts) {
   const resolve25 = collectCallResolvers(source, knownFns, opts);
   const forwards = collectForwarders(source, knownSet, resolve25, file);
   const varAbs = opts?.varAbs ?? /* @__PURE__ */ new Map();
-  const bCallIndex = /* @__PURE__ */ new Map();
+  const evalCallIndex = /* @__PURE__ */ new Map();
   for (const r of opts?.bCalls ?? []) {
     if (!r.callLoc) continue;
     const key = `${r.fnName}\0${r.callLoc.line}`;
-    const list = bCallIndex.get(key) ?? [];
+    const list = evalCallIndex.get(key) ?? [];
     list.push(r.args);
-    bCallIndex.set(key, list);
+    evalCallIndex.set(key, list);
   }
   const takeBCallArgs = (fnName, line) => {
     if (line === void 0) return void 0;
-    const list = bCallIndex.get(`${fnName}\0${line}`);
+    const list = evalCallIndex.get(`${fnName}\0${line}`);
     if (!list || list.length === 0) return void 0;
     return list.shift();
   };
@@ -34733,10 +34793,10 @@ function scanLiteralCalls(source, knownFns, phi2, opts) {
     let absArgs = parsed.absArgs;
     let hasInfo = parsed.hasInfo;
     if (!hasInfo) {
-      const bArgs = takeBCallArgs(fnName, loc?.start.line);
-      if (bArgs && bArgs.length > 0) {
-        absArgs = bArgs;
-        hasInfo = bArgs.some(isInformativeArg);
+      const evalArgs = takeBCallArgs(fnName, loc?.start.line);
+      if (evalArgs && evalArgs.length > 0) {
+        absArgs = evalArgs;
+        hasInfo = evalArgs.some(isInformativeArg);
       }
     }
     if (!hasInfo || absArgs.length === 0) return;
@@ -34799,10 +34859,10 @@ function scanLiteralCalls(source, knownFns, phi2, opts) {
     let absArgs = parsedExt.absArgs;
     let hasInfo = parsedExt.hasInfo;
     if (!hasInfo) {
-      const bArgs = takeBCallArgs(ext.fnName, loc?.start.line);
-      if (bArgs && bArgs.length > 0) {
-        absArgs = bArgs;
-        hasInfo = bArgs.some(isInformativeArg);
+      const evalArgs = takeBCallArgs(ext.fnName, loc?.start.line);
+      if (evalArgs && evalArgs.length > 0) {
+        absArgs = evalArgs;
+        hasInfo = evalArgs.some(isInformativeArg);
       }
     }
     if (!hasInfo || absArgs.length === 0) return;
@@ -35659,7 +35719,7 @@ function collectEntryMayThrows(source, fnName, g, file, phi2, opts = {}) {
   return runWithMayThrowSession(() => {
     setMayThrowCollector((e) => effects.push(e));
     try {
-      const full = bPathThrowsOf(source, fnName, entryArgs, opts, phi2);
+      const full = evalThrowsOf(source, fnName, entryArgs, opts, phi2);
       if (!full) return effects;
       if (full.throws && full.throws.shape.k !== "never") {
         for (const tName of throwAbsToKinds(full.throws)) {
@@ -35678,7 +35738,7 @@ function collectEntryMayThrows(source, fnName, g, file, phi2, opts = {}) {
     return effects;
   });
 }
-function bAnalyzeOpts(opts) {
+function evalAnalyzeOpts(opts) {
   const inject = opts.inject ?? {};
   const modules = opts.modules ?? inject.modules;
   return {
@@ -35701,18 +35761,18 @@ function invokeAsThrows(fn2, phi2 = pTrue) {
     throw e;
   }
 }
-function bPathThrowsOf(source, fnName, args, opts = {}, phi2 = pTrue) {
+function evalThrowsOf(source, fnName, args, opts = {}, phi2 = pTrue) {
   const runKey = `${source}|${runTranspiledOptionsMemoKey(opts.inject)}|${runTranspiledOptionsMemoKey(opts.modules ? { modules: opts.modules } : void 0)}`;
-  if (bPathRunMemo.size >= MAX_CHECK_MEMO) {
-    const oldest = bPathRunMemo.keys().next().value;
-    if (oldest !== void 0) bPathRunMemo.delete(oldest);
+  if (evalRunMemo2.size >= MAX_CHECK_MEMO) {
+    const oldest = evalRunMemo2.keys().next().value;
+    if (oldest !== void 0) evalRunMemo2.delete(oldest);
   }
-  let exports = bPathRunMemo.get(runKey);
+  let exports = evalRunMemo2.get(runKey);
   if (exports === void 0) {
-    const run = tryRunTranspiled(source, bAnalyzeOpts(opts));
+    const run = tryRunTranspiled(source, evalAnalyzeOpts(opts));
     if (run === void 0) return void 0;
     exports = run;
-    bPathRunMemo.set(runKey, exports);
+    evalRunMemo2.set(runKey, exports);
   }
   const isAbsVal5 = (v2) => !!v2 && typeof v2 === "object" && "shape" in v2 && "conf" in v2;
   const call = (name, callArgs) => {
@@ -35747,7 +35807,7 @@ function bPathThrowsOf(source, fnName, args, opts = {}, phi2 = pTrue) {
     return void 0;
   }
 }
-var bPathRunMemo;
+var evalRunMemo2;
 var init_check_may_throw = __esm({
   "../core/src/algebra/check-may-throw.ts"() {
     "use strict";
@@ -35759,7 +35819,7 @@ var init_check_may_throw = __esm({
     init_nudo_throw();
     init_may_throw();
     init_check_memo();
-    bPathRunMemo = /* @__PURE__ */ new Map();
+    evalRunMemo2 = /* @__PURE__ */ new Map();
   }
 });
 
@@ -36482,15 +36542,15 @@ function checkSourceInner(filePath, source, file, phi2, opts, issues, signatures
   const varAbs = /* @__PURE__ */ new Map();
   const callRecords = [];
   const bCalls = [];
-  const prevAssign = setBAssignCollector((r) => records.push(r));
-  const prevCall = setBCallCollector((r) => bCalls.push(r));
-  let bBindings;
-  const bAnalyze = bAnalyzeOpts(opts);
+  const prevAssign = setEvalAssignCollector((r) => records.push(r));
+  const prevCall = setEvalCallCollector((r) => bCalls.push(r));
+  let evalBindings;
+  const evalAnalyze = evalAnalyzeOpts(opts);
   try {
-    const bRun = tryRunTranspiled(source, bAnalyze);
-    bBindings = bRun ? bindingsOf(bRun) : void 0;
-    if (bBindings) {
-      for (const [k, v2] of bBindings) {
+    const evalRun = tryRunTranspiled(source, evalAnalyze);
+    evalBindings = evalRun ? bindingsOf(evalRun) : void 0;
+    if (evalBindings) {
+      for (const [k, v2] of evalBindings) {
         if (v2 && typeof v2 === "object" && "shape" in v2 && "conf" in v2) {
           varAbs.set(k, v2);
         }
@@ -36506,10 +36566,10 @@ function checkSourceInner(filePath, source, file, phi2, opts, issues, signatures
     }
   } catch {
   } finally {
-    setBAssignCollector(prevAssign);
-    setBCallCollector(prevCall);
+    setEvalAssignCollector(prevAssign);
+    setEvalCallCollector(prevCall);
   }
-  void bBindings;
+  void evalBindings;
   const callIssues = canSkipLiteralCallScan(source, file) ? [] : scanLiteralCalls(source, names2, phi2, {
     loadModule: opts.loadModule,
     // 与 generalize / 返回后置同一 fromFile 口径：ambient 侧车按真实
@@ -36549,7 +36609,7 @@ function checkSourceInner(filePath, source, file, phi2, opts, issues, signatures
         return (fnName, args) => {
           try {
             if (!driftInit) {
-              driftRun = tryRunTranspiled(source, bAnalyze);
+              driftRun = tryRunTranspiled(source, evalAnalyze);
               driftInit = true;
             }
             if (!driftRun || !(fnName in driftRun)) return void 0;
@@ -37306,8 +37366,8 @@ __export(src_exports, {
   $whileSeq: () => $whileSeq,
   $yield: () => $yield,
   DEFAULT_MAX_LOOP_ITERS: () => DEFAULT_MAX_LOOP_ITERS,
-  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,
   NudoLoopSignal: () => NudoLoopSignal,
   NudoReturn: () => NudoReturn,
   NudoSidecarError: () => NudoSidecarError,
@@ -37445,8 +37505,8 @@ __export(src_exports, {
   generalizeFromAst: () => generalizeFromAst,
   generatedExportNames: () => generatedExportNames,
   getAbsProperty: () => getAbsProperty,
-  getBCallCollector: () => getBCallCollector,
-  getBClass: () => getBClass,
+  getEvalCallCollector: () => getEvalCallCollector,
+  getEvalClass: () => getEvalClass,
   getFnImpl: () => getFnImpl,
   getGeneralizeMemoSize: () => getGeneralizeMemoSize,
   getImplicationOracle: () => getImplicationOracle,
@@ -37539,9 +37599,9 @@ __export(src_exports, {
   never: () => never,
   not: () => not,
   notAbs: () => notAbs,
-  noteBCallRecord: () => noteBCallRecord,
-  noteBPathFallback: () => noteBPathFallback,
   noteCollectionWrite: () => noteCollectionWrite,
+  noteEvalCallRecord: () => noteEvalCallRecord,
+  noteEvalFallback: () => noteEvalFallback,
   notePromiseExecutorFork: () => notePromiseExecutorFork,
   num: () => num,
   numLit: () => numLit,
@@ -37581,12 +37641,12 @@ __export(src_exports, {
   refineDiagCount: () => refineDiagCount,
   refineToIndexedFull: () => refineToIndexedFull,
   regexBrandAbsFrom: () => regexBrandAbsFrom,
-  registerBClass: () => registerBClass,
+  registerEvalClass: () => registerEvalClass,
   relationFingerprint: () => relationFingerprint,
   relationFn: () => relationFn,
   requiredFnArity: () => requiredFnArity,
-  resetBCallBudget: () => resetBCallBudget,
   resetCheckSourceMemo: () => resetCheckSourceMemo,
+  resetEvalCallBudget: () => resetEvalCallBudget,
   resetGeneralizeMemo: () => resetGeneralizeMemo,
   resetNudoModuleExecCache: () => resetNudoModuleExecCache,
   resetParseSourceCache: () => resetParseSourceCache,
@@ -37599,13 +37659,13 @@ __export(src_exports, {
   serializeCheckJsonMulti: () => serializeCheckJsonMulti,
   setAddEntry: () => setAddEntry,
   setApplyCallbackHost: () => setApplyCallbackHost,
-  setBAssignCollector: () => setBAssignCollector,
-  setBBindingSink: () => setBBindingSink,
-  setBCallCollector: () => setBCallCollector,
-  setBPathFallbackCollector: () => setBPathFallbackCollector,
   setClearEntries: () => setClearEntries,
   setDeleteEntry: () => setDeleteEntry,
   setElementsAbs: () => setElementsAbs,
+  setEvalAssignCollector: () => setEvalAssignCollector,
+  setEvalBindingSink: () => setEvalBindingSink,
+  setEvalCallCollector: () => setEvalCallCollector,
+  setEvalFallbackCollector: () => setEvalFallbackCollector,
   setHasEntry: () => setHasEntry,
   setImplicationOracle: () => setImplicationOracle,
   setInterfaceDiagCollector: () => setInterfaceDiagCollector,
@@ -46355,8 +46415,8 @@ __export(internal_exports, {
   ERROR_FAMILY: () => ERROR_FAMILY,
   FORK_TRUNCATION_LABEL: () => FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX: () => HOST_EFFECT_LABEL_PREFIX,
-  MAX_B_TOTAL_FORKS: () => MAX_B_TOTAL_FORKS,
   MAX_CALL_DEPTH: () => MAX_CALL_DEPTH,
+  MAX_EVAL_TOTAL_FORKS: () => MAX_EVAL_TOTAL_FORKS,
   MAX_TOTAL_CALLS: () => MAX_TOTAL_CALLS,
   OBJECT_PROTO_NAMES: () => OBJECT_PROTO_NAMES,
   abortDerivationSession: () => abortDerivationSession,
@@ -46365,7 +46425,7 @@ __export(internal_exports, {
   anyMemberResult: () => anyMemberResult,
   awaitAbs: () => awaitAbs,
   beginDerivationSession: () => beginDerivationSession,
-  bumpBForkBudget: () => bumpBForkBudget,
+  bumpEvalForkBudget: () => bumpEvalForkBudget,
   callBudgetKey: () => callBudgetKey,
   canSkipLiteralCallScan: () => canSkipLiteralCallScan,
   checkInjectedDomainEvidence: () => checkInjectedDomainEvidence,
@@ -46400,11 +46460,11 @@ __export(internal_exports, {
   generalizeSourceKeyPart: () => generalizeSourceKeyPart,
   getAbsCallBudgetStats: () => getAbsCallBudgetStats,
   getAbsOrigin: () => getAbsOrigin,
-  getBForkBudgetLimit: () => getBForkBudgetLimit,
-  getBForkCount: () => getBForkCount,
   getClass: () => getClass,
   getClassChain: () => getClassChain,
   getDerivation: () => getDerivation,
+  getEvalForkBudgetLimit: () => getEvalForkBudgetLimit,
+  getEvalForkCount: () => getEvalForkCount,
   getFnNameAndBodies: () => getFnNameAndBodies,
   getMayThrowCollector: () => getMayThrowCollector,
   hasDerivationSession: () => hasDerivationSession,
@@ -46429,9 +46489,9 @@ __export(internal_exports, {
   normPath: () => normPath,
   noteAbsTruncation: () => noteAbsTruncation,
   noteAnyMemberMayThrow: () => noteAnyMemberMayThrow,
-  noteBForkTruncation: () => noteBForkTruncation,
   noteDerivationAdd: () => noteDerivationAdd,
   noteDerivationJoin: () => noteDerivationJoin,
+  noteEvalForkTruncation: () => noteEvalForkTruncation,
   noteHostEffectBlocked: () => noteHostEffectBlocked,
   noteMemberDispatchMiss: () => noteMemberDispatchMiss,
   noteNullishMemberThrows: () => noteNullishMemberThrows,
@@ -46448,7 +46508,7 @@ __export(internal_exports, {
   recordMayThrow: () => recordMayThrow,
   recordMemberDiag: () => recordMemberDiag,
   resetAbsCallBudget: () => resetAbsCallBudget,
-  resetBForkBudget: () => resetBForkBudget,
+  resetEvalForkBudget: () => resetEvalForkBudget,
   resetFnFpCache: () => resetFnFpCache,
   resetHashSourceCache: () => resetHashSourceCache,
   resetLeakCounter: () => resetLeakCounter,
@@ -46456,9 +46516,9 @@ __export(internal_exports, {
   runWithEvalMissingSlot: () => runWithEvalMissingSlot,
   runWithMayThrowSession: () => runWithMayThrowSession,
   setAbsTruncationCollector: () => setAbsTruncationCollector,
-  setBForkBudgetLimit: () => setBForkBudgetLimit,
   setDerivation: () => setDerivation,
   setDerivationCollector: () => setDerivationCollector,
+  setEvalForkBudgetLimit: () => setEvalForkBudgetLimit,
   setEvalMissingSlotEnabled: () => setEvalMissingSlotEnabled,
   setMayThrowCollector: () => setMayThrowCollector,
   setMemberDiagCollector: () => setMemberDiagCollector,
@@ -48996,7 +49056,7 @@ function envLimits(env2) {
   return {
     maxFiles: parseLimit(env2.NUDO_CACHE_MAX_FILES, NaN),
     maxFns: parseLimit(env2.NUDO_CACHE_MAX_FNS, NaN),
-    maxBRuns: parseLimit(env2.NUDO_CACHE_MAX_BRUNS, NaN)
+    maxEvalRuns: parseLimit(env2.NUDO_CACHE_MAX_EVALRUNS, NaN)
   };
 }
 function pick2(key, env2, fallback) {
@@ -49013,7 +49073,7 @@ function getSessionCacheLimits(env2 = process.env) {
   return {
     maxFiles: pick2("maxFiles", envCache, DEFAULT_SESSION_CACHE_LIMITS.maxFiles),
     maxFns: pick2("maxFns", envCache, DEFAULT_SESSION_CACHE_LIMITS.maxFns),
-    maxBRuns: pick2("maxBRuns", envCache, DEFAULT_SESSION_CACHE_LIMITS.maxBRuns)
+    maxEvalRuns: pick2("maxEvalRuns", envCache, DEFAULT_SESSION_CACHE_LIMITS.maxEvalRuns)
   };
 }
 function setSessionCacheLimits(partial2) {
@@ -49035,7 +49095,7 @@ var init_session_cache_limits = __esm({
     DEFAULT_SESSION_CACHE_LIMITS = {
       maxFiles: 64,
       maxFns: 1024,
-      maxBRuns: 32
+      maxEvalRuns: 32
     };
     HARD_CAP = 65536;
     explicit = {};
@@ -49092,7 +49152,7 @@ function analysisConfig(config) {
     diagnostics,
     callSiteBudget,
     evalMissingSlot: raw?.evalMissingSlot === "warning" ? "warning" : "off",
-    maxForks: parseMaxForks(raw?.maxForks) ?? MAX_B_TOTAL_FORKS
+    maxForks: parseMaxForks(raw?.maxForks) ?? MAX_EVAL_TOTAL_FORKS
   };
 }
 function parseMaxForks(raw) {
@@ -49104,10 +49164,10 @@ function applyBForkBudgetFromConfig(config, env2 = process.env) {
     env2.NUDO_MAX_FORKS === void 0 ? void 0 : Number(env2.NUDO_MAX_FORKS)
   );
   const fromCfg = parseMaxForks(config?.analysis?.maxForks);
-  return setBForkBudgetLimit(fromEnv ?? fromCfg ?? MAX_B_TOTAL_FORKS);
+  return setEvalForkBudgetLimit(fromEnv ?? fromCfg ?? MAX_EVAL_TOTAL_FORKS);
 }
 function currentBForkBudgetLimit() {
-  return getBForkBudgetLimit();
+  return getEvalForkBudgetLimit();
 }
 function diskCacheRoot(config, projectDir) {
   const raw = config?.cache;
@@ -265584,7 +265644,7 @@ function topLevelFnParams(file) {
   }
   return out;
 }
-function bPathExportsToModuleExports(run, file, fingerprintPrefix) {
+function evalExportsToModuleExports(run, file, fingerprintPrefix) {
   const named = {};
   let def;
   const paramTable = topLevelFnParams(file);
@@ -265597,7 +265657,7 @@ function bPathExportsToModuleExports(run, file, fingerprintPrefix) {
       const params = paramTable.get(k) ?? Array.from({ length: v2.length ?? 0 }, (_, i) => `arg${i}`);
       absVal = absFunction(params, {
         apply: (args) => callTranspiledExportFull(run, k, args).result,
-        kind: "bpath-export",
+        kind: "eval-export",
         // 无 body 的桥接 fn 预算键 = fingerprint ?? anon#N——缺省会让所有
         // 桥接导出共享 anon#1，嵌套跨模块调用（a 调 b 调 a'）撞
         // _activeCallKeys 递归守卫被误截断为 opaque。按 模块#导出 唯一化。
@@ -265699,9 +265759,9 @@ function evalAbsModuleGraph(entrySource, entryFile, opts = {}) {
       }
     );
     let exports;
-    const bRun = tryRunTranspiled(source, { mode: "analyze", modules: modules2 });
-    if (bRun) {
-      exports = bPathExportsToModuleExports(bRun, parse2(source), `bpath:${absPath}`);
+    const evalRun = tryRunTranspiled(source, { mode: "analyze", modules: modules2 });
+    if (evalRun) {
+      exports = evalExportsToModuleExports(evalRun, parse2(source), `eval:${absPath}`);
     } else {
       exports = { named: {} };
     }
@@ -265789,7 +265849,7 @@ function collectAbsBindingsFromGraph(source, filePath, opts = {}) {
         if (isAbsVal2(v2)) out.set(name, v2);
       }
     }
-    const exports = bPathExportsToModuleExports(run, parse2(source), `bpath:bindings:${filePath}`);
+    const exports = evalExportsToModuleExports(run, parse2(source), `eval:bindings:${filePath}`);
     for (const [name, v2] of Object.entries(exports.named)) {
       if (!out.has(name)) out.set(name, v2);
     }
@@ -265949,7 +266009,7 @@ function loadMockModuleExports(fromPath, fromFile, loadModule) {
       error: evaled.error.includes("not found") ? `Mock module not found (from "${fromPath}")` : evaled.error
     };
   }
-  const exports = bPathExportsToModuleExports(evaled.run, parse2(evaled.source), `mock-module:${fromPath}`);
+  const exports = evalExportsToModuleExports(evaled.run, parse2(evaled.source), `mock-module:${fromPath}`);
   if (exports.default === void 0 && Object.keys(exports.named).length > 0) {
     const slots = {};
     for (const [k, v2] of Object.entries(exports.named)) slots[k] = { value: v2 };
@@ -266142,7 +266202,7 @@ var init_fn_analysis_cache = __esm({
   }
 });
 
-// ../service/src/bpath-run.ts
+// ../service/src/eval-run.ts
 function absSeedPart(a) {
   const impl = getFnImpl(a);
   if (impl?.fingerprint) return impl.fingerprint;
@@ -266249,7 +266309,7 @@ function mergeHarvestUnderEnv(harvestModules, envModules, opts) {
   }
   return out;
 }
-function collectBPathReplacements(source) {
+function collectEvalReplacements(source) {
   const targets = [];
   const values = {};
   const asTargets = [];
@@ -266301,12 +266361,12 @@ function collectBPathReplacements(source) {
   }
   return { targets, values, asTargets, asValues };
 }
-function isBPathCapable(source, envNames = []) {
+function isEvalCapable(source, envNames = []) {
   void envNames;
   void source;
   return true;
 }
-function bPathDepKey(source, filePath) {
+function evalDepKey(source, filePath) {
   try {
     const fp = loadModuleDepsFingerprint(source, defaultLoadModule, filePath);
     if (fp.truncated) return null;
@@ -266315,52 +266375,52 @@ function bPathDepKey(source, filePath) {
     return null;
   }
 }
-function clearBPathCache() {
-  bRunByFile.clear();
+function clearEvalCache() {
+  evalRunByFile.clear();
   clearAnalysisFileCache();
   clearFnAnalysisCache();
 }
-function getBPathCacheSize() {
-  return bRunByFile.size;
+function getEvalCacheSize() {
+  return evalRunByFile.size;
 }
-function evictBPathCacheForFiles(files) {
+function evictEvalCacheForFiles(files) {
   let n = 0;
   for (const f of files) {
-    if (bRunByFile.delete(f)) n++;
+    if (evalRunByFile.delete(f)) n++;
   }
   return n;
 }
-function bPathCacheSet(filePath, stableSource, mode, envKey, mockKey, depKey, value) {
-  const max = getSessionCacheLimits().maxBRuns;
+function evalCacheSet(filePath, stableSource, mode, envKey, mockKey, depKey, value) {
+  const max = getSessionCacheLimits().maxEvalRuns;
   if (max <= 0) return;
-  while (bRunByFile.size >= max && !bRunByFile.has(filePath)) {
-    const oldest = bRunByFile.keys().next().value;
+  while (evalRunByFile.size >= max && !evalRunByFile.has(filePath)) {
+    const oldest = evalRunByFile.keys().next().value;
     if (oldest === void 0) break;
-    bRunByFile.delete(oldest);
+    evalRunByFile.delete(oldest);
   }
-  bRunByFile.set(filePath, { stableSource, mode, envKey, mockKey, depKey, value });
+  evalRunByFile.set(filePath, { stableSource, mode, envKey, mockKey, depKey, value });
 }
-function trimBPathCache() {
-  const max = getSessionCacheLimits().maxBRuns;
-  while (bRunByFile.size > max) {
-    const oldest = bRunByFile.keys().next().value;
+function trimEvalCache() {
+  const max = getSessionCacheLimits().maxEvalRuns;
+  while (evalRunByFile.size > max) {
+    const oldest = evalRunByFile.keys().next().value;
     if (oldest === void 0) break;
-    bRunByFile.delete(oldest);
+    evalRunByFile.delete(oldest);
   }
 }
-function tryRunBPath(source, filePath, opts = {}) {
-  if (!isBPathCapable(source, opts.envNames ?? [])) return void 0;
+function tryRunEval(source, filePath, opts = {}) {
+  if (!isEvalCapable(source, opts.envNames ?? [])) return void 0;
   const mode = opts.mode ?? "analyze";
   const envKey = (opts.envNames ?? []).join(",");
   const mockKey = mockSeedFingerprint(opts.mocks);
   const stable = stableAnalyzeKeySource(source);
-  const depKey = bPathDepKey(source, filePath);
+  const depKey = evalDepKey(source, filePath);
   const canCache = depKey !== null;
   if (canCache) {
-    const cached2 = bRunByFile.get(filePath);
+    const cached2 = evalRunByFile.get(filePath);
     if (cached2 && cached2.stableSource === stable && cached2.mode === mode && cached2.envKey === envKey && cached2.mockKey === mockKey && cached2.depKey === depKey) {
-      bRunByFile.delete(filePath);
-      bRunByFile.set(filePath, cached2);
+      evalRunByFile.delete(filePath);
+      evalRunByFile.set(filePath, cached2);
       return cached2.value ?? void 0;
     }
   }
@@ -266371,14 +266431,14 @@ function tryRunBPath(source, filePath, opts = {}) {
     const topCalls = [];
     const prevMember = setMemberDiagCollector((d) => memberDiags.push(d));
     const prevTrunc = setAbsTruncationCollector((label) => truncated.add(label));
-    const prevCall = setBCallCollector((r) => topCalls.push(r));
+    const prevCall = setEvalCallCollector((r) => topCalls.push(r));
     try {
       const { modules: graphMods, issues } = evalAbsModuleGraph(source, filePath);
       const envMods = collectEnvModules(opts.envNames ?? []);
       let modules = mergeHarvestUnderEnv(graphMods, envMods);
       const mm = applyMockModuleDirectivesFromSource(source, modules, { fromFile: filePath });
       modules = mm.modules;
-      const { targets, values, asTargets, asValues } = collectBPathReplacements(source);
+      const { targets, values, asTargets, asValues } = collectEvalReplacements(source);
       const envGlobals = {
         ...collectEnvGlobals(opts.envNames ?? []),
         ...opts.mocks ?? {}
@@ -266405,23 +266465,23 @@ function tryRunBPath(source, filePath, opts = {}) {
     } finally {
       setMemberDiagCollector(prevMember);
       setAbsTruncationCollector(prevTrunc);
-      setBCallCollector(prevCall);
+      setEvalCallCollector(prevCall);
     }
   } catch {
     out = null;
   }
   if (canCache && depKey !== null) {
-    bPathCacheSet(filePath, stable, mode, envKey, mockKey, depKey, out);
+    evalCacheSet(filePath, stable, mode, envKey, mockKey, depKey, out);
   }
   return out ?? void 0;
 }
-function tryBPathCallFull(source, filePath, fnName, args, opts = {}) {
-  const run = tryRunBPath(source, filePath, { envNames: opts.envNames, mocks: opts.mocks });
+function tryEvalCallFull(source, filePath, fnName, args, opts = {}) {
+  const run = tryRunEval(source, filePath, { envNames: opts.envNames, mocks: opts.mocks });
   if (!run) return void 0;
   if (!(fnName in run.exports)) return void 0;
   const collected = [];
   const memberDiags = [];
-  const prevCall = opts.collectCalls ? setBCallCollector((r) => collected.push(r)) : void 0;
+  const prevCall = opts.collectCalls ? setEvalCallCollector((r) => collected.push(r)) : void 0;
   const wantMember = opts.collectMemberDiags ?? true;
   const prevMember = wantMember ? setMemberDiagCollector((d) => memberDiags.push(d)) : void 0;
   try {
@@ -266435,12 +266495,12 @@ function tryBPathCallFull(source, filePath, fnName, args, opts = {}) {
       truncatedFns: run.truncatedFns
     };
   } finally {
-    if (opts.collectCalls) setBCallCollector(prevCall ?? null);
+    if (opts.collectCalls) setEvalCallCollector(prevCall ?? null);
     if (wantMember) setMemberDiagCollector(prevMember ?? null);
   }
 }
-function tryBPathCall(source, filePath, fnName, args, opts = {}) {
-  const full = tryBPathCallFull(source, filePath, fnName, args, opts);
+function tryEvalCall(source, filePath, fnName, args, opts = {}) {
+  const full = tryEvalCallFull(source, filePath, fnName, args, opts);
   if (!full) return void 0;
   const r = full.result;
   if (!r) return void 0;
@@ -266450,9 +266510,9 @@ function tryBPathCall(source, filePath, fnName, args, opts = {}) {
   if (r.shape.k === "unknown" && !r.term) return void 0;
   return r;
 }
-var envHarvestConflictCollector, bRunByFile;
-var init_bpath_run = __esm({
-  "../service/src/bpath-run.ts"() {
+var envHarvestConflictCollector, evalRunByFile;
+var init_eval_run = __esm({
+  "../service/src/eval-run.ts"() {
     "use strict";
     init_src();
     init_internal();
@@ -266465,7 +266525,7 @@ var init_bpath_run = __esm({
     init_fn_analysis_cache();
     init_load_module();
     envHarvestConflictCollector = null;
-    bRunByFile = /* @__PURE__ */ new Map();
+    evalRunByFile = /* @__PURE__ */ new Map();
   }
 });
 
@@ -266564,7 +266624,7 @@ function tryEvalAbsFull(source, fnName, args, filePath, mocks, assignedName) {
   if (/\brequire\s*\(/.test(source)) return void 0;
   try {
     if (filePath) {
-      const viaB = tryBPathCallFull(source, filePath, fnName, args, { mocks }) ?? (assignedName ? tryBPathCallFull(source, filePath, assignedName, args, { mocks }) : void 0);
+      const viaB = tryEvalCallFull(source, filePath, fnName, args, { mocks }) ?? (assignedName ? tryEvalCallFull(source, filePath, assignedName, args, { mocks }) : void 0);
       if (viaB) {
         const r = viaB.result;
         if (r && !(r.shape.k === "unknown" && !r.term)) {
@@ -266685,7 +266745,7 @@ var init_analyzer_abs_eval = __esm({
     init_src();
     init_src2();
     init_call_record();
-    init_bpath_run();
+    init_eval_run();
   }
 });
 
@@ -266874,7 +266934,7 @@ function loadFromMockBinding(name, fromPath, fromFile, loadModule) {
     const params = Array.from({ length: fn2.length ?? 0 }, (_, i) => `arg${i}`);
     absVal = absFunction(params, {
       apply: (args) => callTranspiledExportFull(run, name, args).result,
-      kind: "bpath-export",
+      kind: "eval-export",
       fingerprint: `from-mock=${fromPath}#${name}`
     });
   } else {
@@ -266963,7 +267023,7 @@ function collectCallRecords(filePath, source) {
       const mocks = mockSeedsForSource(source, {
         fromFile: filePath || void 0
       });
-      const run = tryRunBPath(source, filePath, {
+      const run = tryRunEval(source, filePath, {
         mode: "exec",
         lenientGlobals: true,
         ...Object.keys(mocks).length > 0 ? { mocks } : {}
@@ -266996,13 +267056,13 @@ function expandTestCallbacks(calls) {
       const impl = getFnImpl(abs2);
       const params = impl?.params ?? [];
       const collected = [];
-      const prev = getBCallCollector();
-      setBCallCollector((r) => collected.push(r));
+      const prev = getEvalCallCollector();
+      setEvalCallCollector((r) => collected.push(r));
       try {
         $call(abs2, params.map(() => unknown));
       } catch {
       } finally {
-        setBCallCollector(prev);
+        setEvalCallCollector(prev);
       }
       out.push(...collected);
       expanded++;
@@ -267017,12 +267077,12 @@ var init_analyzer_orchestrate_calls = __esm({
     init_src2();
     init_mock_abs();
     init_config();
-    init_bpath_run();
+    init_eval_run();
     init_analyzer_abs_eval();
   }
 });
 
-// ../service/src/bpath-diagnostics.ts
+// ../service/src/eval-diagnostics.ts
 function locOf2(node) {
   if (!node.loc) return null;
   return {
@@ -267194,7 +267254,7 @@ function walkBuiltinUnknown(node, declared, out, seen, known, parentKey) {
     }
   }
 }
-function collectBPathDiagnostics(source, extraKnown) {
+function collectEvalDiagnostics(source, extraKnown) {
   let file;
   try {
     file = parseSource(source);
@@ -267214,8 +267274,8 @@ function collectBPathDiagnostics(source, extraKnown) {
   return { unreachable, builtinUnknown };
 }
 var KNOWN_GLOBALS;
-var init_bpath_diagnostics = __esm({
-  "../service/src/bpath-diagnostics.ts"() {
+var init_eval_diagnostics = __esm({
+  "../service/src/eval-diagnostics.ts"() {
     "use strict";
     init_src();
     KNOWN_GLOBALS = /* @__PURE__ */ new Set([
@@ -267289,13 +267349,13 @@ function detectEntryVariantsFromPackageJson(pkg) {
   const browser = [];
   const node = [];
   collectExportFaces(p.exports, browser, node);
-  const bField = p.browser;
-  if (typeof bField === "string") browser.push(bField);
-  else if (bField && typeof bField === "object") {
-    for (const v2 of Object.values(bField)) {
+  const evalField = p.browser;
+  if (typeof evalField === "string") browser.push(evalField);
+  else if (evalField && typeof evalField === "object") {
+    for (const v2 of Object.values(evalField)) {
       if (typeof v2 === "string") browser.push(v2);
     }
-    for (const k of Object.keys(bField)) {
+    for (const k of Object.keys(evalField)) {
       if (k.startsWith(".")) node.push(k);
     }
   }
@@ -267457,13 +267517,13 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
   const callSiteBudget = analysisCfg.callSiteBudget;
   const callRecords = [];
   const globalEnv = createEnvironment();
-  const bMemberDiagNames = /* @__PURE__ */ new Set();
-  const bMemberDiagSeen = /* @__PURE__ */ new Set();
+  const evalMemberDiagNames = /* @__PURE__ */ new Set();
+  const evalMemberDiagSeen = /* @__PURE__ */ new Set();
   const pushBMemberDiag = (d, fallbackLine) => {
-    bMemberDiagNames.add(d.name);
+    evalMemberDiagNames.add(d.name);
     const key = `${d.kind}:${d.name}:${d.receiver}:${d.line ?? fallbackLine}:${d.column ?? 0}:${d.code ?? ""}`;
-    if (bMemberDiagSeen.has(key)) return;
-    bMemberDiagSeen.add(key);
+    if (evalMemberDiagSeen.has(key)) return;
+    evalMemberDiagSeen.add(key);
     if (d.code === "nudo:missing-slot") {
       diagnostics.push({
         range: {
@@ -267506,15 +267566,15 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
   }
   const selfContained = isSelfContainedSource(source, envNames);
   const canAbsModules = absModulesOk(source, envNames);
-  const bCapable = isBPathCapable(source, envNames);
-  const bModuleIssueKinds = /* @__PURE__ */ new Set();
-  const bTruncatedFns = /* @__PURE__ */ new Set();
-  const bBuiltinUnknownNames = /* @__PURE__ */ new Set();
-  let bHostedEval = false;
+  const evalCapable = isEvalCapable(source, envNames);
+  const evalModuleIssueKinds = /* @__PURE__ */ new Set();
+  const evalTruncatedFns = /* @__PURE__ */ new Set();
+  const evalBuiltinUnknownNames = /* @__PURE__ */ new Set();
+  let evalHosted = false;
   const pushBModuleIssues = (issues) => {
     if (!issues) return;
     for (const iss of issues) {
-      bModuleIssueKinds.add(iss.kind);
+      evalModuleIssueKinds.add(iss.kind);
       const code2 = iss.kind === "cycle" ? "nudo:module-cycle" : iss.kind === "depth" ? "nudo:module-depth" : "nudo:module-missing";
       diagnostics.push({
         range: { start: { line: 1, column: 0 }, end: { line: 1, column: 0 } },
@@ -267541,11 +267601,11 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
     });
   }
   let absCallRecords = [];
-  let bTopCallRecords = [];
+  let evalTopCallRecords = [];
   let absGraphModules;
   let absBindsShared;
   let absNodesShared;
-  if (bCapable && filePath) {
+  if (evalCapable && filePath) {
     try {
       const g = evalAbsModuleGraph(source, filePath, {
         seedVars: seeds.seedVars,
@@ -267569,46 +267629,46 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
       pushBModuleIssues(g.issues);
     } catch {
     }
-    const bRun = tryRunBPath(source, filePath, {
+    const evalRun = tryRunEval(source, filePath, {
       envNames,
       mocks: mockSeedsToAbsMocks(seeds)
     });
-    if (bRun) {
-      bHostedEval = true;
-      if (bRun.memberDiags?.length) {
-        for (const d of bRun.memberDiags) {
+    if (evalRun) {
+      evalHosted = true;
+      if (evalRun.memberDiags?.length) {
+        for (const d of evalRun.memberDiags) {
           pushBMemberDiag(d, 1);
         }
       }
-      if (bRun.truncatedFns) {
-        for (const fn2 of bRun.truncatedFns) bTruncatedFns.add(fn2);
+      if (evalRun.truncatedFns) {
+        for (const fn2 of evalRun.truncatedFns) evalTruncatedFns.add(fn2);
       }
-      if (bRun.calls?.length) {
+      if (evalRun.calls?.length) {
         const impMap = buildAbsImportLocalMap(source, filePath);
-        for (const c of bRun.calls) {
-          bTopCallRecords.push(callRecordFromAbsCall(c, impMap));
+        for (const c of evalRun.calls) {
+          evalTopCallRecords.push(callRecordFromAbsCall(c, impMap));
         }
       }
     }
   }
-  if (bHostedEval && bTopCallRecords.length > 0) {
+  if (evalHosted && evalTopCallRecords.length > 0) {
     callRecords.length = 0;
-    callRecords.push(...bTopCallRecords);
+    callRecords.push(...evalTopCallRecords);
   } else if ((selfContained || canAbsModules) && absCallRecords.length > 0) {
     callRecords.length = 0;
     callRecords.push(...absCallRecords);
-  } else if (bTopCallRecords.length > 0) {
+  } else if (evalTopCallRecords.length > 0) {
     callRecords.length = 0;
-    callRecords.push(...bTopCallRecords);
+    callRecords.push(...evalTopCallRecords);
   }
   const unreachableRanges = [];
-  if (bCapable) {
-    const bKnownGlobals = /* @__PURE__ */ new Set([
+  if (evalCapable) {
+    const evalKnownGlobals = /* @__PURE__ */ new Set([
       ...Object.keys(collectEnvGlobals(envNames)),
       ...Object.keys(mockSeedsToAbsMocks(seeds))
     ]);
-    const bDiag = collectBPathDiagnostics(source, bKnownGlobals);
-    for (const ur of bDiag.unreachable) {
+    const evalDiag = collectEvalDiagnostics(source, evalKnownGlobals);
+    for (const ur of evalDiag.unreachable) {
       diagnostics.push({
         range: ur.range,
         severity: "info",
@@ -267618,8 +267678,8 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
         suggestions: ["Remove the unreachable code after the return/throw statement"]
       });
     }
-    for (const b of bDiag.builtinUnknown) {
-      bBuiltinUnknownNames.add(b.name);
+    for (const b of evalDiag.builtinUnknown) {
+      evalBuiltinUnknownNames.add(b.name);
       diagnostics.push({
         range: b.range,
         severity: "warning",
@@ -267643,7 +267703,7 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
       });
     }
   }
-  if (!absNodesShared && !bHostedEval && (selfContained || canAbsModules)) {
+  if (!absNodesShared && !evalHosted && (selfContained || canAbsModules)) {
     try {
       const collected = { binds: /* @__PURE__ */ new Map(), nodes: /* @__PURE__ */ new Map() };
       if (!absBindsShared) absBindsShared = collected.binds;
@@ -267652,7 +267712,7 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
     }
   }
   collectBindings(ast, globalEnv, bindings, absBindsShared);
-  if (isBPathCapable(source, envNames)) {
+  if (isEvalCapable(source, envNames)) {
     try {
       const absBinds = absBindsShared ?? collectAbsBindingsFromGraph(source, filePath, {
         seedVars: seeds.seedVars,
@@ -267783,36 +267843,36 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
       let caseThrowsAbs;
       let caseThrowLoc;
       let caseUnreachable = [];
-      const bCapable2 = isBPathCapable(source, envNames);
-      const bPrimary = bCapable2;
-      if (bCapable2 && filePath) {
+      const evalCapable2 = isEvalCapable(source, envNames);
+      const evalPrimary = evalCapable2;
+      if (evalCapable2 && filePath) {
         const caseArgsAbs = directive.argsAbs;
-        const bFull = tryBPathCallFull(
+        const evalFull = tryEvalCallFull(
           source,
           filePath,
           fn2.name,
           caseArgsAbs,
           { collectCalls: true, envNames, mocks: mockSeedsToAbsMocks(seeds) }
         );
-        const res = bFull?.result;
+        const res = evalFull?.result;
         const weakUnknown = !!res && res.shape.k === "unknown" && (!res.term || res.term.op === "lit" && res.term.value === void 0);
-        const bOk = !!res && (bHostedEval || !weakUnknown && res.conf !== "opaque");
-        if (bOk && bFull && bPrimary) {
-          caseAbs = bFull.result;
-          caseThrowsAbs = bFull.throws;
-          for (const d of bFull.memberDiags ?? []) {
+        const evalOk = !!res && (evalHosted || !weakUnknown && res.conf !== "opaque");
+        if (evalOk && evalFull && evalPrimary) {
+          caseAbs = evalFull.result;
+          caseThrowsAbs = evalFull.throws;
+          for (const d of evalFull.memberDiags ?? []) {
             pushBMemberDiag(d, fnLoc.start.line);
           }
-          if (bFull.calls?.length) {
+          if (evalFull.calls?.length) {
             const impMap = buildAbsImportLocalMap(source, filePath);
-            for (const c of bFull.calls) {
+            for (const c of evalFull.calls) {
               callRecords.push(callRecordFromAbsCall(c, impMap));
             }
           }
         }
       }
       if (!caseAbs) {
-        if (bHostedEval) {
+        if (evalHosted) {
           caseAbs = unknown;
           caseThrowsAbs = neverAbs;
         } else {
@@ -267885,7 +267945,7 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
             code: "nudo:may-throw"
           });
         }
-        if (!isBPathCapable(source, envNames)) {
+        if (!isEvalCapable(source, envNames)) {
           for (const ur of caseUnreachable) {
             diagnostics.push({
               range: ur,
@@ -268047,19 +268107,19 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
           )
         );
         let symAbs;
-        if (isBPathCapable(source, envNames) && filePath) {
-          const bSym = tryBPathCall(
+        if (isEvalCapable(source, envNames) && filePath) {
+          const evalSym = tryEvalCall(
             source,
             filePath,
             candidate.name,
             widenedArgsAbs,
             { envNames, mocks: mockSeedsToAbsMocks(seeds) }
           );
-          if (bSym && (bHostedEval || !(bSym.shape.k === "unknown" && !bSym.term))) {
-            symAbs = bSym;
+          if (evalSym && (evalHosted || !(evalSym.shape.k === "unknown" && !evalSym.term))) {
+            symAbs = evalSym;
           }
         }
-        if (!symAbs && !bHostedEval) {
+        if (!symAbs && !evalHosted) {
           const absTry = tryEvalAbsRaw(
             source,
             candidate.name,
@@ -268098,30 +268158,30 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
     const entryEffects = [];
     setMayThrowCollector((e) => entryEffects.push(e));
     try {
-      if (isBPathCapable(source, envNames) && filePath) {
-        const bEntryFull = tryBPathCallFull(
+      if (isEvalCapable(source, envNames) && filePath) {
+        const evalEntryFull = tryEvalCallFull(
           source,
           filePath,
           candidate.analysis.name,
           argAbsEntry,
           { envNames, mocks: mockSeedsToAbsMocks(seeds), collectMemberDiags: true }
-        ) ?? (candidate.assignedName ? tryBPathCallFull(source, filePath, candidate.assignedName, argAbsEntry, {
+        ) ?? (candidate.assignedName ? tryEvalCallFull(source, filePath, candidate.assignedName, argAbsEntry, {
           envNames,
           mocks: mockSeedsToAbsMocks(seeds)
         }) : void 0);
-        if (bEntryFull?.memberDiags?.length) {
-          for (const d of bEntryFull.memberDiags) {
+        if (evalEntryFull?.memberDiags?.length) {
+          for (const d of evalEntryFull.memberDiags) {
             pushBMemberDiag(d, candidate.analysis.loc.start.line);
           }
         }
-        const bEntry = bEntryFull?.result;
-        if (bEntry && (bHostedEval || !(bEntry.shape.k === "unknown" && !bEntry.term))) {
-          entryAbs = bEntry;
-          if (bEntryFull?.throws) entryThrowsAbs = bEntryFull.throws;
+        const evalEntry = evalEntryFull?.result;
+        if (evalEntry && (evalHosted || !(evalEntry.shape.k === "unknown" && !evalEntry.term))) {
+          entryAbs = evalEntry;
+          if (evalEntryFull?.throws) entryThrowsAbs = evalEntryFull.throws;
         }
       }
       if (!entryAbs) {
-        if (bHostedEval) {
+        if (evalHosted) {
           entryAbs = unknown;
           entryThrowsAbs = abs({ k: "never" }, void 0, void 0, "exact");
         } else {
@@ -268192,7 +268252,7 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
     } catch {
     }
   }
-  if (!bHostedEval) {
+  if (!evalHosted) {
     buildNodeTypeMap(ast, globalEnv, nodeAbsMap);
   }
   const externalFunctions = synthesizeExternalFunctions(
@@ -268252,8 +268312,8 @@ var init_analyzer_orchestrate_uncached = __esm({
     init_mock_module();
     init_load_module();
     init_abs_modules_graph();
-    init_bpath_run();
-    init_bpath_diagnostics();
+    init_eval_run();
+    init_eval_diagnostics();
     init_entry_variants();
     init_fn_analysis_cache();
     init_analyzer_ast();
@@ -268725,14 +268785,14 @@ var init_dep_contents = __esm({
 // ../service/src/session-cache.ts
 function evictAnalysisCachesForFiles(files) {
   if (files.length === 0) return;
-  evictBPathCacheForFiles(files);
+  evictEvalCacheForFiles(files);
   evictAnalysisFileCacheForFiles(files);
   evictFnAnalysisCacheForFiles(files);
   evictAbsModuleCacheFiles(files);
   clearPathEnvCaches();
 }
 function clearAnalysisSessionCaches() {
-  clearBPathCache();
+  clearEvalCache();
   clearAbsModuleCache();
   clearPathEnvCaches();
   resetGeneralizeMemo();
@@ -268744,7 +268804,7 @@ function applySessionCacheConfig(config) {
   const limits = getSessionCacheLimits();
   trimAnalysisFileCache();
   trimFnAnalysisCache();
-  trimBPathCache();
+  trimEvalCache();
   return limits;
 }
 function resetAllAnalysisCaches() {
@@ -268756,7 +268816,7 @@ var init_session_cache = __esm({
     "use strict";
     init_src();
     init_abs_modules_graph();
-    init_bpath_run();
+    init_eval_run();
     init_analysis_file_cache();
     init_fn_analysis_cache();
     init_env_loader();
@@ -269005,18 +269065,18 @@ __export(src_exports4, {
   clearAbsModuleCache: () => clearAbsModuleCache,
   clearAnalysisFileCache: () => clearAnalysisFileCache,
   clearAnalysisSessionCaches: () => clearAnalysisSessionCaches,
-  clearBPathCache: () => clearBPathCache,
   clearEnvPathDeps: () => clearEnvPathDeps,
+  clearEvalCache: () => clearEvalCache,
   clearFnAnalysisCache: () => clearFnAnalysisCache,
   clearPathEnvCaches: () => clearPathEnvCaches,
   collectAbsBindingsFromGraph: () => collectAbsBindingsFromGraph,
-  collectBPathDiagnostics: () => collectBPathDiagnostics,
-  collectBPathReplacements: () => collectBPathReplacements,
   collectCallRecords: () => collectCallRecords,
   collectDependencySpecs: () => collectDependencySpecs2,
   collectEnvGlobals: () => collectEnvGlobals,
   collectEnvModules: () => collectEnvModules,
   collectEnvNames: () => collectEnvNames,
+  collectEvalDiagnostics: () => collectEvalDiagnostics,
+  collectEvalReplacements: () => collectEvalReplacements,
   collectLoadDepContents: () => collectLoadDepContents,
   collectSkipReturns: () => collectSkipReturns,
   collectStaticImports: () => collectStaticImports,
@@ -269034,7 +269094,7 @@ __export(src_exports4, {
   evictAbsModuleCacheFiles: () => evictAbsModuleCacheFiles,
   evictAnalysisCachesForFiles: () => evictAnalysisCachesForFiles,
   evictAnalysisFileCacheForFiles: () => evictAnalysisFileCacheForFiles,
-  evictBPathCacheForFiles: () => evictBPathCacheForFiles,
+  evictEvalCacheForFiles: () => evictEvalCacheForFiles,
   evictFnAnalysisCacheForFiles: () => evictFnAnalysisCacheForFiles,
   extractNudoImportSpecs: () => extractNudoImportSpecs,
   filterDiagnosticsByLevel: () => filterDiagnosticsByLevel,
@@ -269043,17 +269103,17 @@ __export(src_exports4, {
   getAbsModuleCacheSize: () => getAbsModuleCacheSize,
   getAnalysisFileCacheSize: () => getAnalysisFileCacheSize,
   getAnalysisSession: () => getAnalysisSession,
-  getBPathCacheSize: () => getBPathCacheSize,
   getEnvHarvestConflictCollector: () => getEnvHarvestConflictCollector,
   getEnvPathDepsSize: () => getEnvPathDepsSize,
+  getEvalCacheSize: () => getEvalCacheSize,
   getFnAnalysisCacheSize: () => getFnAnalysisCacheSize,
   getPathEnvCacheSizes: () => getPathEnvCacheSizes,
   getSessionCacheLimits: () => getSessionCacheLimits,
   ifaceCacheKey: () => ifaceCacheKey,
   injectBindings: () => injectBindings,
   interfaceConfig: () => interfaceConfig,
-  isBPathCapable: () => isBPathCapable,
   isEnvTemplatePath: () => isEnvTemplatePath,
+  isEvalCapable: () => isEvalCapable,
   isNudoTargetPath: () => isNudoTargetPath,
   isProjectConfigPath: () => isProjectConfigPath,
   isSidecarPath: () => isSidecarPath,
@@ -269078,11 +269138,11 @@ __export(src_exports4, {
   sourceHasNudoDirectives: () => hasNudoDirectives,
   topoSortDirty: () => topoSortDirty,
   trimAnalysisFileCache: () => trimAnalysisFileCache,
-  trimBPathCache: () => trimBPathCache,
+  trimEvalCache: () => trimEvalCache,
   trimFnAnalysisCache: () => trimFnAnalysisCache,
-  tryBPathCall: () => tryBPathCall,
-  tryBPathCallFull: () => tryBPathCallFull,
-  tryRunBPath: () => tryRunBPath,
+  tryEvalCall: () => tryEvalCall,
+  tryEvalCallFull: () => tryEvalCallFull,
+  tryRunEval: () => tryRunEval,
   typeExprToDirective: () => typeExprToDirective
 });
 var init_src4 = __esm({
@@ -269097,8 +269157,8 @@ var init_src4 = __esm({
     init_load_module();
     init_dep_contents();
     init_abs_modules_graph();
-    init_bpath_run();
-    init_bpath_diagnostics();
+    init_eval_run();
+    init_eval_diagnostics();
     init_mock_abs();
     init_mock_module();
     init_config();
@@ -269310,7 +269370,7 @@ var init_chunk_J2PUE4NV = __esm({
   }
 });
 
-// ../service/dist/chunk-COMUCF3K.js
+// ../service/dist/chunk-3RCHDTBX.js
 import { readFileSync as readFileSync17, existsSync as existsSync18, statSync as statSync12, mkdirSync as mkdirSync5, writeFileSync as writeFileSync5 } from "fs";
 import { resolve as resolvePath2, join as joinPath2 } from "path";
 import { pathToFileURL as pathToFileURL2 } from "url";
@@ -269487,7 +269547,7 @@ function envLimits2(env2) {
   return {
     maxFiles: parseLimit2(env2.NUDO_CACHE_MAX_FILES, NaN),
     maxFns: parseLimit2(env2.NUDO_CACHE_MAX_FNS, NaN),
-    maxBRuns: parseLimit2(env2.NUDO_CACHE_MAX_BRUNS, NaN)
+    maxEvalRuns: parseLimit2(env2.NUDO_CACHE_MAX_EVALRUNS, NaN)
   };
 }
 function pick3(key, env2, fallback) {
@@ -269504,7 +269564,7 @@ function getSessionCacheLimits2(env2 = process.env) {
   return {
     maxFiles: pick3("maxFiles", envCache2, DEFAULT_SESSION_CACHE_LIMITS2.maxFiles),
     maxFns: pick3("maxFns", envCache2, DEFAULT_SESSION_CACHE_LIMITS2.maxFns),
-    maxBRuns: pick3("maxBRuns", envCache2, DEFAULT_SESSION_CACHE_LIMITS2.maxBRuns)
+    maxEvalRuns: pick3("maxEvalRuns", envCache2, DEFAULT_SESSION_CACHE_LIMITS2.maxEvalRuns)
   };
 }
 function setSessionCacheFromProject2(partial2) {
@@ -269533,7 +269593,7 @@ function analysisConfig2(config) {
     diagnostics,
     callSiteBudget,
     evalMissingSlot: raw?.evalMissingSlot === "warning" ? "warning" : "off",
-    maxForks: parseMaxForks2(raw?.maxForks) ?? MAX_B_TOTAL_FORKS
+    maxForks: parseMaxForks2(raw?.maxForks) ?? MAX_EVAL_TOTAL_FORKS
   };
 }
 function parseMaxForks2(raw) {
@@ -269545,7 +269605,7 @@ function applyBForkBudgetFromConfig2(config, env2 = process.env) {
     env2.NUDO_MAX_FORKS === void 0 ? void 0 : Number(env2.NUDO_MAX_FORKS)
   );
   const fromCfg = parseMaxForks2(config?.analysis?.maxForks);
-  return setBForkBudgetLimit(fromEnv ?? fromCfg ?? MAX_B_TOTAL_FORKS);
+  return setEvalForkBudgetLimit(fromEnv ?? fromCfg ?? MAX_EVAL_TOTAL_FORKS);
 }
 function diskCacheRoot2(config, projectDir) {
   const raw = config?.cache;
@@ -269710,8 +269770,8 @@ function resolveNpmJsEntry2(source, fromDir) {
   return tryFile(resolve22(pkgDir, subpath));
 }
 var BUILTIN_ERROR_CLASSES2, BUILTIN_PROTOTYPE_CLASSES2, numA2, strA2, boolA2, unkA2, undefA2, nullA2, OBJECT_PROTOTYPE_METHODS2, BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS2, BoundedLruMap3, envFactories2, impliedDeps2, PATH_ENV_CACHE_MAX2, PATH_ENV_BY_PATH_MAX2, PATH_ENV_BASE_DIRS_MAX2, pathEnvCache2, pathEnvByPath2, pathEnvBaseDirs2, DEFAULT_SESSION_CACHE_LIMITS2, HARD_CAP2, explicit2, fromProject2, envCache2, DEFAULT_ANALYSIS_EXCLUDE2, DEFAULT_ANALYSIS_MODE2;
-var init_chunk_COMUCF3K = __esm({
-  "../service/dist/chunk-COMUCF3K.js"() {
+var init_chunk_3RCHDTBX = __esm({
+  "../service/dist/chunk-3RCHDTBX.js"() {
     "use strict";
     init_src();
     init_es();
@@ -269972,7 +270032,7 @@ var init_chunk_COMUCF3K = __esm({
     DEFAULT_SESSION_CACHE_LIMITS2 = {
       maxFiles: 64,
       maxFns: 1024,
-      maxBRuns: 32
+      maxEvalRuns: 32
     };
     HARD_CAP2 = 65536;
     explicit2 = {};
@@ -269987,7 +270047,7 @@ var init_chunk_COMUCF3K = __esm({
   }
 });
 
-// ../service/dist/chunk-H2LVQGKH.js
+// ../service/dist/chunk-3IM6NXIF.js
 import { existsSync as existsSync23, statSync as statSync23, readFileSync as readFileSync23 } from "fs";
 import { dirname as dirname23, resolve as resolve23, join as join14 } from "path";
 import { readFileSync as readFileSync33, statSync as statSync32 } from "fs";
@@ -270537,7 +270597,7 @@ function topLevelFnParams2(file) {
   }
   return out;
 }
-function bPathExportsToModuleExports2(run, file, fingerprintPrefix) {
+function evalExportsToModuleExports2(run, file, fingerprintPrefix) {
   const named = {};
   let def;
   const paramTable = topLevelFnParams2(file);
@@ -270550,7 +270610,7 @@ function bPathExportsToModuleExports2(run, file, fingerprintPrefix) {
       const params = paramTable.get(k) ?? Array.from({ length: v2.length ?? 0 }, (_, i) => `arg${i}`);
       absVal = absFunction(params, {
         apply: (args) => callTranspiledExportFull(run, k, args).result,
-        kind: "bpath-export",
+        kind: "eval-export",
         // 无 body 的桥接 fn 预算键 = fingerprint ?? anon#N——缺省会让所有
         // 桥接导出共享 anon#1，嵌套跨模块调用（a 调 b 调 a'）撞
         // _activeCallKeys 递归守卫被误截断为 opaque。按 模块#导出 唯一化。
@@ -270652,9 +270712,9 @@ function evalAbsModuleGraph2(entrySource, entryFile, opts = {}) {
       }
     );
     let exports;
-    const bRun = tryRunTranspiled(source, { mode: "analyze", modules: modules2 });
-    if (bRun) {
-      exports = bPathExportsToModuleExports2(bRun, parse2(source), `bpath:${absPath}`);
+    const evalRun = tryRunTranspiled(source, { mode: "analyze", modules: modules2 });
+    if (evalRun) {
+      exports = evalExportsToModuleExports2(evalRun, parse2(source), `eval:${absPath}`);
     } else {
       exports = { named: {} };
     }
@@ -270742,7 +270802,7 @@ function collectAbsBindingsFromGraph2(source, filePath, opts = {}) {
         if (isAbsVal4(v2)) out.set(name, v2);
       }
     }
-    const exports = bPathExportsToModuleExports2(run, parse2(source), `bpath:bindings:${filePath}`);
+    const exports = evalExportsToModuleExports2(run, parse2(source), `eval:bindings:${filePath}`);
     for (const [name, v2] of Object.entries(exports.named)) {
       if (!out.has(name)) out.set(name, v2);
     }
@@ -270848,7 +270908,7 @@ function loadMockModuleExports2(fromPath, fromFile, loadModule) {
       error: evaled.error.includes("not found") ? `Mock module not found (from "${fromPath}")` : evaled.error
     };
   }
-  const exports = bPathExportsToModuleExports2(evaled.run, parse2(evaled.source), `mock-module:${fromPath}`);
+  const exports = evalExportsToModuleExports2(evaled.run, parse2(evaled.source), `mock-module:${fromPath}`);
   if (exports.default === void 0 && Object.keys(exports.named).length > 0) {
     const slots = {};
     for (const [k, v2] of Object.entries(exports.named)) slots[k] = { value: v2 };
@@ -271067,7 +271127,7 @@ function mergeHarvestUnderEnv2(harvestModules, envModules, opts) {
   }
   return out;
 }
-function collectBPathReplacements2(source) {
+function collectEvalReplacements2(source) {
   const targets = [];
   const values = {};
   const asTargets = [];
@@ -271119,12 +271179,12 @@ function collectBPathReplacements2(source) {
   }
   return { targets, values, asTargets, asValues };
 }
-function isBPathCapable2(source, envNames = []) {
+function isEvalCapable2(source, envNames = []) {
   void envNames;
   void source;
   return true;
 }
-function bPathDepKey2(source, filePath) {
+function evalDepKey2(source, filePath) {
   try {
     const fp = loadModuleDepsFingerprint(source, defaultLoadModule2, filePath);
     if (fp.truncated) return null;
@@ -271133,29 +271193,29 @@ function bPathDepKey2(source, filePath) {
     return null;
   }
 }
-function bPathCacheSet2(filePath, stableSource, mode, envKey, mockKey, depKey, value) {
-  const max = getSessionCacheLimits2().maxBRuns;
+function evalCacheSet2(filePath, stableSource, mode, envKey, mockKey, depKey, value) {
+  const max = getSessionCacheLimits2().maxEvalRuns;
   if (max <= 0) return;
-  while (bRunByFile2.size >= max && !bRunByFile2.has(filePath)) {
-    const oldest = bRunByFile2.keys().next().value;
+  while (evalRunByFile2.size >= max && !evalRunByFile2.has(filePath)) {
+    const oldest = evalRunByFile2.keys().next().value;
     if (oldest === void 0) break;
-    bRunByFile2.delete(oldest);
+    evalRunByFile2.delete(oldest);
   }
-  bRunByFile2.set(filePath, { stableSource, mode, envKey, mockKey, depKey, value });
+  evalRunByFile2.set(filePath, { stableSource, mode, envKey, mockKey, depKey, value });
 }
-function tryRunBPath2(source, filePath, opts = {}) {
-  if (!isBPathCapable2(source, opts.envNames ?? [])) return void 0;
+function tryRunEval2(source, filePath, opts = {}) {
+  if (!isEvalCapable2(source, opts.envNames ?? [])) return void 0;
   const mode = opts.mode ?? "analyze";
   const envKey = (opts.envNames ?? []).join(",");
   const mockKey = mockSeedFingerprint2(opts.mocks);
   const stable = stableAnalyzeKeySource(source);
-  const depKey = bPathDepKey2(source, filePath);
+  const depKey = evalDepKey2(source, filePath);
   const canCache = depKey !== null;
   if (canCache) {
-    const cached2 = bRunByFile2.get(filePath);
+    const cached2 = evalRunByFile2.get(filePath);
     if (cached2 && cached2.stableSource === stable && cached2.mode === mode && cached2.envKey === envKey && cached2.mockKey === mockKey && cached2.depKey === depKey) {
-      bRunByFile2.delete(filePath);
-      bRunByFile2.set(filePath, cached2);
+      evalRunByFile2.delete(filePath);
+      evalRunByFile2.set(filePath, cached2);
       return cached2.value ?? void 0;
     }
   }
@@ -271166,14 +271226,14 @@ function tryRunBPath2(source, filePath, opts = {}) {
     const topCalls = [];
     const prevMember = setMemberDiagCollector((d) => memberDiags.push(d));
     const prevTrunc = setAbsTruncationCollector((label) => truncated.add(label));
-    const prevCall = setBCallCollector((r) => topCalls.push(r));
+    const prevCall = setEvalCallCollector((r) => topCalls.push(r));
     try {
       const { modules: graphMods, issues } = evalAbsModuleGraph2(source, filePath);
       const envMods = collectEnvModules2(opts.envNames ?? []);
       let modules = mergeHarvestUnderEnv2(graphMods, envMods);
       const mm = applyMockModuleDirectivesFromSource2(source, modules, { fromFile: filePath });
       modules = mm.modules;
-      const { targets, values, asTargets, asValues } = collectBPathReplacements2(source);
+      const { targets, values, asTargets, asValues } = collectEvalReplacements2(source);
       const envGlobals = {
         ...collectEnvGlobals2(opts.envNames ?? []),
         ...opts.mocks ?? {}
@@ -271200,23 +271260,23 @@ function tryRunBPath2(source, filePath, opts = {}) {
     } finally {
       setMemberDiagCollector(prevMember);
       setAbsTruncationCollector(prevTrunc);
-      setBCallCollector(prevCall);
+      setEvalCallCollector(prevCall);
     }
   } catch {
     out = null;
   }
   if (canCache && depKey !== null) {
-    bPathCacheSet2(filePath, stable, mode, envKey, mockKey, depKey, out);
+    evalCacheSet2(filePath, stable, mode, envKey, mockKey, depKey, out);
   }
   return out ?? void 0;
 }
-function tryBPathCallFull2(source, filePath, fnName, args, opts = {}) {
-  const run = tryRunBPath2(source, filePath, { envNames: opts.envNames, mocks: opts.mocks });
+function tryEvalCallFull2(source, filePath, fnName, args, opts = {}) {
+  const run = tryRunEval2(source, filePath, { envNames: opts.envNames, mocks: opts.mocks });
   if (!run) return void 0;
   if (!(fnName in run.exports)) return void 0;
   const collected = [];
   const memberDiags = [];
-  const prevCall = opts.collectCalls ? setBCallCollector((r) => collected.push(r)) : void 0;
+  const prevCall = opts.collectCalls ? setEvalCallCollector((r) => collected.push(r)) : void 0;
   const wantMember = opts.collectMemberDiags ?? true;
   const prevMember = wantMember ? setMemberDiagCollector((d) => memberDiags.push(d)) : void 0;
   try {
@@ -271230,12 +271290,12 @@ function tryBPathCallFull2(source, filePath, fnName, args, opts = {}) {
       truncatedFns: run.truncatedFns
     };
   } finally {
-    if (opts.collectCalls) setBCallCollector(prevCall ?? null);
+    if (opts.collectCalls) setEvalCallCollector(prevCall ?? null);
     if (wantMember) setMemberDiagCollector(prevMember ?? null);
   }
 }
-function tryBPathCall2(source, filePath, fnName, args, opts = {}) {
-  const full = tryBPathCallFull2(source, filePath, fnName, args, opts);
+function tryEvalCall2(source, filePath, fnName, args, opts = {}) {
+  const full = tryEvalCallFull2(source, filePath, fnName, args, opts);
   if (!full) return void 0;
   const r = full.result;
   if (!r) return void 0;
@@ -271429,7 +271489,7 @@ function loadFromMockBinding2(name, fromPath, fromFile, loadModule) {
     const params = Array.from({ length: fn2.length ?? 0 }, (_, i) => `arg${i}`);
     absVal = absFunction(params, {
       apply: (args) => callTranspiledExportFull(run, name, args).result,
-      kind: "bpath-export",
+      kind: "eval-export",
       fingerprint: `from-mock=${fromPath}#${name}`
     });
   } else {
@@ -271683,7 +271743,7 @@ function tryEvalAbsFull2(source, fnName, args, filePath, mocks, assignedName) {
   if (/\brequire\s*\(/.test(source)) return void 0;
   try {
     if (filePath) {
-      const viaB = tryBPathCallFull2(source, filePath, fnName, args, { mocks }) ?? (assignedName ? tryBPathCallFull2(source, filePath, assignedName, args, { mocks }) : void 0);
+      const viaB = tryEvalCallFull2(source, filePath, fnName, args, { mocks }) ?? (assignedName ? tryEvalCallFull2(source, filePath, assignedName, args, { mocks }) : void 0);
       if (viaB) {
         const r = viaB.result;
         if (r && !(r.shape.k === "unknown" && !r.term)) {
@@ -271978,7 +272038,7 @@ function walkBuiltinUnknown2(node, declared, out, seen, known, parentKey) {
     }
   }
 }
-function collectBPathDiagnostics2(source, extraKnown) {
+function collectEvalDiagnostics2(source, extraKnown) {
   let file;
   try {
     file = parseSource(source);
@@ -272032,13 +272092,13 @@ function detectEntryVariantsFromPackageJson2(pkg) {
   const browser = [];
   const node = [];
   collectExportFaces2(p.exports, browser, node);
-  const bField = p.browser;
-  if (typeof bField === "string") browser.push(bField);
-  else if (bField && typeof bField === "object") {
-    for (const v2 of Object.values(bField)) {
+  const evalField = p.browser;
+  if (typeof evalField === "string") browser.push(evalField);
+  else if (evalField && typeof evalField === "object") {
+    for (const v2 of Object.values(evalField)) {
       if (typeof v2 === "string") browser.push(v2);
     }
-    for (const k of Object.keys(bField)) {
+    for (const k of Object.keys(evalField)) {
       if (k.startsWith(".")) node.push(k);
     }
   }
@@ -272305,13 +272365,13 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
   const callSiteBudget = analysisCfg.callSiteBudget;
   const callRecords = [];
   const globalEnv = createEnvironment();
-  const bMemberDiagNames = /* @__PURE__ */ new Set();
-  const bMemberDiagSeen = /* @__PURE__ */ new Set();
+  const evalMemberDiagNames = /* @__PURE__ */ new Set();
+  const evalMemberDiagSeen = /* @__PURE__ */ new Set();
   const pushBMemberDiag = (d, fallbackLine) => {
-    bMemberDiagNames.add(d.name);
+    evalMemberDiagNames.add(d.name);
     const key = `${d.kind}:${d.name}:${d.receiver}:${d.line ?? fallbackLine}:${d.column ?? 0}:${d.code ?? ""}`;
-    if (bMemberDiagSeen.has(key)) return;
-    bMemberDiagSeen.add(key);
+    if (evalMemberDiagSeen.has(key)) return;
+    evalMemberDiagSeen.add(key);
     if (d.code === "nudo:missing-slot") {
       diagnostics.push({
         range: {
@@ -272354,15 +272414,15 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
   }
   const selfContained = isSelfContainedSource2(source, envNames);
   const canAbsModules = absModulesOk2(source, envNames);
-  const bCapable = isBPathCapable2(source, envNames);
-  const bModuleIssueKinds = /* @__PURE__ */ new Set();
-  const bTruncatedFns = /* @__PURE__ */ new Set();
-  const bBuiltinUnknownNames = /* @__PURE__ */ new Set();
-  let bHostedEval = false;
+  const evalCapable = isEvalCapable2(source, envNames);
+  const evalModuleIssueKinds = /* @__PURE__ */ new Set();
+  const evalTruncatedFns = /* @__PURE__ */ new Set();
+  const evalBuiltinUnknownNames = /* @__PURE__ */ new Set();
+  let evalHosted = false;
   const pushBModuleIssues = (issues) => {
     if (!issues) return;
     for (const iss of issues) {
-      bModuleIssueKinds.add(iss.kind);
+      evalModuleIssueKinds.add(iss.kind);
       const code2 = iss.kind === "cycle" ? "nudo:module-cycle" : iss.kind === "depth" ? "nudo:module-depth" : "nudo:module-missing";
       diagnostics.push({
         range: { start: { line: 1, column: 0 }, end: { line: 1, column: 0 } },
@@ -272389,11 +272449,11 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
     });
   }
   let absCallRecords = [];
-  let bTopCallRecords = [];
+  let evalTopCallRecords = [];
   let absGraphModules;
   let absBindsShared;
   let absNodesShared;
-  if (bCapable && filePath) {
+  if (evalCapable && filePath) {
     try {
       const g = evalAbsModuleGraph2(source, filePath, {
         seedVars: seeds.seedVars,
@@ -272417,46 +272477,46 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
       pushBModuleIssues(g.issues);
     } catch {
     }
-    const bRun = tryRunBPath2(source, filePath, {
+    const evalRun = tryRunEval2(source, filePath, {
       envNames,
       mocks: mockSeedsToAbsMocks2(seeds)
     });
-    if (bRun) {
-      bHostedEval = true;
-      if (bRun.memberDiags?.length) {
-        for (const d of bRun.memberDiags) {
+    if (evalRun) {
+      evalHosted = true;
+      if (evalRun.memberDiags?.length) {
+        for (const d of evalRun.memberDiags) {
           pushBMemberDiag(d, 1);
         }
       }
-      if (bRun.truncatedFns) {
-        for (const fn2 of bRun.truncatedFns) bTruncatedFns.add(fn2);
+      if (evalRun.truncatedFns) {
+        for (const fn2 of evalRun.truncatedFns) evalTruncatedFns.add(fn2);
       }
-      if (bRun.calls?.length) {
+      if (evalRun.calls?.length) {
         const impMap = buildAbsImportLocalMap2(source, filePath);
-        for (const c of bRun.calls) {
-          bTopCallRecords.push(callRecordFromAbsCall2(c, impMap));
+        for (const c of evalRun.calls) {
+          evalTopCallRecords.push(callRecordFromAbsCall2(c, impMap));
         }
       }
     }
   }
-  if (bHostedEval && bTopCallRecords.length > 0) {
+  if (evalHosted && evalTopCallRecords.length > 0) {
     callRecords.length = 0;
-    callRecords.push(...bTopCallRecords);
+    callRecords.push(...evalTopCallRecords);
   } else if ((selfContained || canAbsModules) && absCallRecords.length > 0) {
     callRecords.length = 0;
     callRecords.push(...absCallRecords);
-  } else if (bTopCallRecords.length > 0) {
+  } else if (evalTopCallRecords.length > 0) {
     callRecords.length = 0;
-    callRecords.push(...bTopCallRecords);
+    callRecords.push(...evalTopCallRecords);
   }
   const unreachableRanges = [];
-  if (bCapable) {
-    const bKnownGlobals = /* @__PURE__ */ new Set([
+  if (evalCapable) {
+    const evalKnownGlobals = /* @__PURE__ */ new Set([
       ...Object.keys(collectEnvGlobals2(envNames)),
       ...Object.keys(mockSeedsToAbsMocks2(seeds))
     ]);
-    const bDiag = collectBPathDiagnostics2(source, bKnownGlobals);
-    for (const ur of bDiag.unreachable) {
+    const evalDiag = collectEvalDiagnostics2(source, evalKnownGlobals);
+    for (const ur of evalDiag.unreachable) {
       diagnostics.push({
         range: ur.range,
         severity: "info",
@@ -272466,8 +272526,8 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
         suggestions: ["Remove the unreachable code after the return/throw statement"]
       });
     }
-    for (const b of bDiag.builtinUnknown) {
-      bBuiltinUnknownNames.add(b.name);
+    for (const b of evalDiag.builtinUnknown) {
+      evalBuiltinUnknownNames.add(b.name);
       diagnostics.push({
         range: b.range,
         severity: "warning",
@@ -272491,7 +272551,7 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
       });
     }
   }
-  if (!absNodesShared && !bHostedEval && (selfContained || canAbsModules)) {
+  if (!absNodesShared && !evalHosted && (selfContained || canAbsModules)) {
     try {
       const collected = { binds: /* @__PURE__ */ new Map(), nodes: /* @__PURE__ */ new Map() };
       if (!absBindsShared) absBindsShared = collected.binds;
@@ -272500,7 +272560,7 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
     }
   }
   collectBindings2(ast, globalEnv, bindings, absBindsShared);
-  if (isBPathCapable2(source, envNames)) {
+  if (isEvalCapable2(source, envNames)) {
     try {
       const absBinds = absBindsShared ?? collectAbsBindingsFromGraph2(source, filePath, {
         seedVars: seeds.seedVars,
@@ -272631,36 +272691,36 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
       let caseThrowsAbs;
       let caseThrowLoc;
       let caseUnreachable = [];
-      const bCapable2 = isBPathCapable2(source, envNames);
-      const bPrimary = bCapable2;
-      if (bCapable2 && filePath) {
+      const evalCapable2 = isEvalCapable2(source, envNames);
+      const evalPrimary = evalCapable2;
+      if (evalCapable2 && filePath) {
         const caseArgsAbs = directive.argsAbs;
-        const bFull = tryBPathCallFull2(
+        const evalFull = tryEvalCallFull2(
           source,
           filePath,
           fn2.name,
           caseArgsAbs,
           { collectCalls: true, envNames, mocks: mockSeedsToAbsMocks2(seeds) }
         );
-        const res = bFull?.result;
+        const res = evalFull?.result;
         const weakUnknown = !!res && res.shape.k === "unknown" && (!res.term || res.term.op === "lit" && res.term.value === void 0);
-        const bOk = !!res && (bHostedEval || !weakUnknown && res.conf !== "opaque");
-        if (bOk && bFull && bPrimary) {
-          caseAbs = bFull.result;
-          caseThrowsAbs = bFull.throws;
-          for (const d of bFull.memberDiags ?? []) {
+        const evalOk = !!res && (evalHosted || !weakUnknown && res.conf !== "opaque");
+        if (evalOk && evalFull && evalPrimary) {
+          caseAbs = evalFull.result;
+          caseThrowsAbs = evalFull.throws;
+          for (const d of evalFull.memberDiags ?? []) {
             pushBMemberDiag(d, fnLoc.start.line);
           }
-          if (bFull.calls?.length) {
+          if (evalFull.calls?.length) {
             const impMap = buildAbsImportLocalMap2(source, filePath);
-            for (const c of bFull.calls) {
+            for (const c of evalFull.calls) {
               callRecords.push(callRecordFromAbsCall2(c, impMap));
             }
           }
         }
       }
       if (!caseAbs) {
-        if (bHostedEval) {
+        if (evalHosted) {
           caseAbs = unknown;
           caseThrowsAbs = neverAbs2;
         } else {
@@ -272733,7 +272793,7 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
             code: "nudo:may-throw"
           });
         }
-        if (!isBPathCapable2(source, envNames)) {
+        if (!isEvalCapable2(source, envNames)) {
           for (const ur of caseUnreachable) {
             diagnostics.push({
               range: ur,
@@ -272895,19 +272955,19 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
           )
         );
         let symAbs;
-        if (isBPathCapable2(source, envNames) && filePath) {
-          const bSym = tryBPathCall2(
+        if (isEvalCapable2(source, envNames) && filePath) {
+          const evalSym = tryEvalCall2(
             source,
             filePath,
             candidate.name,
             widenedArgsAbs,
             { envNames, mocks: mockSeedsToAbsMocks2(seeds) }
           );
-          if (bSym && (bHostedEval || !(bSym.shape.k === "unknown" && !bSym.term))) {
-            symAbs = bSym;
+          if (evalSym && (evalHosted || !(evalSym.shape.k === "unknown" && !evalSym.term))) {
+            symAbs = evalSym;
           }
         }
-        if (!symAbs && !bHostedEval) {
+        if (!symAbs && !evalHosted) {
           const absTry = tryEvalAbsRaw2(
             source,
             candidate.name,
@@ -272946,30 +273006,30 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
     const entryEffects = [];
     setMayThrowCollector((e) => entryEffects.push(e));
     try {
-      if (isBPathCapable2(source, envNames) && filePath) {
-        const bEntryFull = tryBPathCallFull2(
+      if (isEvalCapable2(source, envNames) && filePath) {
+        const evalEntryFull = tryEvalCallFull2(
           source,
           filePath,
           candidate.analysis.name,
           argAbsEntry,
           { envNames, mocks: mockSeedsToAbsMocks2(seeds), collectMemberDiags: true }
-        ) ?? (candidate.assignedName ? tryBPathCallFull2(source, filePath, candidate.assignedName, argAbsEntry, {
+        ) ?? (candidate.assignedName ? tryEvalCallFull2(source, filePath, candidate.assignedName, argAbsEntry, {
           envNames,
           mocks: mockSeedsToAbsMocks2(seeds)
         }) : void 0);
-        if (bEntryFull?.memberDiags?.length) {
-          for (const d of bEntryFull.memberDiags) {
+        if (evalEntryFull?.memberDiags?.length) {
+          for (const d of evalEntryFull.memberDiags) {
             pushBMemberDiag(d, candidate.analysis.loc.start.line);
           }
         }
-        const bEntry = bEntryFull?.result;
-        if (bEntry && (bHostedEval || !(bEntry.shape.k === "unknown" && !bEntry.term))) {
-          entryAbs = bEntry;
-          if (bEntryFull?.throws) entryThrowsAbs = bEntryFull.throws;
+        const evalEntry = evalEntryFull?.result;
+        if (evalEntry && (evalHosted || !(evalEntry.shape.k === "unknown" && !evalEntry.term))) {
+          entryAbs = evalEntry;
+          if (evalEntryFull?.throws) entryThrowsAbs = evalEntryFull.throws;
         }
       }
       if (!entryAbs) {
-        if (bHostedEval) {
+        if (evalHosted) {
           entryAbs = unknown;
           entryThrowsAbs = abs({ k: "never" }, void 0, void 0, "exact");
         } else {
@@ -273040,7 +273100,7 @@ function analyzeFileUncachedInner2(filePath, source, activeCases, externalCallRe
     } catch {
     }
   }
-  if (!bHostedEval) {
+  if (!evalHosted) {
     buildNodeTypeMap2(ast, globalEnv, nodeAbsMap);
   }
   const externalFunctions = synthesizeExternalFunctions2(
@@ -273131,11 +273191,11 @@ function analyzeFile2(filePath, source, activeCases, externalCallRecords, loadMo
   }
   return cloneAnalysisResult2(result);
 }
-var externalRecordIds2, nextExternalRecordId2, ABS_MODULE_CACHE_MAX2, absModuleCache2, ENV_DEPENDENTS_MAX2, ENV_DEPENDENTS_PER_KEY_MAX2, envDependents2, analysisByFile2, fnAnalysisCache2, envHarvestConflictCollector2, bRunByFile2, neverAbs2, undefAbs4, MAX_RECORD_TYPE_NODES2, KNOWN_GLOBALS2, DEFAULT_CALLSITE_BUDGET3, COLLAPSE_LITERAL_THRESHOLD2;
-var init_chunk_H2LVQGKH = __esm({
-  "../service/dist/chunk-H2LVQGKH.js"() {
+var externalRecordIds2, nextExternalRecordId2, ABS_MODULE_CACHE_MAX2, absModuleCache2, ENV_DEPENDENTS_MAX2, ENV_DEPENDENTS_PER_KEY_MAX2, envDependents2, analysisByFile2, fnAnalysisCache2, envHarvestConflictCollector2, evalRunByFile2, neverAbs2, undefAbs4, MAX_RECORD_TYPE_NODES2, KNOWN_GLOBALS2, DEFAULT_CALLSITE_BUDGET3, COLLAPSE_LITERAL_THRESHOLD2;
+var init_chunk_3IM6NXIF = __esm({
+  "../service/dist/chunk-3IM6NXIF.js"() {
     "use strict";
-    init_chunk_COMUCF3K();
+    init_chunk_3RCHDTBX();
     init_src2();
     init_lib5();
     init_src();
@@ -273173,7 +273233,7 @@ var init_chunk_H2LVQGKH = __esm({
     analysisByFile2 = /* @__PURE__ */ new Map();
     fnAnalysisCache2 = /* @__PURE__ */ new Map();
     envHarvestConflictCollector2 = null;
-    bRunByFile2 = /* @__PURE__ */ new Map();
+    evalRunByFile2 = /* @__PURE__ */ new Map();
     neverAbs2 = { shape: { k: "never" }, conf: "exact" };
     undefAbs4 = {
       shape: { k: "unknown" },
@@ -275072,7 +275132,7 @@ function deriveOneRoot(plan, source, file, modules, importLocals, label) {
     }
     const calls = [];
     const bCalls = [];
-    const prevCall = setBCallCollector((r) => bCalls.push(r));
+    const prevCall = setEvalCallCollector((r) => bCalls.push(r));
     try {
       {
         const run = runTranspiled(source, { mode: "analyze", modules });
@@ -275099,7 +275159,7 @@ function deriveOneRoot(plan, source, file, modules, importLocals, label) {
     } catch {
       return [];
     } finally {
-      setBCallCollector(prevCall);
+      setEvalCallCollector(prevCall);
     }
     const byCallee = /* @__PURE__ */ new Map();
     for (const call of calls) {
@@ -276079,10 +276139,10 @@ function litOf(t) {
 function eqLitValue(p) {
   if (p.op !== "eq") return "unanchored";
   const aLit = litOf(p.a);
-  const bLit = litOf(p.b);
+  const evalLit = litOf(p.b);
   if (aLit !== void 0 && (isSelfVar2(p.b) || p.b.op === "app")) return aLit;
-  if (bLit !== void 0 && (isSelfVar2(p.a) || p.a.op === "app")) return bLit;
-  if (aLit !== void 0 && bLit !== void 0) return aLit === bLit ? aLit : "unanchored";
+  if (evalLit !== void 0 && (isSelfVar2(p.a) || p.a.op === "app")) return evalLit;
+  if (aLit !== void 0 && evalLit !== void 0) return aLit === evalLit ? aLit : "unanchored";
   return "unanchored";
 }
 function isIntModOne(p) {
@@ -276545,9 +276605,6 @@ function checkNode(node, value, path, issues) {
       );
       return;
     }
-    case "promise": {
-      return;
-    }
     default:
       return;
   }
@@ -276690,8 +276747,8 @@ var init_emit2 = __esm({
   "../service/dist/emit/index.js"() {
     "use strict";
     init_chunk_J2PUE4NV();
-    init_chunk_H2LVQGKH();
-    init_chunk_COMUCF3K();
+    init_chunk_3IM6NXIF();
+    init_chunk_3RCHDTBX();
     init_src();
     init_src();
     init_src2();
@@ -277671,7 +277728,7 @@ async function runAbsView(filePath, opts) {
     process.exitCode = 1;
     return;
   }
-  const { defaultLoadModule: loadModule, tryBPathCall: tryBPathCall3 } = await Promise.resolve().then(() => (init_src4(), src_exports4));
+  const { defaultLoadModule: loadModule, tryEvalCall: tryEvalCall3 } = await Promise.resolve().then(() => (init_src4(), src_exports4));
   console.log(`nudo check --abs  ${basename5(filePath)}`);
   if (assumeLines.length > 0) {
     console.log(`assume: ${assumeLines.join(", ")}`);
@@ -277689,8 +277746,8 @@ async function runAbsView(filePath, opts) {
       continue;
     }
     const args = algebra.buildArgsFromAssume(source, name, assumeIds);
-    const bResult = tryBPathCall3(source, filePath, name, args, { phi: phi2 });
-    const result = bResult ?? algebra.unknown;
+    const evalResult = tryEvalCall3(source, filePath, name, args, { phi: phi2 });
+    const result = evalResult ?? algebra.unknown;
     const label = `${name}(${args.map((a) => algebra.formatShape(a)).join(", ")})`;
     console.log(algebra.formatAbsMultiline(result, label));
     console.log("");
@@ -277957,7 +278014,7 @@ async function runCheck(file, opts = {}) {
     let inject;
     try {
       const graph = evalAbsModuleGraph(source, filePath);
-      const reps = collectBPathReplacements(source);
+      const reps = collectEvalReplacements(source);
       const { mockDirectivesToAbsSeeds: mockDirectivesToAbsSeeds3, mockSeedsToAbsMocks: mockSeedsToAbsMocks3 } = await Promise.resolve().then(() => (init_src4(), src_exports4));
       const { extractDirectives: extractDirectives2 } = await Promise.resolve().then(() => (init_src2(), src_exports2));
       const { parse: parse3 } = await Promise.resolve().then(() => (init_src2(), src_exports2));