@nudojs/core 1.1.4 → 1.2.2

package/dist/{index-D4rnOHre.d.ts → index-BNiZvVHw.d.ts}

@@ -1,16 +1,16 @@
-import { A as Abs, M as MayThrowEffect, b as Phi, c as AstEnv } from './hof-types-tAeoYvzY.js';
+import { A as Abs, M as MayThrowEffect, b as Phi, c as AstEnv } from './hof-types-DqDpAxfh.js';
 import * as _babel_types from '@babel/types';
 import { Node, Expression, File, ImportDeclaration } from '@babel/types';
 
 /**
- * B 路径 throw 载荷（独立叶子模块）：
+ * 求值引擎 throw 载荷（独立叶子模块）：
  * builtins.ts（evalJsonMethod 等 Abs builtin）需要硬抛 TypeError/SyntaxError，
  * 而 exec/runtime.ts 又 import builtins.ts（evalNamespaceCall 等）——
  * 直接互引成环。NudoThrow 无依赖（仅 Abs 类型 + Error），抽成叶子，
  * runtime.ts re-export 保持既有 import 面不变。
  */
 
-/** B 路径 throw 载荷：携带 Abs 抛出值 */
+/** 求值引擎 throw 载荷：携带 Abs 抛出值 */
 declare class NudoThrow extends Error {
     readonly absValue: Abs;
     constructor(absValue: Abs);
@@ -18,7 +18,7 @@ declare class NudoThrow extends Error {
 declare function isNudoThrow(e: unknown): e is NudoThrow;
 
 /**
- * B 路径运行时共享状态：phi、就地写、字面量 Abs、真值、循环信号。
+ * 求值引擎运行时共享状态：phi、就地写、字面量 Abs、真值、循环信号。
  * 叶子模块——不依赖 runtime 其它文件（tuple/obj 字面量就地构造，避免 state↔containers 环）。
  */
 
@@ -28,7 +28,7 @@ declare function currentExecPhi(): Phi;
 declare function withExecPhi<T>(p: Phi, body: () => T): T;
 /**
  * transpile 泄漏的 JS 函数值 → 一等 fn Abs。
- * B 路径把函数声明/表达式编译成真实 JS 函数；它们流进对象槽、
+ * 求值引擎把函数声明/表达式编译成真实 JS 函数；它们流进对象槽、
  * 元组、join 等 Abs 结构时不能裸存——下游（bridge/leq/join）读 `.shape`。
  * 参数名无法从运行时函数恢复（用 fn.length → argN，与 analyzer 的
  * extractParamNames 回退口径一致）；带真实参数名走 $fnVal（transpile 侧）。
@@ -36,7 +36,7 @@ declare function withExecPhi<T>(p: Phi, body: () => T): T;
 declare function asAbsVal(v: unknown): Abs;
 /**
  * 函数调用边界：callee 的 loop/early-return 不得冒泡成 caller 结果。
- * 每个 B 路径调用帧独立 ALS；NudoReturn 收成该调用的返回值。
+ * 每个 求值引擎调用帧独立 ALS；NudoReturn 收成该调用的返回值。
  */
 declare function callAtFunctionBoundary<T>(body: () => T): T;
 /** 函数表达式 → 一等 fn Abs（transpile 侧带真实参数名；异步 body 包 $async）
@@ -47,7 +47,7 @@ declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs, opts?:
 /**
  * 宿主 this → Abs：函数体 prologue 用它承接 call/apply/bind 传入的 thisArg。
  * Abs 原样返回；宿主 undefined（普通调用/call 缺 thisArg）→ $lit(undefined)。
- * B 路径产物是 new Function 拼接（sloppy），裸调用的宿主 this 泄漏为
+ * 求值引擎产物是 new Function 拼接（sloppy），裸调用的宿主 this 泄漏为
  * globalThis——归一到 $lit(undefined)（strict 模块语义下的 this）。
  */
 declare function $rawThis(v: unknown): Abs;
@@ -91,7 +91,7 @@ declare function $tryDiscardSoft(_effects: MayThrowEffect[]): void;
 declare function $tryOrphanSoft(effects: MayThrowEffect[]): void;
 /** 无 handler / 出口：上浮未消化 soft may-throw（幂等） */
 declare function $tryReleaseSoftOut(): void;
-/** B 路径「函数提前 return」信号（区别于 throw） */
+/** 求值引擎「函数提前 return」信号（区别于 throw） */
 declare class NudoReturn extends Error {
     readonly absValue: Abs;
     constructor(absValue: Abs);
@@ -141,6 +141,12 @@ declare function $shr(a: Abs, b: Abs): Abs;
 declare function $ushr(a: Abs, b: Abs): Abs;
 declare function $pow(a: Abs, b: Abs): Abs;
 declare function $toNumber(a: Abs): Abs;
+/** ToNumeric（UpdateExpression）：number|bigint，bigint 保持 */
+declare function $toNumeric(a: Abs): Abs;
+/** UpdateExpression `old+1`：ToNumeric 后按 numeric type 加 1（无 string concat） */
+declare function $updateAdd(a: Abs): Abs;
+/** UpdateExpression `old-1` */
+declare function $updateSub(a: Abs): Abs;
 declare function $neg(a: Abs): Abs;
 declare function $typeof(a: Abs): Abs;
 declare function $not(a: Abs): Abs;
@@ -297,8 +303,15 @@ declare function $idx(a: Abs, i: Abs): Abs;
 declare function $idxSet(a: Abs, i: Abs, value: Abs): Abs;
 /** 数组/字符串长度 */
 declare function $len(a: Abs): Abs;
-/** 对象字面量 → Abs obj */
+/** 对象字面量 → Abs obj（槽位写走 setSlot，`__proto__` 不踩宿主 setter） */
 declare function $obj(slots: Record<string, Abs>): Abs;
+/**
+ * 对象字面量非计算 `__proto__: v` 的特殊原型设定（ES PropertyDefinition）。
+ * - v 为 null → null-proto（无 Object.prototype 回退）
+ * - v 为 object → 保守 open（继承读不折 exact undefined；细节不建模）
+ * - v 为 primitive → 原生忽略（无自有键、不改原型）
+ */
+declare function $setProto(o: Abs, proto: Abs): Abs;
 /** 对象展开 { ...a, b } */
 declare function $spread(a: Abs, b: Abs): Abs;
 /**
@@ -343,7 +356,7 @@ declare function $get(o: Abs, key: string, opts?: {
 }): Abs;
 /**
  * Map/Set forEach：条目表逐条调用回调（value, key, recv）。
- * 回调是 B 路径 JS 函数（transpile 内联箭头）直接调用；Abs fn 走 $call。
+ * 回调是 求值引擎 JS 函数（transpile 内联箭头）直接调用；Abs fn 走 $call。
  * 回调返回值丢弃；forEach 表达式值恒 undefined。
  */
 declare function $collectionForEach(recv: Abs, cb: unknown): Abs | undefined;
@@ -457,7 +470,7 @@ declare function transpileBodyNode(node: Node, opts: TranspileOptions): string;
 declare function transpileExpression(expr: Expression, opts?: TranspileOptions): string;
 
 /**
- * B 路径 transpile：JS AST → 可在 Node 上执行的抽象值程序（源码字符串）。
+ * 求值引擎 transpile：JS AST → 可在 Node 上执行的抽象值程序（源码字符串）。
  * 运算符改为 $add/$sub/…；if 改为 $fork；for 改为 $for。
  * 值类型是 Abs；副作用与模块仍由 host mock/注入。
  *
@@ -474,7 +487,7 @@ declare function transpile(source: string, opts?: TranspileOptions): string;
 
 /**
  * 调用 Abs 一等函数（absFunction impl）或 mock apply。
- * 供 B 路径 import 绑定包装：`(...args) => $call(absFn, args)`。
+ * 供 求值引擎 import 绑定包装：`(...args) => $call(absFn, args)`。
  *
  * 统一顺序：apply → body → relation → isRelFn（委托 applyAbsFn）。
  * 行为对齐说明（与旧 $call 的差异，均属刻意）：
@@ -490,11 +503,11 @@ declare function $call(fn: Abs, args: Abs[], thisVal?: Abs): Abs;
  * Abs-eval registerClassDecl 与 transpile $class 共用。
  */
 
-type BClassAccessor = {
+type EvalClassAccessor = {
     get?: (thisVal: Abs) => Abs;
     set?: (thisVal: Abs, v: Abs) => Abs;
 };
-type BClassSpec = {
+type EvalClassSpec = {
     name: string;
     superName?: string;
     ctor?: (thisVal: Abs, ...args: Abs[]) => Abs;
@@ -506,12 +519,12 @@ type BClassSpec = {
     staticMethodParams?: Record<string, string[]>;
     statics?: Record<string, Abs>;
     /** 实例 get/set：get 无参返回 Abs；set 收到 (thisVal, v) 返回更新后的 thisVal */
-    accessors?: Record<string, BClassAccessor>;
+    accessors?: Record<string, EvalClassAccessor>;
     /** 静态 get/set：挂在类构造器上，不在实例原型链 */
-    staticAccessors?: Record<string, BClassAccessor>;
+    staticAccessors?: Record<string, EvalClassAccessor>;
 };
-declare function registerBClass(spec: BClassSpec): void;
-declare function getBClass(name: string): BClassSpec | undefined;
+declare function registerEvalClass(spec: EvalClassSpec): void;
+declare function getEvalClass(name: string): EvalClassSpec | undefined;
 declare function clearBClasses(): void;
 
 /**
@@ -526,12 +539,12 @@ declare function clearBClasses(): void;
 declare function $reStateCall(re: Abs, method: string, args: Abs[]): Abs;
 
 /**
- * B 路径 class：brand 实例 + ctor/method 闭包 + 继承链。
+ * 求值引擎 class：brand 实例 + ctor/method 闭包 + 继承链。
  * 方法内 this 由 transpile 改写为 thisVal 参数。
  */
 
 /** 定义类 → 可 new 的 Abs（brand 标记；静态字段挂在 slots） */
-declare function $class(name: string, spec: Omit<BClassSpec, "name"> & {
+declare function $class(name: string, spec: Omit<EvalClassSpec, "name"> & {
     extends?: string | Abs | unknown;
 }): Abs;
 /** new C(...) → 空 brand 实例 + ctor 写字段；非类构造走 impl/$call */
@@ -560,12 +573,12 @@ declare function $staticInvoke(cls: Abs, method: string, args: Abs[]): Abs;
 declare function $setKey(o: Abs, key: Abs, value: Abs): Abs;
 
 /**
- * B 路径调用点记录：transpile 把 `f(args)` 改成 $callNamed，
+ * 求值引擎调用点记录：transpile 把 `f(args)` 改成 $callNamed，
  * 分析时可收集 call@ 所需的 AbsCallRecord。
  * 成员缺失诊断见 member-diag.ts（共用，避免循环依赖）。
  */
 
-type BCallRecord = {
+type EvalCallRecord = {
     fnName: string;
     args: Abs[];
     result: Abs;
@@ -576,7 +589,7 @@ type BCallRecord = {
     threw?: boolean;
 };
 /** B 赋值记录（与 ast-records.ts AbsAssignRecord 同形；structuralAssignIssues 消费） */
-type BAbsAssignRecord = {
+type EvalAbsAssignRecord = {
     name: string;
     prev: Abs | undefined;
     next: Abs;
@@ -585,29 +598,29 @@ type BAbsAssignRecord = {
     conditional?: boolean;
 };
 /** 返回先前 collector，便于嵌套调用 save/restore（禁止 finally 置 null 砸外层） */
-declare function setBAssignCollector(collector: ((r: BAbsAssignRecord) => void) | null): ((r: BAbsAssignRecord) => void) | 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;
-declare function setBBindingSink(sink: Map<string, unknown> | null): void;
+declare function setEvalBindingSink(sink: Map<string, unknown> | null): void;
 /** 顶层绑定记录（transpile 插桩调用） */
 declare function $recordBinding(name: string, value: unknown): void;
 /** 返回先前 collector，便于嵌套调用 save/restore（禁止 finally 置 null 砸外层） */
 /** 成员/方法调用点打点（$invoke 等；无收集器时 no-op）。不进 $callNamed 预算。 */
-declare function noteBCallRecord(r: BCallRecord): void;
-declare function setBCallCollector(collector: ((r: BCallRecord) => void) | null): ((r: BCallRecord) => void) | null;
-declare function getBCallCollector(): ((r: BCallRecord) => void) | null;
+declare function noteEvalCallRecord(r: EvalCallRecord): void;
+declare function setEvalCallCollector(collector: ((r: EvalCallRecord) => void) | null): ((r: EvalCallRecord) => void) | null;
+declare function getEvalCallCollector(): ((r: EvalCallRecord) => void) | null;
 /**
  * 按名调用并记录。
  * loc: [line, column]（1-based line，0-based column，与 Babel 一致）
  * argLocs: 与 args 对齐的实参字面量源位置（provenance；无 loc 用 null）
  */
-declare const MAX_B_CALL_DEPTH = 64;
+declare const MAX_EVAL_CALL_DEPTH = 64;
 /** 总调用上限：与 call-budget.MAX_TOTAL_CALLS 同阀（递归×循环×分支展开的
  *  规模阀）。200k 在病态展开（lodash _baseFlatten）下 ~30s，20k 收口到
  *  ~3s——截断 → opaque（更保守，zero-FP 安全）。 */
-declare const MAX_B_TOTAL_CALLS = 20000;
+declare const MAX_EVAL_TOTAL_CALLS = 20000;
 /** 宿主入口（runTranspiled / callTranspiledExportFull）前重置 */
-declare function resetBCallBudget(): void;
+declare function resetEvalCallBudget(): void;
 declare function $callNamed(name: string, fn: unknown, args: Abs[], loc?: [number, number], argLocs?: Array<[number, number] | null | undefined>): Abs;
 
 /**
@@ -667,11 +680,11 @@ declare function runTranspiledOptionsMemoKey(opts: RunTranspiledOptions | undefi
 declare const RUNTIME_IMPORT_RE: RegExp;
 declare function bindingsOf(run: Record<string, unknown>): Map<string, unknown> | undefined;
 /**
- * 执行一段 B 路径程序，返回顶层 `export function` / `export const`。
+ * 执行一段 求值引擎程序，返回顶层 `export function` / `export const`。
  */
 declare function runTranspiled(source: string, opts?: RunTranspiledOptions): Record<string, unknown>;
-/** B-path 回落事件（观测单一埋点；reason: unsupported:* = 能力边界，internal = B 自身缺陷） */
-type BPathFallback = {
+/** evaluator 回落事件（观测单一埋点；reason: unsupported:* = 能力边界，internal = 引擎自身缺陷） */
+type EvalFallback = {
     reason: string;
     message: string;
     loc?: {
@@ -679,13 +692,13 @@ type BPathFallback = {
         column: number;
     };
 };
-declare function setBPathFallbackCollector(collector: ((f: BPathFallback) => void) | null): void;
+declare function setEvalFallbackCollector(collector: ((f: EvalFallback) => void) | null): void;
 /** 表达式级求值（scan 的 case 字面量实参等静态求值面）：编译单表达式经
- *  B 运行时执行。bindings：表达式自由标识符 → Abs（调用方按绑定表注入）。
+ *  eval 运行时执行。bindings：表达式自由标识符 → Abs（调用方按绑定表注入）。
  *  编译失败抛错（调用方按需 catch）。 */
 declare function evalExprAbs(expr: _babel_types.Expression, bindings?: Record<string, Abs>): Abs;
 /** 记录一次 B 回落（body-fn 等非 runTranspiled 入口共用） */
-declare function noteBPathFallback(e: unknown): void;
+declare function noteEvalFallback(e: unknown): void;
 /**
  * B 单一入口：runTranspiled + 类型化回落观测。
  * unsupported:*（能力边界）/ internal（B 缺陷）都记录到收集器；
@@ -698,7 +711,7 @@ type TranspiledCallResult = {
     throws: Abs;
 };
 /** 调用 runTranspiled 导出（捕获 $throw）。opts.phi：入口 Φ 种子
- *  （instantiate/symbolic 的约束入口——B 侧路径条件收窄）。 */
+ *  （instantiate/symbolic 的约束入口——eval 侧路径条件收窄）。 */
 declare function callTranspiledExportFull(exports: Record<string, unknown>, name: string, args: Abs[], opts?: {
     phi?: Phi;
 }): TranspiledCallResult;
@@ -709,7 +722,7 @@ declare function callTranspiledExport(exports: Record<string, unknown>, name: st
  * 转译器无法正确 lowering 的构造：抛此错误（替代静默降级注释）。
  * 消费方（tryRunTranspiled / body-fn）捕获后记录并 fail-closed
  * 结构化回落理由（unsupported:*）——能力知识单一事实源在转译点，
- * 不再依赖带外的 isBPathCapable 清单。
+ * 不再依赖带外的 isEvalCapable 清单。
  */
 declare class NudoUnsupportedError extends Error {
     readonly reason: string;
@@ -723,4 +736,4 @@ declare class NudoUnsupportedError extends Error {
     });
 }
 
-export { $add as $, type AbsModuleExports as A, $eq as B, $eqLoose as C, $fnVal as D, $for as E, $forInKeys as F, $forIter as G, $forOf as H, $fork as I, $ge as J, $gen as K, $get as L, $gt as M, $idx as N, $idxSet as O, $importMeta as P, $in as Q, type RunTranspiledOptions as R, $instanceof as S, $instanceofNonIdent as T, $invoke as U, $invokeSuper as V, $isBreakTo as W, $isForkExit as X, $join as Y, $le as Z, $len as _, $arguments as a, NudoReturn as a$, $lit as a0, $loopBreak as a1, $loopContinue as a2, $loopReturn as a3, $lt as a4, $mod as a5, $mul as a6, $ne as a7, $neLoose as a8, $neg as a9, $thisSet as aA, $throw as aB, $toNumber as aC, $tryCurrentMark as aD, $tryDetachSoftCatch as aE, $tryDigestSoftCatch as aF, $tryDiscardSoft as aG, $tryMark as aH, $tryOrphanSoft as aI, $tryPopMark as aJ, $tryReleaseSoftCatch as aK, $tryReleaseSoftOut as aL, $tryTakeSince as aM, $typeof as aN, $unknown as aO, $ushr as aP, $while as aQ, $whileSeq as aR, $yield as aS, type BAbsAssignRecord as aT, type BCallRecord as aU, type BClassSpec as aV, type BPathFallback as aW, DEFAULT_MAX_LOOP_ITERS as aX, MAX_B_CALL_DEPTH as aY, MAX_B_TOTAL_CALLS as aZ, NudoLoopSignal as a_, $new as aa, $not as ab, $nullishTest as ac, $obj as ad, $objAccessor as ae, $objRest as af, $optionalGet as ag, $optionalInvoke as ah, $orDefault as ai, $pow as aj, $pushLoopExit as ak, $rawThis as al, $reStateCall as am, $recordBinding as an, $regex as ao, $rethrowIfNudoReturn as ap, $set as aq, $setKey as ar, $shl as as, $shr as at, $spread as au, $staticInvoke as av, $sub as aw, $super as ax, $switch as ay, $thisGet as az, $arr as b, NudoThrow as b0, NudoUnsupportedError as b1, RUNTIME_IMPORT_RE as b2, type TranspileOptions as b3, type TranspiledCallResult as b4, asAbsVal as b5, bindImports as b6, bindingsOf as b7, callAtFunctionBoundary as b8, callTranspiledExport as b9, resetBCallBudget as bA, runTranspiled as bB, runTranspiledOptionsMemoKey as bC, runWithLoopExits as bD, runtimeImportOf as bE, setBAssignCollector as bF, setBBindingSink as bG, setBCallCollector as bH, setBPathFallbackCollector as bI, takeLoopExits as bJ, takeThrowExits as bK, transpile as bL, transpileBodyNode as bM, transpileExpression as bN, transpileFile as bO, transpileSource as bP, tryRunTranspiled as bQ, withExecPhi as bR, callTranspiledExportFull as ba, clearBClasses as bb, clearStaleTermPred as bc, collectAbsExports as bd, currentExecPhi as be, evalExprAbs as bf, fillTuple as bg, foldRequireSpecArg as bh, foldStaticStringExpr as bi, getBCallCollector as bj, getBClass as bk, isArrMutator as bl, isDefinitelyFalse as bm, isDefinitelyTrue as bn, isNudoBreak as bo, isNudoContinue as bp, isNudoReturn as bq, isNudoThrow as br, litTruth as bs, lookupObjAccessor as bt, namespaceNameOf as bu, noteBCallRecord as bv, noteBPathFallback as bw, pushLoopExit as bx, pushThrowExit as by, registerBClass as bz, $arrMutContainer as c, $arrRest as d, $arrWithHoles as e, $assignRecord as f, $async as g, $asyncReturn as h, $await as i, $bitand as j, $bitnot as k, $bitor as l, $bitxor as m, $call as n, $callNamed as o, $catchVal as p, $class as q, $classExpr as r, $collectionForEach as s, $concat as t, $copy as u, $del as v, $delRes as w, $div as x, $dynamicImport as y, $elems as z };
+export { $add as $, type AbsModuleExports as A, $eq as B, $eqLoose as C, $fnVal as D, $for as E, $forInKeys as F, $forIter as G, $forOf as H, $fork as I, $ge as J, $gen as K, $get as L, $gt as M, $idx as N, $idxSet as O, $importMeta as P, $in as Q, type RunTranspiledOptions as R, $instanceof as S, $instanceofNonIdent as T, $invoke as U, $invokeSuper as V, $isBreakTo as W, $isForkExit as X, $join as Y, $le as Z, $len as _, $arguments as a, MAX_EVAL_CALL_DEPTH as a$, $lit as a0, $loopBreak as a1, $loopContinue as a2, $loopReturn as a3, $lt as a4, $mod as a5, $mul as a6, $ne as a7, $neLoose as a8, $neg as a9, $thisSet as aA, $throw as aB, $toNumber as aC, $toNumeric as aD, $tryCurrentMark as aE, $tryDetachSoftCatch as aF, $tryDigestSoftCatch as aG, $tryDiscardSoft as aH, $tryMark as aI, $tryOrphanSoft as aJ, $tryPopMark as aK, $tryReleaseSoftCatch as aL, $tryReleaseSoftOut as aM, $tryTakeSince as aN, $typeof as aO, $unknown as aP, $updateAdd as aQ, $updateSub as aR, $ushr as aS, $while as aT, $whileSeq as aU, $yield as aV, DEFAULT_MAX_LOOP_ITERS as aW, type EvalAbsAssignRecord as aX, type EvalCallRecord as aY, type EvalClassSpec as aZ, type EvalFallback as a_, $new as aa, $not as ab, $nullishTest as ac, $obj as ad, $objAccessor as ae, $objRest as af, $optionalGet as ag, $optionalInvoke as ah, $orDefault as ai, $pow as aj, $pushLoopExit as ak, $rawThis as al, $reStateCall as am, $recordBinding as an, $regex as ao, $rethrowIfNudoReturn as ap, $set as aq, $setKey as ar, $shl as as, $shr as at, $spread as au, $staticInvoke as av, $sub as aw, $super as ax, $switch as ay, $thisGet as az, $arr as b, MAX_EVAL_TOTAL_CALLS as b0, NudoLoopSignal as b1, NudoReturn as b2, NudoThrow as b3, NudoUnsupportedError as b4, RUNTIME_IMPORT_RE as b5, type TranspileOptions as b6, type TranspiledCallResult as b7, asAbsVal as b8, bindImports as b9, pushLoopExit as bA, pushThrowExit as bB, registerEvalClass as bC, resetEvalCallBudget as bD, runTranspiled as bE, runTranspiledOptionsMemoKey as bF, runWithLoopExits as bG, runtimeImportOf as bH, setEvalAssignCollector as bI, setEvalBindingSink as bJ, setEvalCallCollector as bK, setEvalFallbackCollector as bL, takeLoopExits as bM, takeThrowExits as bN, transpile as bO, transpileBodyNode as bP, transpileExpression as bQ, transpileFile as bR, transpileSource as bS, tryRunTranspiled as bT, withExecPhi as bU, $setProto as bV, bindingsOf as ba, callAtFunctionBoundary as bb, callTranspiledExport as bc, callTranspiledExportFull as bd, clearBClasses as be, clearStaleTermPred as bf, collectAbsExports as bg, currentExecPhi as bh, evalExprAbs as bi, fillTuple as bj, foldRequireSpecArg as bk, foldStaticStringExpr as bl, getEvalCallCollector as bm, getEvalClass as bn, isArrMutator as bo, isDefinitelyFalse as bp, isDefinitelyTrue as bq, isNudoBreak as br, isNudoContinue as bs, isNudoReturn as bt, isNudoThrow as bu, litTruth as bv, lookupObjAccessor as bw, namespaceNameOf as bx, noteEvalCallRecord as by, noteEvalFallback as bz, $arrMutContainer as c, $arrRest as d, $arrWithHoles as e, $assignRecord as f, $async as g, $asyncReturn as h, $await as i, $bitand as j, $bitnot as k, $bitor as l, $bitxor as m, $call as n, $callNamed as o, $catchVal as p, $class as q, $classExpr as r, $collectionForEach as s, $concat as t, $copy as u, $del as v, $delRes as w, $div as x, $dynamicImport as y, $elems as z };

package/dist/index.d.ts

@@ -1,16 +1,16 @@
-import { c as AstEnv, A as Abs, b as Phi, C as Confidence, T as Term, H as HofCollectCtx, S as Shape, a as Pred, R as RelSource, w as HofSite } from './hof-types-tAeoYvzY.js';
-export { I as ImplicationOracle, L as LiteralValue, P as PrimName, x as TYPEOF_NAMES, y as TypeofName, z as abs, B as absToString, D as and, F as anyAbs, G as anyVar, J as app, K as bigintLit, N as bool, O as boolLit, Q as confJoin, U as emptyPhi, V as eq, W as ge, X as geNum, Y as getImplicationOracle, Z as gt, _ as gtNum, a0 as implies, a1 as isBigPrim, a2 as isExactLit, a3 as isNumPrim, a4 as isStrPrim, a5 as le, a6 as leNum, a7 as lit, a8 as litValue, a9 as lt, aa as ltNum, ab as ne, ac as negatePred, ad as never, ae as not, af as num, ag as numLit, ah as numVar, ai as obj, aj as or, ak as pFalse, al as pTrue, am as phiAnd, an as predEquals, ao as predToString, ap as predVars, aq as primToTypeof, ar as ptypeof, as as setImplicationOracle, at as shapeOfTerm, au as shapeToString, av as simplifyTerm, aw as str, ax as strLit, ay as substPred, az as termEquals, aA as termToString, aB as unknown, aC as v } from './hof-types-tAeoYvzY.js';
+import { c as AstEnv, A as Abs, b as Phi, C as Confidence, T as Term, H as HofCollectCtx, S as Shape, a as Pred, R as RelSource, w as HofSite } from './hof-types-DqDpAxfh.js';
+export { I as ImplicationOracle, L as LiteralValue, P as PrimName, x as TYPEOF_NAMES, y as TypeofName, z as abs, B as absToString, D as and, F as anyAbs, G as anyVar, J as app, K as bigintLit, N as bool, O as boolLit, Q as confJoin, U as emptyPhi, V as eq, W as ge, X as geNum, Y as getImplicationOracle, Z as gt, _ as gtNum, a0 as implies, a1 as isBigPrim, a2 as isExactLit, a3 as isNumPrim, a4 as isStrPrim, a5 as le, a6 as leNum, a7 as lit, a8 as litValue, a9 as lt, aa as ltNum, ab as ne, ac as negatePred, ad as never, ae as not, af as num, ag as numLit, ah as numVar, ai as obj, aj as or, ak as pFalse, al as pTrue, am as phiAnd, an as predEquals, ao as predToString, ap as predVars, aq as primToTypeof, ar as ptypeof, as as setImplicationOracle, at as shapeOfTerm, au as shapeToString, av as simplifyTerm, aw as str, ax as strLit, ay as substPred, az as termEquals, aA as termToString, aB as unknown, aC as v } from './hof-types-DqDpAxfh.js';
 import { Node } from '@babel/types';
-import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, i as CheckReport, N as NudoConstraint } from './check-report-AtnAfY9U.js';
-export { j as CheckAction, C as CheckIssue, k as CheckJson, o as CheckJsonMulti, q as ConstraintBuilder, D as Diagnostic, u as EffectiveInterface, G as GitlabCodeQualityIssue, v as InterfaceDiag, I as InterfaceSource, w as InterfaceTierInfo, a as InterfaceTierOpts, x as NamedImport, y as NudoField, z as NudoFnConstraint, A as NudoSidecarError, B as NudoSig, R as RefineDiag, F as RefineEntry, H as RefineResolveOpts, S as SELF, J as actionsForIssue, K as andC, M as any, O as array, P as boolean, Q as checkArg, T as checkCall, U as constraintToEntryAbs, V as effectiveInterface, W as execNudoModule, X as extractDeclaredThrows, Y as extractNudoImports, Z as extractRefineReturnFromSource, _ as extractRefinesFromSource, $ as fn, a0 as fnConstraintToEntryReqs, a1 as formatCheckReport, a2 as formatConstraint, a3 as formatDiagnostics, a4 as formatEffectiveInterfaceDisplay, a5 as formatGithubAnnotations, a6 as formatGitlabCodeQuality, a7 as formatInterfaceTierLine, a8 as generatedExportNames, a9 as getParseSourceCacheSize, aa as getTerm, ab as instantiateConstraint, ac as interfaceDiagCount, ad as interfaceSourceOf, ae as interfaceTierOf, af as isIntFlag, ag as isNodeModulesPath, ah as isNudoConstraint, ai as lenTerm, aj as litC, ak as localNamedExports, al as number, am as omit, an as partial, ao as pick, ap as refineDiagCount, aq as refineToIndexedFull, ar as resetNudoModuleExecCache, as as resetParseSourceCache, at as serializeCheckJson, au as serializeCheckJsonMulti, av as setInterfaceDiagCollector, aw as setRefineDiagCollector, ax as shape, ay as sidecarClosureFingerprint, az as sidecarPathOf, aA as string, aB as takeInterfaceDiags, aC as takeInterfaceDiagsSince, aD as takeRefineDiags, aE as takeRefineDiagsSince, aF as throwConstraintToKinds, aG as union } from './check-report-AtnAfY9U.js';
-import { A as AbsModuleExports, R as RunTranspiledOptions } from './index-D4rnOHre.js';
-export { $ as $add, a as $arguments, b as $arr, c as $arrMutContainer, d as $arrRest, e as $arrWithHoles, f as $assignRecord, g as $async, h as $asyncReturn, i as $await, j as $bitand, k as $bitnot, l as $bitor, m as $bitxor, n as $call, o as $callNamed, p as $catchVal, q as $class, r as $classExpr, s as $collectionForEach, t as $concat, u as $copy, v as $del, w as $delRes, x as $div, y as $dynamicImport, z as $elems, B as $eq, C as $eqLoose, D as $fnVal, E as $for, F as $forInKeys, G as $forIter, H as $forOf, I as $fork, J as $ge, K as $gen, L as $get, M as $gt, N as $idx, O as $idxSet, P as $importMeta, Q as $in, S as $instanceof, T as $instanceofNonIdent, U as $invoke, V as $invokeSuper, W as $isBreakTo, X as $isForkExit, Y as $join, Z as $le, _ as $len, a0 as $lit, a1 as $loopBreak, a2 as $loopContinue, a3 as $loopReturn, a4 as $lt, a5 as $mod, a6 as $mul, a7 as $ne, a8 as $neLoose, a9 as $neg, aa as $new, ab as $not, ac as $nullishTest, ad as $obj, ae as $objAccessor, af as $objRest, ag as $optionalGet, ah as $optionalInvoke, ai as $orDefault, aj as $pow, ak as $pushLoopExit, al as $rawThis, am as $reStateCall, an as $recordBinding, ao as $regex, ap as $rethrowIfNudoReturn, aq as $set, ar as $setKey, as as $shl, at as $shr, au as $spread, av as $staticInvoke, aw as $sub, ax as $super, ay as $switch, az as $thisGet, aA as $thisSet, aB as $throw, aC as $toNumber, aD as $tryCurrentMark, aE as $tryDetachSoftCatch, aF as $tryDigestSoftCatch, aG as $tryDiscardSoft, aH as $tryMark, aI as $tryOrphanSoft, aJ as $tryPopMark, aK as $tryReleaseSoftCatch, aL as $tryReleaseSoftOut, aM as $tryTakeSince, aN as $typeof, aO as $unknown, aP as $ushr, aQ as $while, aR as $whileSeq, aS as $yield, aT as BAbsAssignRecord, aU as BCallRecord, aV as BClassSpec, aW as BPathFallback, aX as DEFAULT_MAX_LOOP_ITERS, aY as MAX_B_CALL_DEPTH, aZ as MAX_B_TOTAL_CALLS, a_ as NudoLoopSignal, a$ as NudoReturn, b0 as NudoThrow, b1 as NudoUnsupportedError, b2 as RUNTIME_IMPORT_RE, b3 as TranspileOptions, b4 as TranspiledCallResult, b5 as asAbsVal, b6 as bindImports, b7 as bindingsOf, b8 as callAtFunctionBoundary, b9 as callTranspiledExport, ba as callTranspiledExportFull, bb as clearBClasses, bc as clearStaleTermPred, bd as collectAbsExports, be as currentExecPhi, bf as evalExprAbs, bg as fillTuple, bh as foldRequireSpecArg, bi as foldStaticStringExpr, bj as getBCallCollector, bk as getBClass, bl as isArrMutator, bm as isDefinitelyFalse, bn as isDefinitelyTrue, bo as isNudoBreak, bp as isNudoContinue, bq as isNudoReturn, br as isNudoThrow, bs as litTruth, bt as lookupObjAccessor, bu as namespaceNameOf, bv as noteBCallRecord, bw as noteBPathFallback, bx as pushLoopExit, by as pushThrowExit, bz as registerBClass, bA as resetBCallBudget, bB as runTranspiled, bC as runTranspiledOptionsMemoKey, bD as runWithLoopExits, bE as runtimeImportOf, bF as setBAssignCollector, bG as setBBindingSink, bH as setBCallCollector, bI as setBPathFallbackCollector, bJ as takeLoopExits, bK as takeThrowExits, bL as transpile, bM as transpileBodyNode, bN as transpileExpression, bO as transpileFile, bP as transpileSource, bQ as tryRunTranspiled, bR as withExecPhi } from './index-D4rnOHre.js';
+import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, i as CheckReport, N as NudoConstraint } from './check-report-0B9Z66n0.js';
+export { j as CheckAction, C as CheckIssue, k as CheckJson, o as CheckJsonMulti, q as ConstraintBuilder, D as Diagnostic, u as EffectiveInterface, G as GitlabCodeQualityIssue, v as InterfaceDiag, I as InterfaceSource, w as InterfaceTierInfo, a as InterfaceTierOpts, x as NamedImport, y as NudoField, z as NudoFnConstraint, A as NudoSidecarError, B as NudoSig, R as RefineDiag, F as RefineEntry, H as RefineResolveOpts, S as SELF, J as actionsForIssue, K as andC, M as any, O as array, P as boolean, Q as checkArg, T as checkCall, U as constraintToEntryAbs, V as effectiveInterface, W as execNudoModule, X as extractDeclaredThrows, Y as extractNudoImports, Z as extractRefineReturnFromSource, _ as extractRefinesFromSource, $ as fn, a0 as fnConstraintToEntryReqs, a1 as formatCheckReport, a2 as formatConstraint, a3 as formatDiagnostics, a4 as formatEffectiveInterfaceDisplay, a5 as formatGithubAnnotations, a6 as formatGitlabCodeQuality, a7 as formatInterfaceTierLine, a8 as generatedExportNames, a9 as getParseSourceCacheSize, aa as getTerm, ab as instantiateConstraint, ac as interfaceDiagCount, ad as interfaceSourceOf, ae as interfaceTierOf, af as isIntFlag, ag as isNodeModulesPath, ah as isNudoConstraint, ai as lenTerm, aj as litC, ak as localNamedExports, al as number, am as omit, an as partial, ao as pick, ap as refineDiagCount, aq as refineToIndexedFull, ar as resetNudoModuleExecCache, as as resetParseSourceCache, at as serializeCheckJson, au as serializeCheckJsonMulti, av as setInterfaceDiagCollector, aw as setRefineDiagCollector, ax as shape, ay as sidecarClosureFingerprint, az as sidecarPathOf, aA as string, aB as takeInterfaceDiags, aC as takeInterfaceDiagsSince, aD as takeRefineDiags, aE as takeRefineDiagsSince, aF as throwConstraintToKinds, aG as union } from './check-report-0B9Z66n0.js';
+import { A as AbsModuleExports, R as RunTranspiledOptions } from './index-BNiZvVHw.js';
+export { $ as $add, a as $arguments, b as $arr, c as $arrMutContainer, d as $arrRest, e as $arrWithHoles, f as $assignRecord, g as $async, h as $asyncReturn, i as $await, j as $bitand, k as $bitnot, l as $bitor, m as $bitxor, n as $call, o as $callNamed, p as $catchVal, q as $class, r as $classExpr, s as $collectionForEach, t as $concat, u as $copy, v as $del, w as $delRes, x as $div, y as $dynamicImport, z as $elems, B as $eq, C as $eqLoose, D as $fnVal, E as $for, F as $forInKeys, G as $forIter, H as $forOf, I as $fork, J as $ge, K as $gen, L as $get, M as $gt, N as $idx, O as $idxSet, P as $importMeta, Q as $in, S as $instanceof, T as $instanceofNonIdent, U as $invoke, V as $invokeSuper, W as $isBreakTo, X as $isForkExit, Y as $join, Z as $le, _ as $len, a0 as $lit, a1 as $loopBreak, a2 as $loopContinue, a3 as $loopReturn, a4 as $lt, a5 as $mod, a6 as $mul, a7 as $ne, a8 as $neLoose, a9 as $neg, aa as $new, ab as $not, ac as $nullishTest, ad as $obj, ae as $objAccessor, af as $objRest, ag as $optionalGet, ah as $optionalInvoke, ai as $orDefault, aj as $pow, ak as $pushLoopExit, al as $rawThis, am as $reStateCall, an as $recordBinding, ao as $regex, ap as $rethrowIfNudoReturn, aq as $set, ar as $setKey, as as $shl, at as $shr, au as $spread, av as $staticInvoke, aw as $sub, ax as $super, ay as $switch, az as $thisGet, aA as $thisSet, aB as $throw, aC as $toNumber, aD as $toNumeric, aE as $tryCurrentMark, aF as $tryDetachSoftCatch, aG as $tryDigestSoftCatch, aH as $tryDiscardSoft, aI as $tryMark, aJ as $tryOrphanSoft, aK as $tryPopMark, aL as $tryReleaseSoftCatch, aM as $tryReleaseSoftOut, aN as $tryTakeSince, aO as $typeof, aP as $unknown, aQ as $updateAdd, aR as $updateSub, aS as $ushr, aT as $while, aU as $whileSeq, aV as $yield, aW as DEFAULT_MAX_LOOP_ITERS, aX as EvalAbsAssignRecord, aY as EvalCallRecord, aZ as EvalClassSpec, a_ as EvalFallback, a$ as MAX_EVAL_CALL_DEPTH, b0 as MAX_EVAL_TOTAL_CALLS, b1 as NudoLoopSignal, b2 as NudoReturn, b3 as NudoThrow, b4 as NudoUnsupportedError, b5 as RUNTIME_IMPORT_RE, b6 as TranspileOptions, b7 as TranspiledCallResult, b8 as asAbsVal, b9 as bindImports, ba as bindingsOf, bb as callAtFunctionBoundary, bc as callTranspiledExport, bd as callTranspiledExportFull, be as clearBClasses, bf as clearStaleTermPred, bg as collectAbsExports, bh as currentExecPhi, bi as evalExprAbs, bj as fillTuple, bk as foldRequireSpecArg, bl as foldStaticStringExpr, bm as getEvalCallCollector, bn as getEvalClass, bo as isArrMutator, bp as isDefinitelyFalse, bq as isDefinitelyTrue, br as isNudoBreak, bs as isNudoContinue, bt as isNudoReturn, bu as isNudoThrow, bv as litTruth, bw as lookupObjAccessor, bx as namespaceNameOf, by as noteEvalCallRecord, bz as noteEvalFallback, bA as pushLoopExit, bB as pushThrowExit, bC as registerEvalClass, bD as resetEvalCallBudget, bE as runTranspiled, bF as runTranspiledOptionsMemoKey, bG as runWithLoopExits, bH as runtimeImportOf, bI as setEvalAssignCollector, bJ as setEvalBindingSink, bK as setEvalCallCollector, bL as setEvalFallbackCollector, bM as takeLoopExits, bN as takeThrowExits, bO as transpile, bP as transpileBodyNode, bQ as transpileExpression, bR as transpileFile, bS as transpileSource, bT as tryRunTranspiled, bU as withExecPhi } from './index-BNiZvVHw.js';
 
 /**
  * AstEnv：抽象求值环境类型面（ast-eval 删除后保留）。
  * 类型定义在 hof-types.ts（打破 ast-env ↔ hof ↔ abs-fn 类型环）；
  * 本文件保留空环境 / withVar 的便捷构造并重导出 AstEnv 供稳定路径导入。
- * 仍被 B 路径 check / leq / generalize / builtins 消费。
+ * 仍被 求值引擎 check / leq / generalize / builtins 消费。
  */
 
 /** 空求值环境（分析宿主用：不带任何绑定） */
@@ -113,7 +113,7 @@ declare function describePhi(): string;
  * 与 term-registry 同一纪律：不给共享单例挂 impl。
  */
 
-/** Abs 原生 env/builtin 实现（B-path 优先） */
+/** Abs 原生 env/builtin 实现（evaluator 优先） */
 type AbsSigImpl = (args: Abs[], thisVal?: Abs) => Abs | undefined;
 type AbsFnImpl = {
     params: string[];
@@ -164,7 +164,17 @@ declare function markPureFn(target: object, name: string): void;
 /** 读纯函数标记（Abs impl 或对象属性 `_memoize`） */
 declare function pureFnNameOf(fn: unknown): string | undefined;
 /** 造一个带实现的 Abs 函数值 */
-declare function absFunction(params: string[], impl: Omit<AbsFnImpl, "params">): Abs;
+declare function absFunction(params: string[], impl: Omit<AbsFnImpl, "params">, opts?: {
+    name?: string;
+    paramTypes?: Abs[];
+    returnType?: Abs;
+    slots?: Record<string, {
+        value: Abs;
+        optional?: boolean;
+        readonly?: boolean;
+    }>;
+    conf?: Confidence;
+}): Abs;
 /** relationFn 稳定 fingerprint（同签名共享，见 §3.3 已知限制） */
 declare function relationFingerprint(paramTypes: Abs[], returnType: Abs): string;
 /**
@@ -250,7 +260,7 @@ declare function tryPromoteDirectCall(env: AstEnv, calleeName: string, args: Abs
  * 按方法名提升：map/flatMap → fn([αOf(el)], B:param)；filter → fn([αOf(el)], bool)；
  * reduce → fn([αOf(init), αOf(el)], B:param)。
  */
-declare function tryPromoteHofCallback(env: AstEnv, cbName: string, method: string, argAbses: Abs[], loc?: {
+declare function tryPromoteHofCallback(env: AstEnv, cevalName: string, method: string, argAbses: Abs[], loc?: {
     line: number;
     column: number;
 }): Abs | undefined;
@@ -297,7 +307,7 @@ declare function instantiateReturn(fn: Abs, args: Abs[]): Abs;
  *
  * 为避免 hof ↔ exec 循环依赖，本函数由宿主在运行时绑定。
  *
- * 依赖说明：宿主在 `exec/call.ts`（B-path `$call` 宿主）加载时注册（副作用）。
+ * 依赖说明：宿主在 `exec/call.ts`（evaluator `$call` 宿主）加载时注册（副作用）。
  * 只 import hof.ts 而未加载 exec/call 时，fallback 仅认 relation/isRelFn。
  * 与 §5.1 的「禁止全局 collector」不同——这里是无状态委托钩子，不是 run 局部状态。
  */
@@ -305,7 +315,7 @@ type ApplyCallbackHost = (cb: Abs | {
     type: string;
 }, args: Abs[], env: unknown, phi: unknown, budget: unknown) => Abs;
 /**
- * B-path 宿主 `exec/call.ts` 加载时注册（副作用）。
+ * evaluator 宿主 `exec/call.ts` 加载时注册（副作用）。
  * 必须经 `exec/call.ts`（或其依赖方：exec/class、generalize）加载，
  * 才能启用 Identifier/env.fns/inline body 路径；只 import hof.ts 时 fallback
  * 仅认 relation/isRelFn。勿在多份实例下各写各的——双包/双副本会覆盖。
@@ -314,7 +324,7 @@ declare function setApplyCallbackHost(fn: ApplyCallbackHost): void;
 /**
  * 通用回调实参调用（exec/class invokeArrMethod 与 builtins Array.from 共用）：
  * 原始 JS 函数直调（展开实参）；Abs fn 走 applyCallbackAbs（sum 分发/宿主）。
- * B 路径 transpile 的箭头回调是 $fnVal Abs——$fnVal.apply 自带调用边界。
+ * 求值引擎 transpile 的箭头回调是 $fnVal Abs——$fnVal.apply 自带调用边界。
  */
 declare function applyCallbackValue(fn: unknown, args: Abs[], env: unknown, phi: unknown, budget: unknown): Abs;
 declare function applyCallbackAbs(cb: Abs | {
@@ -410,7 +420,7 @@ declare function shrAbs(a: Abs, b: Abs): Abs;
 declare function ushrAbs(a: Abs, b: Abs): Abs;
 /** ** —— 幂（右结合由 AST 保证）；负指数 bigint 原生 RangeError → 不可折叠 */
 declare function powAbs(a: Abs, b: Abs): Abs;
-/** 一元 + —— ToNumber 折叠；bigint 原生恒抛 TypeError → 不可折叠 */
+/** 一元 + —— ToNumber 折叠；bigint（含抽象 prim）原生恒抛 TypeError → 硬抛 */
 declare function toNumberAbs(a: Abs): Abs;
 /** JS typeof：结果域永远是 string */
 declare function typeofAbs(a: Abs): Abs;
@@ -510,7 +520,7 @@ declare function evalDateMethod(name: string, _recv: Abs, _args: Abs[]): Abs | u
  */
 
 declare function evalRegExpCtor(args: Abs[]): Abs;
-/** RegExp brand：source/flags/lastIndex 进 slots（B-path evalRegExpCtor / $regex 共用） */
+/** RegExp brand：source/flags/lastIndex 进 slots（evaluator evalRegExpCtor / $regex 共用） */
 declare function regexBrandAbsFrom(pattern: string, flags: string): Abs;
 /**
  * new RegExp(pattern, flags) 字面量真构造验证（$new 与 evalRegExpCtor 共用）：
@@ -635,7 +645,7 @@ declare function stringOfSymbol(a: Abs): Abs;
  */
 
 /**
- * Object.prototype 方法语义（B-path $invoke 与 Object.prototype.X.call 共用）。
+ * Object.prototype 方法语义（evaluator $invoke 与 Object.prototype.X.call 共用）。
  * null-proto 接收者无这些方法——返回 undefined（调用方走 TypeError 路径）。
  * 返回 undefined = 未接管。
  */
@@ -669,6 +679,13 @@ type Slot = {
 };
 /** ES 规范数组下标（无前导零、< 2^32-1）；非规范键返回 undefined */
 declare function canonicalArrayIndex(v: unknown): number | undefined;
+/**
+ * ES ToPropertyKey 的字面量折叠：null→"null"、undefined→"undefined"、
+ * true/false→"true"/"false"、number/bigint/string → String(v)（ToString）。
+ * 必须看 term——litValue 把 lit(undefined) 吞成哨兵 undefined。
+ * 抽象 / symbol 返回 undefined（调用方保守处理）。
+ */
+declare function propertyKeyOf(a: Abs | undefined): string | undefined;
 type ObjShape = {
     k: "obj";
     slots: Record<string, Slot>;
@@ -852,11 +869,11 @@ declare function leqAbs(src: Abs, tgt: Abs, opts?: {
 
 /**
  * Abs 域记录类型面（ast-eval 执行器删除后保留）。
- * 运行时记录由 B 通道（BCallRecord/$assignRecord）产生；此处的类型是
+ * 运行时记录由 eval 通道（EvalCallRecord/$assignRecord）产生；此处的类型是
  * checkSource drift / 结构赋值诊断的共享形状，仍被 check.ts 等消费。
  */
 
-/** Abs 域调用记录（B 通道 BCallRecord 的同形投影） */
+/** Abs 域调用记录（eval 通道 EvalCallRecord 的同形投影） */
 type AbsCallRecord = {
     fnName: string;
     args: Abs[];
@@ -867,7 +884,7 @@ type AbsCallRecord = {
     };
     threw?: boolean;
 };
-/** Abs 域赋值记录（B 通道 $assignRecord 的同形投影） */
+/** Abs 域赋值记录（eval 通道 $assignRecord 的同形投影） */
 type AbsAssignRecord = {
     name: string;
     prev?: Abs;
@@ -1198,4 +1215,4 @@ declare function absToConstraint(a: Abs): NudoConstraint | undefined;
  */
 declare function joinThenProject(absList: Abs[]): NudoConstraint | undefined;
 
-export { Abs, type AbsAssignRecord, type AbsCallRecord, type AbsFnImpl, AbsModuleExports, type AbsSigImpl, AstEnv, type CheckOptions, CheckReport, Confidence, EffectiveInterfaceOpts, type Environment, type ExtState, type FnAbs, type FormalParam, type FormatOptions, HofCollectCtx, HofSite, type LeqResult, type MockHelper, NudoConstraint, OBJECT_PROTO_METHOD_NAMES, type ObjShape, Phi, type PolyFn, Pred, type PropFlags, RelSource, RunTranspiledOptions, Shape, type Slot, Term, type TypeParam, absFunction, absShapeKey, absToConstraint, add, alphaOf, applyCallbackAbs, applyCallbackValue, asAbs, assignSourceSlots, attachFnImpl, beginCollectionFork, betaOf, bitandAbs, bitnotAbs, bitorAbs, bitxorAbs, buildArgsFromAssume, builtinCtorAbs, builtinCtorNameOf, callAbsMethod, canonicalArrayIndex, checkSource, clearCollectionTables, cmp, collectAbsFreeVars, collectionElementJoin, collectionExactLen, contractParamNameSet, createEnvironment, createHofCollectCtx, ctorArgDefinitelyInvalid, ctorNameOfRecv, currentPhi, definitelyNotNullishShape, describePhi, div, drainPromiseMicros, emptyEnv, endCollectionFork, enterPromiseExecutorScope, errorBrandAbs, evalArrayStatic, evalBuiltinInstanceMethod, evalBuiltinNew, evalDateCtor, evalDateMethod, evalDateStatic, evalGlobalFn, evalJsonMethod, evalMathMethod, evalNamespaceCall, evalNumberStatic, evalObjectMethod, evalObjectProtoMethod, evalPromiseCtor, evalPromiseMethod, evalPromiseStatic, evalRegExpCtor, evalRegExpMethod, evalStringStatic, evalSymbolCtor, evictCheckSourceMemoForPaths, evictGeneralizeMemoForPaths, extStateOf, extractFn, falseConstraint, fnOf, formalParamDisplayNames, formalParamsFromNodes, formatAbs, formatAbsMultiline, formatShape, formatShapeSlot, generalizeAll, generalizeFromAst, getAbsProperty, getFnImpl, getGeneralizeMemoSize, getPropFlags, getSlot, hostBuiltinCtorName, instantiateReturn, isErrorCtorName, isMapAbs, isNullProtoObj, isNullishLitAbs, isObj, isObjectProtoBrand, isRelFn, isSetAbs, isSymbolAbs, joinAbs, joinFunctions, joinObjects, joinThenProject, joinValues, leavePromiseExecutorScope, leqAbs, listFunctionNames, literalMeetsConstraint, locateContractParam, looseEqAbs, makeArrayCtorAbs, makeMapAbs, makeSetAbs, makeSum, makeSymbolAbs, mapClearEntries, mapDeleteEntry, mapElementFallback, mapEntriesAbs, mapGetEntry, mapHasEntry, mapSetEntry, mapSizeAbs, mapValuesAbs, markExtState, markNullProtoObj, markPureFn, matchRelIdentLit, mergeCollectionArms, migrateInvariants, migrateNullProto, mock, mod, mul, negAbs, notAbs, noteCollectionWrite, notePromiseExecutorFork, objOf, objectProtoBrand, objectProtoMethodAbs, parseSource, popCollectionArm, popPhi, powAbs, projectFlatMapResult, promoteParamShape, protoBrandAbs, protoOfRecv, pureFnNameOf, pushCollectionArm, pushPhi, queuePromiseMicro, refineAbsForRelTrue, regexBrandAbsFrom, relationFingerprint, relationFn, requiredFnArity, resetCheckSourceMemo, resetGeneralizeMemo, resetPhi, setAddEntry, setApplyCallbackHost, setClearEntries, setDeleteEntry, setElementsAbs, setHasEntry, setPropFlags, setSizeAbs, shapeOnlyFn, shlAbs, shrAbs, snapshotAbs, spread, spy, strictEqAbs, stringOfSymbol, stripTypes, stub, sub, substAbs, substPredAbs, symbolDescriptionAbs, symbolIdOf, toNumberAbs, trueConstraint, tryMakeRegexAbs, tryPromoteDirectCall, tryPromoteForOfIteratee, tryPromoteHofCallback, tryPromoteReceiverAsArr, typeofAbs, undefAbs, ushrAbs, withPhiConstraint, withVar };
+export { Abs, type AbsAssignRecord, type AbsCallRecord, type AbsFnImpl, AbsModuleExports, type AbsSigImpl, AstEnv, type CheckOptions, CheckReport, Confidence, EffectiveInterfaceOpts, type Environment, type ExtState, type FnAbs, type FormalParam, type FormatOptions, HofCollectCtx, HofSite, type LeqResult, type MockHelper, NudoConstraint, OBJECT_PROTO_METHOD_NAMES, type ObjShape, Phi, type PolyFn, Pred, type PropFlags, RelSource, RunTranspiledOptions, Shape, type Slot, Term, type TypeParam, absFunction, absShapeKey, absToConstraint, add, alphaOf, applyCallbackAbs, applyCallbackValue, asAbs, assignSourceSlots, attachFnImpl, beginCollectionFork, betaOf, bitandAbs, bitnotAbs, bitorAbs, bitxorAbs, buildArgsFromAssume, builtinCtorAbs, builtinCtorNameOf, callAbsMethod, canonicalArrayIndex, checkSource, clearCollectionTables, cmp, collectAbsFreeVars, collectionElementJoin, collectionExactLen, contractParamNameSet, createEnvironment, createHofCollectCtx, ctorArgDefinitelyInvalid, ctorNameOfRecv, currentPhi, definitelyNotNullishShape, describePhi, div, drainPromiseMicros, emptyEnv, endCollectionFork, enterPromiseExecutorScope, errorBrandAbs, evalArrayStatic, evalBuiltinInstanceMethod, evalBuiltinNew, evalDateCtor, evalDateMethod, evalDateStatic, evalGlobalFn, evalJsonMethod, evalMathMethod, evalNamespaceCall, evalNumberStatic, evalObjectMethod, evalObjectProtoMethod, evalPromiseCtor, evalPromiseMethod, evalPromiseStatic, evalRegExpCtor, evalRegExpMethod, evalStringStatic, evalSymbolCtor, evictCheckSourceMemoForPaths, evictGeneralizeMemoForPaths, extStateOf, extractFn, falseConstraint, fnOf, formalParamDisplayNames, formalParamsFromNodes, formatAbs, formatAbsMultiline, formatShape, formatShapeSlot, generalizeAll, generalizeFromAst, getAbsProperty, getFnImpl, getGeneralizeMemoSize, getPropFlags, getSlot, hostBuiltinCtorName, instantiateReturn, isErrorCtorName, isMapAbs, isNullProtoObj, isNullishLitAbs, isObj, isObjectProtoBrand, isRelFn, isSetAbs, isSymbolAbs, joinAbs, joinFunctions, joinObjects, joinThenProject, joinValues, leavePromiseExecutorScope, leqAbs, listFunctionNames, literalMeetsConstraint, locateContractParam, looseEqAbs, makeArrayCtorAbs, makeMapAbs, makeSetAbs, makeSum, makeSymbolAbs, mapClearEntries, mapDeleteEntry, mapElementFallback, mapEntriesAbs, mapGetEntry, mapHasEntry, mapSetEntry, mapSizeAbs, mapValuesAbs, markExtState, markNullProtoObj, markPureFn, matchRelIdentLit, mergeCollectionArms, migrateInvariants, migrateNullProto, mock, mod, mul, negAbs, notAbs, noteCollectionWrite, notePromiseExecutorFork, objOf, objectProtoBrand, objectProtoMethodAbs, parseSource, popCollectionArm, popPhi, powAbs, projectFlatMapResult, promoteParamShape, propertyKeyOf, protoBrandAbs, protoOfRecv, pureFnNameOf, pushCollectionArm, pushPhi, queuePromiseMicro, refineAbsForRelTrue, regexBrandAbsFrom, relationFingerprint, relationFn, requiredFnArity, resetCheckSourceMemo, resetGeneralizeMemo, resetPhi, setAddEntry, setApplyCallbackHost, setClearEntries, setDeleteEntry, setElementsAbs, setHasEntry, setPropFlags, setSizeAbs, shapeOnlyFn, shlAbs, shrAbs, snapshotAbs, spread, spy, strictEqAbs, stringOfSymbol, stripTypes, stub, sub, substAbs, substPredAbs, symbolDescriptionAbs, symbolIdOf, toNumberAbs, trueConstraint, tryMakeRegexAbs, tryPromoteDirectCall, tryPromoteForOfIteratee, tryPromoteHofCallback, tryPromoteReceiverAsArr, typeofAbs, undefAbs, ushrAbs, withPhiConstraint, withVar };