@nudojs/core 1.1.3 → 1.2.0

package/dist/exec.d.ts

@@ -1,3 +1,3 @@
-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, R as RunTranspiledOptions, b3 as TranspileOptions, b4 as TranspiledCallResult, b5 as asAbsVal, b7 as bindingsOf, b8 as callAtFunctionBoundary, b9 as callTranspiledExport, ba as callTranspiledExportFull, bb as clearBClasses, bc as clearStaleTermPred, 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 './hof-types-tAeoYvzY.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 DEFAULT_MAX_LOOP_ITERS, aU as EvalAbsAssignRecord, aV as EvalCallRecord, aW as EvalClassSpec, aX as EvalFallback, aY as MAX_EVAL_CALL_DEPTH, aZ as MAX_EVAL_TOTAL_CALLS, a_ as NudoLoopSignal, a$ as NudoReturn, b0 as NudoThrow, b1 as NudoUnsupportedError, b2 as RUNTIME_IMPORT_RE, R as RunTranspiledOptions, b3 as TranspileOptions, b4 as TranspiledCallResult, b5 as asAbsVal, b7 as bindingsOf, b8 as callAtFunctionBoundary, b9 as callTranspiledExport, ba as callTranspiledExportFull, bb as clearBClasses, bc as clearStaleTermPred, be as currentExecPhi, bf as evalExprAbs, bg as fillTuple, bh as foldRequireSpecArg, bi as foldStaticStringExpr, bj as getEvalCallCollector, bk as getEvalClass, 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 noteEvalCallRecord, bw as noteEvalFallback, bx as pushLoopExit, by as pushThrowExit, bz as registerEvalClass, bA as resetEvalCallBudget, bB as runTranspiled, bC as runTranspiledOptionsMemoKey, bD as runWithLoopExits, bE as runtimeImportOf, bF as setEvalAssignCollector, bG as setEvalBindingSink, bH as setEvalCallCollector, bI as setEvalFallbackCollector, 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-DMjMPLV0.js';
+import './hof-types-COqDeD5F.js';
 import '@babel/types';

package/dist/exec.js

@@ -108,8 +108,8 @@ import {
   $whileSeq,
   $yield,
   DEFAULT_MAX_LOOP_ITERS,
-  MAX_B_CALL_DEPTH,
-  MAX_B_TOTAL_CALLS,
+  MAX_EVAL_CALL_DEPTH,
+  MAX_EVAL_TOTAL_CALLS,
   NudoLoopSignal,
   NudoReturn,
   NudoThrow,
@@ -127,8 +127,8 @@ import {
   fillTuple,
   foldRequireSpecArg,
   foldStaticStringExpr,
-  getBCallCollector,
-  getBClass,
+  getEvalCallCollector,
+  getEvalClass,
   isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,
@@ -139,20 +139,20 @@ import {
   litTruth,
   lookupObjAccessor,
   namespaceNameOf,
-  noteBCallRecord,
-  noteBPathFallback,
+  noteEvalCallRecord,
+  noteEvalFallback,
   pushLoopExit,
   pushThrowExit,
-  registerBClass,
-  resetBCallBudget,
+  registerEvalClass,
+  resetEvalCallBudget,
   runTranspiled,
   runTranspiledOptionsMemoKey,
   runWithLoopExits,
   runtimeImportOf,
-  setBAssignCollector,
-  setBBindingSink,
-  setBCallCollector,
-  setBPathFallbackCollector,
+  setEvalAssignCollector,
+  setEvalBindingSink,
+  setEvalCallCollector,
+  setEvalFallbackCollector,
   takeLoopExits,
   takeThrowExits,
   transpile,
@@ -162,7 +162,7 @@ import {
   transpileSource,
   tryRunTranspiled,
   withExecPhi
-} from "./chunk-6DOKR7BM.js";
+} from "./chunk-WB565PQK.js";
 export {
   $add,
   $arguments,
@@ -272,8 +272,8 @@ export {
   $whileSeq,
   $yield,
   DEFAULT_MAX_LOOP_ITERS,
-  MAX_B_CALL_DEPTH,
-  MAX_B_TOTAL_CALLS,
+  MAX_EVAL_CALL_DEPTH,
+  MAX_EVAL_TOTAL_CALLS,
   NudoLoopSignal,
   NudoReturn,
   NudoThrow,
@@ -291,8 +291,8 @@ export {
   fillTuple,
   foldRequireSpecArg,
   foldStaticStringExpr,
-  getBCallCollector,
-  getBClass,
+  getEvalCallCollector,
+  getEvalClass,
   isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,
@@ -303,20 +303,20 @@ export {
   litTruth,
   lookupObjAccessor,
   namespaceNameOf,
-  noteBCallRecord,
-  noteBPathFallback,
+  noteEvalCallRecord,
+  noteEvalFallback,
   pushLoopExit,
   pushThrowExit,
-  registerBClass,
-  resetBCallBudget,
+  registerEvalClass,
+  resetEvalCallBudget,
   runTranspiled,
   runTranspiledOptionsMemoKey,
   runWithLoopExits,
   runtimeImportOf,
-  setBAssignCollector,
-  setBBindingSink,
-  setBCallCollector,
-  setBPathFallbackCollector,
+  setEvalAssignCollector,
+  setEvalBindingSink,
+  setEvalCallCollector,
+  setEvalFallbackCollector,
   takeLoopExits,
   takeThrowExits,
   transpile,

package/dist/{hof-types-tAeoYvzY.d.ts → hof-types-COqDeD5F.d.ts}

@@ -254,11 +254,11 @@ declare function popMayThrowFrame(discard: boolean): MayThrowEffect[];
  * 否则交给 collector。不得在栈非空时直接 flush，否则 outer catch 被旁路。
  */
 declare function orphanMayThrowEffects(effects: MayThrowEffect[]): void;
-/** B-path：try 开始时压 soft 帧 */
+/** evaluator：try 开始时压 soft 帧 */
 declare function $tryMarkSoft(): void;
-/** B-path catch 消化 try 内 soft may-throw */
+/** evaluator catch 消化 try 内 soft may-throw */
 declare function $tryDigestSoft(): void;
-/** B-path 无 handler / 出口 / rethrow：上浮未消化 soft may-throw（外层 try 可再消化） */
+/** evaluator 无 handler / 出口 / rethrow：上浮未消化 soft may-throw（外层 try 可再消化） */
 declare function $tryReleaseSoft(): MayThrowEffect[];
 declare function flushMayThrowEffects(effects: MayThrowEffect[]): void;
 declare function recordMayThrow(e: MayThrowEffect): void;

package/dist/{index-D4rnOHre.d.ts → index-DMjMPLV0.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-COqDeD5F.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);
@@ -343,7 +343,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 +457,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 +474,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 +490,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 +506,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 +526,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 +560,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 +576,7 @@ type BCallRecord = {
     threw?: boolean;
 };
 /** B 赋值记录（与 ast-records.ts AbsAssignRecord 同形；structuralAssignIssues 消费） */
-type BAbsAssignRecord = {
+type EvalAbsAssignRecord = {
     name: string;
     prev: Abs | undefined;
     next: Abs;
@@ -585,29 +585,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 +667,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 +679,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 +698,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 +709,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 +723,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, 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, DEFAULT_MAX_LOOP_ITERS as aT, type EvalAbsAssignRecord as aU, type EvalCallRecord as aV, type EvalClassSpec as aW, type EvalFallback as aX, MAX_EVAL_CALL_DEPTH as aY, MAX_EVAL_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, resetEvalCallBudget as bA, runTranspiled as bB, runTranspiledOptionsMemoKey as bC, runWithLoopExits as bD, runtimeImportOf as bE, setEvalAssignCollector as bF, setEvalBindingSink as bG, setEvalCallCollector as bH, setEvalFallbackCollector 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, getEvalCallCollector as bj, getEvalClass 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, noteEvalCallRecord as bv, noteEvalFallback as bw, pushLoopExit as bx, pushThrowExit as by, registerEvalClass 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-COqDeD5F.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-COqDeD5F.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-TEOZ4cPZ.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-TEOZ4cPZ.js';
+import { A as AbsModuleExports, R as RunTranspiledOptions } from './index-DMjMPLV0.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 DEFAULT_MAX_LOOP_ITERS, aU as EvalAbsAssignRecord, aV as EvalCallRecord, aW as EvalClassSpec, aX as EvalFallback, aY as MAX_EVAL_CALL_DEPTH, aZ as MAX_EVAL_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 getEvalCallCollector, bk as getEvalClass, 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 noteEvalCallRecord, bw as noteEvalFallback, bx as pushLoopExit, by as pushThrowExit, bz as registerEvalClass, bA as resetEvalCallBudget, bB as runTranspiled, bC as runTranspiledOptionsMemoKey, bD as runWithLoopExits, bE as runtimeImportOf, bF as setEvalAssignCollector, bG as setEvalBindingSink, bH as setEvalCallCollector, bI as setEvalFallbackCollector, 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-DMjMPLV0.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[];
@@ -250,7 +250,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 +297,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 +305,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 +314,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 | {
@@ -510,7 +510,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 +635,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 = 未接管。
  */
@@ -852,11 +852,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 +867,7 @@ type AbsCallRecord = {
     };
     threw?: boolean;
 };
-/** Abs 域赋值记录（B 通道 $assignRecord 的同形投影） */
+/** Abs 域赋值记录（eval 通道 $assignRecord 的同形投影） */
 type AbsAssignRecord = {
     name: string;
     prev?: Abs;