@nudojs/core 1.7.1 → 1.7.2

package/dist/{chunk-BM3UPEA7.js → chunk-TO2W45NU.js}

@@ -76,6 +76,7 @@ function simplifyTerm(t) {
       if (typeof v2 === "boolean") return lit(v2 ? 1 : 0);
       if (v2 === null) return lit(0);
       if (typeof v2 === "string") return lit(Number(v2));
+      if (typeof v2 === "bigint") return app(fn, args);
       return lit(NaN);
     };
     if (one(b)) return surviveMulOne(a);
@@ -112,6 +113,36 @@ function foldLiterals(fn, xs) {
   return void 0;
 }
 
+// src/algebra/collector-scope.ts
+import { AsyncLocalStorage } from "async_hooks";
+function createScopedSlot(init) {
+  const als = new AsyncLocalStorage();
+  const fallback = { v: init() };
+  const current = () => als.getStore() ?? fallback;
+  return {
+    get: () => current().v,
+    set: (v2) => {
+      current().v = v2;
+    },
+    runScoped: (body) => als.run({ v: current().v }, body)
+  };
+}
+var participants = [];
+function registerCollectorScopeParticipant(enter) {
+  participants.push(enter);
+}
+var scopeActive = new AsyncLocalStorage();
+function runWithCollectorScope(body) {
+  if (scopeActive.getStore() === true) return body();
+  let scoped = body;
+  for (let i = participants.length - 1; i >= 0; i--) {
+    const enter = participants[i];
+    const inner = scoped;
+    scoped = () => enter(inner);
+  }
+  return scopeActive.run(true, scoped);
+}
+
 // src/algebra/pred.ts
 var TYPEOF_NAMES = [
   "undefined",
@@ -343,12 +374,15 @@ function predVars(p) {
 }
 var emptyPhi = pTrue;
 var phiAnd = and;
-var implicationOracle;
+var implicationOracleSlot = createScopedSlot(
+  () => void 0
+);
+registerCollectorScopeParticipant((body) => implicationOracleSlot.runScoped(body));
 function setImplicationOracle(fn) {
-  implicationOracle = fn;
+  implicationOracleSlot.set(fn);
 }
 function getImplicationOracle() {
-  return implicationOracle;
+  return implicationOracleSlot.get();
 }
 function implies(phi2, pred) {
   if (pred.op === "true") return true;
@@ -391,6 +425,7 @@ function implies(phi2, pred) {
   const ctx2 = buildCtx(phi2);
   if (proveInCtx(ctx2, pred)) return true;
   if (decideLiteralPred(pred) === true) return true;
+  const implicationOracle = implicationOracleSlot.get();
   if (implicationOracle && implicationOracle(phi2, pred) === true) return true;
   return false;
 }
@@ -1160,6 +1195,35 @@ function isExactLit(a) {
 function litValue(a) {
   return a?.term?.op === "lit" ? { ok: true, value: a.term.value } : { ok: false };
 }
+function absNumLit(a) {
+  if (!a) return void 0;
+  const vR = litValue(a);
+  const v2 = vR.ok ? vR.value : void 0;
+  return typeof v2 === "number" ? v2 : void 0;
+}
+function absStrLit(a) {
+  if (!a) return void 0;
+  const vR = litValue(a);
+  const v2 = vR.ok ? vR.value : void 0;
+  return typeof v2 === "string" ? v2 : void 0;
+}
+function allAbsStr(args) {
+  const result = [];
+  for (const a of args) {
+    const s = absStrLit(a);
+    if (s === void 0) return void 0;
+    result.push(s);
+  }
+  return result;
+}
+function absLit(value) {
+  if (typeof value === "number") return numLit(value);
+  if (typeof value === "string") return strLit(value);
+  if (typeof value === "boolean") return boolLit(value);
+  if (typeof value === "bigint") return abs({ k: "prim", type: "bigint" }, void 0, void 0, "exact");
+  if (value === null) return abs({ k: "unknown" }, lit(null), void 0, "exact");
+  return abs({ k: "unknown" }, lit(void 0), void 0, "exact");
+}
 
 // src/strip-types.ts
 var REMOVE = /* @__PURE__ */ Symbol("nudo.strip.remove");
@@ -1526,34 +1590,41 @@ function shapeOnlyFn(paramTypes, returnType, opts) {
 }
 
 // src/algebra/derivation.ts
-var collector = null;
-var nextId = 1;
+var derivationSlot = createScopedSlot(() => ({
+  collector: null,
+  nextId: 1,
+  sessionNodes: null
+}));
+registerCollectorScopeParticipant((body) => derivationSlot.runScoped(body));
 var byAbs = /* @__PURE__ */ new WeakMap();
-var sessionNodes = null;
 function setDerivationCollector(fn) {
-  collector = fn;
+  derivationSlot.get().collector = fn;
 }
 function hasDerivationSession() {
-  return sessionNodes !== null;
+  return derivationSlot.get().sessionNodes !== null;
 }
 function beginDerivationSession() {
-  sessionNodes = /* @__PURE__ */ new Map();
-  nextId = 1;
+  const s = derivationSlot.get();
+  s.sessionNodes = /* @__PURE__ */ new Map();
+  s.nextId = 1;
 }
 function endDerivationSession() {
-  const nodes = sessionNodes ? [...sessionNodes.values()] : [];
-  sessionNodes = null;
-  collector = null;
+  const s = derivationSlot.get();
+  const nodes = s.sessionNodes ? [...s.sessionNodes.values()] : [];
+  s.sessionNodes = null;
+  s.collector = null;
   return nodes;
 }
 function abortDerivationSession() {
-  sessionNodes = null;
-  collector = null;
+  const s = derivationSlot.get();
+  s.sessionNodes = null;
+  s.collector = null;
 }
 function note(node) {
-  const full = { ...node, id: nextId++ };
-  if (sessionNodes) sessionNodes.set(full.id, full);
-  collector?.(full);
+  const s = derivationSlot.get();
+  const full = { ...node, id: s.nextId++ };
+  if (s.sessionNodes) s.sessionNodes.set(full.id, full);
+  s.collector?.(full);
   return full;
 }
 function tagDerivationRoot(abs2, meta) {
@@ -1579,6 +1650,7 @@ function derivationChain(node) {
   let cur = node;
   while (cur.kind !== "root" && cur.parents.length > 0) {
     const pid = cur.parents[0];
+    const sessionNodes = derivationSlot.get().sessionNodes;
     if (seen.has(pid) || !sessionNodes) break;
     const parent = sessionNodes.get(pid);
     if (!parent) break;
@@ -1589,7 +1661,7 @@ function derivationChain(node) {
   return chain;
 }
 function noteDerivationAdd(a, b, result) {
-  if (!sessionNodes) return;
+  if (!derivationSlot.get().sessionNodes) return;
   const vbR = litValue(b);
   const vb = vbR.ok ? vbR.value : void 0;
   const vaR = litValue(a);
@@ -1612,7 +1684,7 @@ function noteDerivationAdd(a, b, result) {
   byAbs.set(result, node);
 }
 function noteDerivationJoin(inputs, result) {
-  if (!sessionNodes) return;
+  if (!derivationSlot.get().sessionNodes) return;
   const parents = [];
   for (const a of inputs) {
     const n = byAbs.get(a);
@@ -2944,7 +3016,7 @@ function isSymbolAbs(a) {
   return !!a && a.shape.k === "prim" && a.shape.type === "symbol";
 }
 
-// src/algebra/exec/nudo-throw.ts
+// src/algebra/nudo-throw.ts
 var NudoThrow = class extends Error {
   absValue;
   constructor(absValue) {
@@ -2957,9 +3029,9 @@ function isNudoThrow(e) {
   return e instanceof NudoThrow;
 }
 
-// src/algebra/exec/may-throw.ts
-import { AsyncLocalStorage } from "async_hooks";
-var mayThrowAls = new AsyncLocalStorage();
+// src/algebra/may-throw.ts
+import { AsyncLocalStorage as AsyncLocalStorage2 } from "async_hooks";
+var mayThrowAls = new AsyncLocalStorage2();
 var syncCtx = { collector: null, tryFrames: [] };
 function ctx() {
   return mayThrowAls.getStore() ?? syncCtx;
@@ -3011,11 +3083,11 @@ function $tryReleaseSoft() {
   return effects;
 }
 function flushMayThrowEffects(effects) {
-  const collector2 = ctx().collector;
-  if (!collector2 || effects.length === 0) return;
+  const collector = ctx().collector;
+  if (!collector || effects.length === 0) return;
   for (const e of effects) {
     try {
-      collector2(e);
+      collector(e);
     } catch {
     }
   }
@@ -3840,7 +3912,7 @@ function migrateInvariants(from, to) {
 }
 
 // src/algebra/exec/runtime/state.ts
-import { AsyncLocalStorage as AsyncLocalStorage2 } from "async_hooks";
+import { AsyncLocalStorage as AsyncLocalStorage3 } from "async_hooks";
 
 // src/algebra/containers.ts
 var TUPLE_LITERAL_CAP = 8;
@@ -3865,6 +3937,17 @@ function clearStaleTermPred(v2) {
   v2.pred = void 0;
 }
 var phi = pTrue;
+function confPartial(a) {
+  return a.conf === "exact" || a.conf === "path" ? { ...a, conf: "partial" } : a;
+}
+function confPartialPacked(a) {
+  if (a.shape.k !== "obj") return confPartial(a);
+  const slots = {};
+  for (const [k, slot] of Object.entries(a.shape.slots)) {
+    slots[k] = { value: confPartial(slot.value) };
+  }
+  return objOf(slots);
+}
 function currentExecPhi() {
   return phi;
 }
@@ -4014,10 +4097,10 @@ function isDefinitelyFalse(a) {
 function undef() {
   return abs({ k: "unknown" }, { op: "lit", value: void 0 }, pTrue, "exact");
 }
-var loopExitsAls = new AsyncLocalStorage2();
-var throwExitsAls = new AsyncLocalStorage2();
-var tryMarksAls = new AsyncLocalStorage2();
-var softFrameActiveAls = new AsyncLocalStorage2();
+var loopExitsAls = new AsyncLocalStorage3();
+var throwExitsAls = new AsyncLocalStorage3();
+var tryMarksAls = new AsyncLocalStorage3();
+var softFrameActiveAls = new AsyncLocalStorage3();
 function runWithLoopExits(body) {
   return loopExitsAls.run(
     [],
@@ -4151,6 +4234,150 @@ function $rethrowIfNudoReturn(e) {
   if (isNudoReturn(e)) throw e;
 }
 
+// src/algebra/call-budget.ts
+var MAX_CALL_DEPTH = 64;
+var MAX_TOTAL_CALLS = 2e4;
+var _absCallDepth = 0;
+var _absTotalCalls = 0;
+var _activeCallKeys = [];
+var _fnCallIds = /* @__PURE__ */ new WeakMap();
+var _fnCallIdSeq = 0;
+var _callTruncated = false;
+var _callDepthLimit = MAX_CALL_DEPTH;
+var _totalCallsLimit = MAX_TOTAL_CALLS;
+function getAbsCallBudgetStats() {
+  return {
+    calls: _absTotalCalls,
+    maxCalls: _totalCallsLimit,
+    forks: _evalForkCount,
+    maxForks: _evalForkBudgetLimit,
+    callTruncated: _callTruncated,
+    forkTruncated: _evalForkTruncNoted,
+    truncated: _callTruncated || _evalForkTruncNoted
+  };
+}
+function resetAbsCallBudget() {
+  _absCallDepth = 0;
+  _absTotalCalls = 0;
+  _activeCallKeys = [];
+  _callTruncated = false;
+  _callDepthLimit = MAX_CALL_DEPTH;
+  _totalCallsLimit = MAX_TOTAL_CALLS;
+  resetEvalForkBudget();
+}
+function withFnBudgetOverride(budget, run) {
+  const prevDepth = _callDepthLimit;
+  const prevCalls = _totalCallsLimit;
+  const prevForks = _evalForkBudgetLimit;
+  if (typeof budget.depth === "number" && Number.isFinite(budget.depth) && budget.depth >= 1) {
+    _callDepthLimit = Math.floor(budget.depth);
+  }
+  if (typeof budget.calls === "number" && Number.isFinite(budget.calls) && budget.calls >= 1) {
+    _totalCallsLimit = Math.floor(budget.calls);
+  }
+  if (typeof budget.forks === "number" && Number.isFinite(budget.forks) && budget.forks >= 1) {
+    setEvalForkBudgetLimit(Math.floor(budget.forks));
+  }
+  try {
+    run();
+  } finally {
+    _callDepthLimit = prevDepth;
+    _totalCallsLimit = prevCalls;
+    setEvalForkBudgetLimit(prevForks);
+  }
+}
+function stableCallId(obj2) {
+  let id = _fnCallIds.get(obj2);
+  if (id === void 0) {
+    id = `#${++_fnCallIdSeq}`;
+    _fnCallIds.set(obj2, id);
+  }
+  return id;
+}
+function truncatedAbs() {
+  return abs({ k: "unknown" }, void 0, void 0, "opaque");
+}
+function callBudgetKey(kind, id, args) {
+  const parts = args.map((a) => {
+    const sh = a?.shape;
+    if (!sh) return `js:${typeof a}`;
+    const t = a.term ? termToString(a.term) : "";
+    return `${sh.k}:${t}`;
+  });
+  return `${kind}|${id}|${parts.join(",")}`;
+}
+var absTruncCollectorSlot = createScopedSlot(() => null);
+registerCollectorScopeParticipant((body) => absTruncCollectorSlot.runScoped(body));
+function setAbsTruncationCollector(collector) {
+  const prev = absTruncCollectorSlot.get();
+  absTruncCollectorSlot.set(collector);
+  return prev;
+}
+function noteAbsTruncation(label) {
+  const absTruncCollector = absTruncCollectorSlot.get();
+  if (!absTruncCollector) return;
+  try {
+    absTruncCollector(label);
+  } catch {
+  }
+}
+function enterCall(key, label) {
+  if (_activeCallKeys.includes(key) || _absCallDepth >= _callDepthLimit || _absTotalCalls >= _totalCallsLimit) {
+    _callTruncated = true;
+    noteAbsTruncation(label);
+    return false;
+  }
+  _activeCallKeys.push(key);
+  _absCallDepth++;
+  _absTotalCalls++;
+  return true;
+}
+function exitCall() {
+  if (_absCallDepth > 0) _absCallDepth--;
+  if (_activeCallKeys.length > 0) _activeCallKeys.pop();
+}
+var MAX_EVAL_TOTAL_FORKS = 5e3;
+var _evalForkBudgetLimit = MAX_EVAL_TOTAL_FORKS;
+var _evalForkCount = 0;
+var _evalForkTruncNoted = false;
+var FORK_TRUNCATION_LABEL = "#fork-budget";
+var HOST_EFFECT_LABEL_PREFIX = "#host-effect:";
+var PROMISE_MICRO_OVERFLOW_LABEL = "#promise-micro-overflow";
+var PROMISE_MICRO_ERROR_LABEL = "#promise-micro-error";
+var MATH_FOLD_ERROR_LABEL = "#math-fold-error";
+function noteHostEffectBlocked(name) {
+  noteAbsTruncation(`${HOST_EFFECT_LABEL_PREFIX}${name}`);
+}
+function noteEvalForkTruncation() {
+  noteAbsTruncation(FORK_TRUNCATION_LABEL);
+}
+function setEvalForkBudgetLimit(n) {
+  if (typeof n === "number" && Number.isFinite(n) && n >= 1) {
+    _evalForkBudgetLimit = Math.floor(n);
+  } else {
+    _evalForkBudgetLimit = MAX_EVAL_TOTAL_FORKS;
+  }
+  return _evalForkBudgetLimit;
+}
+function getEvalForkBudgetLimit() {
+  return _evalForkBudgetLimit;
+}
+function getEvalForkCount() {
+  return _evalForkCount;
+}
+function resetEvalForkBudget() {
+  _evalForkCount = 0;
+  _evalForkTruncNoted = false;
+}
+function bumpEvalForkBudget() {
+  if (++_evalForkCount <= _evalForkBudgetLimit) return true;
+  if (!_evalForkTruncNoted) {
+    _evalForkTruncNoted = true;
+    noteEvalForkTruncation();
+  }
+  return false;
+}
+
 // src/algebra/builtins/shared.ts
 var noBody2 = { type: "BlockStatement", body: [], directives: [] };
 function numPrim(conf = "path") {
@@ -4359,6 +4586,7 @@ function evalMathMethod(name, args) {
       try {
         return numLit((name === "min" ? Math.min : Math.max)(...nums2));
       } catch {
+        noteAbsTruncation(MATH_FOLD_ERROR_LABEL);
         return numPrim();
       }
     }
@@ -4377,6 +4605,7 @@ function evalMathMethod(name, args) {
           name === "round" ? Math.round(n) : name === "floor" ? Math.floor(n) : name === "ceil" ? Math.ceil(n) : Math.trunc(n)
         );
       } catch {
+        noteAbsTruncation(MATH_FOLD_ERROR_LABEL);
         return numPrim();
       }
     }
@@ -4399,6 +4628,7 @@ function evalMathMethod(name, args) {
   try {
     return numLit(impl(...nums));
   } catch {
+    noteAbsTruncation(MATH_FOLD_ERROR_LABEL);
     return numPrim();
   }
 }
@@ -6158,147 +6388,6 @@ function evalRegExpMethod(name, recv, args) {
   return void 0;
 }
 
-// src/algebra/call-budget.ts
-var MAX_CALL_DEPTH = 64;
-var MAX_TOTAL_CALLS = 2e4;
-var _absCallDepth = 0;
-var _absTotalCalls = 0;
-var _activeCallKeys = [];
-var _fnCallIds = /* @__PURE__ */ new WeakMap();
-var _fnCallIdSeq = 0;
-var _callTruncated = false;
-var _callDepthLimit = MAX_CALL_DEPTH;
-var _totalCallsLimit = MAX_TOTAL_CALLS;
-function getAbsCallBudgetStats() {
-  return {
-    calls: _absTotalCalls,
-    maxCalls: _totalCallsLimit,
-    forks: _evalForkCount,
-    maxForks: _evalForkBudgetLimit,
-    callTruncated: _callTruncated,
-    forkTruncated: _evalForkTruncNoted,
-    truncated: _callTruncated || _evalForkTruncNoted
-  };
-}
-function resetAbsCallBudget() {
-  _absCallDepth = 0;
-  _absTotalCalls = 0;
-  _activeCallKeys = [];
-  _callTruncated = false;
-  _callDepthLimit = MAX_CALL_DEPTH;
-  _totalCallsLimit = MAX_TOTAL_CALLS;
-  resetEvalForkBudget();
-}
-function withFnBudgetOverride(budget, run) {
-  const prevDepth = _callDepthLimit;
-  const prevCalls = _totalCallsLimit;
-  const prevForks = _evalForkBudgetLimit;
-  if (typeof budget.depth === "number" && Number.isFinite(budget.depth) && budget.depth >= 1) {
-    _callDepthLimit = Math.floor(budget.depth);
-  }
-  if (typeof budget.calls === "number" && Number.isFinite(budget.calls) && budget.calls >= 1) {
-    _totalCallsLimit = Math.floor(budget.calls);
-  }
-  if (typeof budget.forks === "number" && Number.isFinite(budget.forks) && budget.forks >= 1) {
-    setEvalForkBudgetLimit(Math.floor(budget.forks));
-  }
-  try {
-    run();
-  } finally {
-    _callDepthLimit = prevDepth;
-    _totalCallsLimit = prevCalls;
-    setEvalForkBudgetLimit(prevForks);
-  }
-}
-function stableCallId(obj2) {
-  let id = _fnCallIds.get(obj2);
-  if (id === void 0) {
-    id = `#${++_fnCallIdSeq}`;
-    _fnCallIds.set(obj2, id);
-  }
-  return id;
-}
-function truncatedAbs() {
-  return abs({ k: "unknown" }, void 0, void 0, "opaque");
-}
-function callBudgetKey(kind, id, args) {
-  const parts = args.map((a) => {
-    const sh = a?.shape;
-    if (!sh) return `js:${typeof a}`;
-    const t = a.term ? termToString(a.term) : "";
-    return `${sh.k}:${t}`;
-  });
-  return `${kind}|${id}|${parts.join(",")}`;
-}
-var absTruncCollector = null;
-function setAbsTruncationCollector(collector2) {
-  const prev = absTruncCollector;
-  absTruncCollector = collector2;
-  return prev;
-}
-function noteAbsTruncation(label) {
-  if (!absTruncCollector) return;
-  try {
-    absTruncCollector(label);
-  } catch {
-  }
-}
-function enterCall(key, label) {
-  if (_activeCallKeys.includes(key) || _absCallDepth >= _callDepthLimit || _absTotalCalls >= _totalCallsLimit) {
-    _callTruncated = true;
-    noteAbsTruncation(label);
-    return false;
-  }
-  _activeCallKeys.push(key);
-  _absCallDepth++;
-  _absTotalCalls++;
-  return true;
-}
-function exitCall() {
-  if (_absCallDepth > 0) _absCallDepth--;
-  if (_activeCallKeys.length > 0) _activeCallKeys.pop();
-}
-var MAX_EVAL_TOTAL_FORKS = 5e3;
-var _evalForkBudgetLimit = MAX_EVAL_TOTAL_FORKS;
-var _evalForkCount = 0;
-var _evalForkTruncNoted = false;
-var FORK_TRUNCATION_LABEL = "#fork-budget";
-var HOST_EFFECT_LABEL_PREFIX = "#host-effect:";
-var PROMISE_MICRO_OVERFLOW_LABEL = "#promise-micro-overflow";
-var PROMISE_MICRO_ERROR_LABEL = "#promise-micro-error";
-function noteHostEffectBlocked(name) {
-  noteAbsTruncation(`${HOST_EFFECT_LABEL_PREFIX}${name}`);
-}
-function noteEvalForkTruncation() {
-  noteAbsTruncation(FORK_TRUNCATION_LABEL);
-}
-function setEvalForkBudgetLimit(n) {
-  if (typeof n === "number" && Number.isFinite(n) && n >= 1) {
-    _evalForkBudgetLimit = Math.floor(n);
-  } else {
-    _evalForkBudgetLimit = MAX_EVAL_TOTAL_FORKS;
-  }
-  return _evalForkBudgetLimit;
-}
-function getEvalForkBudgetLimit() {
-  return _evalForkBudgetLimit;
-}
-function getEvalForkCount() {
-  return _evalForkCount;
-}
-function resetEvalForkBudget() {
-  _evalForkCount = 0;
-  _evalForkTruncNoted = false;
-}
-function bumpEvalForkBudget() {
-  if (++_evalForkCount <= _evalForkBudgetLimit) return true;
-  if (!_evalForkTruncNoted) {
-    _evalForkTruncNoted = true;
-    noteEvalForkTruncation();
-  }
-  return false;
-}
-
 // src/algebra/builtins/promise.ts
 var promiseExecStack = [];
 function enterPromiseExecutorScope() {
@@ -8161,25 +8250,12 @@ function leqPred(src, tgt, phi2, depth) {
   if (!tp) return ok();
   if (!sp) {
     if (implies(phi2, tp)) return ok();
-    return fail(`pred \u22AD ${predBrief(tp)}`);
+    return fail(`pred \u22AD ${predToString(tp)}`);
   }
   const combined = phi2.op === "true" ? sp : { op: "and", args: [phi2, sp] };
   if (implies(combined, tp)) return ok();
   if (numericBoundsImply(sp, tp)) return ok();
-  return fail(`pred \u22AD ${predBrief(tp)}`);
-}
-function predBrief(p) {
-  switch (p.op) {
-    case "gt":
-    case "ge":
-    case "lt":
-    case "le":
-    case "eq":
-    case "ne":
-      return p.op;
-    default:
-      return p.op;
-  }
+  return fail(`pred \u22AD ${predToString(tp)}`);
 }
 function numericBoundsImply(src, tgt) {
   const one = (p) => p.op === "gt" || p.op === "ge" || p.op === "lt" || p.op === "le";
@@ -8203,7 +8279,7 @@ function numericBoundsImply(src, tgt) {
   return sb <= tb;
 }
 function sameTermSide(a, b) {
-  return a.a.op === b.a.op && termEquals(a.a, b.a);
+  return termEquals(a.a, b.a);
 }
 function litGE(a, b) {
   if (a.op !== "lit" || b.op !== "lit") return false;
@@ -8511,25 +8587,87 @@ function formatShapeInner(a, budget) {
       }
       return parts.join(" | ");
     }
-    default:
-      return "\xB7";
+    default:
+      return "\xB7";
+  }
+}
+function formatAbsMultiline(a, label) {
+  const lines = [];
+  if (label) lines.push(label);
+  lines.push(`  ${formatShape(a)}`);
+  if (a.term && a.term.op !== "lit") {
+    lines.push(`  term: ${termToString(a.term)}`);
+  }
+  if (a.pred && a.pred.op !== "true") {
+    lines.push(`  pred: ${predToString(a.pred)}`);
+  }
+  lines.push(`  conf: ${a.conf}`);
+  return lines.join("\n");
+}
+
+// src/algebra/lru-map.ts
+var BoundedLruMap = class {
+  map = /* @__PURE__ */ new Map();
+  max;
+  constructor(max) {
+    this.max = max;
+  }
+  get size() {
+    return this.map.size;
+  }
+  getMax() {
+    return this.max;
+  }
+  setMax(max) {
+    this.max = max;
+    this.trim();
+  }
+  has(key) {
+    return this.map.has(key);
+  }
+  get(key) {
+    const hit = this.map.get(key);
+    if (hit === void 0) return void 0;
+    this.map.delete(key);
+    this.map.set(key, hit);
+    return hit;
+  }
+  set(key, value) {
+    if (this.max <= 0) return;
+    while (this.map.size >= this.max && !this.map.has(key)) {
+      const oldest = this.map.keys().next().value;
+      if (oldest === void 0) break;
+      this.map.delete(oldest);
+    }
+    this.map.delete(key);
+    this.map.set(key, value);
   }
-}
-function formatAbsMultiline(a, label) {
-  const lines = [];
-  if (label) lines.push(label);
-  lines.push(`  ${formatShape(a)}`);
-  if (a.term && a.term.op !== "lit") {
-    lines.push(`  term: ${termToString(a.term)}`);
+  delete(key) {
+    return this.map.delete(key);
   }
-  if (a.pred && a.pred.op !== "true") {
-    lines.push(`  pred: ${predToString(a.pred)}`);
+  clear() {
+    this.map.clear();
   }
-  lines.push(`  conf: ${a.conf}`);
-  return lines.join("\n");
-}
+  trim() {
+    while (this.map.size > this.max) {
+      const oldest = this.map.keys().next().value;
+      if (oldest === void 0) break;
+      this.map.delete(oldest);
+    }
+  }
+};
 
 // src/algebra/code-text.ts
+var SOURCE_SCAN_CACHE_MAX = 256;
+var stripCommentsAndStringsCache = new BoundedLruMap(
+  SOURCE_SCAN_CACHE_MAX
+);
+var stripStringsKeepCommentsCache = new BoundedLruMap(
+  SOURCE_SCAN_CACHE_MAX
+);
+var maskCommentsAndStringsCache = new BoundedLruMap(
+  SOURCE_SCAN_CACHE_MAX
+);
 var REGEX_KEYWORDS = /* @__PURE__ */ new Set([
   "await",
   "case",
@@ -8766,27 +8904,36 @@ function scanSource(source) {
   return { spans, literals };
 }
 function stripCommentsAndStrings(source) {
+  const hit = stripCommentsAndStringsCache.get(source);
+  if (hit !== void 0) return hit;
   let out = "";
   for (const span of scanSource(source).spans) {
     if (span.kind === "code") out += span.text;
     else if (span.kind === "comment") out += " ";
     else out += '""';
   }
+  stripCommentsAndStringsCache.set(source, out);
   return out;
 }
 function stripStringsKeepComments(source) {
+  const hit = stripStringsKeepCommentsCache.get(source);
+  if (hit !== void 0) return hit;
   let out = "";
   for (const span of scanSource(source).spans) {
     out += span.kind === "string" ? '""' : span.text;
   }
+  stripStringsKeepCommentsCache.set(source, out);
   return out;
 }
 function maskCommentsAndStrings(source) {
+  const hit = maskCommentsAndStringsCache.get(source);
+  if (hit !== void 0) return hit;
   let out = "";
   for (const span of scanSource(source).spans) {
     if (span.kind === "code") out += span.text;
     else out += span.text.replace(/[^\n]/g, " ");
   }
+  maskCommentsAndStringsCache.set(source, out);
   return out;
 }
 function scanStringLiterals(source) {
@@ -9050,6 +9197,18 @@ function isStatefulMethodName(name) {
 // src/algebra/exec/transpile/intrinsics.ts
 var HOST_INTRINSIC_NAMES = ["undefined", "NaN", "Infinity"];
 var HOST_INTRINSIC_SET = new Set(HOST_INTRINSIC_NAMES);
+var ENV_SHADOW_SKIP_GLOBALS = /* @__PURE__ */ new Set([
+  ...HOST_INTRINSIC_NAMES,
+  "Math",
+  "Number",
+  "JSON",
+  "Object",
+  "Array",
+  "String",
+  "Date",
+  "Promise",
+  "BigInt"
+]);
 var UNDEF_LIT = "$lit(void 0)";
 function hostIntrinsicLit(name) {
   switch (name) {
@@ -9323,6 +9482,18 @@ function collectLexicalDeclNames(node, acc) {
     else if (child && typeof child === "object") collectLexicalDeclNames(child, acc);
   }
 }
+function collectLoopBodyTopLevelDeclNames(body, acc) {
+  const n = body;
+  if (!n || n.type !== "BlockStatement" || !Array.isArray(n.body)) return;
+  for (const s of n.body) {
+    const stmt = s;
+    if (stmt.type === "VariableDeclaration" && stmt.kind !== "var") {
+      for (const d of stmt.declarations ?? []) collectPatternNames2(d.id, acc);
+    } else if (stmt.type === "FunctionDeclaration" || stmt.type === "ClassDeclaration") {
+      collectPatternNames2(stmt.id, acc);
+    }
+  }
+}
 function computeConstScope(stmts, parentConsts) {
   const consts = /* @__PURE__ */ new Set();
   const mutables = /* @__PURE__ */ new Set();
@@ -10529,7 +10700,9 @@ ${pad}export default ${name};`;
         collectAssignedIds(stmt.test, assigned2);
         collectAssignedIds(stmt.update, assigned2);
         collectArrMutatorReceivers(stmt.body, assigned2);
-        const names2 = [...assigned2].filter((n) => !HOST_INTRINSIC_SET.has(n));
+        const bodyLocalDecls2 = /* @__PURE__ */ new Set();
+        collectLoopBodyTopLevelDeclNames(stmt.body, bodyLocalDecls2);
+        const names2 = [...assigned2].filter((n) => !HOST_INTRINSIC_SET.has(n) && !bodyLocalDecls2.has(n));
         const packSrc2 = names2.length === 0 ? null : `$obj({ ${names2.map((n) => `${JSON.stringify(n)}: $copy(${n})`).join(", ")} })`;
         const unpackSrc2 = names2.length === 0 ? null : `(__lp) => { ${names2.map((n) => `${n} = $get(__lp, ${JSON.stringify(n)});`).join(" ")} }`;
         const optsSrc2 = (() => {
@@ -10569,7 +10742,9 @@ ${pad}export default ${name};`;
       collectAssignedIds(stmt.test, assigned);
       collectAssignedIds(stmt.update, assigned);
       collectArrMutatorReceivers(stmt.body, assigned);
-      const names = [...assigned].filter((n) => n !== initName && !HOST_INTRINSIC_SET.has(n));
+      const bodyLocalDecls = /* @__PURE__ */ new Set();
+      collectLoopBodyTopLevelDeclNames(stmt.body, bodyLocalDecls);
+      const names = [...assigned].filter((n) => n !== initName && !HOST_INTRINSIC_SET.has(n) && !bodyLocalDecls.has(n));
       const packSrc = names.length === 0 ? null : `$obj({ ${names.map((n) => `${JSON.stringify(n)}: $copy(${n})`).join(", ")} })`;
       const unpackSrc = names.length === 0 ? null : `(__lp) => { ${names.map((n) => `${n} = $get(__lp, ${JSON.stringify(n)});`).join(" ")} }`;
       const optsSrc = (() => {
@@ -10878,7 +11053,9 @@ ${indent(depth + 1)}]${dflt})`;
       const assigned = /* @__PURE__ */ new Set();
       collectAssignedIds(stmt.body, assigned);
       collectArrMutatorReceivers(stmt.body, assigned);
-      const names = [...assigned].filter((n) => n !== bindName && !HOST_INTRINSIC_SET.has(n));
+      const bodyLocalDecls = /* @__PURE__ */ new Set();
+      collectLoopBodyTopLevelDeclNames(stmt.body, bodyLocalDecls);
+      const names = [...assigned].filter((n) => n !== bindName && !HOST_INTRINSIC_SET.has(n) && !bodyLocalDecls.has(n));
       const loopOpts = opts.loopLabel ? `label: ${JSON.stringify(opts.loopLabel)}` : "";
       const optsSrc = names.length === 0 ? loopOpts ? `, { ${loopOpts} }` : "" : `, { pack: () => $obj({ ${names.map((n) => `${JSON.stringify(n)}: $copy(${n})`).join(", ")} }), unpack: (__lp) => { ${names.map((n) => `${n} = $get(__lp, ${JSON.stringify(n)});`).join(" ")} }${loopOpts ? `, ${loopOpts}` : ""} }`;
       return [
@@ -10900,7 +11077,9 @@ ${indent(depth + 1)}]${dflt})`;
       const assigned = /* @__PURE__ */ new Set();
       collectAssignedIds(stmt.body, assigned);
       collectAssignedIds(stmt.test, assigned);
-      const names = [...assigned].filter((n) => !HOST_INTRINSIC_SET.has(n));
+      const bodyLocalDecls = /* @__PURE__ */ new Set();
+      collectLoopBodyTopLevelDeclNames(stmt.body, bodyLocalDecls);
+      const names = [...assigned].filter((n) => !HOST_INTRINSIC_SET.has(n) && !bodyLocalDecls.has(n));
       const loopOpts = opts.loopLabel ? `label: ${JSON.stringify(opts.loopLabel)}` : "";
       if (names.length === 0) {
         return [
@@ -10932,7 +11111,9 @@ ${indent(depth + 1)}]${dflt})`;
       collectAssignedIds(stmt.body, assigned);
       collectAssignedIds(stmt.test, assigned);
       collectArrMutatorReceivers(stmt.body, assigned);
-      const names = [...assigned].filter((n) => !HOST_INTRINSIC_SET.has(n));
+      const bodyLocalDecls = /* @__PURE__ */ new Set();
+      collectLoopBodyTopLevelDeclNames(stmt.body, bodyLocalDecls);
+      const names = [...assigned].filter((n) => !HOST_INTRINSIC_SET.has(n) && !bodyLocalDecls.has(n));
       const packSrc = names.length === 0 ? null : `$obj({ ${names.map((n) => `${JSON.stringify(n)}: $copy(${n})`).join(", ")} })`;
       const unpackSrc = names.length === 0 ? null : `(__lp) => { ${names.map((n) => `${n} = $get(__lp, ${JSON.stringify(n)});`).join(" ")} }`;
       const loopOpts = opts.loopLabel ? `label: ${JSON.stringify(opts.loopLabel)}` : "";
@@ -11418,10 +11599,11 @@ function transpileExpression(expr, opts = {}) {
         return transpileShortCircuitExpr(opts, {
           alwaysNodes: [lNode],
           alwaysSrc: l,
-          // 测试用 nullish；返回侧：nullish → right，否则 → left
+          // 测试用 nullish；返回侧：nullish → right，否则 → left 的**非 nullish 部分**
+          // （索引访问/可选字段的左值常携带 undefined 臂，不去则 ?? 的 alt 仍含 undefined）
           consSrc: r,
           consNodes: [rNode],
-          altSrc: l,
+          altSrc: `$removeNullish(${l})`,
           altNodes: [lNode],
           testSrc: `$nullishTest(${l})`
         });
@@ -11811,7 +11993,7 @@ ${mBodyInner}
             alwaysSrc: targetSrc,
             consSrc: right,
             consNodes: [rNode],
-            altSrc: targetSrc,
+            altSrc: `$removeNullish(${targetSrc})`,
             altNodes: [],
             testSrc: `$nullishTest(${targetSrc})`
           });
@@ -12066,13 +12248,13 @@ function transpileSource(source, opts = {}) {
   return transpileFile(file, { ...opts, source: opts.source ?? source });
 }
 function runtimeImportOf(runtime) {
-  return `import { $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $catchVal, $switch, $staticInvoke, $setKey, $gen, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`;
+  return `import { $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $catchVal, $switch, $staticInvoke, $setKey, $gen, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $removeNullish, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`;
 }
 function transpileFile(file, opts = {}) {
   const runtime = opts.runtimeImport ?? "@nudojs/core/exec";
   const lines = [
     `// nudo evaluator transpile \u2014 values are Abs; operators are overloaded calls`,
-    `import { $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $catchVal, $switch, $staticInvoke, $setKey, $gen, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`,
+    `import { $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $catchVal, $switch, $staticInvoke, $setKey, $gen, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $removeNullish, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo } from ${JSON.stringify(runtime)};`,
     ``
   ];
   for (const stmt of file.program.body) {
@@ -12204,8 +12386,9 @@ function $join(a, b) {
 }
 
 // src/algebra/exec/member-diag.ts
-import { AsyncLocalStorage as AsyncLocalStorage3 } from "async_hooks";
-var memberDiagCollector = null;
+import { AsyncLocalStorage as AsyncLocalStorage4 } from "async_hooks";
+var memberDiagCollectorSlot = createScopedSlot(() => null);
+registerCollectorScopeParticipant((body) => memberDiagCollectorSlot.runScoped(body));
 var callLocStack = [];
 var absOrigins = /* @__PURE__ */ new WeakMap();
 function tagAbsOrigin(a, loc) {
@@ -12216,8 +12399,8 @@ function getAbsOrigin(a) {
   return absOrigins.get(a);
 }
 function setMemberDiagCollector(c) {
-  const prev = memberDiagCollector;
-  memberDiagCollector = c;
+  const prev = memberDiagCollectorSlot.get();
+  memberDiagCollectorSlot.set(c);
   return prev;
 }
 function pushCallLoc(loc) {
@@ -12227,6 +12410,7 @@ function popCallLoc() {
   callLocStack.pop();
 }
 function recordMemberDiag(d) {
+  const memberDiagCollector = memberDiagCollectorSlot.get();
   if (!memberDiagCollector) return;
   const origin = d.origin ?? callLocStack[callLocStack.length - 1];
   try {
@@ -12370,7 +12554,7 @@ function definitelyUncallableMember(recv, name) {
   }
   return false;
 }
-var evalMissingSlotAls = new AsyncLocalStorage3();
+var evalMissingSlotAls = new AsyncLocalStorage4();
 var evalMissingSlotFallback = false;
 function setEvalMissingSlotEnabled(enabled) {
   evalMissingSlotFallback = enabled;
@@ -12515,6 +12699,7 @@ __export(runtime_exports, {
   $pushLoopExit: () => $pushLoopExit,
   $rawThis: () => $rawThis,
   $regex: () => $regex,
+  $removeNullish: () => $removeNullish,
   $rethrowIfNudoReturn: () => $rethrowIfNudoReturn,
   $set: () => $set,
   $setProto: () => $setProto,
@@ -12546,12 +12731,15 @@ __export(runtime_exports, {
   $whileSeq: () => $whileSeq,
   $yield: () => $yield,
   DEFAULT_MAX_LOOP_ITERS: () => DEFAULT_MAX_LOOP_ITERS,
+  LOOP_TRUNCATION_LABEL: () => LOOP_TRUNCATION_LABEL,
+  MAX_CONCRETE_LOOP_ITERS: () => MAX_CONCRETE_LOOP_ITERS,
   NudoLoopSignal: () => NudoLoopSignal,
   NudoReturn: () => NudoReturn,
   NudoThrow: () => NudoThrow,
   asAbsVal: () => asAbsVal,
   callAtFunctionBoundary: () => callAtFunctionBoundary,
   clearStaleTermPred: () => clearStaleTermPred,
+  confPartial: () => confPartial,
   currentExecPhi: () => currentExecPhi,
   fillTuple: () => fillTuple,
   isArrMutator: () => isArrMutator,
@@ -12574,6 +12762,8 @@ __export(runtime_exports, {
 
 // src/algebra/exec/runtime/loop-budget.ts
 var DEFAULT_MAX_LOOP_ITERS = 8;
+var MAX_CONCRETE_LOOP_ITERS = 1024;
+var LOOP_TRUNCATION_LABEL = "#loop-iterations";
 
 // src/algebra/exec/runtime/containers.ts
 function tupleOrWiden(els, conf) {
@@ -13310,7 +13500,9 @@ function $forOf(iterable, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
   const knownLen = shape.k === "tuple" ? shape.elements.length : typeof sv === "string" ? [...sv].length : collectionExactLen(iterable);
   const unbounded = knownLen === void 0;
   if (unbounded) snapExit();
-  const n = knownLen !== void 0 ? Math.min(knownLen, maxIters) : items.length > 0 ? 1 : 0;
+  const concreteCap = Math.max(maxIters, MAX_CONCRETE_LOOP_ITERS);
+  const n = knownLen !== void 0 ? Math.min(knownLen, concreteCap) : items.length > 0 ? 1 : 0;
+  const concreteOverrun = knownLen !== void 0 && knownLen > concreteCap;
   for (let i = 0; i < n; i++) {
     const item = items.length > 0 ? items[Math.min(i, items.length - 1)] : unknown;
     try {
@@ -13335,19 +13527,29 @@ function $forOf(iterable, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
     if (unbounded) snapExit();
   }
   if (unbounded && n === 0) snapExit();
+  if (concreteOverrun) {
+    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    if (pack && unpack) unpack(confPartialPacked(pack()));
+    return;
+  }
   applyExitJoin();
 }
+var NAMESPACE_GLOBALS = [
+  ["Math", Math],
+  ["Number", Number],
+  ["JSON", JSON],
+  ["Object", Object],
+  ["Array", Array],
+  ["String", String],
+  ["Date", Date],
+  ["Promise", Promise],
+  ["BigInt", BigInt]
+];
 function namespaceNameOf(v2) {
   if (typeof v2 !== "object" && typeof v2 !== "function") return void 0;
-  if (v2 === Math) return "Math";
-  if (v2 === Number) return "Number";
-  if (v2 === JSON) return "JSON";
-  if (v2 === Object) return "Object";
-  if (v2 === Array) return "Array";
-  if (v2 === String) return "String";
-  if (v2 === Date) return "Date";
-  if (v2 === Promise) return "Promise";
-  if (v2 === BigInt) return "BigInt";
+  for (const [name, host] of NAMESPACE_GLOBALS) {
+    if (v2 === host) return name;
+  }
   return void 0;
 }
 function $regex(pattern, flags = "") {
@@ -13929,7 +14131,10 @@ function $for(init, test, step, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
     if (!extJoin || !pack || !unpack) return;
     unpack(joinAbs(extJoin, pack()));
   };
-  for (let i = 0; i < maxIters; i++) {
+  let limit = maxIters;
+  let extended = false;
+  let concreteExhausted = false;
+  for (let i = 0; i < limit; i++) {
     const t = test(state);
     if (isDefinitelyFalse(t)) {
       snapCounter();
@@ -13939,6 +14144,7 @@ function $for(init, test, step, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
     }
     const abstractTest = !isDefinitelyTrue(t);
     if (abstractTest) {
+      if (extended) break;
       snapCounter();
       snapExt();
     }
@@ -13978,21 +14184,39 @@ function $for(init, test, step, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
       }
     }
     state = next;
+    if (i + 1 === limit && isDefinitelyTrue(test(state))) {
+      if (limit < MAX_CONCRETE_LOOP_ITERS) {
+        limit = MAX_CONCRETE_LOOP_ITERS;
+        extended = true;
+      } else {
+        concreteExhausted = true;
+      }
+    }
   }
   snapCounter();
   snapExt();
+  if (concreteExhausted) {
+    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    if (extJoin && pack && unpack) unpack(confPartialPacked(joinAbs(extJoin, pack())));
+    return confPartial(exitJoin ?? state);
+  }
   applyExtJoin();
   return exitJoin ?? state;
 }
 function $while(init, test, step, maxIters = DEFAULT_MAX_LOOP_ITERS) {
   let state = init;
   let exitJoin;
-  for (let i = 0; i < maxIters; i++) {
+  let limit = maxIters;
+  let extended = false;
+  let concreteExhausted = false;
+  for (let i = 0; i < limit; i++) {
     const t = test(state);
     if (isDefinitelyFalse(t)) {
       return exitJoin ? joinAbs(exitJoin, state) : state;
     }
-    if (!isDefinitelyTrue(t)) {
+    const abstractTest = !isDefinitelyTrue(t);
+    if (abstractTest) {
+      if (extended) break;
       exitJoin = exitJoin ? joinAbs(exitJoin, state) : state;
     }
     const next = step(state);
@@ -14005,6 +14229,18 @@ function $while(init, test, step, maxIters = DEFAULT_MAX_LOOP_ITERS) {
       }
     }
     state = next;
+    if (i + 1 === limit && isDefinitelyTrue(test(state))) {
+      if (limit < MAX_CONCRETE_LOOP_ITERS) {
+        limit = MAX_CONCRETE_LOOP_ITERS;
+        extended = true;
+      } else {
+        concreteExhausted = true;
+      }
+    }
+  }
+  if (concreteExhausted) {
+    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    return confPartial(exitJoin ? joinAbs(exitJoin, state) : state);
   }
   return exitJoin ? joinAbs(exitJoin, state) : state;
 }
@@ -14021,13 +14257,28 @@ function $whileSeq(test, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
     if (!exitJoin || !pack || !unpack) return;
     unpack(joinAbs(exitJoin, pack()));
   };
-  for (let i = 0; i < maxIters; i++) {
+  let limit = maxIters;
+  let extended = false;
+  let concreteExhausted = false;
+  const boundaryGate = (i) => {
+    if (i + 1 !== limit || !isDefinitelyTrue(test())) return;
+    if (limit < MAX_CONCRETE_LOOP_ITERS) {
+      limit = MAX_CONCRETE_LOOP_ITERS;
+      extended = true;
+    } else {
+      concreteExhausted = true;
+    }
+  };
+  for (let i = 0; i < limit; i++) {
     const t = test();
     if (isDefinitelyFalse(t)) {
       applyExitJoin();
       return;
     }
-    if (!isDefinitelyTrue(t)) snapExit();
+    if (!isDefinitelyTrue(t)) {
+      if (extended) break;
+      snapExit();
+    }
     try {
       body();
     } catch (e) {
@@ -14035,12 +14286,21 @@ function $whileSeq(test, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
         applyExitJoin();
         return;
       }
-      if (isNudoContinue(e, opts?.label)) continue;
+      if (isNudoContinue(e, opts?.label)) {
+        boundaryGate(i);
+        continue;
+      }
       if (isNudoReturn(e) || isNudoThrow(e)) throw e;
       throw e;
     }
+    boundaryGate(i);
   }
   snapExit();
+  if (concreteExhausted) {
+    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    if (exitJoin && pack && unpack) unpack(confPartialPacked(joinAbs(exitJoin, pack())));
+    return;
+  }
   applyExitJoin();
 }
 function $switch(disc, cases, dflt) {
@@ -14195,6 +14455,19 @@ function $yield(v2) {
   if (top) top.push(v2);
   return unknown;
 }
+function $removeNullish(a) {
+  if (!a || typeof a !== "object" || !("shape" in a)) return a;
+  if (definitelyNotNullishShape(a.shape)) return a;
+  if (isNullishLitAbs(a)) return a;
+  if (a.shape.k === "sum") {
+    const members = a.shape.members;
+    const kept = members.filter((m) => !isNullishLitAbs(m));
+    if (kept.length === members.length) return a;
+    if (kept.length === 0) return a;
+    return kept.length === 1 ? kept[0] : { ...a, shape: { k: "sum", members: kept } };
+  }
+  return a;
+}
 function $nullishTest(v2) {
   if (definitelyNotNullishShape(v2.shape)) return boolLit(false);
   if (isNullishLitAbs(v2)) return boolLit(true);
@@ -14250,60 +14523,6 @@ __export(calls_exports, {
   setEvalCallCollector: () => setEvalCallCollector,
   withEvalBudgetOverride: () => withEvalBudgetOverride
 });
-
-// src/algebra/lru-map.ts
-var BoundedLruMap = class {
-  map = /* @__PURE__ */ new Map();
-  max;
-  constructor(max) {
-    this.max = max;
-  }
-  get size() {
-    return this.map.size;
-  }
-  getMax() {
-    return this.max;
-  }
-  setMax(max) {
-    this.max = max;
-    this.trim();
-  }
-  has(key) {
-    return this.map.has(key);
-  }
-  get(key) {
-    const hit = this.map.get(key);
-    if (hit === void 0) return void 0;
-    this.map.delete(key);
-    this.map.set(key, hit);
-    return hit;
-  }
-  set(key, value) {
-    if (this.max <= 0) return;
-    while (this.map.size >= this.max && !this.map.has(key)) {
-      const oldest = this.map.keys().next().value;
-      if (oldest === void 0) break;
-      this.map.delete(oldest);
-    }
-    this.map.delete(key);
-    this.map.set(key, value);
-  }
-  delete(key) {
-    return this.map.delete(key);
-  }
-  clear() {
-    this.map.clear();
-  }
-  trim() {
-    while (this.map.size > this.max) {
-      const oldest = this.map.keys().next().value;
-      if (oldest === void 0) break;
-      this.map.delete(oldest);
-    }
-  }
-};
-
-// src/algebra/exec/calls.ts
 var PURE_CALL_MEMO_MAX = 256;
 var pureCallMemo = /* @__PURE__ */ new WeakMap();
 function clearPureCallMemo() {
@@ -14315,14 +14534,17 @@ function joinThrowsSince(mark) {
   if (items.length === 1) return items[0];
   return items.reduce((a, b) => joinAbs(a, b));
 }
-var evalCallCollector = null;
-var evalAssignCollector = null;
-function setEvalAssignCollector(collector2) {
-  const prev = evalAssignCollector;
-  evalAssignCollector = collector2;
+var evalCallCollectorSlot = createScopedSlot(() => null);
+registerCollectorScopeParticipant((body) => evalCallCollectorSlot.runScoped(body));
+var evalAssignCollectorSlot = createScopedSlot(() => null);
+registerCollectorScopeParticipant((body) => evalAssignCollectorSlot.runScoped(body));
+function setEvalAssignCollector(collector) {
+  const prev = evalAssignCollectorSlot.get();
+  evalAssignCollectorSlot.set(collector);
   return prev;
 }
 function $assignRecord(name, prev, next, line, column, conditional) {
+  const evalAssignCollector = evalAssignCollectorSlot.get();
   if (!evalAssignCollector) return;
   try {
     evalAssignCollector({
@@ -14336,11 +14558,13 @@ function $assignRecord(name, prev, next, line, column, conditional) {
   } catch {
   }
 }
-var bindingSink = null;
+var bindingSinkSlot = createScopedSlot(() => null);
+registerCollectorScopeParticipant((body) => bindingSinkSlot.runScoped(body));
 function setEvalBindingSink(sink) {
-  bindingSink = sink;
+  bindingSinkSlot.set(sink);
 }
 function $recordBinding(name, value) {
+  const bindingSink = bindingSinkSlot.get();
   if (bindingSink) bindingSink.set(name, value);
 }
 var GLOBAL_FNS = /* @__PURE__ */ new Set([
@@ -14399,19 +14623,20 @@ function blockHostSideEffect(fn) {
   return abs({ k: "unknown" }, void 0, void 0, "opaque");
 }
 function noteEvalCallRecord(r) {
+  const evalCallCollector = evalCallCollectorSlot.get();
   if (!evalCallCollector) return;
   try {
     evalCallCollector(r);
   } catch {
   }
 }
-function setEvalCallCollector(collector2) {
-  const prev = evalCallCollector;
-  evalCallCollector = collector2;
+function setEvalCallCollector(collector) {
+  const prev = evalCallCollectorSlot.get();
+  evalCallCollectorSlot.set(collector);
   return prev;
 }
 function getEvalCallCollector() {
-  return evalCallCollector;
+  return evalCallCollectorSlot.get();
 }
 var MAX_EVAL_CALL_DEPTH = 64;
 var MAX_EVAL_TOTAL_CALLS = 2e4;
@@ -14575,6 +14800,7 @@ function $callNamed(name, fn, args, loc, argLocs) {
       }
       m.set(pk, makeAbsApplyResult(result, joinThrowsSince(throwMark)));
     }
+    const evalCallCollector = evalCallCollectorSlot.get();
     if (evalCallCollector) {
       try {
         evalCallCollector({
@@ -15411,13 +15637,24 @@ function invokeArrMethod(arr, method, args) {
         kept.push(el2);
       });
       if (kept.length === 0) {
-        return abs({ k: "arr", element: unknown }, void 0, void 0, "path");
+        return abs({ k: "tuple", elements: [] }, void 0, void 0, confJoin(arr.conf, "path"));
       }
       if (!anyUncertain) {
         return abs({ k: "tuple", elements: kept }, void 0, void 0, confJoin(arr.conf, "path"));
       }
+      const conf = confJoin(arr.conf, "path");
+      if (kept.length <= 3) {
+        let acc;
+        const total = 1 << kept.length;
+        for (let mask = 0; mask < total; mask++) {
+          const els = kept.filter((_, bit) => (mask & 1 << bit) !== 0);
+          const sub2 = abs({ k: "tuple", elements: els }, void 0, void 0, conf);
+          acc = acc === void 0 ? sub2 : joinAbs(acc, sub2);
+        }
+        return acc;
+      }
       const el = kept.reduce((a, b) => joinAbs(a, b));
-      return abs({ k: "arr", element: el }, void 0, void 0, confJoin(arr.conf, "path"));
+      return abs({ k: "arr", element: el }, void 0, void 0, conf);
     }
     return arr;
   }
@@ -15784,6 +16021,9 @@ function rtAllBindings() {
   return cached;
 }
 
+// src/algebra/exec/run.ts
+import { parse as babelParse2 } from "@babel/parser";
+
 // src/algebra/abs-modules.ts
 function namespaceAbsOf(mod2) {
   const slots = {};
@@ -15969,76 +16209,87 @@ function rewriteUserImports(js) {
   );
 }
 function stripEffectfulTopLevel(js) {
+  let body;
+  try {
+    body = babelParse2(js, {
+      sourceType: "module",
+      allowReturnOutsideFunction: true,
+      attachComment: false
+    }).program.body;
+  } catch {
+    return js;
+  }
   const declared = /* @__PURE__ */ new Set();
-  for (const m of js.matchAll(/^(?:export\s+)?(?:async\s+)?function\s*\*?\s*([A-Za-z_$][\w$]*)/gm)) {
-    declared.add(m[1]);
+  for (const stmt of body) collectTopLevelDeclared(stmt, declared);
+  const cuts = [];
+  for (const stmt of body) {
+    if (isEffectfulTopLevelStmt(stmt, declared)) cuts.push([stmt.start, stmt.end]);
   }
-  for (const m of js.matchAll(/^(?:export\s+)?(?:const|let|var)\s+([A-Za-z_$][\w$]*)/gm)) {
-    declared.add(m[1]);
+  if (cuts.length === 0) return js;
+  let out = "";
+  let pos = 0;
+  for (const [start, end] of cuts) {
+    out += js.slice(pos, start);
+    pos = end;
+    while (pos < js.length && js[pos] === ";") pos++;
+    const nl = js.indexOf("\n", pos);
+    const lineRest = js.slice(pos, nl === -1 ? js.length : nl);
+    if (/^\s*$/.test(lineRest)) pos = nl === -1 ? js.length : nl + 1;
+  }
+  return out + js.slice(pos);
+}
+function collectTopLevelDeclared(stmt, declared) {
+  const decl = stmt.type === "ExportNamedDeclaration" || stmt.type === "ExportDefaultDeclaration" ? stmt.declaration : stmt;
+  if (!decl) return;
+  if ((decl.type === "FunctionDeclaration" || decl.type === "ClassDeclaration") && decl.id) {
+    declared.add(decl.id.name);
+    return;
   }
-  for (const m of js.matchAll(/^import\s*\{([^}]+)\}\s*from/gm)) {
-    for (const part of m[1].split(",")) {
-      const local = part.split(/\s+as\s+/).pop()?.trim();
-      if (local) declared.add(local);
+  if (decl.type === "VariableDeclaration") {
+    for (const d of decl.declarations) {
+      if (d.id.type === "Identifier") declared.add(d.id.name);
     }
+    return;
   }
-  for (const m of js.matchAll(/^import\s+\*\s+as\s+([A-Za-z_$][\w$]*)/gm)) {
-    declared.add(m[1]);
+  if (decl.type === "ImportDeclaration") {
+    for (const spec of decl.specifiers) declared.add(spec.local.name);
   }
-  for (const m of js.matchAll(/^import\s+([A-Za-z_$][\w$]*)\s*,/gm)) {
-    declared.add(m[1]);
+}
+function isEffectfulTopLevelStmt(stmt, declared) {
+  switch (stmt.type) {
+    case "ExpressionStatement":
+      return isEffectfulTopLevelExpr(stmt.expression, declared);
+    // 源形态控制流（transpile 后不出现，兜底口径与旧正则一致；do-while 旧正则不剥，保持）
+    case "IfStatement":
+    case "ForStatement":
+    case "ForInStatement":
+    case "ForOfStatement":
+    case "WhileStatement":
+      return true;
+    default:
+      return false;
   }
-  const lines = js.split("\n");
-  const out = [];
-  let i = 0;
-  while (i < lines.length) {
-    const line = lines[i];
-    const isTop = /^\S/.test(line) && line.trim().length > 0;
-    const t = line.trim();
-    if (isTop) {
-      if (/^(console\.|fetch\s*\(|setTimeout\s*\(|setInterval\s*\()/.test(t)) {
-        while (i < lines.length && !lines[i].trim().endsWith(";") && !lines[i].trim().endsWith("}")) i++;
-        i++;
-        continue;
-      }
-      const namedCall = t.match(/^\$callNamed\(\s*"([^"]+)"/);
-      if (namedCall && !declared.has(namedCall[1])) {
-        while (i < lines.length && !lines[i].trim().endsWith(";") && !lines[i].trim().endsWith("}")) i++;
-        i++;
-        continue;
-      }
-      const callMatch = t.match(/^([A-Za-z_$][\w$]*)\s*\(/);
-      if (callMatch && !callMatch[1].startsWith("$") && callMatch[1] !== "__nudoExport" && callMatch[1] !== "__nudoExportStar" && callMatch[1] !== "__nudoRecordBinding" && callMatch[1] !== "__nudoRecordAssign" && !declared.has(callMatch[1]) && !/^(const|let|var|function|export|import|return|if|for|while|switch|try|throw|class)\b/.test(t)) {
-        while (i < lines.length && !lines[i].trim().endsWith(";") && !lines[i].trim().endsWith("}")) i++;
-        i++;
-        continue;
-      }
-      if (/^(if\s*\(|for\s*\(|while\s*\(|\$fork\s*\(|\$for\s*\(|\$while)/.test(t)) {
-        i++;
-        if (/^\$/.test(t)) {
-          let depth = (t.match(/\(/g) || []).length - (t.match(/\)/g) || []).length;
-          while (i < lines.length && depth > 0) {
-            const l = lines[i];
-            depth += (l.match(/\(/g) || []).length;
-            depth -= (l.match(/\)/g) || []).length;
-            i++;
-          }
-        } else {
-          let depth = t.includes("{") ? 1 : 0;
-          while (i < lines.length && depth > 0) {
-            const l = lines[i];
-            depth += (l.match(/\{/g) || []).length;
-            depth -= (l.match(/\}/g) || []).length;
-            i++;
-          }
-        }
-        continue;
-      }
-    }
-    out.push(line);
-    i++;
+}
+function isEffectfulTopLevelExpr(expr, declared) {
+  if (expr.type !== "CallExpression") return false;
+  const callee = expr.callee;
+  if (callee.type === "MemberExpression" && memberChainRoot(callee) === "console") {
+    return true;
   }
-  return out.join("\n");
+  if (callee.type !== "Identifier") return false;
+  const name = callee.name;
+  if (name === "fetch" || name === "setTimeout" || name === "setInterval") return true;
+  if (name === "$callNamed") {
+    const first = expr.arguments[0];
+    return first?.type === "StringLiteral" && !declared.has(first.value);
+  }
+  if (name === "$for" || name === "$fork" || name.startsWith("$while")) return true;
+  return !name.startsWith("$") && name !== "__nudoExport" && name !== "__nudoExportStar" && name !== "__nudoRecordBinding" && name !== "__nudoRecordAssign" && !declared.has(name);
+}
+function memberChainRoot(member) {
+  let node = member.object;
+  while (node.type === "MemberExpression") node = node.object;
+  return node.type === "Identifier" ? node.name : void 0;
 }
 function runtimeArgNames() {
   return Object.keys(rtAllBindings()).filter((k) => k.startsWith("$"));
@@ -16123,17 +16374,19 @@ function rewriteExportStatements(js) {
   );
 }
 var runBindings = /* @__PURE__ */ new WeakMap();
-var ENV_SHADOW_SKIP = HOST_INTRINSIC_SET;
+var ENV_SHADOW_SKIP = ENV_SHADOW_SKIP_GLOBALS;
 function bindingsOf(run) {
   return runBindings.get(run);
 }
 function runTranspiled(source, opts = {}) {
-  enterEvalCallBudgetSession();
-  try {
-    return runTranspiledInner(source, opts);
-  } finally {
-    exitEvalCallBudgetSession();
-  }
+  return runWithCollectorScope(() => {
+    enterEvalCallBudgetSession();
+    try {
+      return runTranspiledInner(source, opts);
+    } finally {
+      exitEvalCallBudgetSession();
+    }
+  });
 }
 function runTranspiledInner(source, opts) {
   const modules = opts.modules ?? {};
@@ -16256,9 +16509,10 @@ function noteDrainedClassCollisions() {
     );
   }
 }
-var evalFallbackCollector = null;
-function setEvalFallbackCollector(collector2) {
-  evalFallbackCollector = collector2;
+var evalFallbackCollectorSlot = createScopedSlot(() => null);
+registerCollectorScopeParticipant((body) => evalFallbackCollectorSlot.runScoped(body));
+function setEvalFallbackCollector(collector) {
+  evalFallbackCollectorSlot.set(collector);
 }
 function evalExprAbs(expr, bindings = {}) {
   const src = transpileExpression(expr, {});
@@ -16296,6 +16550,7 @@ function noteEvalFallback(e) {
   if (f.reason === "internal") _fbInternal++;
   else if (f.reason === "module-throw") _fbModuleThrow++;
   else if (f.reason.startsWith("unsupported:")) _fbUnsupported++;
+  const evalFallbackCollector = evalFallbackCollectorSlot.get();
   if (!evalFallbackCollector) return;
   try {
     evalFallbackCollector(f);
@@ -16314,20 +16569,22 @@ function isAbsVal(v2) {
   return !!v2 && typeof v2 === "object" && "shape" in v2 && "conf" in v2;
 }
 function callTranspiledExportFull(exports, name, args, opts) {
-  enterEvalCallBudgetSession();
-  beginClassEpoch();
-  try {
-    return callTranspiledExportFullInner(exports, name, args, opts);
-  } finally {
-    exitEvalCallBudgetSession();
-    noteDrainedClassCollisions();
-  }
+  return runWithCollectorScope(() => {
+    enterEvalCallBudgetSession();
+    beginClassEpoch();
+    try {
+      return callTranspiledExportFullInner(exports, name, args, opts);
+    } finally {
+      exitEvalCallBudgetSession();
+      noteDrainedClassCollisions();
+    }
+  });
 }
 function callTranspiledExportFullInner(exports, name, args, opts) {
   const fn = Object.hasOwn(exports, name) ? exports[name] : void 0;
   if (typeof fn === "function") {
     const callArgs = args.map(
-      (a) => a && typeof a === "object" && "shape" in a ? $copy(a) : a
+      (a) => a && typeof a === "object" && "shape" in a ? $copy(a) : asAbsVal(a)
     );
     return runWithLoopExits(() => {
       try {
@@ -16999,6 +17256,9 @@ export {
   litKeyString,
   termToString,
   simplifyTerm,
+  createScopedSlot,
+  registerCollectorScopeParticipant,
+  runWithCollectorScope,
   TYPEOF_NAMES,
   primToTypeof,
   pTrue,
@@ -17053,6 +17313,10 @@ export {
   isBigPrim,
   isExactLit,
   litValue,
+  absNumLit,
+  absStrLit,
+  allAbsStr,
+  absLit,
   stripTypes,
   resetParseSourceCache,
   getParseSourceCacheSize,
@@ -17210,6 +17474,31 @@ export {
   isNudoContinue,
   $isBreakTo,
   $rethrowIfNudoReturn,
+  MAX_CALL_DEPTH,
+  MAX_TOTAL_CALLS,
+  getAbsCallBudgetStats,
+  resetAbsCallBudget,
+  withFnBudgetOverride,
+  stableCallId,
+  truncatedAbs,
+  callBudgetKey,
+  setAbsTruncationCollector,
+  noteAbsTruncation,
+  enterCall,
+  exitCall,
+  MAX_EVAL_TOTAL_FORKS,
+  FORK_TRUNCATION_LABEL,
+  HOST_EFFECT_LABEL_PREFIX,
+  PROMISE_MICRO_OVERFLOW_LABEL,
+  PROMISE_MICRO_ERROR_LABEL,
+  MATH_FOLD_ERROR_LABEL,
+  noteHostEffectBlocked,
+  noteEvalForkTruncation,
+  setEvalForkBudgetLimit,
+  getEvalForkBudgetLimit,
+  getEvalForkCount,
+  resetEvalForkBudget,
+  bumpEvalForkBudget,
   evalMathMethod,
   builtinCtorAbs,
   builtinCtorNameOf,
@@ -17275,30 +17564,6 @@ export {
   regexBrandAbsFrom,
   tryMakeRegexAbs,
   evalRegExpMethod,
-  MAX_CALL_DEPTH,
-  MAX_TOTAL_CALLS,
-  getAbsCallBudgetStats,
-  resetAbsCallBudget,
-  withFnBudgetOverride,
-  stableCallId,
-  truncatedAbs,
-  callBudgetKey,
-  setAbsTruncationCollector,
-  noteAbsTruncation,
-  enterCall,
-  exitCall,
-  MAX_EVAL_TOTAL_FORKS,
-  FORK_TRUNCATION_LABEL,
-  HOST_EFFECT_LABEL_PREFIX,
-  PROMISE_MICRO_OVERFLOW_LABEL,
-  PROMISE_MICRO_ERROR_LABEL,
-  noteHostEffectBlocked,
-  noteEvalForkTruncation,
-  setEvalForkBudgetLimit,
-  getEvalForkBudgetLimit,
-  getEvalForkCount,
-  resetEvalForkBudget,
-  bumpEvalForkBudget,
   enterPromiseExecutorScope,
   leavePromiseExecutorScope,
   notePromiseExecutorFork,
@@ -17479,6 +17744,7 @@ export {
   $asyncReturn,
   $gen,
   $yield,
+  $removeNullish,
   $nullishTest,
   $reStateCall,
   $class,