@nudojs/core 1.9.4 → 1.10.1

package/dist/{chunk-S7HJL5GW.js → chunk-PKVKQB5S.js}

@@ -47,7 +47,7 @@ import {
   withEvalBudgetOverride,
   withExecPhi,
   withFnBudgetOverride
-} from "./chunk-PGTNSUTE.js";
+} from "./chunk-2ZIOQGW3.js";
 
 // src/algebra/directive-scan.ts
 function cleanDirectiveLine(raw, kind) {
@@ -988,6 +988,75 @@ function rewriteSidecarSource(src, fromFile) {
       }
     }
   }
+  const aliasToImported = /* @__PURE__ */ new Map();
+  const fnAliases = /* @__PURE__ */ new Set(["fn"]);
+  for (const imp of imports) {
+    for (const n of imp.names) {
+      if (n.ns) continue;
+      if (n.imported !== void 0 && n.local !== void 0 && n.imported !== n.local) {
+        aliasToImported.set(n.local, n.imported);
+      }
+      if (n.imported === "fn" && n.local !== void 0) fnAliases.add(n.local);
+    }
+  }
+  const paramTextsOfFnCall = (init) => {
+    const call = init;
+    if (!call || call.type !== "CallExpression") return void 0;
+    if (call.callee?.type !== "Identifier" || !fnAliases.has(call.callee.name ?? "")) {
+      return void 0;
+    }
+    const first = call.arguments?.[0];
+    if (!first || first.type !== "ObjectExpression") return void 0;
+    const texts = /* @__PURE__ */ new Map();
+    for (const prop of first.properties ?? []) {
+      if (prop.type !== "ObjectProperty" || prop.computed) continue;
+      const key = prop.key?.type === "Identifier" ? prop.key.name : prop.key?.type === "StringLiteral" ? prop.key.value : void 0;
+      if (key === void 0) continue;
+      const v2 = prop.value;
+      if (!v2 || v2.start == null || v2.end == null) continue;
+      texts.set(
+        key,
+        v2.type === "Identifier" && aliasToImported.has(v2.name ?? "") ? aliasToImported.get(v2.name ?? "") : src.slice(v2.start, v2.end)
+      );
+    }
+    return texts;
+  };
+  const paramInfosByLocal = /* @__PURE__ */ new Map();
+  const collectVarFns = (decls) => {
+    for (const d of decls) {
+      if (d?.id?.type !== "Identifier" || d.id.name === void 0) continue;
+      const texts = paramTextsOfFnCall(d.init);
+      if (texts)
+        paramInfosByLocal.set(d.id.name, {
+          texts,
+          line: d.loc?.start?.line ?? 1
+        });
+    }
+  };
+  for (const stmt of ast.program.body) {
+    if (stmt.type === "ExportNamedDeclaration" && stmt.declaration?.type === "VariableDeclaration") {
+      collectVarFns(
+        stmt.declaration?.declarations ?? []
+      );
+    } else if (stmt.type === "VariableDeclaration") {
+      collectVarFns(
+        stmt.declarations ?? []
+      );
+    } else if (stmt.type === "ExportDefaultDeclaration") {
+      const decl = stmt.declaration;
+      const texts = paramTextsOfFnCall(decl);
+      if (texts)
+        paramInfosByLocal.set(DEFAULT_LOCAL, {
+          texts,
+          line: stmt.loc?.start?.line ?? 1
+        });
+    }
+  }
+  const bindingInfos = /* @__PURE__ */ new Map();
+  for (const p of exportPairs) {
+    const info = paramInfosByLocal.get(p.expr);
+    if (info) bindingInfos.set(p.key, info);
+  }
   if (fromFile?.endsWith(".nudo.ts")) {
     for (const cut of collectTsSyntaxCuts(ast.program, src)) {
       cuts.push({ start: cut.start, end: cut.end, text: "" });
@@ -1011,7 +1080,7 @@ function rewriteSidecarSource(src, fromFile) {
     pos = c.end;
   }
   code += src.slice(pos);
-  return { code, exportPairs, imports };
+  return { code, exportPairs, imports, bindingInfos };
 }
 var TS_STMT_CUT_TYPES = /* @__PURE__ */ new Set([
   "TSInterfaceDeclaration",
@@ -1083,9 +1152,25 @@ function collectTsSyntaxCuts(node, src, cuts = []) {
   }
   return cuts;
 }
+function registerSidecarParamTexts(sidecarPath, contentKey, infos) {
+  let perPath = sidecarParamTextsRegistry.get(sidecarPath);
+  if (perPath === void 0) {
+    perPath = /* @__PURE__ */ new Map();
+    sidecarParamTextsRegistry.set(sidecarPath, perPath);
+    if (sidecarParamTextsRegistry.size > MAX_SIDECAR_PARAM_TEXTS_PATHS) {
+      const oldest = sidecarParamTextsRegistry.keys().next().value;
+      if (oldest !== void 0) sidecarParamTextsRegistry.delete(oldest);
+    }
+  }
+  perPath.set(contentKey, infos);
+  if (perPath.size > MAX_SIDECAR_PARAM_TEXTS_VERSIONS) {
+    const oldest = perPath.keys().next().value;
+    if (oldest !== void 0) perPath.delete(oldest);
+  }
+}
 function execSidecar(src, opts, chain, preloaded) {
   const fromFile = opts?.fromFile;
-  const { code, exportPairs, imports } = rewriteSidecarSource(src, fromFile);
+  const { code, exportPairs, imports, bindingInfos } = rewriteSidecarSource(src, fromFile);
   const prologue = [];
   const deps = {};
   for (const imp of imports) {
@@ -1167,12 +1252,13 @@ function execSidecar(src, opts, chain, preloaded) {
       for (const n of imp.names) deps[n.local] = void 0;
       continue;
     }
-    const depExports = execSidecar(
+    const depOut = execSidecar(
       depSrc,
       { loadModule: load, fromFile: canonical },
       [...chain, canonical],
       preloaded
     );
+    const depExports = depOut.exports;
     for (const n of imp.names) {
       if (n.ns) {
         deps[n.local] = depExports;
@@ -1212,7 +1298,11 @@ return { ${returnObj} };`;
     "__nudoDeps",
     body
   );
-  return fn(...Object.values(sidecarInjects), sidecarInjects, deps);
+  const result = fn(...Object.values(sidecarInjects), sidecarInjects, deps);
+  if (fromFile !== void 0 && bindingInfos.size > 0) {
+    registerSidecarParamTexts(fromFile, hashSource(src), bindingInfos);
+  }
+  return { exports: result, bindingInfos };
 }
 function execNudoModule(src, opts) {
   return execNudoModuleCached(src, opts ?? {});
@@ -1268,22 +1358,29 @@ function execNudoModuleCached(src, opts) {
     if (hit !== void 0) {
       nudoModuleExecCache.delete(key);
       nudoModuleExecCache.set(key, hit);
-      return hit;
+      if (opts.fromFile !== void 0 && hit.bindingInfos.size > 0) {
+        registerSidecarParamTexts(
+          opts.fromFile,
+          hashSource(src),
+          hit.bindingInfos
+        );
+      }
+      return hit.exports;
     }
     if (nudoModuleFailCache.has(key)) {
       throw nudoModuleFailCache.get(key);
     }
   }
   try {
-    const out = execSidecar(src, opts, opts.fromFile ? [opts.fromFile] : [], preloaded);
+    const { exports, bindingInfos } = execSidecar(src, opts, opts.fromFile ? [opts.fromFile] : [], preloaded);
     if (key !== void 0) {
       if (nudoModuleExecCache.size >= MAX_NUDO_MODULE_EXEC) {
         const oldest = nudoModuleExecCache.keys().next().value;
         if (oldest !== void 0) nudoModuleExecCache.delete(oldest);
       }
-      nudoModuleExecCache.set(key, out);
+      nudoModuleExecCache.set(key, { exports, bindingInfos });
     }
-    return out;
+    return exports;
   } catch (e) {
     if (key !== void 0) {
       if (nudoModuleFailCache.size >= MAX_NUDO_MODULE_EXEC) {
@@ -1298,6 +1395,17 @@ function execNudoModuleCached(src, opts) {
 function resetNudoModuleExecCache() {
   nudoModuleExecCache.clear();
   nudoModuleFailCache.clear();
+  sidecarParamTextsRegistry.clear();
+}
+var sidecarParamTextsRegistry = /* @__PURE__ */ new Map();
+var MAX_SIDECAR_PARAM_TEXTS_PATHS = 64;
+var MAX_SIDECAR_PARAM_TEXTS_VERSIONS = 32;
+function lookupSidecarParamTexts(sidecarPath, srcHash, bindingName) {
+  const perPath = sidecarParamTextsRegistry.get(sidecarPath);
+  if (perPath === void 0) return void 0;
+  const perHash = perPath.get(srcHash);
+  if (perHash === void 0) return void 0;
+  return perHash.get(bindingName);
 }
 function collectConstraints(source, opts) {
   const map = /* @__PURE__ */ new Map();
@@ -1411,7 +1519,8 @@ function extractRefinesFromSource(source, fnName, opts = {}) {
       out.push({
         param,
         pred: instantiateConstraint(c, param),
-        constraint: c
+        constraint: c,
+        name: cName
       });
     }
   }
@@ -1858,18 +1967,25 @@ function loadSidecarBinding(source, fnName, opts) {
     return { ok: false };
   }
   let binding = Object.hasOwn(exports, fnName) ? exports[fnName] : void 0;
+  let bindingKey;
+  if (binding !== void 0) bindingKey = fnName;
   if (binding === void 0) {
     const aliasExport2 = exportedNameOfLocal(source, fnName);
     if (aliasExport2 !== void 0 && Object.hasOwn(exports, aliasExport2)) {
       binding = exports[aliasExport2];
+      bindingKey = aliasExport2;
     }
   }
   if (binding === void 0 && exports.default !== void 0 && isDefaultExportLocal(source, fnName)) {
     binding = exports.default;
+    bindingKey = "default";
   }
   if (binding === void 0 && fnName.includes(".")) {
     const [cls, method] = fnName.split(".", 2);
-    binding = Object.hasOwn(exports, `${cls}_${method}`) ? exports[`${cls}_${method}`] : void 0;
+    if (Object.hasOwn(exports, `${cls}_${method}`)) {
+      binding = exports[`${cls}_${method}`];
+      bindingKey = `${cls}_${method}`;
+    }
     if (binding === void 0) {
       const bag = Object.hasOwn(exports, cls) ? exports[cls] : void 0;
       if (bag && typeof bag === "object" && !isNudoConstraint(bag)) {
@@ -1907,11 +2023,14 @@ function loadSidecarBinding(source, fnName, opts) {
     const [cls, method] = fnName.split(".", 2);
     return generatedNames.has(`${cls}_${method}`) || generatedNames.has(cls);
   })() : false);
+  const info = bindingKey !== void 0 ? lookupSidecarParamTexts(sidecarPath, hashSource(sidecarSrc), bindingKey) : void 0;
   return {
     ok: true,
     sidecarPath,
     constraint: binding,
-    generated: isGenerated
+    generated: isGenerated,
+    ...info?.texts !== void 0 ? { paramTexts: info.texts } : {},
+    ...info?.line !== void 0 ? { sidecarLine: info.line } : {}
   };
 }
 function boundsOf(c) {
@@ -2014,8 +2133,24 @@ function effectiveInterface(source, fnName, opts = {}) {
     collectDiag2({ code: d.code, message: d.message, ...d.file ? { file: d.file } : {} });
   }
   const sidecarFn = sidecar.ok ? sidecar.constraint : void 0;
+  const sidecarParamTexts = sidecar.ok ? sidecar.paramTexts : void 0;
   const sidecarGenerated = sidecar.ok && sidecar.generated;
   const sidecarParams = sidecarFn ? fnConstraintToEntryReqs(sidecarFn) : [];
+  const sidecarParamSet = new Set(sidecarParams.map((p) => p.param));
+  const sidecarTexts = /* @__PURE__ */ new Map();
+  if (sidecarParamTexts) {
+    for (const param of sidecarParamSet) {
+      const t = sidecarParamTexts.get(param);
+      if (t !== void 0) sidecarTexts.set(param, t);
+    }
+  }
+  const directiveNames = /* @__PURE__ */ new Map();
+  for (const e of sourceEntries) {
+    if (e.name === void 0) continue;
+    const list = directiveNames.get(e.param);
+    if (list === void 0) directiveNames.set(e.param, [e.name]);
+    else if (!list.includes(e.name)) list.push(e.name);
+  }
   const sidecarReturns = sidecarFn?.fn.returns;
   const sidecarThrowsKinds = throwConstraintToKinds(sidecarFn?.fn.throws);
   const mergedThrows = (() => {
@@ -2028,9 +2163,16 @@ function effectiveInterface(source, fnName, opts = {}) {
     if (sidecarFn !== void 0 && sidecarGenerated) {
       return {
         fnName,
-        params: sidecarParams,
+        params: sidecarParams.map(({ param, constraint }) => {
+          const display = sidecarTexts.get(param);
+          return display !== void 0 ? { param, constraint, display } : { param, constraint };
+        }),
         ...sidecarReturns !== void 0 ? { returns: { constraint: sidecarReturns } } : {},
         ...mergedThrows !== void 0 ? { throws: { kinds: mergedThrows } } : {},
+        ...sidecar.ok ? {
+          sidecarPath: sidecar.sidecarPath,
+          ...sidecar.sidecarLine !== void 0 ? { sidecarLine: sidecar.sidecarLine } : {}
+        } : {},
         source: "generated"
       };
     }
@@ -2083,9 +2225,27 @@ function effectiveInterface(source, fnName, opts = {}) {
   }
   return {
     fnName,
-    params: [...params.entries()].map(([param, constraint]) => ({ param, constraint })),
+    params: [...params.entries()].map(([param, constraint]) => {
+      const sidecarText = sidecarTexts.get(param);
+      const names = directiveNames.get(param);
+      const fromSidecar = sidecarFn !== void 0 && !sidecarGenerated && sidecarParamSet.has(param);
+      const fromDirective = names !== void 0;
+      let display;
+      if (fromSidecar && fromDirective) {
+        display = sidecarText !== void 0 ? `${sidecarText} \u2227 ${names.join(" \u2227 ")}` : void 0;
+      } else if (fromSidecar) {
+        display = sidecarText;
+      } else if (fromDirective) {
+        display = names.join(" \u2227 ");
+      }
+      return display !== void 0 ? { param, constraint, display } : { param, constraint };
+    }),
     ...returnsC !== void 0 ? { returns: { constraint: returnsC } } : {},
     ...mergedThrows !== void 0 ? { throws: { kinds: mergedThrows } } : {},
+    ...sidecar.ok ? {
+      sidecarPath: sidecar.sidecarPath,
+      ...sidecar.sidecarLine !== void 0 ? { sidecarLine: sidecar.sidecarLine } : {}
+    } : {},
     source: "handwritten",
     ...conflictParams.length > 0 || conflictReturns ? {
       conflict: {
@@ -2236,7 +2396,7 @@ function formatConstraint(c) {
   return fmtConstraint(c);
 }
 function formatEffectiveInterfaceDisplay(eff) {
-  const params = eff.params.map((p) => `${p.param}: ${formatConstraint(p.constraint)}`).join(", ");
+  const params = eff.params.map((p) => `${p.param}: ${p.display ?? formatConstraint(p.constraint)}`).join(", ");
   let s = `(${params})`;
   if (eff.returns) s += ` \u2192 ${formatConstraint(eff.returns.constraint)}`;
   return s;
@@ -2254,7 +2414,12 @@ function interfaceTierOf(source, fnName, fromFile, opts = {}) {
   const eff = effectiveInterface(source, fnName, { fromFile, ...opts });
   const src = eff?.source ?? "implicit";
   if (eff && src !== "implicit") {
-    return { source: src, display: formatEffectiveInterfaceDisplay(eff) };
+    return {
+      source: src,
+      display: formatEffectiveInterfaceDisplay(eff),
+      ...eff.sidecarPath !== void 0 ? { sidecarPath: eff.sidecarPath } : {},
+      ...eff.sidecarLine !== void 0 ? { sidecarLine: eff.sidecarLine } : {}
+    };
   }
   return { source: src };
 }
@@ -3480,7 +3645,8 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
       if (reqs.length > 0) {
         entryReqs = reqs.map((e) => ({
           param: e.param,
-          pred: instantiateConstraint(e.constraint, e.param)
+          pred: instantiateConstraint(e.constraint, e.param),
+          ...e.display !== void 0 ? { display: e.display } : {}
         }));
         const patternFields = /* @__PURE__ */ new Map();
         for (const e of reqs) {

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-WZKUu1y1.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, g as EvalFallbackStats, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, ac as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, ae as TranspiledCallResult, as as bindingsOf, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, aC as evalExprAbs, p as exitEvalCallBudgetSession, v as getEvalCallBudgetState, aF as getEvalCallCollector, w as getEvalFallbackStats, aN as isAbsVal, b3 as noteEvalCallRecord, b4 as noteEvalFallback, bl as resetEvalCallBudget, H as resetEvalFallbackStats, bF as routeApplyThrows, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bC as tryRunTranspiled, O as withEvalBudgetOverride } from './run-WZKUu1y1.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-Bgj2tCrv.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, bI as $nodoPos, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, g as EvalFallbackStats, a8 as EvalPosRecord, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, ad as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, af as TranspiledCallResult, at as bindingsOf, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, aD as evalExprAbs, p as exitEvalCallBudgetSession, v as getEvalCallBudgetState, aG as getEvalCallCollector, w as getEvalFallbackStats, bJ as getPosCollector, aO as isAbsVal, aQ as isCjsMainRun, b5 as noteEvalCallRecord, b6 as noteEvalFallback, bn as resetEvalCallBudget, H as resetEvalFallbackStats, bK as routeApplyThrows, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bv as setPosCollector, bF as tryRunTranspiled, O as withEvalBudgetOverride } from './run-Bgj2tCrv.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**
@@ -181,19 +181,13 @@ declare function $join(a: Abs, b: Abs): Abs;
  * 访问器（get/set）侧表、in / instanceof / delete 路由。
  */
 
-/** 注册对象字面量访问器（transpile 调用；返回原 obj 以便链式包裹） */
-declare function $objAccessor(o: Abs, key: string, get: ((t: Abs) => Abs) | null, set: ((t: Abs, v: Abs) => Abs) | null): Abs;
 /** 计算键访问器注册（`{ get [expr]() {} }`）：键为 Abs，ToPropertyKey 后注册。
  *  非字面量键无法静态定键——保占位槽（键存在性），不注册派发。 */
 declare function $objAccessorKey(o: Abs, key: Abs, get: ((t: Abs) => Abs) | null, set: ((t: Abs, v: Abs) => Abs) | null): Abs;
-/** 对象字面量访问器查询（供 $get/$set/$spread/Object.assign 共用） */
-declare function lookupObjAccessor(o: Abs, key: string): {
-    get?: (t: Abs) => Abs;
-    set?: (t: Abs, v: Abs) => Abs;
-} | undefined;
 /**
- * `key in obj`：闭形状精确判定（含 Object.prototype 名、数组下标/length、
- * class 方法/访问器与内建 brand 方法）；prim/nullish 接收者原生抛 TypeError →
+ * `key in obj`：闭形状精确判定（含 Object.prototype/Array.prototype 名、
+ * 数组下标/length、class 方法/访问器与内建 brand 方法/访问器）；
+ * prim/nullish 接收者原生抛 TypeError →
  * unknown；抽象键/开形状 → boolean。
  */
 declare function $in(key: Abs, o: Abs): Abs;
@@ -225,6 +219,21 @@ declare function $delRes(o: Abs, _key: Abs): Abs;
  */
 declare function $del(o: Abs, key: Abs): Abs;
 
+/**
+ * 对象字面量访问器（get/set）侧表 —— 叶子模块。
+ * 下沉原因：objects.ts 的 joinObjects 需感知访问器（join 不迁移侧表会丢
+ * getter 读域），而 members.ts 依赖 objects.ts；表放无运行时依赖的叶子上
+ * 才能被两层共用而不成环。in / instanceof / delete 路由仍在 members.ts。
+ */
+
+/** 注册对象字面量访问器（transpile 调用；返回原 obj 以便链式包裹） */
+declare function $objAccessor(o: Abs, key: string, get: ((t: Abs) => Abs) | null, set: ((t: Abs, v: Abs) => Abs) | null): Abs;
+/** 对象字面量访问器查询（供 $get/$set/$spread/Object.assign 共用） */
+declare function lookupObjAccessor(o: Abs, key: string): {
+    get?: (t: Abs) => Abs;
+    set?: (t: Abs, v: Abs) => Abs;
+} | undefined;
+
 /**
  * 循环展开上限（leaf）—— 从 control.ts 拆出，打断 control ↔ containers 环。
  */
@@ -338,8 +347,11 @@ declare function $idx(a: Abs, i: Abs, opts?: {
 }): Abs;
 /** 下标写 a[i]=v → 新 tuple（越界写按 JS 语义增长，空洞为 undefined） */
 declare function $idxSet(a: Abs, i: Abs, value: Abs): Abs;
-/** 数组/字符串长度 */
-declare function $len(a: Abs): Abs;
+/** 数组/字符串长度。opts.silent：可选链（a?.length）守卫臂——接收者已过
+ *  $removeNullish，仅 any 不记 may-throw（Bug 3，与 $get 的 silent 同口径）。 */
+declare function $len(a: Abs, opts?: {
+    silent?: boolean;
+}): Abs;
 /** 对象字面量 → Abs obj（槽位写走 setSlot，`__proto__` 不踩宿主 setter） */
 declare function $obj(slots: Record<string, Abs>): Abs;
 /**
@@ -368,7 +380,9 @@ declare function $iterCheck(a: unknown): void;
 /** 元素列表（tuple 展开；arr 抽象；C1 Set/Map 逐条目；matchAll 迭代器逐匹配项；
  *  字符串按 code points）。Map 迭代语义是 entry `[key, value]` 元组，不是裸 value。
  *  消费前先过可迭代性守卫（Bug 6）：prim 字面量接收者 → 原生 definite
- *  TypeError；any/unknown → may。$forOf 与 call/new spread 实参路径继承。 */
+ *  TypeError；any/unknown → may。$forOf 与 call/new spread 实参路径继承。
+ *  Bug 34：生成器对象的体内延迟异常（definite 抛 / soft may-throw 重记）
+ *  在消费点重放——迭代不再静默截断成前缀。 */
 declare function $elems(a: Abs): Abs[];
 /** 模板标签对象（GetTemplateObject，Bug 34）：冻结的类数组 obj——数字槽
  *  为 cooked 字符串（无效转义序列时 cooked 是 undefined，原生实测）、
@@ -428,15 +442,17 @@ declare function $asyncReturn(v: Abs): Abs;
 /** function* 体：收集所有 yield 值；返回带迭代器协议面的生成器对象 Abs；
  *  抽象分支时降 conf（P0-6）
  *
- * Bug 58：调用生成器是原生全操作——体只在首个 next() 执行。此前 body()
- * eager 执行把体内 may-throw（成员读 any）/显式 throw 折进**调用方** throws
- * 域（每生成器入口假 entry-may-throw）。现以丢弃式 may-throw 帧包裹：
- * soft 效果进帧后丢弃、NudoThrow/宿主异常吞掉（迭代期语义，调用期不表面）。
- * yield 收集保持 eager（既有值域建模，注释口径不变）。
+ * Bug 58：调用生成器是原生全操作——体只在首个 next() 执行。body() eager
+ * 执行的体内效果（成员读 may-throw / 显式 throw）不折进**调用方** throws
+ * 域——以捕获式 may-throw 帧包裹：soft 效果与 NudoThrow 挂生成器对象
+ * （Bug 34 延迟重放：首个触达抛点的 next()/迭代消费，仅构造不消费不
+ * 表面）。yield 收集保持 eager（既有值域建模，注释口径不变）。
+ * Bug 2：thunk 返回值 = 终末 return 值——不再丢弃，经 makeGenObject 在
+ * 首个 done:true 作为 value 交付（node 实测：此后 next 回 undefined）。
  * Bug 22：结果从 yield 元组数组改为生成器对象（next/return/throw 方法面 +
  * constructor 身份）；元素域经侧表保留（$arr 的 ≤cap tuple / >cap arr
  * widen 策略不变），迭代路径（for-of/spread/Array.from）继续工作。 */
-declare function $gen(body: () => void): Abs;
+declare function $gen(body: () => Abs): Abs;
 /** yield v：压入当前生成器收集器；表达式值用 unknown */
 declare function $yield(v: Abs): Abs;
 /** yield* v（Bug 82）：委托迭代 ≠ yield v——GetIterator 校验先行（$elems
@@ -496,6 +512,18 @@ declare function $removeMemberNullish(a: Abs, key: string): Abs;
  * 原样返回（臂不可达的保守近似，与 $removeNullish 空集口径一致）。
  */
 declare function $narrowTypeOf(a: Abs, typeOf: string, keep: boolean): Abs;
+/**
+ * 关系守卫臂剪影（Bug 1）：`x >= 0` 真臂把 x 重绑为带 ge(x,0) 界的 Abs
+ * ——守卫建立的隐含约束随**普通变量读取**进入返回值 / 签名面。此前只有
+ * 算术折叠消费 exec Φ（`x + 0` 携带界），裸 `return x` 丢守卫事实 →
+ * return-constraint gate 假阳（可证合规的函数过不了 CI）。只做事实臂：
+ * ¬(x≥0) 含 NaN 可能（NaN 与任何比较皆假），补集界不可健全表示。精确
+ * 字面量（lit term）的界由域隶属折叠，不加 pred 保持精确面干净。
+ * 只精化 number prim：any 的真臂还含 bigint（`10n >= 0` 为真）与
+ * ToPrimitive 对象面，refineAbsForRelTrue 的 number|string 并集会
+ * 凭空排除 bigint → 假证明；any/unknown 保持原样（宁缺毋假）。
+ */
+declare function $refineRel(a: Abs, op: "gt" | "ge" | "lt" | "le", k: number): Abs;
 /**
  * 判别等值守卫臂剪影（issue #126）：`x.key === lit` 事实臂（keep=true）内把
  * x 重绑为「key 值域可能等于 lit」的成员子集（剪 "never" 成员）；对偶补集臂
@@ -575,6 +603,16 @@ type TranspileOptions = {
     destrTmpSeq?: {
         n: number;
     };
+    /**
+     * try 临时名单调计数器（`__nudoTm_`/`__nudoE_`；transpileFile /
+     * transpileBodyNode 创建，单次转译输出内共享）。此前按源行号命名——
+     * 同一作用域同一行两个 try（压缩/生成代码）重名 → 重复 `const` 声明 →
+     * `new Function` SyntaxError 整模块 fail-closed；计数器与行号解耦
+     * （含 loc 缺失 `?? 0` 的碰撞），跨语句单调。
+     */
+    tryTmpSeq?: {
+        n: number;
+    };
     /**
      * 当前词法作用域可见的 const 绑定名（用户层再赋值须 TypeError）。
      * 成员/下标写对根的内部重绑不在用户赋值路径，不走此表。
@@ -591,6 +629,14 @@ type TranspileOptions = {
      * 声明语句），此类名字从提升集扣除、不发改赋值。
      */
     keepVarDecl?: boolean;
+    /**
+     * 节点级 Abs 记录插桩（hover 重放用）：Identifier 值读与
+     * 静态成员读的转译输出包 `$nodoPos(<src>, line, column)`，
+     * 运行时把 (行, 列) → Abs 记入活跃的位置 collector（无收
+     * 集器时 no-op 直通）。默认关——热路径（check/模块图）不
+     * 承担插桩开销；仅 replayFnAbsNodes 重放开。
+     */
+    recordPositions?: boolean;
 };
 
 /**
@@ -619,6 +665,12 @@ declare function transpileBodyNode(node: Node, opts: TranspileOptions): string;
  * 表达式发射：transpileExpression / transpileShortCircuitExpr。
  */
 
+/**
+ * 表达式发射入口（位置插桩包装层）。recordPositions 时把
+ * Identifier 值读 / 静态成员读的转译输出包 `$nodoPos`——
+ * 运行时记 (行, 列) → Abs 并原样返回（语义恒等；无收集
+ * 器时直通）。内部递归经本包装——每个子表达式恰包一次。
+ */
 declare function transpileExpression(expr: Expression, opts?: TranspileOptions): string;
 
 /**
@@ -773,4 +825,4 @@ declare class NudoUnsupportedError extends Error {
     detail?: string);
 }
 
-export { $absVal, $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $getSuper, $getSuperObj, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $invokeSuperKey, $invokeSuperObj, $isBreakTo, $isForkExit, $iterCheck, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $narrowMemberEq, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $removeMemberNullish, $removeNull, $removeNullish, $removeUndefined, $restBind, $rethrowIfNudoReturn, $set, $setKey, $setProto, $shl, $shr, $spread, $staticInit, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tpl, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, $yieldStar, DEFAULT_MAX_LOOP_ITERS, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentExecPhi, fillTuple, foldRequireSpecArg, foldStaticStringExpr, getEvalClass, isArrMutator, isDefinitelyFalse, isDefinitelyTrue, isNudoBreak, isNudoContinue, isNudoReturn, isNudoThrow, litTruth, lookupObjAccessor, namespaceNameOf, pushLoopExit, pushThrowExit, registerEvalClass, runWithLoopExits, runtimeImportOf, takeLoopExits, takeThrowExits, transpile, transpileBodyNode, transpileExpression, transpileFile, transpileSource, withExecPhi };
+export { $absVal, $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $getSuper, $getSuperObj, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $invokeSuperKey, $invokeSuperObj, $isBreakTo, $isForkExit, $iterCheck, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $narrowMemberEq, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $refineRel, $regex, $removeMemberNullish, $removeNull, $removeNullish, $removeUndefined, $restBind, $rethrowIfNudoReturn, $set, $setKey, $setProto, $shl, $shr, $spread, $staticInit, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tpl, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, $yieldStar, DEFAULT_MAX_LOOP_ITERS, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentExecPhi, fillTuple, foldRequireSpecArg, foldStaticStringExpr, getEvalClass, isArrMutator, isDefinitelyFalse, isDefinitelyTrue, isNudoBreak, isNudoContinue, isNudoReturn, isNudoThrow, litTruth, lookupObjAccessor, namespaceNameOf, pushLoopExit, pushThrowExit, registerEvalClass, runWithLoopExits, runtimeImportOf, takeLoopExits, takeThrowExits, transpile, transpileBodyNode, transpileExpression, transpileFile, transpileSource, withExecPhi };

package/dist/exec.js

@@ -72,6 +72,7 @@ import {
   $neg,
   $new,
   $newTarget,
+  $nodoPos,
   $not,
   $nullishTest,
   $obj,
@@ -86,6 +87,7 @@ import {
   $rawThis,
   $reStateCall,
   $recordBinding,
+  $refineRel,
   $regex,
   $removeMemberNullish,
   $removeNull,
@@ -158,8 +160,10 @@ import {
   getEvalCallCollector,
   getEvalClass,
   getEvalFallbackStats,
+  getPosCollector,
   isAbsVal,
   isArrMutator,
+  isCjsMainRun,
   isDefinitelyFalse,
   isDefinitelyTrue,
   isNudoBreak,
@@ -185,6 +189,7 @@ import {
   setEvalBindingSink,
   setEvalCallCollector,
   setEvalFallbackCollector,
+  setPosCollector,
   takeLoopExits,
   takeThrowExits,
   transpile,
@@ -195,7 +200,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-PGTNSUTE.js";
+} from "./chunk-2ZIOQGW3.js";
 export {
   $absVal,
   $add,
@@ -269,6 +274,7 @@ export {
   $neg,
   $new,
   $newTarget,
+  $nodoPos,
   $not,
   $nullishTest,
   $obj,
@@ -283,6 +289,7 @@ export {
   $rawThis,
   $reStateCall,
   $recordBinding,
+  $refineRel,
   $regex,
   $removeMemberNullish,
   $removeNull,
@@ -355,8 +362,10 @@ export {
   getEvalCallCollector,
   getEvalClass,
   getEvalFallbackStats,
+  getPosCollector,
   isAbsVal,
   isArrMutator,
+  isCjsMainRun,
   isDefinitelyFalse,
   isDefinitelyTrue,
   isNudoBreak,
@@ -382,6 +391,7 @@ export {
   setEvalBindingSink,
   setEvalCallCollector,
   setEvalFallbackCollector,
+  setPosCollector,
   takeLoopExits,
   takeThrowExits,
   transpile,