@nudojs/core 1.9.3 → 1.10.0

package/dist/{run-WZKUu1y1.d.ts → run-Bgj2tCrv.d.ts}

@@ -400,6 +400,9 @@ type EvalCallRecord = {
      * （resultAbs=payload、throwsAbs=never，isLeakedCallRecord
      * 的 never+never 拦不住）。5 处 emitter 均已显式设置。 */
     threw: boolean;
+    /** 调用方帧深度（0 = 最外层求值帧；递归内层帧 ≥1）。
+     *  局部量投影按帧过滤重入记录（与 $nodoPos 同口径）。 */
+    depth?: number;
 };
 /** 清空 pureCallMemo（宿主入口 / 会话缓存失效） */
 declare function clearPureCallMemo(): void;
@@ -411,11 +414,36 @@ type EvalAbsAssignRecord = {
     line?: number;
     column?: number;
     conditional?: boolean;
+    /** 调用方帧深度（0 = 最外层求值帧；与 EvalCallRecord.depth 同口径） */
+    depth?: number;
 };
 /** 返回先前 collector，便于嵌套调用 save/restore（禁止 finally 置 null 砸外层） */
 declare function setEvalAssignCollector(collector: ((r: EvalAbsAssignRecord) => void) | null): ((r: EvalAbsAssignRecord) => void) | null;
 /** 结构赋值记录（transpile 插桩调用；无收集器时 no-op） */
 declare function $assignRecord(name: string, prev: Abs | undefined, next: Abs, line: number, column: number, conditional: boolean): void;
+/** 位置级 Abs 记录（hover 重放插桩 `$nodoPos` 消费）：
+ * (1-based 行, 0-based 列) → 该位置表达式求值态 Abs */
+type EvalPosRecord = {
+    line: number;
+    column: number;
+    abs: Abs;
+};
+/** 返回先前 collector，便于嵌套调用 save/restore（禁止 finally 置 null 砸外层） */
+declare function setPosCollector(collector: ((r: EvalPosRecord) => void) | null): ((r: EvalPosRecord) => void) | null;
+declare function getPosCollector(): ((r: EvalPosRecord) => void) | null;
+/**
+ * 位置级 Abs 记录（transpile 插桩调用——`recordPositions` 时
+ * Identifier 值读 / 静态成员读包此调用）：把 (行, 列) → Abs
+ * 记入活跃 collector 并**原样返回**（语义恒等）；无收集器时
+ * 直通（热路径零开销——仅重放开插桩）。
+ *
+ * 仅记最外层求值帧（evalCallDepth === 0）：递归函数的内层帧
+ * （$callNamed/$new 预算帧）会以重入态重执行同一源码位置——
+ * 自递归类型（lazy 自引用契约）下内层帧携带 cycle 截断的
+ * opaque unknown，first-wins 记录会以外层正确值被污染为序；
+ * 编辑器位置的语义以最外层调用帧（hover 重放的单次入口）为准。
+ */
+declare function $nodoPos(v: Abs, line: number, column: number): Abs;
 declare function setEvalBindingSink(sink: Map<string, unknown> | null): void;
 /** 顶层绑定记录（transpile 插桩调用） */
 declare function $recordBinding(name: string, value: unknown): void;
@@ -701,6 +729,12 @@ type AbsModuleExports = {
      * 成功求值的表报（zero-FP，避免与 module-missing 叠报）。
      */
     evaluated?: boolean;
+    /**
+     * CJS `module.exports = X` 重赋值形态（Bug 10 回归修复）：原生 require
+     * 返回 X 本身（常为可调用函数），而非命名空间对象。requireFromModules
+     * 据此返回 default（= module.exports 值）；缺省按命名空间对象口径。
+     */
+    cjsMain?: boolean;
 };
 /**
  * 命名空间 Abs（`import * as ns` / `export * as ns` / CJS require 绑定）：
@@ -746,6 +780,9 @@ type RunTranspiledOptions = {
     envGlobals?: Record<string, Abs>;
     /** @nudo:mock 注入值：name → Abs（mockDirectivesToAbsSeeds 产物） */
     mocks?: Record<string, Abs>;
+    /** 节点级 Abs 记录插桩（hover 重放用——透传 transpile 的
+     * recordPositions：Identifier 值读 / 静态成员读包 $nodoPos） */
+    recordPositions?: boolean;
     /** 宽松全局（调用点发现 exec 采集：未声明全局调用保守 unknown 不中断） */
     lenientGlobals?: boolean;
 };
@@ -792,6 +829,8 @@ declare function noteEvalFallback(e: unknown): void;
  * unsupported:*（能力边界）/ internal（B 缺陷）都记录到收集器；
  * 返回 undefined 表示调用方应走解释路径。
  */
+/** run 表是否来自 CJS `module.exports = X` 重赋值形态（供桥接层标 cjsMain）。 */
+declare function isCjsMainRun(run: Record<string, unknown>): boolean;
 declare function tryRunTranspiled(source: string, opts?: RunTranspiledOptions): Record<string, unknown> | undefined;
 type TranspiledCallResult = {
     result: Abs;
@@ -817,4 +856,4 @@ declare function callTranspiledExport(exports: Record<string, unknown>, name: st
  */
 declare function callTranspiledExportApply(exports: Record<string, unknown> | (() => Record<string, unknown>), name: string): (args: Abs[], thisVal?: Abs) => AbsApplyResult;
 
-export { $tryDigestSoft as $, type Abs as A, orphanMayThrowEffects as B, type Confidence as C, popMayThrowFrame as D, ERROR_FAMILY as E, pushMayThrowFrame as F, recordMayThrow as G, resetEvalFallbackStats as H, runWithMayThrowSession as I, setMayThrowCollector as J, throwAbsToKinds as K, type LiteralValue as L, type MayThrowEffect as M, throwsKindCovered as N, withEvalBudgetOverride as O, type PrimName as P, type HofCollectCtx as Q, type RelSource as R, type Shape as S, type Term as T, type HofSite as U, type RunTranspiledOptions as V, $assignRecord as W, $call as X, $callNamed as Y, $recordBinding as Z, type AbsApplyNoThrow as _, type Pred as a, ne as a$, type AbsApplyNoThrowFn as a0, type AbsApplyResult as a1, type AbsApplyReturn as a2, type AbsFnImpl as a3, type AbsSigImpl as a4, type EvalAbsAssignRecord as a5, type EvalCallRecord as a6, type EvalFallback as a7, type ImplicationOracle as a8, type LitValueResult as a9, emptyPhi as aA, eq as aB, evalExprAbs as aC, ge as aD, geNum as aE, getEvalCallCollector as aF, getFnImpl as aG, getImplicationOracle as aH, gt as aI, gtNum as aJ, hostFnCtorFacet as aK, implies as aL, isAbsApplyResult as aM, isAbsVal as aN, isBigPrim as aO, isExactLit as aP, isNumPrim as aQ, isStrPrim as aR, le as aS, leNum as aT, lit as aU, litValue as aV, lt as aW, ltNum as aX, makeAbsApplyResult as aY, markPureFn as aZ, namespaceAbsOf as a_, MAX_EVAL_CALL_DEPTH as aa, MAX_EVAL_TOTAL_CALLS as ab, RUNTIME_IMPORT_RE as ac, TYPEOF_NAMES as ad, type TranspiledCallResult as ae, type TypeofName as af, abs as ag, absFunction as ah, absOnly as ai, absToString as aj, and as ak, anyAbs as al, anyVar as am, app as an, assumeFinite as ao, attachFnImpl as ap, bigintLit as aq, bindImports as ar, bindingsOf as as, bool as at, boolLit as au, callTranspiledExport as av, callTranspiledExportApply as aw, callTranspiledExportFull as ax, collectAbsExports as ay, confJoin as az, type Phi as b, negatePred as b0, never as b1, not as b2, noteEvalCallRecord as b3, noteEvalFallback as b4, num as b5, numLit as b6, numVar as b7, obj as b8, or as b9, termEquals as bA, termToString as bB, tryRunTranspiled as bC, unknown as bD, v as bE, routeApplyThrows as bF, pFalse as ba, pTrue as bb, phiAnd as bc, predEquals as bd, predToString as be, predVars as bf, primToTypeof as bg, ptypeof as bh, pureFnNameOf as bi, relationFingerprint as bj, relationFn as bk, resetEvalCallBudget as bl, runTranspiled as bm, runTranspiledOptionsMemoKey as bn, setEvalAssignCollector as bo, setEvalBindingSink as bp, setEvalCallCollector as bq, setEvalFallbackCollector as br, setImplicationOracle as bs, shapeOfTerm as bt, shapeOnlyFn as bu, shapeToString as bv, simplifyTerm as bw, str as bx, strLit as by, substPred as bz, type AbsModuleExports as c, type AstEnv as d, $tryMarkSoft as e, $tryReleaseSoft as f, type EvalFallbackStats as g, absLit as h, absNumLit as i, absStrLit as j, allAbsStr as k, clearPureCallMemo as l, clearPureMemo as m, enterEvalCallBudgetSession as n, errorTypeAbs as o, exitEvalCallBudgetSession as p, filterDeclaredThrows as q, filterGateThrows as r, filterIgnoredThrows as s, flushMayThrowEffects as t, formatThrowsAbs as u, getEvalCallBudgetState as v, getEvalFallbackStats as w, getMayThrowCollector as x, isThrowsIgnored as y, mayThrowEffectsToAbs as z };
+export { $tryDigestSoft as $, type Abs as A, orphanMayThrowEffects as B, type Confidence as C, popMayThrowFrame as D, ERROR_FAMILY as E, pushMayThrowFrame as F, recordMayThrow as G, resetEvalFallbackStats as H, runWithMayThrowSession as I, setMayThrowCollector as J, throwAbsToKinds as K, type LiteralValue as L, type MayThrowEffect as M, throwsKindCovered as N, withEvalBudgetOverride as O, type PrimName as P, type HofCollectCtx as Q, type RelSource as R, type Shape as S, type Term as T, type HofSite as U, type RunTranspiledOptions as V, $assignRecord as W, $call as X, $callNamed as Y, $recordBinding as Z, type AbsApplyNoThrow as _, type Pred as a, markPureFn as a$, type AbsApplyNoThrowFn as a0, type AbsApplyResult as a1, type AbsApplyReturn as a2, type AbsFnImpl as a3, type AbsSigImpl as a4, type EvalAbsAssignRecord as a5, type EvalCallRecord as a6, type EvalFallback as a7, type EvalPosRecord as a8, type ImplicationOracle as a9, confJoin as aA, emptyPhi as aB, eq as aC, evalExprAbs as aD, ge as aE, geNum as aF, getEvalCallCollector as aG, getFnImpl as aH, getImplicationOracle as aI, gt as aJ, gtNum as aK, hostFnCtorFacet as aL, implies as aM, isAbsApplyResult as aN, isAbsVal as aO, isBigPrim as aP, isCjsMainRun as aQ, isExactLit as aR, isNumPrim as aS, isStrPrim as aT, le as aU, leNum as aV, lit as aW, litValue as aX, lt as aY, ltNum as aZ, makeAbsApplyResult as a_, type LitValueResult as aa, MAX_EVAL_CALL_DEPTH as ab, MAX_EVAL_TOTAL_CALLS as ac, RUNTIME_IMPORT_RE as ad, TYPEOF_NAMES as ae, type TranspiledCallResult as af, type TypeofName as ag, abs as ah, absFunction as ai, absOnly as aj, absToString as ak, and as al, anyAbs as am, anyVar as an, app as ao, assumeFinite as ap, attachFnImpl as aq, bigintLit as ar, bindImports as as, bindingsOf as at, bool as au, boolLit as av, callTranspiledExport as aw, callTranspiledExportApply as ax, callTranspiledExportFull as ay, collectAbsExports as az, type Phi as b, namespaceAbsOf as b0, ne as b1, negatePred as b2, never as b3, not as b4, noteEvalCallRecord as b5, noteEvalFallback as b6, num as b7, numLit as b8, numVar as b9, str as bA, strLit as bB, substPred as bC, termEquals as bD, termToString as bE, tryRunTranspiled as bF, unknown as bG, v as bH, $nodoPos as bI, getPosCollector as bJ, routeApplyThrows as bK, obj as ba, or as bb, pFalse as bc, pTrue as bd, phiAnd as be, predEquals as bf, predToString as bg, predVars as bh, primToTypeof as bi, ptypeof as bj, pureFnNameOf as bk, relationFingerprint as bl, relationFn as bm, resetEvalCallBudget as bn, runTranspiled as bo, runTranspiledOptionsMemoKey as bp, setEvalAssignCollector as bq, setEvalBindingSink as br, setEvalCallCollector as bs, setEvalFallbackCollector as bt, setImplicationOracle as bu, setPosCollector as bv, shapeOfTerm as bw, shapeOnlyFn as bx, shapeToString as by, simplifyTerm as bz, type AbsModuleExports as c, type AstEnv as d, $tryMarkSoft as e, $tryReleaseSoft as f, type EvalFallbackStats as g, absLit as h, absNumLit as i, absStrLit as j, allAbsStr as k, clearPureCallMemo as l, clearPureMemo as m, enterEvalCallBudgetSession as n, errorTypeAbs as o, exitEvalCallBudgetSession as p, filterDeclaredThrows as q, filterGateThrows as r, filterIgnoredThrows as s, flushMayThrowEffects as t, formatThrowsAbs as u, getEvalCallBudgetState as v, getEvalFallbackStats as w, getMayThrowCollector as x, isThrowsIgnored as y, mayThrowEffectsToAbs as z };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/core",
-  "version": "1.9.3",
+  "version": "1.10.0",
   "engines": {
     "node": ">=20"
   },