@nudojs/core 1.7.6 → 1.7.7

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-CDaGIWH_.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, f 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, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, aC as evalExprAbs, o as exitEvalCallBudgetSession, u as getEvalCallBudgetState, aF as getEvalCallCollector, v as getEvalFallbackStats, aN as isAbsVal, b3 as noteEvalCallRecord, b4 as noteEvalFallback, bl as resetEvalCallBudget, G 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, N as withEvalBudgetOverride } from './run-CDaGIWH_.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-DbDRo5z6.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, f 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, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, aC as evalExprAbs, o as exitEvalCallBudgetSession, u as getEvalCallBudgetState, aF as getEvalCallCollector, v as getEvalFallbackStats, aN as isAbsVal, b3 as noteEvalCallRecord, b4 as noteEvalFallback, bl as resetEvalCallBudget, G 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, N as withEvalBudgetOverride } from './run-DbDRo5z6.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**
@@ -54,10 +54,13 @@ declare function callAtFunctionBoundary<T>(body: () => T): T;
  * 函数表达式 → 一等 fn Abs（transpile 侧带真实参数名；异步 body 包 $async）
  *  opts.bindThis：对象方法——$invoke 会把 receiver 作为 impl 的首参注入。
  *  opts.ctor：Bug 9 可构造性 facet（箭头/方法/async/generator → false；
- *  函数表达式/类表达式值 → true）。 */
+ *  函数表达式/类表达式值 → true）。
+ *  opts.padArgs：默认 true（Bug 7 缺参归一）；读宿主 arguments 的
+ *  function 包装传 false（arguments.length 不得被补齐膨胀）。 */
 declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs, opts?: {
     bindThis?: boolean;
     ctor?: boolean;
+    padArgs?: boolean;
 }): Abs;
 /**
  * 宿主 this → Abs：函数体 prologue 用它承接 call/apply/bind 传入的 thisArg。
@@ -184,6 +187,9 @@ declare function $join(a: Abs, b: Abs): Abs;
 
 /** 注册对象字面量访问器（transpile 调用；返回原 obj 以便链式包裹） */
 declare function $objAccessor(o: Abs, key: string, get: ((t: Abs) => Abs) | null, set: ((t: Abs, v: Abs) => Abs) | null): Abs;
+/** 计算键访问器注册（`{ get [expr]() {} }`）：键为 Abs，ToPropertyKey 后注册。
+ *  非字面量键无法静态定键——保占位槽（键存在性），不注册派发。 */
+declare function $objAccessorKey(o: Abs, key: Abs, get: ((t: Abs) => Abs) | null, set: ((t: Abs, v: Abs) => Abs) | null): Abs;
 /** 对象字面量访问器查询（供 $get/$set/$spread/Object.assign 共用） */
 declare function lookupObjAccessor(o: Abs, key: string): {
     get?: (t: Abs) => Abs;
@@ -418,13 +424,17 @@ declare function $async(thunk: () => Abs): Abs;
 declare function $await(v: Abs): Abs;
 /** async 直接 return 的 coerce */
 declare function $asyncReturn(v: Abs): Abs;
-/** function* 体：收集所有 yield 值为 tuple Abs；抽象分支时降 conf（P0-6）
+/** 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（既有值域建模，注释口径不变）。 */
+ * yield 收集保持 eager（既有值域建模，注释口径不变）。
+ * Bug 22：结果从 yield 元组数组改为生成器对象（next/return/throw 方法面 +
+ * constructor 身份）；元素域经侧表保留（$arr 的 ≤cap tuple / >cap arr
+ * widen 策略不变），迭代路径（for-of/spread/Array.from）继续工作。 */
 declare function $gen(body: () => void): Abs;
 /** yield v：压入当前生成器收集器；表达式值用 unknown */
 declare function $yield(v: Abs): Abs;
@@ -444,6 +454,27 @@ declare function $yieldStar(v: unknown): Abs;
  * （issue #90）、`for (const x of o.items ?? [])` 假 may-throw。
  */
 declare function $removeNullish(a: Abs): Abs;
+/**
+ * 严格 `p === null` 守卫的假值臂剪影：只剥 null 成员（Bug 3 粒度——
+ * `null === undefined` 为 false，假值臂的 p **仍可能是 undefined**，
+ * 不得连 undefined 一起剪，否则 `p.major` 漏报真实 TypeError）。
+ */
+declare function $removeNull(a: Abs): Abs;
+/**
+ * `typeof u === "undefined"` / 严格 `u === undefined` 守卫的假值臂剪影：
+ * 只剥 undefined 成员（`typeof null === "object"`——假值臂的 u 仍可能是
+ * null，`u.v` 对 null 仍原生抛 TypeError，不得剪）。
+ */
+declare function $removeUndefined(a: Abs): Abs;
+/**
+ * typeof 类型守卫臂剪影（Bug 23）：`typeof v === "string"` 真臂把 v 重绑为
+ * union 中 typeof 匹配的成员（keep=true）/ 假臂绑补集（keep=false）——臂内
+ * `+`/关系/迭代/模板串拿到成员类型而非 union，不再记假 may-throw。
+ * 裸 any 在事实臂窄化为对应 prim（issue #105）；sum 内不可判成员
+ * （any/unknown）两侧都保留（保守，不引假阴性）；全剪空 →
+ * 原样返回（臂不可达的保守近似，与 $removeNullish 空集口径一致）。
+ */
+declare function $narrowTypeOf(a: Abs, typeOf: string, keep: boolean): Abs;
 /** `??` / `??=` 测试：确定非 nullish → false；lit nullish → true；否则抽象 boolean */
 declare function $nullishTest(v: Abs): Abs;
 
@@ -451,10 +482,17 @@ type TranspileOptions = {
     /** 运行时 import 说明符 */
     runtimeImport?: string;
     maxLoopIters?: number;
-    /** 方法体内 this 的绑定名（transpile class 时注入） */
+    /** 方法/函数体内 this 的绑定名（transpile class 时注入） */
     thisParam?: string;
     /** 当前类名（super 派发用） */
     className?: string;
+    /**
+     * 静态方法体内 super 的接收者源（父类构造器——extends 表达式经
+     * classSpecOf 前移计算注入）。super.x / super.m() / super[k] 落通用
+     * $get/$invoke 路径（Super 节点直接发此源），消除 super 哨兵注释
+     * 逸出（Bug 14）。
+     */
+    staticSuperSrc?: string;
     /** 原始源码（@nudo:replace 按节点文本匹配） */
     source?: string;
     /** 替换表：归一化目标文本 → 注入变量名；可选语句范围 */
@@ -498,11 +536,32 @@ type TranspileOptions = {
      * 箭头沿外层继承；无绑定（模块顶层 / 仅嵌套箭头引用）→ Identifier 分支折 $unknown()。
      */
     argsBinding?: string;
+    /**
+     * 解构临时名单调计数器（`_d`/`_n`；transpileFile 创建，全模块共享）。
+     * 此前 `_d${seq}_${line}` 依赖源行号唯一化——同一行两条解构（压缩/单行
+     * 风格）重名 → 重复 `const` 声明 → 整模块 SyntaxError fail-closed；
+     * emitDestructure 的 `_n` 嵌套临时每语句重置，同样撞车。计数器与行号
+     * 解耦，跨语句/跨 prologue 单调。
+     */
+    destrTmpSeq?: {
+        n: number;
+    };
     /**
      * 当前词法作用域可见的 const 绑定名（用户层再赋值须 TypeError）。
      * 成员/下标写对根的内部重绑不在用户赋值路径，不走此表。
      */
     constNames?: ReadonlySet<string>;
+    /**
+     * 本作用域已提升到函数体顶部的 var 名（Bug 21）：块内 `var x = init`
+     * 改发赋值 `x = init`（绑定由顶部 `let x = $lit(void 0)` 提供）。
+     * 函数/方法体边界由 transpileFnBodyStmts 重算替换。
+     */
+    hoistedVarNames?: ReadonlySet<string>;
+    /**
+     * `export var x`（模块顶层）：保持声明面（host ESM export 收集依赖
+     * 声明语句），此类名字从提升集扣除、不发改赋值。
+     */
+    keepVarDecl?: boolean;
 };
 
 /**
@@ -641,6 +700,16 @@ declare function $super(thisVal: Abs, childName: string, args: Abs[]): Abs;
 declare function $invoke(thisVal: Abs, method: string, args: Abs[], loc?: [number, number]): Abs;
 /** super.method()：从父类起找（跳过自身覆盖） */
 declare function $invokeSuper(thisVal: Abs, childName: string, method: string, args: Abs[]): Abs;
+/** 类实例方法内 super.p / super[k] 属性读（Bug 14）：父类原型链上的
+ *  访问器以 this 调用；实例字段/自有槽不在查找面（super 读的是原型）。
+ *  方法作为值（super.m 未调用）不做 fn Abs 投影——诚实 unknown。 */
+declare function $getSuper(thisVal: Abs, childName: string, key: Abs): Abs;
+/** 类实例方法内 super[k](args) 计算键调用（Bug 14）：ToPropertyKey 后沿父类链派发 */
+declare function $invokeSuperKey(thisVal: Abs, childName: string, key: Abs, args: Abs[]): Abs;
+/** super.m() / super[k]()：原型链方法查找 + receiver 注入调用 */
+declare function $invokeSuperObj(thisVal: Abs, key: Abs, args: Abs[]): Abs;
+/** super.v / super[k]：原型链属性读（访问器 getter 以 this 调用；数据槽直读） */
+declare function $getSuperObj(thisVal: Abs, key: Abs): Abs;
 declare function $thisGet(thisVal: Abs, key: string): Abs;
 declare function $thisSet(thisVal: Abs, key: string, value: Abs): Abs;
 /** 解构默认值：undefined（含 sum 成员 / 可能缺失）时用 default 并入非 undefined 部分 */
@@ -675,4 +744,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, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $isBreakTo, $isForkExit, $iterCheck, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $removeNullish, $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, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $removeNull, $removeNullish, $removeUndefined, $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

@@ -39,6 +39,8 @@ import {
   $ge,
   $gen,
   $get,
+  $getSuper,
+  $getSuperObj,
   $gt,
   $idx,
   $idxSet,
@@ -48,6 +50,8 @@ import {
   $instanceofNonIdent,
   $invoke,
   $invokeSuper,
+  $invokeSuperKey,
+  $invokeSuperObj,
   $isBreakTo,
   $isForkExit,
   $iterCheck,
@@ -61,6 +65,7 @@ import {
   $lt,
   $mod,
   $mul,
+  $narrowTypeOf,
   $ne,
   $neLoose,
   $neg,
@@ -70,6 +75,7 @@ import {
   $nullishTest,
   $obj,
   $objAccessor,
+  $objAccessorKey,
   $objRest,
   $optionalGet,
   $optionalInvoke,
@@ -80,7 +86,9 @@ import {
   $reStateCall,
   $recordBinding,
   $regex,
+  $removeNull,
   $removeNullish,
+  $removeUndefined,
   $rethrowIfNudoReturn,
   $set,
   $setKey,
@@ -184,7 +192,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-FEGOCPGH.js";
+} from "./chunk-JVUHIUFN.js";
 export {
   $absVal,
   $add,
@@ -225,6 +233,8 @@ export {
   $ge,
   $gen,
   $get,
+  $getSuper,
+  $getSuperObj,
   $gt,
   $idx,
   $idxSet,
@@ -234,6 +244,8 @@ export {
   $instanceofNonIdent,
   $invoke,
   $invokeSuper,
+  $invokeSuperKey,
+  $invokeSuperObj,
   $isBreakTo,
   $isForkExit,
   $iterCheck,
@@ -247,6 +259,7 @@ export {
   $lt,
   $mod,
   $mul,
+  $narrowTypeOf,
   $ne,
   $neLoose,
   $neg,
@@ -256,6 +269,7 @@ export {
   $nullishTest,
   $obj,
   $objAccessor,
+  $objAccessorKey,
   $objRest,
   $optionalGet,
   $optionalInvoke,
@@ -266,7 +280,9 @@ export {
   $reStateCall,
   $recordBinding,
   $regex,
+  $removeNull,
   $removeNullish,
+  $removeUndefined,
   $rethrowIfNudoReturn,
   $set,
   $setKey,

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { c as AstEnv, A as Abs, b as Phi, T as Term, O as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, Q as HofSite, U as AbsModuleExports, V as RunTranspiledOptions } from './run-CDaGIWH_.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-CDaGIWH_.js';
+import { c as AstEnv, A as Abs, b as Phi, T as Term, O as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, Q as HofSite, U as AbsModuleExports, V as RunTranspiledOptions } from './run-DbDRo5z6.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-DbDRo5z6.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-CTpsYz6K.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 InterfaceDiag, I as InterfaceSource, K as InterfaceTierInfo, a as InterfaceTierOpts, O as NamedImport, Q as NudoField, R as NudoFnConstraint, S as NudoSidecarError, T as NudoSig, U as RefineDiag, V as RefineEntry, W as RefineResolveOpts, X as SELF, Y as actionsForIssue, Z as andC, _ as any, $ as array, a0 as boolean, a1 as checkArg, a2 as checkCall, a3 as constraintAdmitsNullish, a4 as constraintToEntryAbs, a5 as drainPromiseMicros, a6 as effectiveInterface, a7 as enterPromiseExecutorScope, a8 as evalPromiseCtor, a9 as evalPromiseMethod, aa as evalPromiseStatic, ab as execNudoModule, ac as extractDeclaredThrows, ad as extractFnBudget, ae as extractNudoImports, af as extractRefineReturnFromSource, ag as extractRefinesFromSource, ah as fn, ai as fnConstraintToEntryReqs, aj as formatCheckReport, ak as formatConstraint, al as formatDiagnostics, am as formatEffectiveInterfaceDisplay, an as formatGithubAnnotations, ao as formatGitlabCodeQuality, ap as formatInterfaceTierLine, aq as generatedExportNames, ar as getParseSourceCacheSize, as as getTerm, at as instantiateConstraint, au as interfaceDiagCount, av as interfaceSourceOf, aw as interfaceTierOf, ax as isIntFlag, ay as isNodeModulesPath, az as isNudoConstraint, aA as leavePromiseExecutorScope, aB as lenTerm, aC as litC, aD as localNamedExports, aE as notePromiseExecutorFork, aF as nullable, aG as number, aH as omit, aI as partial, aJ as pick, aK as queuePromiseMicro, aL as refineDiagCount, aM as refineToIndexedFull, aN as resetNudoModuleExecCache, aO as resetParseSourceCache, aP as resetSidecarLoadFailureCache, aQ as serializeCheckJson, aR as serializeCheckJsonMulti, aS as setInterfaceDiagCollector, aT as setRefineDiagCollector, aU as shape, aV as sidecarClosureFingerprint, aW as sidecarPathOf, aX as string, aY as takeInterfaceDiags, aZ as takeInterfaceDiagsSince, a_ as takeRefineDiags, a$ as takeRefineDiagsSince, b0 as throwConstraintToKinds, b1 as union } from './projection-budget-CTpsYz6K.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-CtwnzYLG.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 InterfaceDiag, I as InterfaceSource, K as InterfaceTierInfo, a as InterfaceTierOpts, O as NamedImport, Q as NudoField, R as NudoFnConstraint, S as NudoSidecarError, T as NudoSig, U as RefineDiag, V as RefineEntry, W as RefineResolveOpts, X as SELF, Y as actionsForIssue, Z as andC, _ as any, $ as array, a0 as boolean, a1 as checkArg, a2 as checkCall, a3 as constraintAdmitsNullish, a4 as constraintToEntryAbs, a5 as drainPromiseMicros, a6 as effectiveInterface, a7 as enterPromiseExecutorScope, a8 as evalPromiseCtor, a9 as evalPromiseMethod, aa as evalPromiseStatic, ab as execNudoModule, ac as extractDeclaredThrows, ad as extractFnBudget, ae as extractNudoImports, af as extractRefineReturnFromSource, ag as extractRefinesFromSource, ah as fn, ai as fnConstraintToEntryReqs, aj as formatCheckReport, ak as formatConstraint, al as formatDiagnostics, am as formatEffectiveInterfaceDisplay, an as formatGithubAnnotations, ao as formatGitlabCodeQuality, ap as formatInterfaceTierLine, aq as generatedExportNames, ar as getParseSourceCacheSize, as as getTerm, at as instantiateConstraint, au as interfaceDiagCount, av as interfaceSourceOf, aw as interfaceTierOf, ax as isIntFlag, ay as isNodeModulesPath, az as isNudoConstraint, aA as leavePromiseExecutorScope, aB as lenTerm, aC as litC, aD as localNamedExports, aE as notePromiseExecutorFork, aF as nullable, aG as number, aH as omit, aI as partial, aJ as pick, aK as queuePromiseMicro, aL as refineDiagCount, aM as refineToIndexedFull, aN as resetNudoModuleExecCache, aO as resetParseSourceCache, aP as resetSidecarLoadFailureCache, aQ as serializeCheckJson, aR as serializeCheckJsonMulti, aS as setInterfaceDiagCollector, aT as setRefineDiagCollector, aU as shape, aV as sidecarClosureFingerprint, aW as sidecarPathOf, aX as string, aY as takeInterfaceDiags, aZ as takeInterfaceDiagsSince, a_ as takeRefineDiags, a$ as takeRefineDiagsSince, b0 as throwConstraintToKinds, b1 as union } from './projection-budget-CtwnzYLG.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';
 
 /**

package/dist/index.js

@@ -91,7 +91,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-CRDJOFM6.js";
+} from "./chunk-4WVYY2KS.js";
 import {
   $add,
   $arguments,
@@ -513,7 +513,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-FEGOCPGH.js";
+} from "./chunk-JVUHIUFN.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -2365,7 +2365,10 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       ...isEntry ? { entry: true } : {}
     });
     const unknownParamIdx = g.typeParams.findIndex(
-      (t) => t.value && t.value.shape.k === "unknown"
+      // Bug 22/24 同口径：unknown 形状 + lit term（undefAbs / 契约 lit(null)·
+      // lit(undefined) 成员）是有值证据，不是引擎债——与 symbolicTrueUnknown
+      // 的排除一致。
+      (t) => t.value && t.value.shape.k === "unknown" && t.value.term?.op !== "lit"
     );
     const budgetExplained = truncated.has(name) || g.symbolic?.conf === "opaque" || g.symbolic?.shape?.k === "sum" && g.symbolic.shape.members.every((m) => m.shape.k === "unknown" || m.shape.k === "any");
     const symbolicTrueUnknown = g.symbolic?.shape?.k === "unknown" && g.symbolic.term?.op !== "lit";

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-CTpsYz6K.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-CTpsYz6K.js';
-import { A as Abs, T as Term, c as AstEnv } from './run-CDaGIWH_.js';
-export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, f as EvalFallbackStats, M as MayThrowEffect, g as absLit, h as absNumLit, i as absStrLit, j as allAbsStr, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, n as errorTypeAbs, o as exitEvalCallBudgetSession, p as filterDeclaredThrows, q as filterGateThrows, r as filterIgnoredThrows, s as flushMayThrowEffects, t as formatThrowsAbs, u as getEvalCallBudgetState, v as getEvalFallbackStats, w as getMayThrowCollector, x as isThrowsIgnored, y as mayThrowEffectsToAbs, z as orphanMayThrowEffects, B as popMayThrowFrame, D as pushMayThrowFrame, F as recordMayThrow, G as resetEvalFallbackStats, H as runWithMayThrowSession, I as setMayThrowCollector, J as throwAbsToKinds, K as throwsKindCovered, N as withEvalBudgetOverride } from './run-CDaGIWH_.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-CtwnzYLG.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-CtwnzYLG.js';
+import { A as Abs, T as Term, c as AstEnv } from './run-DbDRo5z6.js';
+export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, f as EvalFallbackStats, M as MayThrowEffect, g as absLit, h as absNumLit, i as absStrLit, j as allAbsStr, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, n as errorTypeAbs, o as exitEvalCallBudgetSession, p as filterDeclaredThrows, q as filterGateThrows, r as filterIgnoredThrows, s as flushMayThrowEffects, t as formatThrowsAbs, u as getEvalCallBudgetState, v as getEvalFallbackStats, w as getMayThrowCollector, x as isThrowsIgnored, y as mayThrowEffectsToAbs, z as orphanMayThrowEffects, B as popMayThrowFrame, D as pushMayThrowFrame, F as recordMayThrow, G as resetEvalFallbackStats, H as runWithMayThrowSession, I as setMayThrowCollector, J as throwAbsToKinds, K as throwsKindCovered, N as withEvalBudgetOverride } from './run-DbDRo5z6.js';
 import { File, Node } from '@babel/types';
 
 /**

package/dist/internal.js

@@ -21,7 +21,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-CRDJOFM6.js";
+} from "./chunk-4WVYY2KS.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-FEGOCPGH.js";
+} from "./chunk-JVUHIUFN.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/dist/{projection-budget-CTpsYz6K.d.ts → projection-budget-CtwnzYLG.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-CDaGIWH_.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-DbDRo5z6.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;

package/dist/{run-CDaGIWH_.d.ts → run-DbDRo5z6.d.ts}

@@ -324,7 +324,11 @@ declare function $tryDigestSoft(): void;
 declare function $tryReleaseSoft(): MayThrowEffect[];
 declare function flushMayThrowEffects(effects: MayThrowEffect[]): void;
 declare function recordMayThrow(e: MayThrowEffect): void;
-/** throws 类型名 → Abs（brand Error 形态，formatShape 打出名字） */
+/** throws 类型名 → Abs（brand Error 形态，formatShape 打出名字）。
+ *  内层 obj 带 name/message 槽（Bug 6）：catch 形参 `e.name`/`e.message`
+ *  经 $get brand→inner 槽读取折精确值——name 是品牌名（静态可知），
+ *  message 内容宿主特定 → 保守 string 域（与 builtins/error.ts
+ *  errorBrandAbs 同口径）。 */
 declare function errorTypeAbs(name: string): Abs;
 /** 效果集 → throws Abs（never = 无 may-throw） */
 declare function mayThrowEffectsToAbs(effects: MayThrowEffect[]): Abs;

package/package.json

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