@nudojs/core 1.9.4 → 1.10.0

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';
 
 /**
@@ -192,8 +192,9 @@ declare function lookupObjAccessor(o: Abs, key: string): {
     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;
@@ -338,8 +339,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 +372,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 +434,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 +504,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 +595,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 +621,14 @@ type TranspileOptions = {
      * 声明语句），此类名字从提升集扣除、不发改赋值。
      */
     keepVarDecl?: boolean;
+    /**
+     * 节点级 Abs 记录插桩（hover 重放用）：Identifier 值读与
+     * 静态成员读的转译输出包 `$nodoPos(<src>, line, column)`，
+     * 运行时把 (行, 列) → Abs 记入活跃的位置 collector（无收
+     * 集器时 no-op 直通）。默认关——热路径（check/模块图）不
+     * 承担插桩开销；仅 replayFnAbsNodes 重放开。
+     */
+    recordPositions?: boolean;
 };
 
 /**
@@ -619,6 +657,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 +817,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-YREYFITQ.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,

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { d as AstEnv, A as Abs, b as Phi, T as Term, Q as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, U as HofSite, c as AbsModuleExports, V as RunTranspiledOptions } from './run-WZKUu1y1.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, _ as AbsApplyNoThrow, a0 as AbsApplyNoThrowFn, a1 as AbsApplyResult, a2 as AbsApplyReturn, a3 as AbsFnImpl, a4 as AbsSigImpl, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, a8 as ImplicationOracle, a9 as LitValueResult, L as LiteralValue, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, P as PrimName, ac as RUNTIME_IMPORT_RE, ad as TYPEOF_NAMES, ae as TranspiledCallResult, af as TypeofName, ag as abs, ah as absFunction, ai as absOnly, aj as absToString, ak as and, al as anyAbs, am as anyVar, an as app, ao as assumeFinite, ap as attachFnImpl, aq as bigintLit, ar as bindImports, as as bindingsOf, at as bool, au as boolLit, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, ay as collectAbsExports, az as confJoin, aA as emptyPhi, aB as eq, aC as evalExprAbs, aD as ge, aE as geNum, aF as getEvalCallCollector, aG as getFnImpl, aH as getImplicationOracle, aI as gt, aJ as gtNum, aK as hostFnCtorFacet, aL as implies, aM as isAbsApplyResult, aN as isAbsVal, aO as isBigPrim, aP as isExactLit, aQ as isNumPrim, aR as isStrPrim, aS as le, aT as leNum, aU as lit, aV as litValue, aW as lt, aX as ltNum, aY as makeAbsApplyResult, aZ as markPureFn, a_ as namespaceAbsOf, a$ as ne, b0 as negatePred, b1 as never, b2 as not, b3 as noteEvalCallRecord, b4 as noteEvalFallback, b5 as num, b6 as numLit, b7 as numVar, b8 as obj, b9 as or, ba as pFalse, bb as pTrue, bc as phiAnd, bd as predEquals, be as predToString, bf as predVars, bg as primToTypeof, bh as ptypeof, bi as pureFnNameOf, bj as relationFingerprint, bk as relationFn, bl as resetEvalCallBudget, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bs as setImplicationOracle, bt as shapeOfTerm, bu as shapeOnlyFn, bv as shapeToString, bw as simplifyTerm, bx as str, by as strLit, bz as substPred, bA as termEquals, bB as termToString, bC as tryRunTranspiled, bD as unknown, bE as v } from './run-WZKUu1y1.js';
+import { d as AstEnv, A as Abs, b as Phi, T as Term, Q as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, U as HofSite, c as AbsModuleExports, V as RunTranspiledOptions } from './run-Bgj2tCrv.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, _ as AbsApplyNoThrow, a0 as AbsApplyNoThrowFn, a1 as AbsApplyResult, a2 as AbsApplyReturn, a3 as AbsFnImpl, a4 as AbsSigImpl, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, a8 as EvalPosRecord, a9 as ImplicationOracle, aa as LitValueResult, L as LiteralValue, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, P as PrimName, ad as RUNTIME_IMPORT_RE, ae as TYPEOF_NAMES, af as TranspiledCallResult, ag as TypeofName, ah as abs, ai as absFunction, aj as absOnly, ak as absToString, al as and, am as anyAbs, an as anyVar, ao as app, ap as assumeFinite, aq as attachFnImpl, ar as bigintLit, as as bindImports, at as bindingsOf, au as bool, av as boolLit, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, az as collectAbsExports, aA as confJoin, aB as emptyPhi, aC as eq, aD as evalExprAbs, aE as ge, aF as geNum, aG as getEvalCallCollector, aH as getFnImpl, aI as getImplicationOracle, aJ as gt, aK as gtNum, aL as hostFnCtorFacet, aM as implies, aN as isAbsApplyResult, aO as isAbsVal, aP as isBigPrim, aQ as isCjsMainRun, aR as isExactLit, aS as isNumPrim, aT as isStrPrim, aU as le, aV as leNum, aW as lit, aX as litValue, aY as lt, aZ as ltNum, a_ as makeAbsApplyResult, a$ as markPureFn, b0 as namespaceAbsOf, b1 as ne, b2 as negatePred, b3 as never, b4 as not, b5 as noteEvalCallRecord, b6 as noteEvalFallback, b7 as num, b8 as numLit, b9 as numVar, ba as obj, bb as or, bc as pFalse, bd as pTrue, be as phiAnd, bf as predEquals, bg as predToString, bh as predVars, bi as primToTypeof, bj as ptypeof, bk as pureFnNameOf, bl as relationFingerprint, bm as relationFn, bn as resetEvalCallBudget, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bu as setImplicationOracle, bv as setPosCollector, bw as shapeOfTerm, bx as shapeOnlyFn, by as shapeToString, bz as simplifyTerm, bA as str, bB as strLit, bC as substPred, bD as termEquals, bE as termToString, bF as tryRunTranspiled, bG as unknown, bH as v } from './run-Bgj2tCrv.js';
 import { Node, File } from '@babel/types';
-import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-Dm1YWZ1U.js';
-export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as INTERFACE_SOURCE_ABBR, K as InterfaceDiag, I as InterfaceSource, O as InterfaceTierInfo, a as InterfaceTierOpts, Q as NamedImport, R as NudoField, S as NudoFnConstraint, T as NudoSidecarError, U as NudoSig, V as RefineDiag, W as RefineEntry, X as RefineResolveOpts, Y as SELF, Z as actionsForIssue, _ as andC, $ as any, a0 as array, a1 as boolean, a2 as checkArg, a3 as checkCall, a4 as constraintAdmitsNullish, a5 as constraintToEntryAbs, a6 as derefConstraint, a7 as drainPromiseMicros, a8 as effectiveInterface, a9 as enterPromiseExecutorScope, aa as evalPromiseCtor, ab as evalPromiseMethod, ac as evalPromiseStatic, ad as execNudoModule, ae as extractDeclaredThrows, af as extractFnBudget, ag as extractNudoImports, ah as extractRefineReturnFromSource, ai as extractRefinesFromSource, aj as fn, ak as fnConstraintToEntryReqs, al as formatCheckReport, am as formatConstraint, an as formatDiagnostics, ao as formatEffectiveInterfaceDisplay, ap as formatGithubAnnotations, aq as formatGitlabCodeQuality, ar as formatInterfaceTierLine, as as generatedExportNames, at as getParseSourceCacheSize, au as getTerm, av as instantiateConstraint, aw as interfaceDiagCount, ax as interfaceSourceOf, ay as interfaceTierOf, az as isIntFlag, aA as isNodeModulesPath, aB as isNudoConstraint, aC as lazy, aD as leavePromiseExecutorScope, aE as lenTerm, aF as litC, aG as localNamedExports, aH as notePromiseExecutorFork, aI as nullable, aJ as number, aK as omit, aL as partial, aM as pick, aN as queuePromiseMicro, aO as refineDiagCount, aP as refineToIndexedFull, aQ as resetNudoModuleExecCache, aR as resetParseSourceCache, aS as resetSidecarLoadFailureCache, aT as serializeCheckJson, aU as serializeCheckJsonMulti, aV as setInterfaceDiagCollector, aW as setRefineDiagCollector, aX as shape, aY as sidecarClosureFingerprint, aZ as sidecarPathOf, a_ as string, a$ as takeInterfaceDiags, b0 as takeInterfaceDiagsSince, b1 as takeRefineDiags, b2 as takeRefineDiagsSince, b3 as throwConstraintToKinds, b4 as union } from './projection-budget-Dm1YWZ1U.js';
+import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-Dey0IUJa.js';
+export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as INTERFACE_SOURCE_ABBR, K as InterfaceDiag, I as InterfaceSource, O as InterfaceTierInfo, a as InterfaceTierOpts, Q as NamedImport, R as NudoField, S as NudoFnConstraint, T as NudoSidecarError, U as NudoSig, V as RefineDiag, W as RefineEntry, X as RefineResolveOpts, Y as SELF, Z as actionsForIssue, _ as andC, $ as any, a0 as array, a1 as boolean, a2 as checkArg, a3 as checkCall, a4 as constraintAdmitsNullish, a5 as constraintToEntryAbs, a6 as derefConstraint, a7 as drainPromiseMicros, a8 as effectiveInterface, a9 as enterPromiseExecutorScope, aa as evalPromiseCtor, ab as evalPromiseMethod, ac as evalPromiseStatic, ad as execNudoModule, ae as extractDeclaredThrows, af as extractFnBudget, ag as extractNudoImports, ah as extractRefineReturnFromSource, ai as extractRefinesFromSource, aj as fn, ak as fnConstraintToEntryReqs, al as formatCheckReport, am as formatConstraint, an as formatDiagnostics, ao as formatEffectiveInterfaceDisplay, ap as formatGithubAnnotations, aq as formatGitlabCodeQuality, ar as formatInterfaceTierLine, as as generatedExportNames, at as getParseSourceCacheSize, au as getTerm, av as instantiateConstraint, aw as interfaceDiagCount, ax as interfaceSourceOf, ay as interfaceTierOf, az as isIntFlag, aA as isNodeModulesPath, aB as isNudoConstraint, aC as lazy, aD as leavePromiseExecutorScope, aE as lenTerm, aF as litC, aG as localNamedExports, aH as notePromiseExecutorFork, aI as nullable, aJ as number, aK as omit, aL as partial, aM as pick, aN as queuePromiseMicro, aO as refineDiagCount, aP as refineToIndexedFull, aQ as resetNudoModuleExecCache, aR as resetParseSourceCache, aS as resetSidecarLoadFailureCache, aT as serializeCheckJson, aU as serializeCheckJsonMulti, aV as setInterfaceDiagCollector, aW as setRefineDiagCollector, aX as shape, aY as sidecarClosureFingerprint, aZ as sidecarPathOf, a_ as string, a$ as takeInterfaceDiags, b0 as takeInterfaceDiagsSince, b1 as takeRefineDiags, b2 as takeRefineDiagsSince, b3 as throwConstraintToKinds, b4 as union } from './projection-budget-Dey0IUJa.js';
 export { $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, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $isBreakTo, $isForkExit, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $ne, $neLoose, $neg, $new, $not, $nullishTest, $obj, $objAccessor, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $rethrowIfNudoReturn, $set, $setKey, $shl, $shr, $spread, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, DEFAULT_MAX_LOOP_ITERS, EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, 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 } from './exec.js';
 
 /**
@@ -689,13 +689,20 @@ declare function isMapAbs(a: Abs | undefined): boolean;
 declare function isSetAbs(a: Abs | undefined): boolean;
 /**
  * 构造器实参**确定**非法（原生 TypeError 域）：
- * - 非可迭代字面量（number/boolean/symbol/bigint、闭对象字面量）→ 四个集合构造器都抛
- * - Map/WeakMap 条目必须是对象：外层 iterable 出现 lit prim 条目（含字符串实参的
- *   每个字符、tuple/Set 元素）→ TypeError（空串例外：零条目合法）；
- *   WeakMap 键还必须可弱持有——tuple 条目首元素（键）为 prim → TypeError
- *   （Map 键可以是 prim，仅 WeakMap 抛 "Invalid value used as weak map key"）
- * - WeakSet 元素必须可弱持有：prim 元素（含字符串字符）→ TypeError
- * 抽象形态不确定 → false（保守）。
+ * - 非可迭代字面量（number/boolean/symbol/bigint、闭对象字面量、symbol
+ *   字面量）→ 四个集合构造器都抛
+ * - Map/WeakMap 条目必须是对象（IsObject）：prim 条目（含字符串实参的
+ *   每个字符、tuple/Set 元素）与 nullish 字面量条目 → TypeError
+ *   （Bug 8：null/undefined/symbol 字面量挂 shape unknown + lit term，
+ *   旧 primEntry 只查 prim 形态 → 漏抛）
+ * - WeakMap 键 = Get(entry, "0") 须可弱持有（classifyCanBeHeldWeakly 同
+ *   口径）：零/一元组、闭对象/fn/无 0 槽 brand 条目键 undefined、prim/
+ *   nullish 键 → TypeError（Bug 8：旧口径只查 ≥2 元组首元素 prim）
+ * - WeakSet 元素须可弱持有：prim/nullish 字面量元素（含字符串字符）→
+ *   TypeError；symbol 元素合法（node 实测 new WeakSet([Symbol()]) 不抛）
+ * - Bug 8 gate 面：抽象外层 iterable（any/unknown/开放 obj/fn/其它 brand）
+ *   可能非可迭代、抽象元素（含抽象字符串实参的字符臂）可能非 entry/
+ *   非弱键 → recordMayThrow（三个分派点共用本判定，集中记录）
  */
 declare function ctorArgDefinitelyInvalid(name: "Map" | "Set" | "WeakMap" | "WeakSet", iterable: Abs | undefined): boolean;
 declare function makeMapAbs(iterable?: Abs): Abs;
@@ -807,7 +814,11 @@ type FormatOptions = {
 declare function formatAbs(a: Abs, opts?: FormatOptions): string;
 /** fn/arr 槽位：shape + 非 lit term（禁止在 format 里内联复制 term 逻辑） */
 declare function formatShapeSlot(a: Abs): string;
-declare function formatShape(a: Abs): string;
+declare function formatShape(a: Abs, opts?: {
+    maxDepth?: number;
+    showLits?: boolean;
+    pretty?: boolean;
+}): string;
 /** 多行展示，CLI 用 */
 declare function formatAbsMultiline(a: Abs, label?: string): string;
 
@@ -926,6 +937,7 @@ type PolyFn = {
     entryReqs?: Array<{
         param: string;
         pred: Pred;
+        display?: string;
     }>;
     /**
      * 形参表面（C4.1）：默认/rest/解构的契约可绑定名。

package/dist/index.js

@@ -64,7 +64,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-S7HJL5GW.js";
+} from "./chunk-HX4IEPRI.js";
 import {
   $add,
   $arguments,
@@ -328,6 +328,7 @@ import {
   isAbsVal,
   isArrMutator,
   isBigPrim,
+  isCjsMainRun,
   isDefinitelyFalse,
   isDefinitelyTrue,
   isErrorCtorName,
@@ -469,6 +470,7 @@ import {
   setHasEntry,
   setImplicationOracle,
   setMayThrowCollector,
+  setPosCollector,
   setPropFlags,
   setSizeAbs,
   shape,
@@ -520,7 +522,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-PGTNSUTE.js";
+} from "./chunk-YREYFITQ.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -3434,6 +3436,7 @@ export {
   isAbsVal,
   isArrMutator,
   isBigPrim,
+  isCjsMainRun,
   isDefinitelyFalse,
   isDefinitelyTrue,
   isErrorCtorName,
@@ -3593,6 +3596,7 @@ export {
   setHasEntry,
   setImplicationOracle,
   setInterfaceDiagCollector,
+  setPosCollector,
   setPropFlags,
   setRefineDiagCollector,
   setSizeAbs,

package/dist/internal.d.ts

@@ -1,7 +1,7 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-Dm1YWZ1U.js';
-export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-Dm1YWZ1U.js';
-import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-WZKUu1y1.js';
-export { $ as $tryDigestSoft, e as $tryMarkSoft, f as $tryReleaseSoft, E as ERROR_FAMILY, g as EvalFallbackStats, M as MayThrowEffect, h as absLit, i as absNumLit, j as absStrLit, k as allAbsStr, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, o as errorTypeAbs, p as exitEvalCallBudgetSession, q as filterDeclaredThrows, r as filterGateThrows, s as filterIgnoredThrows, t as flushMayThrowEffects, u as formatThrowsAbs, v as getEvalCallBudgetState, w as getEvalFallbackStats, x as getMayThrowCollector, y as isThrowsIgnored, z as mayThrowEffectsToAbs, B as orphanMayThrowEffects, D as popMayThrowFrame, F as pushMayThrowFrame, G as recordMayThrow, H as resetEvalFallbackStats, I as runWithMayThrowSession, J as setMayThrowCollector, K as throwAbsToKinds, N as throwsKindCovered, O as withEvalBudgetOverride } from './run-WZKUu1y1.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-Dey0IUJa.js';
+export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-Dey0IUJa.js';
+import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-Bgj2tCrv.js';
+export { $ as $tryDigestSoft, e as $tryMarkSoft, f as $tryReleaseSoft, E as ERROR_FAMILY, g as EvalFallbackStats, M as MayThrowEffect, h as absLit, i as absNumLit, j as absStrLit, k as allAbsStr, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, o as errorTypeAbs, p as exitEvalCallBudgetSession, q as filterDeclaredThrows, r as filterGateThrows, s as filterIgnoredThrows, t as flushMayThrowEffects, u as formatThrowsAbs, v as getEvalCallBudgetState, w as getEvalFallbackStats, x as getMayThrowCollector, y as isThrowsIgnored, z as mayThrowEffectsToAbs, B as orphanMayThrowEffects, D as popMayThrowFrame, F as pushMayThrowFrame, G as recordMayThrow, H as resetEvalFallbackStats, I as runWithMayThrowSession, J as setMayThrowCollector, K as throwAbsToKinds, N as throwsKindCovered, O as withEvalBudgetOverride } from './run-Bgj2tCrv.js';
 import { File, Node } from '@babel/types';
 
 /**
@@ -385,6 +385,8 @@ type AbsInlay = {
     interfaceSource?: InterfaceSource;
     /** true = 隐式推导展示（非义务契约），label 已带 `· derived` */
     derived?: boolean;
+    /** 折叠展示时的完整 pred 文本（hover tooltip；display 缺席时无） */
+    tooltip?: string;
 };
 type CollectAbsInlaysOpts = InterfaceTierOpts & {
     loadModule?: (spec: string, fromFile: string) => string | undefined;

package/dist/internal.js

@@ -21,7 +21,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-S7HJL5GW.js";
+} from "./chunk-HX4IEPRI.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-PGTNSUTE.js";
+} from "./chunk-YREYFITQ.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {
@@ -282,7 +282,9 @@ function collectAbsInlays(source, opts) {
     const predsByName = /* @__PURE__ */ new Map();
     if (g.entryReqs) {
       for (const r of g.entryReqs) {
-        predsByName.set(r.param, [r.pred]);
+        predsByName.set(r.param, [
+          { pred: r.pred, ...r.display !== void 0 ? { display: r.display } : {} }
+        ]);
       }
     }
     const fnNode = node;
@@ -293,12 +295,15 @@ function collectAbsInlays(source, opts) {
       if (!p?.loc || !pname) continue;
       const preds = predsByName.get(pname);
       if (preds && preds.length > 0) {
-        const text = preds.map(predToString).join(" \u2227 ");
+        const text = preds.map((p2) => predToString(p2.pred)).join(" \u2227 ");
+        const displays = preds.map((p2) => p2.display);
+        const display = displays.every((d) => d !== void 0) ? displays.map((d) => d).join(" \u2227 ") : void 0;
         inlays.push({
           line: p.loc.end.line,
           character: p.loc.end.column,
-          label: `  where ${text}`,
+          label: display !== void 0 ? `  where ${display}` : `  where ${text}`,
           kind: "parameter",
+          ...display !== void 0 ? { tooltip: text } : {},
           ...tierSrc ? { interfaceSource: tierSrc } : {}
         });
       }

package/dist/{projection-budget-Dm1YWZ1U.d.ts → projection-budget-Dey0IUJa.d.ts}

@@ -1,5 +1,5 @@
 import { File } from '@babel/types';
-import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-WZKUu1y1.js';
+import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-Bgj2tCrv.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;
@@ -338,14 +338,15 @@ type RefineResolveOpts = {
 };
 declare function resetNudoModuleExecCache(): void;
 /**
- * 解析 `ms delay` / `n percent` → [param, Pred]
- * 多条用 && 或换行连接。
+ * @nudo:contract 提取条目（pred 相对 param 项）。
  * 同时保留原始 NudoConstraint（shape 字段检查用）。
  */
 type RefineEntry = {
     param: string;
     pred: Pred;
     constraint: NudoConstraint;
+    /** 指令引用的约束名（`@nudo:contract x positive` 的 `positive`）；display 折叠用 */
+    name?: string;
 };
 declare function extractRefinesFromSource(source: string, fnName: string, opts?: RefineResolveOpts): RefineEntry[];
 /** refine 参数 → 带约束模板的下标表（shape 检查用） */
@@ -485,9 +486,11 @@ type EffectiveInterfaceOpts = RefineResolveOpts & {
 };
 type EffectiveInterface = {
     fnName: string;
+    /** display = 表达式原文/约束名折叠形（运行时标志）；缺席 = 消费端回落 pred 全展 */
     params: Array<{
         param: string;
         constraint: NudoConstraint;
+        display?: string;
     }>;
     returns?: {
         constraint: NudoConstraint;
@@ -496,6 +499,10 @@ type EffectiveInterface = {
     throws?: {
         kinds: string[] | "*";
     };
+    /** 契约来源侧车 canonical 路径（侧车绑定时）；契约原文链接跳转用 */
+    sidecarPath?: string;
+    /** 侧车绑定声明行（1-based；契约原文链接 `#L<n>` 跳转目标） */
+    sidecarLine?: number;
     source: InterfaceSource;
     /**
      * 合取不可满足标记：params = 常数界交叉矛盾（或 prim 矛盾等 and() 不可
@@ -537,6 +544,10 @@ type InterfaceTierInfo = {
     source: InterfaceSource;
     /** handwritten/generated 时的契约展示；implicit 为 undefined */
     display?: string;
+    /** 契约来源侧车 canonical 路径（侧车绑定时）；契约原文链接跳转用 */
+    sidecarPath?: string;
+    /** 侧车绑定声明行（1-based；契约原文链接 `#L<n>` 跳转目标） */
+    sidecarLine?: number;
 };
 type InterfaceTierOpts = EffectiveInterfaceOpts;
 /**
@@ -832,6 +843,14 @@ declare class ProjectionBudget {
     #private;
     /** 粘性：本次投影是否发生过截断（"cycle" / "depth"），供台账记录 */
     truncated: ProjectionStopReason | undefined;
+    /** 展示口径：eq(self, lit(v)) pred 渲染为 lit(v)（lit 判别值
+     *  可见——hover 求值态面）；默认 false（纯 shape 外延渲染，
+     *  与既有全部展示面同口径） */
+    showLits: boolean;
+    /** 展示口径：多行缩进渲染（hover 弹窗面）——obj 槽位每槽一行 +
+     *  尾逗号 + 2 空格缩进递增，复合臂 union 按臂断行；默认 false
+     *  （单行——check 签名 / dts / inlay 等既有面字节不变） */
+    pretty: boolean;
     constructor(maxDepth?: number);
     /**
      * 进入一个 Abs（或 Shape）子树。返回 null → 继续递归，之后必须配对

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.4",
+  "version": "1.10.0",
   "engines": {
     "node": ">=20"
   },