@nudojs/core 1.16.0 → 1.17.1

package/dist/internal.js

@@ -30,7 +30,7 @@ import {
   stablePathKey,
   stablePathKeyGraph,
   toJsBindingIdent
-} from "./chunk-POGFCYV2.js";
+} from "./chunk-G27PMV2U.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -58,17 +58,12 @@ import {
   allAbsStr,
   allFixedTextOfViews,
   anyMemberResult,
-  awaitAbs,
   beginDerivationSession,
   bumpEvalForkBudget,
   callBudgetKey,
-  canonicalArrayIndex,
-  classChainNames,
-  classFromMethods,
   clearLiveImportRefreshers,
   clearPureCallMemo,
   clearPureMemo,
-  coerceAsyncReturn,
   concatString,
   createScopedSlot,
   createTemplateAbs,
@@ -76,7 +71,6 @@ import {
   decideIncludes,
   decideStartsWith,
   defaultLeakBudget,
-  defineClass,
   definitelyUncallableMember,
   derivationChain,
   endDerivationSession,
@@ -96,7 +90,6 @@ import {
   formatThrowsAbs,
   getAbsCallBudgetStats,
   getAbsOrigin,
-  getClass,
   getClassChain,
   getDerivation,
   getEvalCallBudgetState,
@@ -106,9 +99,8 @@ import {
   getMayThrowCollector,
   getPromiseMicrosLength,
   hasDerivationSession,
-  instanceOf,
-  instantiateClass,
   isEvalMissingSlotEnabled,
+  isHiddenInternalSlot,
   isNullishAbs,
   isTemplateLike,
   isThrowsIgnored,
@@ -117,9 +109,6 @@ import {
   leakIfNeeded,
   litKeyString,
   litValue,
-  lookupMethod,
-  lookupMethodWithOwner,
-  lookupSuperMethod,
   maskCommentsAndStrings,
   mayThrowEffectsToAbs,
   maybeLeak,
@@ -140,7 +129,6 @@ import {
   popCallLoc,
   popMayThrowFrame,
   predToString,
-  projectBrand,
   projectDerivationDsl,
   pushCallLoc,
   pushMayThrowFrame,
@@ -168,7 +156,6 @@ import {
   stableCallId,
   stripCommentsAndStrings,
   stripStringsKeepComments,
-  superNameOf,
   tagAbsOrigin,
   tagDerivationRoot,
   templateMatchesValue,
@@ -185,7 +172,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-OM6SAY2M.js";
+} from "./chunk-CUFP2AYV.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {
@@ -408,9 +395,6 @@ function collectAbsInlays(source, opts) {
 }
 
 // src/algebra/denote.ts
-function isHiddenInternalSlot(k, slot) {
-  return slot.internal === true && canonicalArrayIndex(k) === void 0;
-}
 var PROTOTYPE_LESS_GLOBALS = /* @__PURE__ */ new Set([
   // 可调用但没有对象 prototype
   "Proxy",
@@ -666,19 +650,15 @@ export {
   allAbsStr,
   allFixedTextOfViews,
   anyMemberResult,
-  awaitAbs,
   beginDerivationSession,
   budgetAttributionSegs,
   bumpEvalForkBudget,
   callBudgetKey,
   canSkipLiteralCallScan,
   checkInjectedDomainEvidence,
-  classChainNames,
-  classFromMethods,
   clearLiveImportRefreshers,
   clearPureCallMemo,
   clearPureMemo,
-  coerceAsyncReturn,
   collectAbsInlays,
   concatString,
   createDiagChannel,
@@ -689,7 +669,6 @@ export {
   decideIncludes,
   decideStartsWith,
   defaultLeakBudget,
-  defineClass,
   definitelyUncallableMember,
   denoteGuard,
   derivationChain,
@@ -715,7 +694,6 @@ export {
   generalizeSourceKeyPart,
   getAbsCallBudgetStats,
   getAbsOrigin,
-  getClass,
   getClassChain,
   getDerivation,
   getEvalCallBudgetState,
@@ -727,8 +705,6 @@ export {
   getPromiseMicrosLength,
   hasDerivationSession,
   hashSource,
-  instanceOf,
-  instantiateClass,
   isEvalMissingSlotEnabled,
   isJsBindingIdent,
   isJsIdent,
@@ -740,9 +716,6 @@ export {
   leakIfNeeded,
   listTopFunctions,
   loadModuleDepsFingerprint,
-  lookupMethod,
-  lookupMethodWithOwner,
-  lookupSuperMethod,
   maskCommentsAndStrings,
   mayThrowEffectsToAbs,
   maybeLeak,
@@ -762,7 +735,6 @@ export {
   orphanMayThrowEffects,
   popCallLoc,
   popMayThrowFrame,
-  projectBrand,
   projectDerivationDsl,
   pushCallLoc,
   pushMayThrowFrame,
@@ -799,7 +771,6 @@ export {
   stablePathKeyGraph,
   stripCommentsAndStrings,
   stripStringsKeepComments,
-  superNameOf,
   tagAbsOrigin,
   tagDerivationRoot,
   templateMatchesValue,

package/dist/{projection-budget-DW-svmIf.d.ts → projection-budget-NCXMnUDn.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, C as Confidence, b as Phi } from './run-T9HWTziZ.js';
+import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, C as Confidence, b as Phi } from './run-DeKkteRZ.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;
@@ -461,6 +461,9 @@ declare function extractFnBudget(source: string, fnName: string): {
  * - CJS（C4.3）：`module.exports = { a, b }`、`module.exports.a = …`、
  *   `exports.a = …`、`module.exports = localFn`（登记 localFn 名）。
  * 排除 re-export（`export {x} from` / `export *`）。
+ *
+ * 结果按源码文本 memo（见 `memoizedLocalExports`）——本函数在逐候选循环里
+ * 被反复调用，没有 memo 时每次都是整文件 reparse + strip。
  */
 declare function localNamedExports(source: string): Set<string>;
 /**

package/dist/{run-T9HWTziZ.d.ts → run-DeKkteRZ.d.ts}

@@ -389,7 +389,7 @@ declare function filterDeclaredThrows(effects: MayThrowEffect[], declared: reado
  * 3. 无 impl 时 isRelFn 可走 E 路径（旧版恒 unknown）
  */
 
-/** 清空 pure memo（宿主入口 / 会话缓存失效） */
+/** 清空 pure memo（宿主入口 / 会话缓存失效；清**全部**实例——两条调用路径） */
 declare function clearPureMemo(): void;
 /**
  * apply 返回的 throws 面 → 调用方控制流通道（H1 单点路由）。
@@ -421,7 +421,7 @@ type EvalCallRecord = {
      *  局部量投影按帧过滤重入记录（与 $nodoPos 同口径）。 */
     depth?: number;
 };
-/** 清空 pureCallMemo（宿主入口 / 会话缓存失效） */
+/** 清空 pure memo（宿主入口 / 会话缓存失效；清**全部**实例——两条调用路径） */
 declare function clearPureCallMemo(): void;
 /** B 赋值记录（与 ast-records.ts AbsAssignRecord 同形；structuralAssignIssues 消费） */
 type EvalAbsAssignRecord = {
@@ -431,13 +431,17 @@ type EvalAbsAssignRecord = {
     line?: number;
     column?: number;
     conditional?: boolean;
+    /** 写目标是函数形参（AbsAssignRecord.paramBinding） */
+    paramBinding?: boolean;
     /** 调用方帧深度（0 = 最外层求值帧；与 EvalCallRecord.depth 同口径） */
     depth?: number;
 };
 /** 返回先前 collector，便于嵌套调用 save/restore（禁止 finally 置 null 砸外层） */
 declare function setEvalAssignCollector(collector: ((r: EvalAbsAssignRecord) => void) | null): ((r: EvalAbsAssignRecord) => void) | null;
 /** 结构赋值记录（transpile 插桩调用；无收集器时 no-op） */
-declare function $assignRecord(name: string, prev: Abs | undefined, next: Abs, line: number, column: number, conditional: boolean): void;
+declare function $assignRecord(name: string, prev: Abs | undefined, next: Abs, line: number, column: number, conditional: boolean, 
+/** 写目标是函数形参（可选；缺省 false ⇒ 产物逐字不变） */
+paramBinding?: boolean): void;
 /** 位置级 Abs 记录（hover 重放插桩 `$nodoPos` 消费）：
  * (1-based 行, 0-based 列) → 该位置表达式求值态 Abs */
 type EvalPosRecord = {
@@ -454,7 +458,7 @@ declare function getPosCollector(): ((r: EvalPosRecord) => void) | null;
  * 记入活跃 collector 并**原样返回**（语义恒等）；无收集器时
  * 直通（热路径零开销——仅重放开插桩）。
  *
- * 仅记最外层求值帧（evalCallDepth === 0）：递归函数的内层帧
+ * 仅记最外层求值帧（evalBudget.depth === 0）：递归函数的内层帧
  * （$callNamed/$new 预算帧）会以重入态重执行同一源码位置——
  * 自递归类型（lazy 自引用契约）下内层帧携带 cycle 截断的
  * opaque unknown，first-wins 记录会以外层正确值被污染为序；
@@ -474,10 +478,9 @@ declare function getEvalCallCollector(): ((r: EvalCallRecord) => void) | null;
  * loc: [line, column]（1-based line，0-based column，与 Babel 一致）
  * argLocs: 与 args 对齐的实参字面量源位置（provenance；无 loc 用 null）
  */
+/** B 命名调用深度上限——与 A 路径同值（@nudo:budget 可逐函数抬高） */
 declare const MAX_EVAL_CALL_DEPTH = 64;
-/** 总调用上限：与 call-budget.MAX_TOTAL_CALLS 同阀（递归×循环×分支展开的
- *  规模阀）。200k 在病态展开（lodash _baseFlatten）下 ~30s，20k 收口到
- *  ~3s——截断 → opaque（更保守，zero-FP 安全）。 */
+/** B 命名调用总调用上限——与 A 路径同值（递归×循环×分支展开的规模阀） */
 declare const MAX_EVAL_TOTAL_CALLS = 20000;
 /** 宿主入口前强制清零（测试 / 显式 API）。执行入口请用 enterEvalCallBudgetSession。 */
 declare function resetEvalCallBudget(): void;
@@ -504,13 +507,13 @@ declare function getEvalCallBudgetState(): {
 declare function $callNamed(name: string, fn: unknown, args: Abs[], loc?: [number, number], argLocs?: Array<[number, number] | null | undefined>): Abs;
 
 /**
- * 共享纯类型结点（AstEnv / HofCollectCtx / HofSite / RelSource）。
+ * 共享纯类型结点（AstEnv / HofSite / RelSource）。
  *
- * 这些类型曾形成 ast-env ↔ hof ↔ abs-fn 的类型环（ast-env 引 HofCollectCtx，
- * hof/abs-fn 引 AstEnv）。抽到本叶模块（只依赖 abs/term/babel，不回指
+ * 这些类型曾形成 ast-env ↔ hof ↔ abs-fn 的类型环（ast-env 引 HOF collector
+ * 类型，hof/abs-fn 引 AstEnv）。抽到本叶模块（只依赖 abs/term/babel，不回指
  * ast-env/hof/abs-fn）后，三个消费方都从这里取类型，环即断。
  *
- * 稳定导入路径不变：ast-env.ts 重导出 AstEnv，hof.ts 重导出 HOF 三类型。
+ * 稳定导入路径不变：ast-env.ts 重导出 AstEnv，hof.ts 重导出 HOF 两类型。
  */
 
 /**
@@ -533,30 +536,6 @@ type HofSite = {
         column: number;
     };
 };
-/**
- * run 局部 collector（与 Phi 并列，不进 Φ 合并）。
- * symbolic 一次跑：安装并沉淀到 PolyFn；instantiate 重跑：装 throwaway
- * 副本——形状提升仍生效，结果不写回共享状态（见 generalize.ts run()）。
- */
-type HofCollectCtx = {
-    /** 本次归纳的形参名集合（身份判定用） */
-    paramNames: ReadonlySet<string>;
-    /** 本次 typeParams 的 α id 集合（term 复用白名单） */
-    alphaIds: Set<string>;
-    /** fresh α 计数 */
-    freshSeq: {
-        n: number;
-    };
-    sites: HofSite[];
-    fnRels: Map<string, {
-        abs: Abs;
-        source: RelSource;
-    }>;
-    entryShapes: Map<string, {
-        abs: Abs;
-        source: RelSource;
-    }>;
-};
 type AstEnv = {
     vars: Map<string, Abs>;
     /** 用户函数：name → { params, body } */
@@ -570,13 +549,19 @@ type AstEnv = {
          * 默认值 / 带 `?` / 是 rest）⇒ 必选元数不再靠名字后缀猜。
          */
         optionalParams?: boolean[];
+        /**
+         * 源码面严格性（strict mode code → true；sloppy → false）：ESM 源 ∨
+         * `"use strict"` 序言（`code-text.ts#sourceIsStrict`），strict 代码区内
+         * 词法继承，class 方法体恒 true。env 条目被包装成 Abs fn
+         * （`absFunction`）时透传为 `AbsFnImpl.strict`，供 body 编译单元发射
+         * `"use strict";`。按**源面严格性**判定，不按函数猜。
+         */
+        strict?: boolean;
     }>;
     /** class 表（旁路，withVar 必须保留） */
     classes?: Map<string, unknown>;
     /** 当前正在求值的方法所属类名（super.x() 从它的父类派发） */
     currentOwner?: string;
-    /** P2：generalize symbolic 跑的 HOF collector（run 局部，不进 Φ） */
-    hofCollect?: HofCollectCtx;
 };
 
 /**
@@ -700,6 +685,16 @@ type AbsFnImpl = {
     };
     /** `@nudo:pure`：调用结果按实参记忆化（无副作用契约） */
     pureName?: string;
+    /**
+     * 源码面严格性（strict mode code → true；sloppy → false；未知不写）：
+     * ESM 源 **∨** 序言含 `"use strict"` 指令（`code-text.ts#sourceIsStrict`），
+     * 且 strict 代码区内词法继承（strict 函数体 / class 体内恒 strict）；
+     * class 方法体恒 true。body 编译单元（`exec/body-fn.ts`）据此发射
+     * `"use strict";`——块级函数声明、未声明赋值、形参/`arguments` 等
+     * sloppy↔strict 分叉必须与模块运行（B run 的 strict 前缀）同口径，
+     * 不能按函数猜。
+     */
+    strict?: boolean;
     /**
      * M4：transpile 静态判定的「无副作用面」facet（保守：任意赋值/自增/
      * 调用/delete/标签模板/非白名单 new 都算有副作用）。sort 等原生调用
@@ -745,7 +740,11 @@ declare function absFunction(params: string[], impl: Omit<AbsFnImpl, "params">,
  * `$new` / `$class(extends)` / 桥接包装按此 stamping。
  */
 declare function hostFnCtorFacet(v: Function): boolean | undefined;
-/** relationFn 稳定 fingerprint（同签名共享，见 §3.3 已知限制） */
+/**
+ * relationFn 稳定 fingerprint（同签名共享，见 §3.3 已知限制）。
+ * 结构序列化统一走 abs-key.ts（覆盖 holes / fn slots / optionalParams /
+ * ctor / obj 槽标志 / eff rejected / brand tv；无 α-rename）。
+ */
 declare function relationFingerprint(paramTypes: Abs[], returnType: Abs): string;
 /**
  * 无 body、纯关系的 fn Abs。params 仅记 arity。
@@ -876,7 +875,16 @@ type RunTranspiledOptions = {
  * 的 CLI 注入不稳——同一语义的 inject 跨 checkSource 调用会 miss 缓存。
  */
 declare function runTranspiledOptionsMemoKey(opts: RunTranspiledOptions | undefined): string;
-declare const RUNTIME_IMPORT_RE: RegExp;
+
+/**
+ * run 表的**顶层绑定表**：
+ * - 顶层 const/let（`$recordBinding` 通道，Abs 值）；
+ * - **私有**顶层函数声明（宿主 JS 函数；与 ANALYSIS_SLOTS 同源，导出面同名
+ *   可枚举键不重复登记——导出函数只走导出表）。
+ *
+ * 后者供 LSP completion / collectAbsBindingsFromGraph 与导出面复用同一套
+ * 宿主函数 → Abs 转换（源码形参表 / ctor facet）。
+ */
 declare function bindingsOf(run: Record<string, unknown>): Map<string, unknown> | undefined;
 /**
  * 执行一段 求值引擎程序，返回顶层 `export function` / `export const`。
@@ -929,12 +937,16 @@ declare function isAbsVal(v: unknown): v is Abs;
  *  callTranspiledExportApply）传引用——被调方对容器实参的变异必须对
  *  caller 帧可见（与同文件闭包调用同语义）；宿主重放（case/记录/LSP）
  *  不传，保持 D1 防御副本。
+ *  opts.preferLocal：**分析面**语义——按源码本地函数名解析
+ *  （nudo.analysis 表优先）。默认 false = 导出语义（callTranspiledExportApply
+ *  跨模块导出桥必须走导出槽；同名 re-export / CJS 合并值不得被本地函数顶替）。
  *  嵌套进入（导出桥 apply）继承外层预算；仅最外层宿主入口重置。
  *  #152 assume 前提不设选项位：播种统一走 withAssumePremises 动态域
  *  包裹（check.ts 的 runSeeded extent），单一机制无第二路径。 */
 declare function callTranspiledExportFull(exports: Record<string, unknown>, name: string, args: Abs[], opts?: {
     phi?: Phi;
     shareArgs?: boolean;
+    preferLocal?: boolean;
 }): TranspiledCallResult;
 /** 调用 runTranspiled 导出（仅结果） */
 declare function callTranspiledExport(exports: Record<string, unknown>, name: string, args: Abs[]): Abs;
@@ -949,7 +961,10 @@ declare function callTranspiledExport(exports: Record<string, unknown>, name: st
  * 宿主重放不走此工厂，保持 D1 防御副本。
  *
  * `exports` 可传惰性 getter（互递归模块桥：导出表在桥创建后才赋值）。
+ *
+ * **不传 preferLocal**：跨模块 import 桥必须调用**导出值**（同名 re-export /
+ * CJS 合并不得被本地私有函数顶替）；按名分析由调用方显式 preferLocal。
  */
 declare function callTranspiledExportApply(exports: Record<string, unknown> | (() => Record<string, unknown>), name: string): (args: Abs[], thisVal?: Abs) => AbsApplyResult;
 
-export { $tryDigestSoft as $, type Abs as A, orphanMayThrowEffects as B, type Confidence as C, popMayThrowFrame as D, ERROR_FAMILY as E, pushMayThrowFrame as F, recordMayThrow as G, resetEvalFallbackStats as H, runWithMayThrowSession as I, setMayThrowCollector as J, throwAbsToKinds as K, type LiteralValue as L, type MayThrowEffect as M, throwsKindCovered as N, withEvalBudgetOverride as O, type PrimName as P, type HofCollectCtx as Q, type RunTranspiledOptions as R, type Shape as S, type Term as T, type RelSource as U, type HofSite as V, $assignRecord as W, $call as X, $callNamed as Y, $recordBinding as Z, type AbsApplyNoThrow as _, type Pred as a, markPureFn as a$, type AbsApplyNoThrowFn as a0, type AbsApplyResult as a1, type AbsApplyReturn as a2, type AbsFnImpl as a3, type AbsSigImpl as a4, type EvalAbsAssignRecord as a5, type EvalCallRecord as a6, type EvalFallback as a7, type EvalPosRecord as a8, type ImplicationOracle as a9, confJoin as aA, emptyPhi as aB, eq as aC, evalExprAbs as aD, ge as aE, geNum as aF, getEvalCallCollector as aG, getFnImpl as aH, getImplicationOracle as aI, gt as aJ, gtNum as aK, hostFnCtorFacet as aL, implies as aM, isAbsApplyResult as aN, isAbsVal as aO, isBigPrim as aP, isCjsMainRun as aQ, isExactLit as aR, isNumPrim as aS, isStrPrim as aT, le as aU, leNum as aV, lit as aW, litValue as aX, lt as aY, ltNum as aZ, makeAbsApplyResult as a_, type LitValueResult as aa, MAX_EVAL_CALL_DEPTH as ab, MAX_EVAL_TOTAL_CALLS as ac, RUNTIME_IMPORT_RE as ad, TYPEOF_NAMES as ae, type TranspiledCallResult as af, type TypeofName as ag, abs as ah, absFunction as ai, absOnly as aj, absToString as ak, and as al, anyAbs as am, anyVar as an, app as ao, assumeFinite as ap, attachFnImpl as aq, bigintLit as ar, bindImports as as, bindingsOf as at, bool as au, boolLit as av, callTranspiledExport as aw, callTranspiledExportApply as ax, callTranspiledExportFull as ay, collectAbsExports as az, type Phi as b, namespaceAbsOf as b0, ne as b1, negatePred as b2, never as b3, not as b4, noteEvalCallRecord as b5, noteEvalFallback as b6, num as b7, numLit as b8, numVar as b9, str as bA, strLit as bB, substPred as bC, termEquals as bD, termToString as bE, tryRunTranspiled as bF, unknown as bG, v as bH, $nodoPos as bI, getPosCollector as bJ, routeApplyThrows as bK, obj as ba, or as bb, pFalse as bc, pTrue as bd, phiAnd as be, predEquals as bf, predToString as bg, predVars as bh, primToTypeof as bi, ptypeof as bj, pureFnNameOf as bk, relationFingerprint as bl, relationFn as bm, resetEvalCallBudget as bn, runTranspiled as bo, runTranspiledOptionsMemoKey as bp, setEvalAssignCollector as bq, setEvalBindingSink as br, setEvalCallCollector as bs, setEvalFallbackCollector as bt, setImplicationOracle as bu, setPosCollector as bv, shapeOfTerm as bw, shapeOnlyFn as bx, shapeToString as by, simplifyTerm as bz, type AbsModuleExports as c, type AstEnv as d, $tryMarkSoft as e, $tryReleaseSoft as f, type EvalFallbackStats as g, absLit as h, absNumLit as i, absStrLit as j, allAbsStr as k, clearPureCallMemo as l, clearPureMemo as m, enterEvalCallBudgetSession as n, errorTypeAbs as o, exitEvalCallBudgetSession as p, filterDeclaredThrows as q, filterGateThrows as r, filterIgnoredThrows as s, flushMayThrowEffects as t, formatThrowsAbs as u, getEvalCallBudgetState as v, getEvalFallbackStats as w, getMayThrowCollector as x, isThrowsIgnored as y, mayThrowEffectsToAbs as z };
+export { $tryDigestSoft as $, type Abs as A, orphanMayThrowEffects as B, type Confidence as C, popMayThrowFrame as D, ERROR_FAMILY as E, pushMayThrowFrame as F, recordMayThrow as G, resetEvalFallbackStats as H, runWithMayThrowSession as I, setMayThrowCollector as J, throwAbsToKinds as K, type LiteralValue as L, type MayThrowEffect as M, throwsKindCovered as N, withEvalBudgetOverride as O, type PrimName as P, type RelSource as Q, type RunTranspiledOptions as R, type Shape as S, type Term as T, type HofSite as U, $assignRecord as V, $call as W, $callNamed as X, $recordBinding as Y, type AbsApplyNoThrow as Z, type AbsApplyNoThrowFn as _, type Pred as a, ne as a$, type AbsApplyResult as a0, type AbsApplyReturn as a1, type AbsFnImpl as a2, type AbsSigImpl as a3, type EvalAbsAssignRecord as a4, type EvalCallRecord as a5, type EvalFallback as a6, type EvalPosRecord as a7, type ImplicationOracle as a8, type LitValueResult as a9, eq as aA, evalExprAbs as aB, ge as aC, geNum as aD, getEvalCallCollector as aE, getFnImpl as aF, getImplicationOracle as aG, gt as aH, gtNum as aI, hostFnCtorFacet as aJ, implies as aK, isAbsApplyResult as aL, isAbsVal as aM, isBigPrim as aN, isCjsMainRun as aO, isExactLit as aP, isNumPrim as aQ, isStrPrim as aR, le as aS, leNum as aT, lit as aU, litValue as aV, lt as aW, ltNum as aX, makeAbsApplyResult as aY, markPureFn as aZ, namespaceAbsOf as a_, MAX_EVAL_CALL_DEPTH as aa, MAX_EVAL_TOTAL_CALLS as ab, TYPEOF_NAMES as ac, type TranspiledCallResult as ad, type TypeofName as ae, abs as af, absFunction as ag, absOnly as ah, absToString as ai, and as aj, anyAbs as ak, anyVar as al, app as am, assumeFinite as an, attachFnImpl as ao, bigintLit as ap, bindImports as aq, bindingsOf as ar, bool as as, boolLit as at, callTranspiledExport as au, callTranspiledExportApply as av, callTranspiledExportFull as aw, collectAbsExports as ax, confJoin as ay, emptyPhi as az, type Phi as b, negatePred as b0, never as b1, not as b2, noteEvalCallRecord as b3, noteEvalFallback as b4, num as b5, numLit as b6, numVar as b7, obj as b8, or as b9, substPred as bA, termEquals as bB, termToString as bC, tryRunTranspiled as bD, unknown as bE, v as bF, $nodoPos as bG, getPosCollector as bH, routeApplyThrows as bI, pFalse as ba, pTrue as bb, phiAnd as bc, predEquals as bd, predToString as be, predVars as bf, primToTypeof as bg, ptypeof as bh, pureFnNameOf as bi, relationFingerprint as bj, relationFn as bk, resetEvalCallBudget as bl, runTranspiled as bm, runTranspiledOptionsMemoKey as bn, setEvalAssignCollector as bo, setEvalBindingSink as bp, setEvalCallCollector as bq, setEvalFallbackCollector as br, setImplicationOracle as bs, setPosCollector as bt, shapeOfTerm as bu, shapeOnlyFn as bv, shapeToString as bw, simplifyTerm as bx, str as by, strLit as bz, type AbsModuleExports as c, type AstEnv as d, $tryMarkSoft as e, $tryReleaseSoft as f, type EvalFallbackStats as g, absLit as h, absNumLit as i, absStrLit as j, allAbsStr as k, clearPureCallMemo as l, clearPureMemo as m, enterEvalCallBudgetSession as n, errorTypeAbs as o, exitEvalCallBudgetSession as p, filterDeclaredThrows as q, filterGateThrows as r, filterIgnoredThrows as s, flushMayThrowEffects as t, formatThrowsAbs as u, getEvalCallBudgetState as v, getEvalFallbackStats as w, getMayThrowCollector as x, isThrowsIgnored as y, mayThrowEffectsToAbs as z };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/core",
-  "version": "1.16.0",
+  "version": "1.17.1",
   "engines": {
     "node": ">=22"
   },