@nudojs/core 1.1.4 → 1.2.2

package/dist/index.js

@@ -67,7 +67,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-XOHKHJHE.js";
+} from "./chunk-TOURNNEA.js";
 import {
   $add,
   $arguments,
@@ -160,6 +160,7 @@ import {
   $thisSet,
   $throw,
   $toNumber,
+  $toNumeric,
   $tryCurrentMark,
   $tryDetachSoftCatch,
   $tryDigestSoftCatch,
@@ -172,6 +173,8 @@ import {
   $tryTakeSince,
   $typeof,
   $unknown,
+  $updateAdd,
+  $updateSub,
   $ushr,
   $while,
   $whileSeq,
@@ -179,8 +182,8 @@ import {
   DEFAULT_MAX_LOOP_ITERS,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
-  MAX_B_CALL_DEPTH,
-  MAX_B_TOTAL_CALLS,
+  MAX_EVAL_CALL_DEPTH,
+  MAX_EVAL_TOTAL_CALLS,
   NudoLoopSignal,
   NudoReturn,
   NudoThrow,
@@ -282,8 +285,8 @@ import {
   geNum,
   getAbsCallBudgetStats,
   getAbsProperty,
-  getBCallCollector,
-  getBClass,
+  getEvalCallCollector,
+  getEvalClass,
   getFnImpl,
   getImplicationOracle,
   getParseSourceCacheSize,
@@ -361,9 +364,9 @@ import {
   never,
   not,
   notAbs,
-  noteBCallRecord,
-  noteBPathFallback,
   noteCollectionWrite,
+  noteEvalCallRecord,
+  noteEvalFallback,
   notePromiseExecutorFork,
   num,
   numLit,
@@ -385,6 +388,7 @@ import {
   primToTypeof,
   projectFlatMapResult,
   promoteParamShape,
+  propertyKeyOf,
   protoBrandAbs,
   protoOfRecv,
   ptypeof,
@@ -395,12 +399,12 @@ import {
   queuePromiseMicro,
   refineAbsForRelTrue,
   regexBrandAbsFrom,
-  registerBClass,
+  registerEvalClass,
   relationFingerprint,
   relationFn,
   requiredFnArity,
   resetAbsCallBudget,
-  resetBCallBudget,
+  resetEvalCallBudget,
   resetParseSourceCache,
   runTranspiled,
   runTranspiledOptionsMemoKey,
@@ -410,13 +414,13 @@ import {
   setAbsTruncationCollector,
   setAddEntry,
   setApplyCallbackHost,
-  setBAssignCollector,
-  setBBindingSink,
-  setBCallCollector,
-  setBPathFallbackCollector,
   setClearEntries,
   setDeleteEntry,
   setElementsAbs,
+  setEvalAssignCollector,
+  setEvalBindingSink,
+  setEvalCallCollector,
+  setEvalFallbackCollector,
   setHasEntry,
   setImplicationOracle,
   setMayThrowCollector,
@@ -466,7 +470,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-SQSO4NKT.js";
+} from "./chunk-4V3CRVSD.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -1340,7 +1344,7 @@ function collectEntryMayThrows(source, fnName, g, file, phi, opts = {}) {
   return runWithMayThrowSession(() => {
     setMayThrowCollector((e) => effects.push(e));
     try {
-      const full = bPathThrowsOf(source, fnName, entryArgs, opts, phi);
+      const full = evalThrowsOf(source, fnName, entryArgs, opts, phi);
       if (!full) return effects;
       if (full.throws && full.throws.shape.k !== "never") {
         for (const tName of throwAbsToKinds(full.throws)) {
@@ -1359,8 +1363,8 @@ function collectEntryMayThrows(source, fnName, g, file, phi, opts = {}) {
     return effects;
   });
 }
-var bPathRunMemo = /* @__PURE__ */ new Map();
-function bAnalyzeOpts(opts) {
+var evalRunMemo = /* @__PURE__ */ new Map();
+function evalAnalyzeOpts(opts) {
   const inject = opts.inject ?? {};
   const modules = opts.modules ?? inject.modules;
   return {
@@ -1383,18 +1387,18 @@ function invokeAsThrows(fn2, phi = pTrue) {
     throw e;
   }
 }
-function bPathThrowsOf(source, fnName, args, opts = {}, phi = pTrue) {
+function evalThrowsOf(source, fnName, args, opts = {}, phi = pTrue) {
   const runKey = `${source}|${runTranspiledOptionsMemoKey(opts.inject)}|${runTranspiledOptionsMemoKey(opts.modules ? { modules: opts.modules } : void 0)}`;
-  if (bPathRunMemo.size >= MAX_CHECK_MEMO) {
-    const oldest = bPathRunMemo.keys().next().value;
-    if (oldest !== void 0) bPathRunMemo.delete(oldest);
+  if (evalRunMemo.size >= MAX_CHECK_MEMO) {
+    const oldest = evalRunMemo.keys().next().value;
+    if (oldest !== void 0) evalRunMemo.delete(oldest);
   }
-  let exports = bPathRunMemo.get(runKey);
+  let exports = evalRunMemo.get(runKey);
   if (exports === void 0) {
-    const run = tryRunTranspiled(source, bAnalyzeOpts(opts));
+    const run = tryRunTranspiled(source, evalAnalyzeOpts(opts));
     if (run === void 0) return void 0;
     exports = run;
-    bPathRunMemo.set(runKey, exports);
+    evalRunMemo.set(runKey, exports);
   }
   const isAbsVal = (v2) => !!v2 && typeof v2 === "object" && "shape" in v2 && "conf" in v2;
   const call = (name, callArgs) => {
@@ -1465,8 +1469,11 @@ function widenForAssign(a) {
       a.conf
     );
   }
-  const lv = litValue(a);
-  if (lv !== void 0 && a.term?.op === "lit") {
+  if (a.term?.op === "lit") {
+    const lv = a.term.value;
+    if (lv === null || lv === void 0) {
+      return abs({ k: "unknown" }, void 0, void 0, a.conf);
+    }
     if (typeof lv === "number") {
       return abs({ k: "prim", type: "number" }, void 0, void 0, a.conf);
     }
@@ -2125,15 +2132,15 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
   const varAbs = /* @__PURE__ */ new Map();
   const callRecords = [];
   const bCalls = [];
-  const prevAssign = setBAssignCollector((r) => records.push(r));
-  const prevCall = setBCallCollector((r) => bCalls.push(r));
-  let bBindings;
-  const bAnalyze = bAnalyzeOpts(opts);
+  const prevAssign = setEvalAssignCollector((r) => records.push(r));
+  const prevCall = setEvalCallCollector((r) => bCalls.push(r));
+  let evalBindings;
+  const evalAnalyze = evalAnalyzeOpts(opts);
   try {
-    const bRun = tryRunTranspiled(source, bAnalyze);
-    bBindings = bRun ? bindingsOf(bRun) : void 0;
-    if (bBindings) {
-      for (const [k, v2] of bBindings) {
+    const evalRun = tryRunTranspiled(source, evalAnalyze);
+    evalBindings = evalRun ? bindingsOf(evalRun) : void 0;
+    if (evalBindings) {
+      for (const [k, v2] of evalBindings) {
         if (v2 && typeof v2 === "object" && "shape" in v2 && "conf" in v2) {
           varAbs.set(k, v2);
         }
@@ -2149,10 +2156,10 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     }
   } catch {
   } finally {
-    setBAssignCollector(prevAssign);
-    setBCallCollector(prevCall);
+    setEvalAssignCollector(prevAssign);
+    setEvalCallCollector(prevCall);
   }
-  void bBindings;
+  void evalBindings;
   const callIssues = canSkipLiteralCallScan(source, file) ? [] : scanLiteralCalls(source, names, phi, {
     loadModule: opts.loadModule,
     // 与 generalize / 返回后置同一 fromFile 口径：ambient 侧车按真实
@@ -2192,7 +2199,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
         return (fnName, args) => {
           try {
             if (!driftInit) {
-              driftRun = tryRunTranspiled(source, bAnalyze);
+              driftRun = tryRunTranspiled(source, evalAnalyze);
               driftInit = true;
             }
             if (!driftRun || !(fnName in driftRun)) return void 0;
@@ -2847,6 +2854,7 @@ export {
   $thisSet,
   $throw,
   $toNumber,
+  $toNumeric,
   $tryCurrentMark,
   $tryDetachSoftCatch,
   $tryDigestSoftCatch,
@@ -2859,13 +2867,15 @@ export {
   $tryTakeSince,
   $typeof,
   $unknown,
+  $updateAdd,
+  $updateSub,
   $ushr,
   $while,
   $whileSeq,
   $yield,
   DEFAULT_MAX_LOOP_ITERS,
-  MAX_B_CALL_DEPTH,
-  MAX_B_TOTAL_CALLS,
+  MAX_EVAL_CALL_DEPTH,
+  MAX_EVAL_TOTAL_CALLS,
   NudoLoopSignal,
   NudoReturn,
   NudoSidecarError,
@@ -3003,8 +3013,8 @@ export {
   generalizeFromAst,
   generatedExportNames,
   getAbsProperty,
-  getBCallCollector,
-  getBClass,
+  getEvalCallCollector,
+  getEvalClass,
   getFnImpl,
   getGeneralizeMemoSize,
   getImplicationOracle,
@@ -3097,9 +3107,9 @@ export {
   never,
   not,
   notAbs,
-  noteBCallRecord,
-  noteBPathFallback,
   noteCollectionWrite,
+  noteEvalCallRecord,
+  noteEvalFallback,
   notePromiseExecutorFork,
   num,
   numLit,
@@ -3126,6 +3136,7 @@ export {
   primToTypeof,
   projectFlatMapResult,
   promoteParamShape,
+  propertyKeyOf,
   protoBrandAbs,
   protoOfRecv,
   ptypeof,
@@ -3139,12 +3150,12 @@ export {
   refineDiagCount,
   refineToIndexedFull,
   regexBrandAbsFrom,
-  registerBClass,
+  registerEvalClass,
   relationFingerprint,
   relationFn,
   requiredFnArity,
-  resetBCallBudget,
   resetCheckSourceMemo,
+  resetEvalCallBudget,
   resetGeneralizeMemo,
   resetNudoModuleExecCache,
   resetParseSourceCache,
@@ -3157,13 +3168,13 @@ export {
   serializeCheckJsonMulti,
   setAddEntry,
   setApplyCallbackHost,
-  setBAssignCollector,
-  setBBindingSink,
-  setBCallCollector,
-  setBPathFallbackCollector,
   setClearEntries,
   setDeleteEntry,
   setElementsAbs,
+  setEvalAssignCollector,
+  setEvalBindingSink,
+  setEvalCallCollector,
+  setEvalFallbackCollector,
   setHasEntry,
   setImplicationOracle,
   setInterfaceDiagCollector,

package/dist/internal.d.ts

@@ -1,17 +1,17 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './check-report-AtnAfY9U.js';
-export { L as LeakBudget, b as LoadDepsFingerprint, d as defaultLeakBudget, e as exceedsBudget, c as extractAllLoadSpecs, l as leakIfNeeded, f as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, g as resolveDepPath, s as sidecarSpecsOf, t as termDepth, h as termNodes } from './check-report-AtnAfY9U.js';
-import { A as Abs, T as Term, c as AstEnv } from './hof-types-tAeoYvzY.js';
-export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, M as MayThrowEffect, f as errorTypeAbs, g as filterDeclaredThrows, h as filterGateThrows, i as filterIgnoredThrows, j as flushMayThrowEffects, k as formatThrowsAbs, l as getMayThrowCollector, m as isThrowsIgnored, n as mayThrowEffectsToAbs, o as orphanMayThrowEffects, p as popMayThrowFrame, q as pushMayThrowFrame, r as recordMayThrow, s as runWithMayThrowSession, t as setMayThrowCollector, u as throwAbsToKinds, v as throwsKindCovered } from './hof-types-tAeoYvzY.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './check-report-0B9Z66n0.js';
+export { L as LeakBudget, b as LoadDepsFingerprint, d as defaultLeakBudget, e as exceedsBudget, c as extractAllLoadSpecs, l as leakIfNeeded, f as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, g as resolveDepPath, s as sidecarSpecsOf, t as termDepth, h as termNodes } from './check-report-0B9Z66n0.js';
+import { A as Abs, T as Term, c as AstEnv } from './hof-types-DqDpAxfh.js';
+export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, M as MayThrowEffect, f as errorTypeAbs, g as filterDeclaredThrows, h as filterGateThrows, i as filterIgnoredThrows, j as flushMayThrowEffects, k as formatThrowsAbs, l as getMayThrowCollector, m as isThrowsIgnored, n as mayThrowEffectsToAbs, o as orphanMayThrowEffects, p as popMayThrowFrame, q as pushMayThrowFrame, r as recordMayThrow, s as runWithMayThrowSession, t as setMayThrowCollector, u as throwAbsToKinds, v as throwsKindCovered } from './hof-types-DqDpAxfh.js';
 import { File, Node } from '@babel/types';
 
 /**
- * 调用预算 + 截断观测（B 路径共享面）。
+ * 调用预算 + 截断观测（求值引擎共享面）。
  * 抽象求值对递归做展开而非不动点：参数类型每层变形（fac(n-1)）时
  * cycle key 不重复，必须靠深度/总调用数封顶。超限结果 conf=opaque。
  */
 
 declare const MAX_CALL_DEPTH = 64;
-/** 与 B 命名调用（calls.ts MAX_B_TOTAL_CALLS）同阀：病态展开下 200k 级不可接受 */
+/** 与 B 命名调用（calls.ts MAX_EVAL_TOTAL_CALLS）同阀：病态展开下 200k 级不可接受 */
 declare const MAX_TOTAL_CALLS = 20000;
 /** A2：预算/截断快照（check --json / health 上屏） */
 type AbsBudgetStats = {
@@ -54,11 +54,11 @@ declare function exitCall(): void;
  *   独立封顶，任一超限都 fail-closed 成 unknown。
  *
  * 默认 5000：monorepo 语料（含 core/service 全量测试与 check 金门）下
- * 正常函数远低于此；病态递归×循环能在秒级内兜住（对照 MAX_B_TOTAL_CALLS
- * 从 200k 收到 20k 的先例）。可经 setBForkBudgetLimit / env NUDO_MAX_FORKS /
+ * 正常函数远低于此；病态递归×循环能在秒级内兜住（对照 MAX_EVAL_TOTAL_CALLS
+ * 从 200k 收到 20k 的先例）。可经 setEvalForkBudgetLimit / env NUDO_MAX_FORKS /
  * package.json#nudo.analysis.maxForks 调节。
  */
-declare const MAX_B_TOTAL_FORKS = 5000;
+declare const MAX_EVAL_TOTAL_FORKS = 5000;
 /**
  * 专用标签：fork 截断不是「某个递归函数被截断」，不能复用函数名 label
  * （否则 check 会误报 nudo:recursion-truncated）。service/check 按此标签
@@ -75,19 +75,19 @@ declare const HOST_EFFECT_LABEL_PREFIX = "#host-effect:";
 /** 宿主副作用未执行观测（service/LSP 映射 nudo:host-effect-blocked；与调用截断同 collector 管道） */
 declare function noteHostEffectBlocked(name: string): void;
 /** fork 超限观测（service/LSP 映射 nudo:fork-truncated；与调用截断同 collector 管道） */
-declare function noteBForkTruncation(): void;
+declare function noteEvalForkTruncation(): void;
 /**
  * 调整 fork 总次数上限。约定：n ≥ 1 的有限整数才生效（向下取整）；
- * 非法值（0 / 负数 / NaN / Infinity / 非数）回默认 MAX_B_TOTAL_FORKS。
+ * 非法值（0 / 负数 / NaN / Infinity / 非数）回默认 MAX_EVAL_TOTAL_FORKS。
  * 返回实际生效值。core 无 IO——env/package.json 由 service 读取后 set 进来。
  */
-declare function setBForkBudgetLimit(n: number): number;
-declare function getBForkBudgetLimit(): number;
-declare function getBForkCount(): number;
-/** 宿主入口前重置 fork 计数（与 resetAbsCallBudget / resetBCallBudget 同口径） */
-declare function resetBForkBudget(): void;
+declare function setEvalForkBudgetLimit(n: number): number;
+declare function getEvalForkBudgetLimit(): number;
+declare function getEvalForkCount(): number;
+/** 宿主入口前重置 fork 计数（与 resetAbsCallBudget / resetEvalCallBudget 同口径） */
+declare function resetEvalForkBudget(): void;
 /** $fork 入口：超限放弃该分支（调用方返回 unknown = 最保守，安全）。 */
-declare function bumpBForkBudget(): boolean;
+declare function bumpEvalForkBudget(): boolean;
 
 declare function hashSource(s: string): string;
 declare function resetHashSourceCache(): void;
@@ -97,7 +97,7 @@ declare function resetHashSourceCache(): void;
  * Keeps every line that may carry @nudo directives.
  *
  * Fast path: already-stable sources return the same string identity (O(1)
- * compare in B-path / analysis caches when the caller reuses the buffer).
+ * compare in evaluator / analysis caches when the caller reuses the buffer).
  */
 declare function stableAnalyzeKeySource(source: string): string;
 
@@ -146,7 +146,7 @@ declare function canSkipLiteralCallScan(source: string, file: File): boolean;
  *
  * 不叫 provenance：`setProvenanceTracking` 已被 evaluator 的 TypeValue origin map
  * 占用。机制对齐 `setCallCollector` / `setAbsTruncationCollector` 先例——
- * **不进 Abs payload**；B-path 核心 ops（`add` / `joinAbs`）上打点，
+ * **不进 Abs payload**；evaluator 核心 ops（`add` / `joinAbs`）上打点，
  * 执行面天然覆盖。
  *
  * 设计原则：emit 打印的是推导图的投影，**禁止**事后从最终 Abs 反编译 shift 链。
@@ -458,7 +458,7 @@ type InjectedDomainEvidenceOpts = {
 declare function checkInjectedDomainEvidence(fnName: string, source: string, records: InjectedDomainRecord[], opts: InjectedDomainEvidenceOpts): CheckIssue[];
 
 /**
- * 成员缺失诊断（B 路径 $invoke / 成员访问共用）。
+ * 成员缺失诊断（求值引擎 $invoke / 成员访问共用）。
  * 无 $call / transpile 依赖，避免与 calls 循环。
  *
  * any vs unknown（design-cli-semantics §2–3）：
@@ -467,7 +467,7 @@ declare function checkInjectedDomainEvidence(fnName: string, source: string, rec
  * - null/undefined：成员访问 hard-throw TypeError（§3.3 / design.md §4.5）
  */
 
-type BMemberDiag = {
+type EvalMemberDiag = {
     kind: "method" | "property";
     name: string;
     /** 接收者 prim 类型名，或 "unknown" / "object"（C0.5 闭 shape 缺槽） */
@@ -492,13 +492,13 @@ declare function getAbsOrigin(a: Abs | undefined): {
     column: number;
 } | undefined;
 /** 返回先前 collector，便于嵌套调用 save/restore */
-declare function setMemberDiagCollector(c: ((d: BMemberDiag) => void) | null): ((d: BMemberDiag) => void) | null;
+declare function setMemberDiagCollector(c: ((d: EvalMemberDiag) => void) | null): ((d: EvalMemberDiag) => void) | null;
 declare function pushCallLoc(loc: {
     line: number;
     column: number;
 }): void;
 declare function popCallLoc(): void;
-declare function recordMemberDiag(d: BMemberDiag): void;
+declare function recordMemberDiag(d: EvalMemberDiag): void;
 /**
  * prim 接收者上的未知成员 → 诊断。
  * 返回 true 表示确定缺失（number 上任意方法；string 上表外方法）。
@@ -527,7 +527,7 @@ declare function noteMemberDispatchMiss(recv: Abs | undefined, name: string, kin
 /** Object.prototype 上的恒有成员（`in` 判定 / 不可调用判定共用） */
 declare const OBJECT_PROTO_NAMES: Set<string>;
 /**
- * 结构上确定不可调用的成员调用（B-path $invoke）：
+ * 结构上确定不可调用的成员调用（evaluator $invoke）：
  * - null-proto 对象：无 Object.prototype 可回退，缺失自有槽即确定缺失
  * - 闭 exact 对象：slots 是精确键集，非 OP 名缺失即确定缺失（OP 名经
  *   Object.prototype 存在，未建模 → 保守不抛）
@@ -536,7 +536,7 @@ declare const OBJECT_PROTO_NAMES: Set<string>;
  * 的 path 产物）、OP 原型名一律不判抛——避免假抛 false positive。
  */
 declare function definitelyUncallableMember(recv: Abs, name: string): boolean;
-/** host（service analysisConfig）在 B-path 前设置；默认 false */
+/** host（service analysisConfig）在 evaluator 前设置；默认 false */
 declare function setEvalMissingSlotEnabled(enabled: boolean): void;
 declare function isEvalMissingSlotEnabled(): boolean;
 /** per-analysis 作用域：body 内 flag 隔离，结束后自动恢复外层值 */
@@ -547,4 +547,4 @@ declare function runWithEvalMissingSlot<T>(enabled: boolean, body: () => T): T;
  */
 declare function noteObjSlotMissing(recv: Abs | undefined, name: string, loc?: [number, number]): boolean;
 
-export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type BMemberDiag, type ClassDef, type CollectAbsInlaysOpts, type DerivationNode, FORK_TRUNCATION_LABEL, type FnFp, HOST_EFFECT_LABEL_PREFIX, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_B_TOTAL_FORKS, MAX_CALL_DEPTH, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpBForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, coerceAsyncReturn, collectAbsInlays, concatString, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, exitCall, fixedLengthOfViews, fnFingerprints, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getBForkBudgetLimit, getBForkCount, getClass, getClassChain, getDerivation, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteBForkTruncation, noteDerivationAdd, noteDerivationJoin, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, resetAbsCallBudget, resetBForkBudget, resetFnFpCache, resetHashSourceCache, runWithEvalMissingSlot, setAbsTruncationCollector, setBForkBudgetLimit, setDerivation, setDerivationCollector, setEvalMissingSlotEnabled, setMemberDiagCollector, stableAnalyzeKeySource, stableCallId, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, truncatedAbs, viewTemplateParts, wrapPromise };
+export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type ClassDef, type CollectAbsInlaysOpts, type DerivationNode, type EvalMemberDiag, FORK_TRUNCATION_LABEL, type FnFp, HOST_EFFECT_LABEL_PREFIX, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_CALL_DEPTH, MAX_EVAL_TOTAL_FORKS, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpEvalForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, coerceAsyncReturn, collectAbsInlays, concatString, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, exitCall, fixedLengthOfViews, fnFingerprints, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClass, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, resetAbsCallBudget, resetEvalForkBudget, resetFnFpCache, resetHashSourceCache, runWithEvalMissingSlot, setAbsTruncationCollector, setDerivation, setDerivationCollector, setEvalForkBudgetLimit, setEvalMissingSlotEnabled, setMemberDiagCollector, stableAnalyzeKeySource, stableCallId, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, truncatedAbs, viewTemplateParts, wrapPromise };

package/dist/internal.js

@@ -16,7 +16,7 @@ import {
   resolveDepPath,
   sidecarSpecsOf,
   stableAnalyzeKeySource
-} from "./chunk-XOHKHJHE.js";
+} from "./chunk-TOURNNEA.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -24,8 +24,8 @@ import {
   ERROR_FAMILY,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
-  MAX_B_TOTAL_FORKS,
   MAX_CALL_DEPTH,
+  MAX_EVAL_TOTAL_FORKS,
   MAX_TOTAL_CALLS,
   OBJECT_PROTO_NAMES,
   abortDerivationSession,
@@ -34,7 +34,7 @@ import {
   anyMemberResult,
   awaitAbs,
   beginDerivationSession,
-  bumpBForkBudget,
+  bumpEvalForkBudget,
   callBudgetKey,
   classChainNames,
   classFromMethods,
@@ -63,11 +63,11 @@ import {
   formatThrowsAbs,
   getAbsCallBudgetStats,
   getAbsOrigin,
-  getBForkBudgetLimit,
-  getBForkCount,
   getClass,
   getClassChain,
   getDerivation,
+  getEvalForkBudgetLimit,
+  getEvalForkCount,
   getMayThrowCollector,
   hasDerivationSession,
   instanceOf,
@@ -88,9 +88,9 @@ import {
   mergeAdjacentFixedViews,
   noteAbsTruncation,
   noteAnyMemberMayThrow,
-  noteBForkTruncation,
   noteDerivationAdd,
   noteDerivationJoin,
+  noteEvalForkTruncation,
   noteHostEffectBlocked,
   noteMemberDispatchMiss,
   noteNullishMemberThrows,
@@ -109,14 +109,14 @@ import {
   recordMayThrow,
   recordMemberDiag,
   resetAbsCallBudget,
-  resetBForkBudget,
+  resetEvalForkBudget,
   resetLeakCounter,
   runWithEvalMissingSlot,
   runWithMayThrowSession,
   setAbsTruncationCollector,
-  setBForkBudgetLimit,
   setDerivation,
   setDerivationCollector,
+  setEvalForkBudgetLimit,
   setEvalMissingSlotEnabled,
   setMayThrowCollector,
   setMemberDiagCollector,
@@ -135,7 +135,7 @@ import {
   truncatedAbs,
   viewTemplateParts,
   wrapPromise
-} from "./chunk-SQSO4NKT.js";
+} from "./chunk-4V3CRVSD.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {
@@ -461,8 +461,8 @@ export {
   ERROR_FAMILY,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
-  MAX_B_TOTAL_FORKS,
   MAX_CALL_DEPTH,
+  MAX_EVAL_TOTAL_FORKS,
   MAX_TOTAL_CALLS,
   OBJECT_PROTO_NAMES,
   abortDerivationSession,
@@ -471,7 +471,7 @@ export {
   anyMemberResult,
   awaitAbs,
   beginDerivationSession,
-  bumpBForkBudget,
+  bumpEvalForkBudget,
   callBudgetKey,
   canSkipLiteralCallScan,
   checkInjectedDomainEvidence,
@@ -506,11 +506,11 @@ export {
   generalizeSourceKeyPart,
   getAbsCallBudgetStats,
   getAbsOrigin,
-  getBForkBudgetLimit,
-  getBForkCount,
   getClass,
   getClassChain,
   getDerivation,
+  getEvalForkBudgetLimit,
+  getEvalForkCount,
   getFnNameAndBodies,
   getMayThrowCollector,
   hasDerivationSession,
@@ -535,9 +535,9 @@ export {
   normPath,
   noteAbsTruncation,
   noteAnyMemberMayThrow,
-  noteBForkTruncation,
   noteDerivationAdd,
   noteDerivationJoin,
+  noteEvalForkTruncation,
   noteHostEffectBlocked,
   noteMemberDispatchMiss,
   noteNullishMemberThrows,
@@ -554,7 +554,7 @@ export {
   recordMayThrow,
   recordMemberDiag,
   resetAbsCallBudget,
-  resetBForkBudget,
+  resetEvalForkBudget,
   resetFnFpCache,
   resetHashSourceCache,
   resetLeakCounter,
@@ -562,9 +562,9 @@ export {
   runWithEvalMissingSlot,
   runWithMayThrowSession,
   setAbsTruncationCollector,
-  setBForkBudgetLimit,
   setDerivation,
   setDerivationCollector,
+  setEvalForkBudgetLimit,
   setEvalMissingSlotEnabled,
   setMayThrowCollector,
   setMemberDiagCollector,

package/package.json

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