@nudojs/core 1.7.1 → 1.7.3

package/dist/{chunk-GC7VNUCB.js → chunk-XVU2O6VF.js}

@@ -6,6 +6,7 @@ import {
   anyAbs,
   app,
   callTranspiledExportFull,
+  createScopedSlot,
   defaultLeakBudget,
   emptyEnv,
   eq,
@@ -36,6 +37,7 @@ import {
   predToString,
   primToTypeof,
   ptypeof,
+  registerCollectorScopeParticipant,
   runTranspiledOptionsMemoKey,
   snapshotAbs,
   stripStringsKeepComments,
@@ -46,7 +48,7 @@ import {
   withEvalBudgetOverride,
   withExecPhi,
   withFnBudgetOverride
-} from "./chunk-BM3UPEA7.js";
+} from "./chunk-TO2W45NU.js";
 
 // src/algebra/directive-scan.ts
 function cleanDirectiveLine(raw, kind) {
@@ -744,6 +746,63 @@ function sidecarPathOf(file) {
   return `${f}.nudo.js`;
 }
 
+// src/algebra/diag-channel.ts
+import { AsyncLocalStorage } from "async_hooks";
+function createDiagChannel(cap) {
+  let collector = null;
+  let seq = 0;
+  const buf = [];
+  return {
+    setCollector(fn2) {
+      collector = fn2;
+    },
+    getCollector() {
+      return collector;
+    },
+    count() {
+      return seq;
+    },
+    take() {
+      const out = buf.map((e) => e.d);
+      buf.length = 0;
+      return out;
+    },
+    takeSince(since) {
+      const out = [];
+      let kept = 0;
+      for (const e of buf) {
+        if (e.seq > since) out.push(e.d);
+        else buf[kept++] = e;
+      }
+      buf.length = kept;
+      return out;
+    },
+    emit(d) {
+      if (buf.length >= cap) buf.shift();
+      buf.push({ seq: ++seq, d });
+      collector?.(d);
+    }
+  };
+}
+function createScopedDiagChannel(cap) {
+  const als = new AsyncLocalStorage();
+  const fallback = createDiagChannel(cap);
+  const chan = () => als.getStore() ?? fallback;
+  return {
+    setCollector: (fn2) => chan().setCollector(fn2),
+    getCollector: () => chan().getCollector(),
+    count: () => chan().count(),
+    take: () => chan().take(),
+    takeSince: (since) => chan().takeSince(since),
+    emit: (d) => chan().emit(d),
+    runScoped: (body) => {
+      const fresh = createDiagChannel(cap);
+      fresh.setCollector(chan().getCollector());
+      return als.run(fresh, body);
+    }
+  };
+}
+
 // src/algebra/constraint.ts
 var SELF = "__nudo_self__";
 function selfTerm() {
@@ -1278,35 +1337,23 @@ function extractNudoImports(source) {
     spec: rec.spec
   }));
 }
-var refineDiagCollector = null;
-var refineDiagSeq = 0;
-var refineDiags = [];
 var MAX_REFINE_DIAGS = 1024;
+var refineDiagChannel = createScopedDiagChannel(MAX_REFINE_DIAGS);
+registerCollectorScopeParticipant((body) => refineDiagChannel.runScoped(body));
 function setRefineDiagCollector(fn2) {
-  refineDiagCollector = fn2;
+  refineDiagChannel.setCollector(fn2);
 }
 function refineDiagCount() {
-  return refineDiagSeq;
+  return refineDiagChannel.count();
 }
 function takeRefineDiags() {
-  const out = refineDiags.map((e) => e.d);
-  refineDiags.length = 0;
-  return out;
+  return refineDiagChannel.take();
 }
 function takeRefineDiagsSince(since) {
-  const out = [];
-  let kept = 0;
-  for (const e of refineDiags) {
-    if (e.seq > since) out.push(e.d);
-    else refineDiags[kept++] = e;
-  }
-  refineDiags.length = kept;
-  return out;
+  return refineDiagChannel.takeSince(since);
 }
 function collectDiag(d) {
-  if (refineDiags.length >= MAX_REFINE_DIAGS) refineDiags.shift();
-  refineDiags.push({ seq: ++refineDiagSeq, d });
-  refineDiagCollector?.(d);
+  refineDiagChannel.emit(d);
 }
 var NudoSidecarError = class extends Error {
   code;
@@ -1939,37 +1986,7 @@ function extractFnBudget(source, fnName) {
   return scanBudgetDecl(lines);
 }
 
-// src/algebra/interface.ts
-var interfaceDiagCollector = null;
-var interfaceDiagSeq = 0;
-var interfaceDiags = [];
-var MAX_INTERFACE_DIAGS = 1024;
-function setInterfaceDiagCollector(fn2) {
-  interfaceDiagCollector = fn2;
-}
-function interfaceDiagCount() {
-  return interfaceDiagSeq;
-}
-function takeInterfaceDiags() {
-  const out = interfaceDiags.map((e) => e.d);
-  interfaceDiags.length = 0;
-  return out;
-}
-function takeInterfaceDiagsSince(since) {
-  const out = [];
-  let kept = 0;
-  for (const e of interfaceDiags) {
-    if (e.seq > since) out.push(e.d);
-    else interfaceDiags[kept++] = e;
-  }
-  interfaceDiags.length = kept;
-  return out;
-}
-function collectDiag2(d) {
-  if (interfaceDiags.length >= MAX_INTERFACE_DIAGS) interfaceDiags.shift();
-  interfaceDiags.push({ seq: ++interfaceDiagSeq, d });
-  interfaceDiagCollector?.(d);
-}
+// src/algebra/scan-named-exports.ts
 function localNamedExports(source) {
   const out = /* @__PURE__ */ new Set();
   let ast;
@@ -2216,6 +2233,26 @@ function regionHasGeneratedMarker(stmts, exportIdx, src) {
     return (t.startsWith("//") || t.startsWith("/*") || t.startsWith("*")) && /@generated/.test(t);
   });
 }
+
+// src/algebra/interface.ts
+var MAX_INTERFACE_DIAGS = 1024;
+var interfaceDiagChannel = createScopedDiagChannel(MAX_INTERFACE_DIAGS);
+registerCollectorScopeParticipant((body) => interfaceDiagChannel.runScoped(body));
+function setInterfaceDiagCollector(fn2) {
+  interfaceDiagChannel.setCollector(fn2);
+}
+function interfaceDiagCount() {
+  return interfaceDiagChannel.count();
+}
+function takeInterfaceDiags() {
+  return interfaceDiagChannel.take();
+}
+function takeInterfaceDiagsSince(since) {
+  return interfaceDiagChannel.takeSince(since);
+}
+function collectDiag2(d) {
+  interfaceDiagChannel.emit(d);
+}
 function isUnderProjectRoot(sidecarPath, projectDir) {
   const norm = (p) => p.split("\\").join("/").replace(/\/+$/, "");
   const root = norm(projectDir);
@@ -2269,15 +2306,19 @@ function sidecarMayBind(sidecarNames, fnName, source) {
   }
   return false;
 }
-var sidecarLoadFailures = /* @__PURE__ */ new Map();
+var sidecarLoadFailureSlot = createScopedSlot(
+  () => /* @__PURE__ */ new Map()
+);
+registerCollectorScopeParticipant((body) => sidecarLoadFailureSlot.runScoped(body));
 function noteSidecarLoadFailure(sidecarPath, reason) {
+  const sidecarLoadFailures = sidecarLoadFailureSlot.get();
   const key = `${sidecarPath}\0${reason}`;
   if (sidecarLoadFailures.has(key)) return false;
   sidecarLoadFailures.set(key, reason);
   return true;
 }
 function resetSidecarLoadFailureCache() {
-  sidecarLoadFailures.clear();
+  sidecarLoadFailureSlot.get().clear();
 }
 function loadSidecarBinding(source, fnName, opts) {
   const { loadModule, fromFile, autoBind, projectDir } = opts;
@@ -4939,7 +4980,7 @@ function collectForwarders(source, knownFns, resolve, fileAst) {
   return forwards;
 }
 
-// src/algebra/scan.ts
+// src/algebra/scan-literal-calls.ts
 function hofFnArgOk(src, tgt) {
   if (src.shape.k !== "fn") return false;
   const t = tgt.shape;
@@ -5828,6 +5869,8 @@ export {
   resolveDepPath,
   isNodeModulesPath,
   sidecarPathOf,
+  createDiagChannel,
+  createScopedDiagChannel,
   SELF,
   getTerm,
   lenTerm,
@@ -5869,13 +5912,13 @@ export {
   extractRefineReturnFromSource,
   extractDeclaredThrows,
   extractFnBudget,
+  localNamedExports,
+  exportedNameOfLocal,
+  generatedExportNames,
   setInterfaceDiagCollector,
   interfaceDiagCount,
   takeInterfaceDiags,
   takeInterfaceDiagsSince,
-  localNamedExports,
-  exportedNameOfLocal,
-  generatedExportNames,
   resetSidecarLoadFailureCache,
   effectiveInterface,
   sidecarClosureFingerprint,
@@ -5904,6 +5947,6 @@ export {
   literalMeetsConstraint,
   stableAnalyzeKeySource,
   listTopFunctions,
-  checkInjectedDomainEvidence,
-  scanLiteralCalls
+  scanLiteralCalls,
+  checkInjectedDomainEvidence
 };

package/dist/exec.d.ts

@@ -1,13 +1,16 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-Dg7gQO2z.js';
-export { O as $assignRecord, Q as $call, U as $callNamed, V as $recordBinding, a1 as EvalAbsAssignRecord, a2 as EvalCallRecord, a3 as EvalFallback, f as EvalFallbackStats, a6 as MAX_EVAL_CALL_DEPTH, a7 as MAX_EVAL_TOTAL_CALLS, a8 as RUNTIME_IMPORT_RE, N as RunTranspiledOptions, aa as TranspiledCallResult, ao as bindingsOf, ar as callTranspiledExport, as as callTranspiledExportApply, at as callTranspiledExportFull, g as clearPureCallMemo, h as clearPureMemo, i as enterEvalCallBudgetSession, ay as evalExprAbs, k as exitEvalCallBudgetSession, q as getEvalCallBudgetState, aB as getEvalCallCollector, r as getEvalFallbackStats, aI as isAbsVal, a_ as noteEvalCallRecord, a$ as noteEvalFallback, bg as resetEvalCallBudget, z as resetEvalFallbackStats, bA as routeApplyThrows, bh as runTranspiled, bi as runTranspiledOptionsMemoKey, bj as setEvalAssignCollector, bk as setEvalBindingSink, bl as setEvalCallCollector, bm as setEvalFallbackCollector, bx as tryRunTranspiled, H as withEvalBudgetOverride } from './run-Dg7gQO2z.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-BuTz_p4k.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, f as EvalFallbackStats, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, ac as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, ae as TranspiledCallResult, as as bindingsOf, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, aC as evalExprAbs, o as exitEvalCallBudgetSession, u as getEvalCallBudgetState, aF as getEvalCallCollector, v as getEvalFallbackStats, aM as isAbsVal, b2 as noteEvalCallRecord, b3 as noteEvalFallback, bk as resetEvalCallBudget, G as resetEvalFallbackStats, bE as routeApplyThrows, bl as runTranspiled, bm as runTranspiledOptionsMemoKey, bn as setEvalAssignCollector, bo as setEvalBindingSink, bp as setEvalCallCollector, bq as setEvalFallbackCollector, bB as tryRunTranspiled, N as withEvalBudgetOverride } from './run-BuTz_p4k.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**
- * 求值引擎 throw 载荷（独立叶子模块）：
- * builtins.ts（evalJsonMethod 等 Abs builtin）需要硬抛 TypeError/SyntaxError，
- * 而 exec/runtime.ts 又 import builtins.ts（evalNamespaceCall 等）——
- * 直接互引成环。NudoThrow 无依赖（仅 Abs 类型 + Error），抽成叶子，
- * runtime.ts re-export 保持既有 import 面不变。
+ * 求值引擎 throw 载荷（内核叶子模块）。
+ * 历史：builtins.ts（evalJsonMethod 等 Abs builtin）需要硬抛
+ * TypeError/SyntaxError，而 exec/runtime.ts 又 import builtins.ts
+ * （evalNamespaceCall 等）——直接互引成环，故 NudoThrow 抽成无依赖叶子
+ * （仅 Abs 类型 + Error）。
+ * 现居 algebra/：Abs 代数内核（arithmetic/surface/methods、builtins/*）
+ * 也消费它，而内核不得 import exec/（exec 是引擎消费者，不是真理源）——
+ * exec/nudo-throw.ts re-export 维持引擎侧既有 import 面不变。
  */
 
 /** 求值引擎 throw 载荷：携带 Abs 抛出值 */
@@ -250,6 +253,12 @@ declare function $whileSeq(test: () => Abs, body: () => void, maxIters?: number,
     /** 标签循环：仅吸收同标签 break/continue 信号 */
     label?: string;
 }): void;
+/**
+ * switch：具体 disc 选中匹配 case；抽象 disc 并所有分支。
+ * 抽象路径与 $fork 同构：集合 side-table 按臂 overlay，共享 body 只跑一次；
+ * 臂内 NudoReturn/NudoThrow 不冒泡污染兄弟臂。
+ * **无 default 时必须隐式 fall-through 臂（undef）**，否则无匹配路径被丢掉（P0-2）。
+ */
 declare function $switch(disc: Abs, cases: Array<{
     test: Abs;
     run: () => Abs;
@@ -348,10 +357,6 @@ declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, ma
     /** 标签循环：仅吸收同标签 break/continue 信号 */
     label?: string;
 }): void;
-/**
- * 命名空间身份表：transpile 后 `Math.max(0, x)` 的接收者是宿主 JS 全局对象
- * （非 Abs）。按对象身份识别命名空间，路由到 Abs builtin 表。
- */
 declare function namespaceNameOf(v: unknown): string | undefined;
 /** 正则字面量 → RegExp brand（source/flags/lastIndex 进 slots，供 exec/test 精确执行） */
 declare function $regex(pattern: string, flags?: string): Abs;
@@ -369,7 +374,7 @@ declare function $collectionForEach(recv: Abs, cb: unknown): Abs | undefined;
 declare function $set(o: Abs, key: string, value: Abs): Abs;
 
 /**
- * async / await / generator / $switch / $nullishTest。
+ * async / await / generator / ??（$nullishTest / $removeNullish）。
  */
 
 /**
@@ -385,11 +390,13 @@ declare function $gen(body: () => void): Abs;
 /** yield v：压入当前生成器收集器；表达式值用 unknown */
 declare function $yield(v: Abs): Abs;
 /**
- * switch：具体 disc 选中匹配 case；抽象 disc 并所有分支。
- * 抽象路径与 $fork 同构：集合 side-table 按臂 overlay，共享 body 只跑一次；
- * 臂内 NudoReturn/NudoThrow 不冒泡污染兄弟臂。
- * **无 default 时必须隐式 fall-through 臂（undef）**，否则无匹配路径被丢掉（P0-2）。
+ * `??` 非 nullish 臂：从左值 Abs 剥离 nullish 部分（$nullishTest 判 true
+ * 的成员）。索引访问 `M[k]` 对抽象键产出 joinAbs(element, undef())，
+ * 左值 sum 保留 undefined 臂；`l ?? fallback` 的 alt（非 nullish 路径）
+ * 必须只取左值的非 nullish 部分——否则 false-positive `nullish return arm`
+ * （issue #90）、`for (const x of o.items ?? [])` 假 may-throw。
  */
+declare function $removeNullish(a: Abs): Abs;
 /** `??` / `??=` 测试：确定非 nullish → false；lit nullish → true；否则抽象 boolean */
 declare function $nullishTest(v: Abs): Abs;
 
@@ -589,4 +596,4 @@ declare class NudoUnsupportedError extends Error {
     detail?: string);
 }
 
-export { $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $isBreakTo, $isForkExit, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $ne, $neLoose, $neg, $new, $not, $nullishTest, $obj, $objAccessor, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $rethrowIfNudoReturn, $set, $setKey, $setProto, $shl, $shr, $spread, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, DEFAULT_MAX_LOOP_ITERS, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentExecPhi, fillTuple, foldRequireSpecArg, foldStaticStringExpr, getEvalClass, isArrMutator, isDefinitelyFalse, isDefinitelyTrue, isNudoBreak, isNudoContinue, isNudoReturn, isNudoThrow, litTruth, lookupObjAccessor, namespaceNameOf, pushLoopExit, pushThrowExit, registerEvalClass, runWithLoopExits, runtimeImportOf, takeLoopExits, takeThrowExits, transpile, transpileBodyNode, transpileExpression, transpileFile, transpileSource, withExecPhi };
+export { $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $isBreakTo, $isForkExit, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $ne, $neLoose, $neg, $new, $not, $nullishTest, $obj, $objAccessor, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $removeNullish, $rethrowIfNudoReturn, $set, $setKey, $setProto, $shl, $shr, $spread, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, DEFAULT_MAX_LOOP_ITERS, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentExecPhi, fillTuple, foldRequireSpecArg, foldStaticStringExpr, getEvalClass, isArrMutator, isDefinitelyFalse, isDefinitelyTrue, isNudoBreak, isNudoContinue, isNudoReturn, isNudoThrow, litTruth, lookupObjAccessor, namespaceNameOf, pushLoopExit, pushThrowExit, registerEvalClass, runWithLoopExits, runtimeImportOf, takeLoopExits, takeThrowExits, transpile, transpileBodyNode, transpileExpression, transpileFile, transpileSource, withExecPhi };

package/dist/exec.js

@@ -77,6 +77,7 @@ import {
   $reStateCall,
   $recordBinding,
   $regex,
+  $removeNullish,
   $rethrowIfNudoReturn,
   $set,
   $setKey,
@@ -177,7 +178,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-BM3UPEA7.js";
+} from "./chunk-TO2W45NU.js";
 export {
   $add,
   $arguments,
@@ -256,6 +257,7 @@ export {
   $reStateCall,
   $recordBinding,
   $regex,
+  $removeNullish,
   $rethrowIfNudoReturn,
   $set,
   $setKey,

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { c as AstEnv, A as Abs, b as Phi, T as Term, I as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, J as HofSite, K as AbsModuleExports, N as RunTranspiledOptions } from './run-Dg7gQO2z.js';
-export { O as $assignRecord, Q as $call, U as $callNamed, V as $recordBinding, W as AbsApplyNoThrow, X as AbsApplyNoThrowFn, Y as AbsApplyResult, Z as AbsApplyReturn, _ as AbsFnImpl, a0 as AbsSigImpl, a1 as EvalAbsAssignRecord, a2 as EvalCallRecord, a3 as EvalFallback, a4 as ImplicationOracle, a5 as LitValueResult, L as LiteralValue, a6 as MAX_EVAL_CALL_DEPTH, a7 as MAX_EVAL_TOTAL_CALLS, P as PrimName, a8 as RUNTIME_IMPORT_RE, a9 as TYPEOF_NAMES, aa as TranspiledCallResult, ab as TypeofName, ac as abs, ad as absFunction, ae as absOnly, af as absToString, ag as and, ah as anyAbs, ai as anyVar, aj as app, ak as assumeFinite, al as attachFnImpl, am as bigintLit, an as bindImports, ao as bindingsOf, ap as bool, aq as boolLit, ar as callTranspiledExport, as as callTranspiledExportApply, at as callTranspiledExportFull, au as collectAbsExports, av as confJoin, aw as emptyPhi, ax as eq, ay as evalExprAbs, az as ge, aA as geNum, aB as getEvalCallCollector, aC as getFnImpl, aD as getImplicationOracle, aE as gt, aF as gtNum, aG as implies, aH as isAbsApplyResult, aI as isAbsVal, aJ as isBigPrim, aK as isExactLit, aL as isNumPrim, aM as isStrPrim, aN as le, aO as leNum, aP as lit, aQ as litValue, aR as lt, aS as ltNum, aT as makeAbsApplyResult, aU as markPureFn, aV as namespaceAbsOf, aW as ne, aX as negatePred, aY as never, aZ as not, a_ as noteEvalCallRecord, a$ as noteEvalFallback, b0 as num, b1 as numLit, b2 as numVar, b3 as obj, b4 as or, b5 as pFalse, b6 as pTrue, b7 as phiAnd, b8 as predEquals, b9 as predToString, ba as predVars, bb as primToTypeof, bc as ptypeof, bd as pureFnNameOf, be as relationFingerprint, bf as relationFn, bg as resetEvalCallBudget, bh as runTranspiled, bi as runTranspiledOptionsMemoKey, bj as setEvalAssignCollector, bk as setEvalBindingSink, bl as setEvalCallCollector, bm as setEvalFallbackCollector, bn as setImplicationOracle, bo as shapeOfTerm, bp as shapeOnlyFn, bq as shapeToString, br as simplifyTerm, bs as str, bt as strLit, bu as substPred, bv as termEquals, bw as termToString, bx as tryRunTranspiled, by as unknown, bz as v } from './run-Dg7gQO2z.js';
+import { c as AstEnv, A as Abs, b as Phi, T as Term, O as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, Q as HofSite, U as AbsModuleExports, V as RunTranspiledOptions } from './run-BuTz_p4k.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, _ as AbsApplyNoThrow, a0 as AbsApplyNoThrowFn, a1 as AbsApplyResult, a2 as AbsApplyReturn, a3 as AbsFnImpl, a4 as AbsSigImpl, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, a8 as ImplicationOracle, a9 as LitValueResult, L as LiteralValue, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, P as PrimName, ac as RUNTIME_IMPORT_RE, ad as TYPEOF_NAMES, ae as TranspiledCallResult, af as TypeofName, ag as abs, ah as absFunction, ai as absOnly, aj as absToString, ak as and, al as anyAbs, am as anyVar, an as app, ao as assumeFinite, ap as attachFnImpl, aq as bigintLit, ar as bindImports, as as bindingsOf, at as bool, au as boolLit, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, ay as collectAbsExports, az as confJoin, aA as emptyPhi, aB as eq, aC as evalExprAbs, aD as ge, aE as geNum, aF as getEvalCallCollector, aG as getFnImpl, aH as getImplicationOracle, aI as gt, aJ as gtNum, aK as implies, aL as isAbsApplyResult, aM as isAbsVal, aN as isBigPrim, aO as isExactLit, aP as isNumPrim, aQ as isStrPrim, aR as le, aS as leNum, aT as lit, aU as litValue, aV as lt, aW as ltNum, aX as makeAbsApplyResult, aY as markPureFn, aZ as namespaceAbsOf, a_ as ne, a$ as negatePred, b0 as never, b1 as not, b2 as noteEvalCallRecord, b3 as noteEvalFallback, b4 as num, b5 as numLit, b6 as numVar, b7 as obj, b8 as or, b9 as pFalse, ba as pTrue, bb as phiAnd, bc as predEquals, bd as predToString, be as predVars, bf as primToTypeof, bg as ptypeof, bh as pureFnNameOf, bi as relationFingerprint, bj as relationFn, bk as resetEvalCallBudget, bl as runTranspiled, bm as runTranspiledOptionsMemoKey, bn as setEvalAssignCollector, bo as setEvalBindingSink, bp as setEvalCallCollector, bq as setEvalFallbackCollector, br as setImplicationOracle, bs as shapeOfTerm, bt as shapeOnlyFn, bu as shapeToString, bv as simplifyTerm, bw as str, bx as strLit, by as substPred, bz as termEquals, bA as termToString, bB as tryRunTranspiled, bC as unknown, bD as v } from './run-BuTz_p4k.js';
 import { Node, File } from '@babel/types';
-import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-CGbs16aX.js';
-export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as InterfaceDiag, I as InterfaceSource, K as InterfaceTierInfo, a as InterfaceTierOpts, O as NamedImport, Q as NudoField, R as NudoFnConstraint, S as NudoSidecarError, T as NudoSig, U as RefineDiag, V as RefineEntry, W as RefineResolveOpts, X as SELF, Y as actionsForIssue, Z as andC, _ as any, $ as array, a0 as boolean, a1 as checkArg, a2 as checkCall, a3 as constraintAdmitsNullish, a4 as constraintToEntryAbs, a5 as drainPromiseMicros, a6 as effectiveInterface, a7 as enterPromiseExecutorScope, a8 as evalPromiseCtor, a9 as evalPromiseMethod, aa as evalPromiseStatic, ab as execNudoModule, ac as extractDeclaredThrows, ad as extractFnBudget, ae as extractNudoImports, af as extractRefineReturnFromSource, ag as extractRefinesFromSource, ah as fn, ai as fnConstraintToEntryReqs, aj as formatCheckReport, ak as formatConstraint, al as formatDiagnostics, am as formatEffectiveInterfaceDisplay, an as formatGithubAnnotations, ao as formatGitlabCodeQuality, ap as formatInterfaceTierLine, aq as generatedExportNames, ar as getParseSourceCacheSize, as as getTerm, at as instantiateConstraint, au as interfaceDiagCount, av as interfaceSourceOf, aw as interfaceTierOf, ax as isIntFlag, ay as isNodeModulesPath, az as isNudoConstraint, aA as leavePromiseExecutorScope, aB as lenTerm, aC as litC, aD as localNamedExports, aE as notePromiseExecutorFork, aF as nullable, aG as number, aH as omit, aI as partial, aJ as pick, aK as queuePromiseMicro, aL as refineDiagCount, aM as refineToIndexedFull, aN as resetNudoModuleExecCache, aO as resetParseSourceCache, aP as resetSidecarLoadFailureCache, aQ as serializeCheckJson, aR as serializeCheckJsonMulti, aS as setInterfaceDiagCollector, aT as setRefineDiagCollector, aU as shape, aV as sidecarClosureFingerprint, aW as sidecarPathOf, aX as string, aY as takeInterfaceDiags, aZ as takeInterfaceDiagsSince, a_ as takeRefineDiags, a$ as takeRefineDiagsSince, b0 as throwConstraintToKinds, b1 as union } from './projection-budget-CGbs16aX.js';
+import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-CWlRVYgL.js';
+export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as InterfaceDiag, I as InterfaceSource, K as InterfaceTierInfo, a as InterfaceTierOpts, O as NamedImport, Q as NudoField, R as NudoFnConstraint, S as NudoSidecarError, T as NudoSig, U as RefineDiag, V as RefineEntry, W as RefineResolveOpts, X as SELF, Y as actionsForIssue, Z as andC, _ as any, $ as array, a0 as boolean, a1 as checkArg, a2 as checkCall, a3 as constraintAdmitsNullish, a4 as constraintToEntryAbs, a5 as drainPromiseMicros, a6 as effectiveInterface, a7 as enterPromiseExecutorScope, a8 as evalPromiseCtor, a9 as evalPromiseMethod, aa as evalPromiseStatic, ab as execNudoModule, ac as extractDeclaredThrows, ad as extractFnBudget, ae as extractNudoImports, af as extractRefineReturnFromSource, ag as extractRefinesFromSource, ah as fn, ai as fnConstraintToEntryReqs, aj as formatCheckReport, ak as formatConstraint, al as formatDiagnostics, am as formatEffectiveInterfaceDisplay, an as formatGithubAnnotations, ao as formatGitlabCodeQuality, ap as formatInterfaceTierLine, aq as generatedExportNames, ar as getParseSourceCacheSize, as as getTerm, at as instantiateConstraint, au as interfaceDiagCount, av as interfaceSourceOf, aw as interfaceTierOf, ax as isIntFlag, ay as isNodeModulesPath, az as isNudoConstraint, aA as leavePromiseExecutorScope, aB as lenTerm, aC as litC, aD as localNamedExports, aE as notePromiseExecutorFork, aF as nullable, aG as number, aH as omit, aI as partial, aJ as pick, aK as queuePromiseMicro, aL as refineDiagCount, aM as refineToIndexedFull, aN as resetNudoModuleExecCache, aO as resetParseSourceCache, aP as resetSidecarLoadFailureCache, aQ as serializeCheckJson, aR as serializeCheckJsonMulti, aS as setInterfaceDiagCollector, aT as setRefineDiagCollector, aU as shape, aV as sidecarClosureFingerprint, aW as sidecarPathOf, aX as string, aY as takeInterfaceDiags, aZ as takeInterfaceDiagsSince, a_ as takeRefineDiags, a$ as takeRefineDiagsSince, b0 as throwConstraintToKinds, b1 as union } from './projection-budget-CWlRVYgL.js';
 export { $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $isBreakTo, $isForkExit, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $ne, $neLoose, $neg, $new, $not, $nullishTest, $obj, $objAccessor, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $rethrowIfNudoReturn, $set, $setKey, $shl, $shr, $spread, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, DEFAULT_MAX_LOOP_ITERS, EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentExecPhi, fillTuple, foldRequireSpecArg, foldStaticStringExpr, getEvalClass, isArrMutator, isDefinitelyFalse, isDefinitelyTrue, isNudoBreak, isNudoContinue, isNudoReturn, isNudoThrow, litTruth, lookupObjAccessor, namespaceNameOf, pushLoopExit, pushThrowExit, registerEvalClass, runWithLoopExits, runtimeImportOf, takeLoopExits, takeThrowExits, transpile, transpileBodyNode, transpileExpression, transpileFile, transpileSource, withExecPhi } from './exec.js';
 
 /**

package/dist/index.js

@@ -91,7 +91,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-GC7VNUCB.js";
+} from "./chunk-XVU2O6VF.js";
 import {
   $add,
   $arguments,
@@ -206,6 +206,7 @@ import {
   DEFAULT_MAX_LOOP_ITERS,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
+  MATH_FOLD_ERROR_LABEL,
   MAX_EVAL_CALL_DEPTH,
   MAX_EVAL_TOTAL_CALLS,
   NudoLoopSignal,
@@ -446,6 +447,7 @@ import {
   resetParseSourceCache,
   runTranspiled,
   runTranspiledOptionsMemoKey,
+  runWithCollectorScope,
   runWithLoopExits,
   runWithMayThrowSession,
   runtimeImportOf,
@@ -509,7 +511,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-BM3UPEA7.js";
+} from "./chunk-TO2W45NU.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -1773,6 +1775,14 @@ function evalThrowsOf(source, fnName, args, opts = {}, phi = pTrue) {
 // src/algebra/check-assign.ts
 function widenForAssign(a) {
   const s = a.shape;
+  if (s.k === "sum") {
+    if (s.members.length > 0 && s.members.every((m) => m.shape.k === "tuple" || m.shape.k === "arr")) {
+      const els = s.members.map(widenForAssign).map((w) => w.shape.k === "arr" ? w.shape.element : w);
+      const el = els.reduce((x, y) => joinAbs(x, y));
+      return abs({ k: "arr", element: el }, void 0, void 0, a.conf);
+    }
+    return a;
+  }
   if (s.k === "tuple") {
     const holes = new Set(s.holes ?? []);
     const els = s.elements.filter((_, i) => !holes.has(i));
@@ -2050,6 +2060,11 @@ function scanCaseInconsistency(source, knownFns, opts) {
 
 // src/algebra/check.ts
 function checkSource(filePath, source, phi = pTrue, opts = {}) {
+  return runWithCollectorScope(
+    () => checkSourceInScope(filePath, source, phi, opts)
+  );
+}
+function checkSourceInScope(filePath, source, phi, opts) {
   let callOpts = opts;
   if (opts.loadModule && opts.fromFile) {
     const loadCache = /* @__PURE__ */ new Map();
@@ -2144,8 +2159,8 @@ function sidecarDiagIssues(diags) {
 }
 function checkSourceInner(filePath, source, file, phi, opts, issues, signatures, names, truncated, identityOpts = opts, depsFp, sidecarFp) {
   const hasRefineDirective = stripStringsKeepComments(source).includes("@nudo:contract");
-  const exportedNames = sidecarFp !== void 0 ? localNamedExports(source) : void 0;
   const entryNames = localNamedExports(source);
+  const exportedNames = sidecarFp !== void 0 ? entryNames : void 0;
   const entryThrowsMode = opts.entryThrows ?? "error";
   const ignoreThrows = opts.ignoreThrows;
   const driftCandidates = [];
@@ -2447,6 +2462,15 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       });
       continue;
     }
+    if (label === MATH_FOLD_ERROR_LABEL) {
+      issues.push({
+        severity: "info",
+        code: "nudo:math-fold-error",
+        message: `A Math native fold threw during analysis (host-tampered or divergent Math.*); the result was widened to number`,
+        suggestion: "optional: keep Math.* builtins unmodified in analyzed code, or mock them with @nudo:mock \u2014 non-blocking"
+      });
+      continue;
+    }
     if (label.startsWith(HOST_EFFECT_LABEL_PREFIX)) {
       const hostName = label.slice(HOST_EFFECT_LABEL_PREFIX.length);
       issues.push({

package/dist/internal.d.ts

@@ -1,7 +1,7 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-CGbs16aX.js';
-export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-CGbs16aX.js';
-import { A as Abs, T as Term, c as AstEnv } from './run-Dg7gQO2z.js';
-export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, f as EvalFallbackStats, M as MayThrowEffect, g as clearPureCallMemo, h as clearPureMemo, i as enterEvalCallBudgetSession, j as errorTypeAbs, k as exitEvalCallBudgetSession, l as filterDeclaredThrows, m as filterGateThrows, n as filterIgnoredThrows, o as flushMayThrowEffects, p as formatThrowsAbs, q as getEvalCallBudgetState, r as getEvalFallbackStats, s as getMayThrowCollector, t as isThrowsIgnored, u as mayThrowEffectsToAbs, v as orphanMayThrowEffects, w as popMayThrowFrame, x as pushMayThrowFrame, y as recordMayThrow, z as resetEvalFallbackStats, B as runWithMayThrowSession, D as setMayThrowCollector, F as throwAbsToKinds, G as throwsKindCovered, H as withEvalBudgetOverride } from './run-Dg7gQO2z.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-CWlRVYgL.js';
+export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-CWlRVYgL.js';
+import { A as Abs, T as Term, c as AstEnv } from './run-BuTz_p4k.js';
+export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, f as EvalFallbackStats, M as MayThrowEffect, g as absLit, h as absNumLit, i as absStrLit, j as allAbsStr, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, n as errorTypeAbs, o as exitEvalCallBudgetSession, p as filterDeclaredThrows, q as filterGateThrows, r as filterIgnoredThrows, s as flushMayThrowEffects, t as formatThrowsAbs, u as getEvalCallBudgetState, v as getEvalFallbackStats, w as getMayThrowCollector, x as isThrowsIgnored, y as mayThrowEffectsToAbs, z as orphanMayThrowEffects, B as popMayThrowFrame, D as pushMayThrowFrame, F as recordMayThrow, G as resetEvalFallbackStats, H as runWithMayThrowSession, I as setMayThrowCollector, J as throwAbsToKinds, K as throwsKindCovered, N as withEvalBudgetOverride } from './run-BuTz_p4k.js';
 import { File, Node } from '@babel/types';
 
 /**
@@ -149,6 +149,80 @@ declare function resetEvalForkBudget(): void;
 /** $fork 入口：超限放弃该分支（调用方返回 unknown = 最保守，安全）。 */
 declare function bumpEvalForkBudget(): boolean;
 
+/**
+ * 可 ALS 隔离的模块级可变槽。
+ * 语义：`get`/`set` 作用于当前最内层 store（无作用域 = fallback）；
+ * `runScoped` 以**进入时当前值**为初始值开新 store（继承语义：嵌套
+ * save/restore 与今日模块全局逐位一致）。
+ */
+type ScopedSlot<T> = {
+    get(): T;
+    set(v: T): void;
+    runScoped<R>(body: () => R): R;
+};
+declare function createScopedSlot<T>(init: () => T): ScopedSlot<T>;
+/** 作用域参与者：把 body 包进自己那条 ALS store（runWithCollectorScope 组合用） */
+type CollectorScopeParticipant = <R>(body: () => R) => R;
+/**
+ * 注册一个作用域参与者（模块加载时调用一次）。
+ * 参与者未加载 = 其状态本就无人触碰，不注册无影响。
+ */
+declare function registerCollectorScopeParticipant(enter: CollectorScopeParticipant): void;
+/**
+ * 进入一次完整分析的 collector 生命周期作用域。幂等（已在作用域内 →
+ * 直接执行）。body 可返回 Promise：async 续体沿 ALS 链继承 store，
+ * await 窗口内交错开启的其它作用域互不可见。
+ */
+declare function runWithCollectorScope<R>(body: () => R): R;
+
+/**
+ * 诊断 side-channel 共享原语（leaf 模块：零依赖）。
+ *
+ * refine（RefineDiag）/ interface（InterfaceDiag）各持一份同构实现
+ * （collector + seq + 定容环形缓冲 + takeSince 增量排干）——历史上多份
+ * 拷贝各自漂移过，收敛到本文件单一定义。
+ *
+ * seq 语义（消费方以此为 since 锚，不得改动）：
+ * - emit 时 `++seq` 入队（首条 seq=1）；
+ * - count() 返回当前累计序号——探测方先 count 取锚；
+ * - takeSince(since) 只排走 seq > since 的增量（清空仅限增量），
+ *   更早的在途条目保留给其真正消费方（全量 take 曾在 await 窗口
+ *   偷走在途诊断——两轮事故的根因）。
+ */
+/** 诊断通道：一个具名 side-channel 的全部操作 */
+type DiagChannel<T> = {
+    /** 设置诊断观察者（null 清除）；缓冲照常累积，take 取走 */
+    setCollector(fn: ((d: T) => void) | null): void;
+    /** 当前观察者（作用域继承用；null = 无） */
+    getCollector(): ((d: T) => void) | null;
+    /** 当前诊断累计序号（since 锚） */
+    count(): number;
+    /** 取走已收集的诊断（收集即清空） */
+    take(): T[];
+    /** 只取走 seq > since 的增量（清空仅限增量；更早在途条目保留） */
+    takeSince(since: number): T[];
+    /** 入队一条诊断（缓冲满 cap 挤出最旧条目）并通知观察者 */
+    emit(d: T): void;
+};
+/**
+ * 创建定容诊断通道：缓冲达 cap 后挤出最旧条目（防长会话无界增长，
+ * 消费方 take/takeSince 按批取走）。
+ */
+declare function createDiagChannel<T>(cap: number): DiagChannel<T>;
+/**
+ * 可作用域隔离的诊断通道（collector-scope 配套）。
+ *
+ * - 无作用域：所有操作落到模块级 fallback 通道（行为 = 今日）。
+ * - `runScoped` 开新通道：**空缓冲、seq 归零**（锚/buffer 是消费方私有的，
+ *   不得跨分析携带——交错分析的条目混进同一缓冲正是「偷诊断」形态），
+ *   观察者**继承**进入时的当前观察者（宿主在分析外装的观察器继续可见，
+ *   但只收到本作用域内发出的条目）。
+ */
+type ScopedDiagChannel<T> = DiagChannel<T> & {
+    runScoped<R>(body: () => R): R;
+};
+declare function createScopedDiagChannel<T>(cap: number): ScopedDiagChannel<T>;
+
 declare function hashSource(s: string): string;
 declare function resetHashSourceCache(): void;
 
@@ -669,4 +743,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 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, PROMISE_MICRO_ERROR_LABEL, PROMISE_MICRO_OVERFLOW_LABEL, type StringLiteralSpan, 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, escapeTemplateTypeFixed, exitCall, fixedLengthOfViews, fnFingerprints, formatObjectKey, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClass, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isJsBindingIdent, isJsIdent, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, maskCommentsAndStrings, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, resetAbsCallBudget, resetEvalForkBudget, resetFnFpCache, resetHashSourceCache, runWithEvalMissingSlot, safeMemberAccess, sanitizeCommentText, scanStringLiterals, setAbsTruncationCollector, setDerivation, setDerivationCollector, setEvalForkBudgetLimit, setEvalMissingSlotEnabled, setMemberDiagCollector, sourceHasCjsExports, sourceHasModuleDependency, sourceHasRequireCall, stableAnalyzeKeySource, stableCallId, stripCommentsAndStrings, stripStringsKeepComments, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, toJsBindingIdent, truncatedAbs, viewTemplateParts, withFnBudgetOverride, wrapPromise };
+export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type ClassDef, type CollectAbsInlaysOpts, type CollectorScopeParticipant, type DerivationNode, type DiagChannel, 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, PROMISE_MICRO_ERROR_LABEL, PROMISE_MICRO_OVERFLOW_LABEL, type ScopedDiagChannel, type ScopedSlot, type StringLiteralSpan, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpEvalForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, coerceAsyncReturn, collectAbsInlays, concatString, createDiagChannel, createScopedDiagChannel, createScopedSlot, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, escapeTemplateTypeFixed, exitCall, fixedLengthOfViews, fnFingerprints, formatObjectKey, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClass, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isJsBindingIdent, isJsIdent, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, maskCommentsAndStrings, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, registerCollectorScopeParticipant, resetAbsCallBudget, resetEvalForkBudget, resetFnFpCache, resetHashSourceCache, runWithCollectorScope, runWithEvalMissingSlot, safeMemberAccess, sanitizeCommentText, scanStringLiterals, setAbsTruncationCollector, setDerivation, setDerivationCollector, setEvalForkBudgetLimit, setEvalMissingSlotEnabled, setMemberDiagCollector, sourceHasCjsExports, sourceHasModuleDependency, sourceHasRequireCall, stableAnalyzeKeySource, stableCallId, stripCommentsAndStrings, stripStringsKeepComments, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, toJsBindingIdent, truncatedAbs, viewTemplateParts, withFnBudgetOverride, wrapPromise };