@nudojs/core 1.9.3 → 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-HD6XZFOU.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;
 
@@ -847,6 +858,11 @@ type FormalParam = {
     propKey: Record<string, string>;
     /** 仅嵌套内出现、顶层不可单独表达的名（降级用） */
     nested: string[];
+    /**
+     * #137：嵌套解构点路径契约面（'card.grade'，源属性键点连接）。
+     * 中间键（card）同时在 bound 里平铺可绑（整对象 shape 契约）。
+     */
+    nestedPaths: string[];
     index: number;
 };
 type AstParam = {
@@ -877,13 +893,17 @@ declare function contractParamNameSet(formals: FormalParam[]): Set<string>;
 /**
  * 契约参数名 → 形参定位。
  * - 命中 id/default/rest → 该 index（执法按整参）
- * - 命中 pattern 顶层 bound 名 → 该 pattern index + field
+ * - 命中 pattern 顶层 bound 名 → 该 pattern index + field（fieldPath 单段）
  * - 命中 placeholder / `_` → pattern index（整对象）
+ * - #137：命中嵌套点路径（'card.grade' ∈ nestedPaths）→ index + fieldPath
+ *   多段（field 为展示用点连接串）。平铺精确匹配必须先于任何点路径解析：
+ *   源键 'a.b' 与路径 'a.b' 不可歧义——平铺胜。
  * - 未命中 → undefined（C4.5 param-mismatch）
  */
 declare function locateContractParam(formals: FormalParam[], contractName: string): {
     index: number;
     field?: string;
+    fieldPath?: string[];
     rest?: boolean;
 } | undefined;
 
@@ -917,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-VMGJYMIF.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-HD6XZFOU.js";
+} from "./chunk-YREYFITQ.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -1920,13 +1922,17 @@ function structuralAssignIssues(records) {
 }
 
 // src/algebra/check-case-scan.ts
-function projectCaseArgField(arg, field) {
-  if (!arg) return void 0;
-  if (arg.shape.k === "brand") {
-    return projectCaseArgField(arg.shape.shape, field);
+function projectCaseArgField(arg, fieldPath) {
+  let cur = arg;
+  for (const seg of fieldPath) {
+    if (!cur) return void 0;
+    if (cur.shape.k === "brand") {
+      cur = cur.shape.shape;
+    }
+    if (cur.shape.k !== "obj") return void 0;
+    cur = getSlot(cur.shape.slots, seg)?.value;
   }
-  if (arg.shape.k !== "obj") return void 0;
-  return getSlot(arg.shape.slots, field)?.value;
+  return cur;
 }
 function scanCaseInconsistency(source, knownFns, opts) {
   const out = [];
@@ -2007,12 +2013,12 @@ function scanCaseInconsistency(source, knownFns, opts) {
     for (const p of eff.params) {
       if (conflictParams.has(p.param)) continue;
       let idx = paramNames.indexOf(p.param);
-      let field;
+      let fieldPath;
       if (idx < 0 && formals.length > 0) {
         const hit = locateContractParam(formals, p.param);
         if (hit) {
           idx = hit.index;
-          field = hit.field;
+          fieldPath = hit.fieldPath ?? (hit.field !== void 0 ? [hit.field] : void 0);
         }
       }
       if (idx < 0) continue;
@@ -2023,7 +2029,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
           pred: instantiateConstraint(p.constraint, p.param),
           constraint: p.constraint
         },
-        field
+        fieldPath
       ]);
     }
     if (reqs.length === 0) return;
@@ -2031,16 +2037,17 @@ function scanCaseInconsistency(source, knownFns, opts) {
     for (const req of reqs) {
       const idx = req[0];
       const entry = req[1];
-      const field = req[2];
+      const fieldPath = req[2];
       if (entry.constraint.fields) continue;
       let arg = absArgs[idx];
       if (!arg) continue;
-      if (field) {
-        const projected = projectCaseArgField(arg, field);
+      if (fieldPath) {
+        const projected = projectCaseArgField(arg, fieldPath);
         if (!projected) {
           const k = arg.shape.k;
           if (k !== "unknown" && k !== "any") {
             const paramName = entry.param || paramNames[idx] || `arg${idx}`;
+            const field = fieldPath.join(".");
             out.push({
               severity: "error",
               code: "nudo:case-inconsistency",
@@ -3429,6 +3436,7 @@ export {
   isAbsVal,
   isArrMutator,
   isBigPrim,
+  isCjsMainRun,
   isDefinitelyFalse,
   isDefinitelyTrue,
   isErrorCtorName,
@@ -3588,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-VMGJYMIF.js";
+} from "./chunk-HX4IEPRI.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-HD6XZFOU.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 → 继续递归，之后必须配对