@nudojs/core 1.4.0 → 1.6.0

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-WJfj477N.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, aZ as noteEvalCallRecord, a_ as noteEvalFallback, bf as resetEvalCallBudget, z as resetEvalFallbackStats, bz as routeApplyThrows, bg as runTranspiled, bh as runTranspiledOptionsMemoKey, bi as setEvalAssignCollector, bj as setEvalBindingSink, bk as setEvalCallCollector, bl as setEvalFallbackCollector, bw as tryRunTranspiled, H as withEvalBudgetOverride } from './run-WJfj477N.js';
+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 { Node, Expression, File } from '@babel/types';
 
 /**
@@ -584,7 +584,9 @@ declare class NudoUnsupportedError extends Error {
     constructor(reason: string, loc?: {
         line: number;
         column: number;
-    });
+    }, 
+    /** BUG-026：附加辨析面（如 class 碰撞的双方特征）——进 message 随回落观测 */
+    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 };

package/dist/exec.js

@@ -140,6 +140,7 @@ import {
   getEvalCallCollector,
   getEvalClass,
   getEvalFallbackStats,
+  isAbsVal,
   isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,
@@ -176,7 +177,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-LFCF6BLE.js";
+} from "./chunk-LZJC7X5J.js";
 export {
   $add,
   $arguments,
@@ -318,6 +319,7 @@ export {
   getEvalCallCollector,
   getEvalClass,
   getEvalFallbackStats,
+  isAbsVal,
   isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,

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-WJfj477N.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 isBigPrim, aJ as isExactLit, aK as isNumPrim, aL as isStrPrim, aM as le, aN as leNum, aO as lit, aP as litValue, aQ as lt, aR as ltNum, aS as makeAbsApplyResult, aT as markPureFn, aU as namespaceAbsOf, aV as ne, aW as negatePred, aX as never, aY as not, aZ as noteEvalCallRecord, a_ as noteEvalFallback, a$ as num, b0 as numLit, b1 as numVar, b2 as obj, b3 as or, b4 as pFalse, b5 as pTrue, b6 as phiAnd, b7 as predEquals, b8 as predToString, b9 as predVars, ba as primToTypeof, bb as ptypeof, bc as pureFnNameOf, bd as relationFingerprint, be as relationFn, bf as resetEvalCallBudget, bg as runTranspiled, bh as runTranspiledOptionsMemoKey, bi as setEvalAssignCollector, bj as setEvalBindingSink, bk as setEvalCallCollector, bl as setEvalFallbackCollector, bm as setImplicationOracle, bn as shapeOfTerm, bo as shapeOnlyFn, bp as shapeToString, bq as simplifyTerm, br as str, bs as strLit, bt as substPred, bu as termEquals, bv as termToString, bw as tryRunTranspiled, bx as unknown, by as v } from './run-WJfj477N.js';
+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 { Node, File } from '@babel/types';
-import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, o as CheckReport, N as NudoConstraint } from './check-report-Ci1dDysO.js';
-export { q as CONSTRAINT_BUILDERS, u as CONSTRAINT_BUILDER_NAMES, v as CONSTRAINT_EXPR_RE, w as CheckAction, C as CheckIssue, x as CheckJson, y as CheckJsonMulti, z as ConstraintBuilder, D as Diagnostic, A as EffectiveInterface, G as GitlabCodeQualityIssue, B as InterfaceDiag, I as InterfaceSource, F as InterfaceTierInfo, a as InterfaceTierOpts, H as NamedImport, J as NudoField, K as NudoFnConstraint, O as NudoSidecarError, P as NudoSig, R as RefineDiag, Q as RefineEntry, S as RefineResolveOpts, T as SELF, U as actionsForIssue, V as andC, W as any, X as array, Y as boolean, Z as checkArg, _ as checkCall, $ as constraintAdmitsNullish, a0 as constraintToEntryAbs, a1 as drainPromiseMicros, a2 as effectiveInterface, a3 as enterPromiseExecutorScope, a4 as evalPromiseCtor, a5 as evalPromiseMethod, a6 as evalPromiseStatic, a7 as execNudoModule, a8 as extractDeclaredThrows, a9 as extractFnBudget, aa as extractNudoImports, ab as extractRefineReturnFromSource, ac as extractRefinesFromSource, ad as fn, ae as fnConstraintToEntryReqs, af as formatCheckReport, ag as formatConstraint, ah as formatDiagnostics, ai as formatEffectiveInterfaceDisplay, aj as formatGithubAnnotations, ak as formatGitlabCodeQuality, al as formatInterfaceTierLine, am as generatedExportNames, an as getParseSourceCacheSize, ao as getTerm, ap as instantiateConstraint, aq as interfaceDiagCount, ar as interfaceSourceOf, as as interfaceTierOf, at as isIntFlag, au as isNodeModulesPath, av as isNudoConstraint, aw as leavePromiseExecutorScope, ax as lenTerm, ay as litC, az as localNamedExports, aA as notePromiseExecutorFork, aB as nullable, aC as number, aD as omit, aE as partial, aF as pick, aG as queuePromiseMicro, aH as refineDiagCount, aI as refineToIndexedFull, aJ as resetNudoModuleExecCache, aK as resetParseSourceCache, aL as resetSidecarLoadFailureCache, aM as serializeCheckJson, aN as serializeCheckJsonMulti, aO as setInterfaceDiagCollector, aP as setRefineDiagCollector, aQ as shape, aR as sidecarClosureFingerprint, aS as sidecarPathOf, aT as string, aU as takeInterfaceDiags, aV as takeInterfaceDiagsSince, aW as takeRefineDiags, aX as takeRefineDiagsSince, aY as throwConstraintToKinds, aZ as union } from './check-report-Ci1dDysO.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-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';
 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';
 
 /**
@@ -365,7 +365,12 @@ declare function setPropFlags(o: Abs, key: string, f: PropFlags): void;
 declare function migrateInvariants(from: Abs, to: Abs): void;
 
 /**
- * Math.* — 字面量实参走 ToNumber/ToInt32 后调用原生折叠，否则 number
+ * Math.* — 字面量实参走 ToNumber/ToInt32 后调用原生折叠；非字面量对
+ * min/max/round/floor/ceil/trunc 透传数值区间（#68）。
+ *
+ * NaN 策略（DEC：显式 NaN 臂）：操作数可能为 NaN 时结果为
+ * `NaN | number@bounds`。契约 `ge(0).le(100)` 对 NaN 臂诚实报违例；
+ * `if (Number.isNaN(n)) return …` 假臂的 `ne(n, NaN)` 事实可排除 NaN 臂。
  */
 
 declare function evalMathMethod(name: string, args: Abs[]): Abs | undefined;
@@ -1101,12 +1106,17 @@ type MockModuleRecord = {
  */
 declare function parseMockModulePayload(payload: string): MockModuleRecord | undefined;
 type NudoImportRecord = {
+    /** 本地绑定名（`a as b` 的 `b`，@nudo:contract 的引用名）；namespace 记 `*ns` */
     names: string[];
+    /** local → 侧车原始导出名（`a as b` 的 `a`）；未写别名的名字不进表 */
+    importedOfLocal: Record<string, string>;
     spec: string;
 };
 /**
  * `@nudo:import` 载荷：named `{ a, b as c }` / namespace `* as ns`。
  * default 等未识别形态返回 `malformed`（由消费方发诊断）。
+ * import 绑定语义 local ← imported：`a as b` 两个名字都保留——只留 local
+ * 会让查表用错名字（`exports[b]` miss，BUG-016）。
  */
 declare function parseNudoImportPayload(payload: string): NudoImportRecord | "malformed-default" | "malformed" | undefined;
 declare function extractFileEnvNames(source: string): string[];
@@ -1197,8 +1207,10 @@ declare function literalMeetsConstraint(lv: number | string | boolean | null | u
  * lit/and 已消歧；侧车注入键名仍为 lit/and）。
  */
 
-/** Abs → 契约；不可表达 → undefined */
-declare function absToConstraint(a: Abs): NudoConstraint | undefined;
+/** Abs → 契约；不可表达 → undefined。
+ *  `budget`：共享遍历预算（DESIGN-001）——环 / 超深 shape 返回 undefined
+ *  （不可表达），调用方走既有 fallback；schema 投影传入与自身共享的实例。 */
+declare function absToConstraint(a: Abs, budget?: ProjectionBudget): NudoConstraint | undefined;
 /**
  * 工件聚合投影（设计 §4.2：先 Abs join 折叠再投影）。
  * 空列表 → undefined（无证据不产约束）。

package/dist/index.js

@@ -91,7 +91,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-7QUVTEYZ.js";
+} from "./chunk-I35CHJNO.js";
 import {
   $add,
   $arguments,
@@ -215,6 +215,7 @@ import {
   OBJECT_PROTO_METHOD_NAMES,
   PROMISE_MICRO_ERROR_LABEL,
   PROMISE_MICRO_OVERFLOW_LABEL,
+  ProjectionBudget,
   RUNTIME_IMPORT_RE,
   TYPEOF_NAMES,
   abs,
@@ -331,6 +332,7 @@ import {
   implies,
   instantiateReturn,
   isAbsApplyResult,
+  isAbsVal,
   isArrMutator,
   isBigPrim,
   isDefinitelyFalse,
@@ -507,7 +509,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-LFCF6BLE.js";
+} from "./chunk-LZJC7X5J.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -768,60 +770,92 @@ function isBoundedEvidenceMissing(ret, constraint) {
   if (ret.pred && ret.pred.op !== "true") return false;
   return true;
 }
+function flattenSumArms(ret) {
+  if (ret.shape.k !== "sum") return [ret];
+  const out = [];
+  for (const m of ret.shape.members) {
+    if (m.shape.k === "sum") out.push(...flattenSumArms(m));
+    else out.push(m);
+  }
+  return out;
+}
+function isWidenedSumArm(m, parent) {
+  return parent.conf === "partial" && m.shape.k === "prim" && !m.term && (!m.pred || m.pred.op === "true");
+}
 function assertImplies(ret, constraint, opts) {
   const phi = opts?.phi ?? pTrue;
   if (ret.shape.k === "never") return proved();
   if (isAnyConstraint(constraint)) return proved();
-  const nullishOk = constraintAdmitsNullish(constraint);
-  if (isNullishLitAbs(ret)) {
-    return nullishOk ? proved() : disproved(`nullish return \u22AD ${formatConstraint(constraint)}`);
-  }
-  let sumMembers;
-  if (ret.shape.k === "sum") {
-    const members = ret.shape.members;
-    const nullishMembers = members.filter((m) => isNullishLitAbs(m));
-    if (nullishMembers.length > 0 && !nullishOk) {
-      return disproved(
-        `nullish return arm \u22AD ${formatConstraint(constraint)} (contract does not admit nullish)`
-      );
-    }
-    sumMembers = members.filter((m) => !isNullishLitAbs(m));
-  }
   if (isValueSetUnknown(ret)) {
     return unprovable(
       ret.shape.k === "any" ? "any does not establish the return contract" : "inference failure (unknown/opaque) \u2014 cannot prove the return contract"
     );
   }
+  const arms = flattenSumArms(ret);
+  if (arms.length > 1) {
+    return assertSumArms(arms, ret, constraint, opts, phi);
+  }
+  return assertImpliesSingle(arms[0], constraint, opts, phi);
+}
+function assertSumArms(arms, parent, constraint, opts, phi) {
+  const hasWidenedArm = arms.some(
+    (a) => isValueSetUnknown(a) || isWidenedSumArm(a, parent)
+  );
+  let sawUnprovable = false;
+  for (const arm of arms) {
+    if (isNullishLitAbs(arm)) {
+      if (!constraintAdmitsNullish(constraint)) {
+        return disproved(
+          `nullish return arm \u22AD ${formatConstraint(constraint)} (contract does not admit nullish)`
+        );
+      }
+      continue;
+    }
+    if (isValueSetUnknown(arm) || isWidenedSumArm(arm, parent)) {
+      sawUnprovable = true;
+      continue;
+    }
+    const r = assertImpliesSingle(arm, constraint, opts, phi);
+    if (r.status === "disproved") {
+      if (hasWidenedArm) {
+        sawUnprovable = true;
+        continue;
+      }
+      return r;
+    }
+    if (r.status === "unprovable") sawUnprovable = true;
+  }
+  return sawUnprovable ? unprovable("sum: some arms unprovable") : proved();
+}
+function assertImpliesSingle(arm, constraint, opts, phi) {
+  if (isNullishLitAbs(arm)) {
+    return constraintAdmitsNullish(constraint) ? proved() : disproved(`nullish return \u22AD ${formatConstraint(constraint)}`);
+  }
+  if (isValueSetUnknown(arm)) {
+    return unprovable(
+      arm.shape.k === "any" ? "any does not establish the return contract" : "inference failure (unknown/opaque) \u2014 cannot prove the return contract"
+    );
+  }
   if (constraint.members && constraint.members.length > 0) {
     let sawUnprovable = false;
     for (const m of constraint.members) {
-      const r = assertImplies(ret, m, opts);
+      const r = assertImplies(arm, m, opts);
       if (r.status === "proved") return proved();
       if (r.status === "unprovable") sawUnprovable = true;
     }
     return sawUnprovable ? unprovable("union: no member proved the return contract") : disproved(`return \u22AD union(${constraint.members.map((m) => formatConstraint(m)).join(", ")})`);
   }
-  if (sumMembers && (constraint.fields || constraint.element)) {
-    let sawUnprovable = false;
-    for (const m of sumMembers) {
-      if (isValueSetUnknown(m)) continue;
-      const r = assertImplies(m, constraint, opts);
-      if (r.status === "disproved") return r;
-      if (r.status === "unprovable") sawUnprovable = true;
-    }
-    return sawUnprovable ? unprovable("sum: some arms unprovable") : proved();
-  }
   if (constraint.fields) {
-    return assertShapeFields(ret, constraint, opts);
+    return assertShapeFields(arm, constraint, opts);
   }
   if (constraint.element) {
-    if (ret.shape.k !== "arr" && ret.shape.k !== "tuple") {
-      return disproved(`return shape ${ret.shape.k} \u22AD array(...)`);
+    if (arm.shape.k !== "arr" && arm.shape.k !== "tuple") {
+      return disproved(`return shape ${arm.shape.k} \u22AD array(...)`);
     }
     return proved();
   }
   if (constraint.fn) return proved();
-  return assertScalar(ret, constraint, phi);
+  return assertScalar(arm, constraint, phi);
 }
 function isAnyConstraint(c) {
   return !c.prim && c.preds.length === 0 && !c.fields && !c.element && !c.members && !c.fn && !isIntFlag(c);
@@ -998,8 +1032,17 @@ var ARR_FALLBACK_CONF = /* @__PURE__ */ new Set([
   "path",
   "widened"
 ]);
-function absToConstraint(a) {
+function absToConstraint(a, budget = new ProjectionBudget()) {
   if (!PROJECTABLE_CONF.has(a.conf)) return void 0;
+  const stop = budget.enter(a);
+  if (stop) return void 0;
+  try {
+    return absToConstraintInner(a, budget);
+  } finally {
+    budget.exit();
+  }
+}
+function absToConstraintInner(a, budget) {
   const s = a.shape;
   switch (s.k) {
     case "prim":
@@ -1017,9 +1060,9 @@ function absToConstraint(a) {
     case "any":
       return a.pred?.op === "or" ? projectOrLiterals(a) : void 0;
     case "obj":
-      return projectObj(s.slots, s.index, s.open);
+      return projectObj(s.slots, s.index, s.open, budget);
     case "arr":
-      return projectArr(s.element);
+      return projectArr(s.element, budget);
     case "sum":
       return projectSum(s.members);
     default:
@@ -1202,18 +1245,18 @@ function projectOrLiterals(a) {
   }
   return lits.length > 0 ? union(...lits) : void 0;
 }
-function projectObj(slots, index, open) {
+function projectObj(slots, index, open, budget) {
   if (index || open) return void 0;
   const fields = {};
   for (const [k, slot] of Object.entries(slots)) {
-    const fc = absToConstraint(slot.value);
+    const fc = absToConstraint(slot.value, budget);
     if (!fc) return void 0;
     fields[k] = { constraint: fc, ...slot.optional ? { optional: true } : {} };
   }
   return { __nudoConstraint: true, preds: [], fields };
 }
-function projectArr(element) {
-  const ec = absToConstraint(element);
+function projectArr(element, budget) {
+  const ec = absToConstraint(element, budget);
   if (ec) return array(ec);
   if (element.shape.k === "prim" && isBuilderPrim(element.shape.type) && (!element.pred || element.pred.op === "true") && ARR_FALLBACK_CONF.has(element.conf)) {
     return array(primConstraint(element.shape.type));
@@ -1693,7 +1736,7 @@ function evalThrowsOf(source, fnName, args, opts = {}, phi = pTrue) {
     exports = run;
     evalRunMemo.set(runKey, exports);
   }
-  const isAbsVal = (v2) => !!v2 && typeof v2 === "object" && "shape" in v2 && "conf" in v2;
+  const isAbsVal2 = (v2) => !!v2 && typeof v2 === "object" && "shape" in v2 && "conf" in v2;
   const call = (name, callArgs) => {
     try {
       return callTranspiledExportFull(exports, name, callArgs, phi.op === "true" ? void 0 : { phi });
@@ -1702,11 +1745,11 @@ function evalThrowsOf(source, fnName, args, opts = {}, phi = pTrue) {
     }
   };
   try {
-    if (fnName in exports) return call(fnName, args);
+    if (Object.hasOwn(exports, fnName)) return call(fnName, args);
     if (fnName.includes(".")) {
       const [clsName, methodName] = fnName.split(".", 2);
       const clsAbs = exports[clsName ?? ""];
-      if (isAbsVal(clsAbs)) {
+      if (isAbsVal2(clsAbs)) {
         return invokeAsThrows(() => $staticInvoke(clsAbs, methodName ?? "", args), phi);
       }
       return void 0;
@@ -1714,7 +1757,7 @@ function evalThrowsOf(source, fnName, args, opts = {}, phi = pTrue) {
     if ("default" in exports) {
       const d = exports["default"];
       if (typeof d === "function") return call("default", args);
-      if (isAbsVal(d)) {
+      if (isAbsVal2(d)) {
         if (d.shape.k === "fn") return call("default", args);
         if (d.shape.k === "obj") {
           return invokeAsThrows(() => $invoke(d, fnName, args), phi);
@@ -1733,12 +1776,9 @@ function widenForAssign(a) {
   if (s.k === "tuple") {
     const holes = new Set(s.holes ?? []);
     const els = s.elements.filter((_, i) => !holes.has(i));
-    let el = anyAbs;
-    if (els.length > 0) {
-      el = els.map(widenForAssign).reduce((x, y) => joinAbs(x, y));
-    } else if (s.rest) {
-      el = widenForAssign(s.rest);
-    }
+    const parts = els.map(widenForAssign);
+    if (s.rest) parts.push(widenForAssign(s.rest));
+    const el = parts.length > 0 ? parts.reduce((x, y) => joinAbs(x, y)) : anyAbs;
     return abs({ k: "arr", element: el }, void 0, void 0, a.conf);
   }
   if (s.k === "obj") {
@@ -2214,7 +2254,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
             message: `${name} (export): may throw ${gateDisplay}`,
             actual: `${name}(\u2026)    throws ${gateDisplay}`,
             expected: "entry total, or @nudo:throws / try-catch",
-            suggestion: first.cause ? `${first.cause} \u2192 ${first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind} / sidecar fn({ \u2026 }) contract / refine / guard / try-catch`}` : first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind} / sidecar fn({ \u2026 }) contract / refine / guard / try-catch`,
+            suggestion: first.cause ? `${first.cause} \u2192 ${first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind}  |  sidecar: fn({ \u2026 }): shape({ <body-read fields> })  |  refine / guard / try-catch`}` : first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind}  |  sidecar: fn({ \u2026 }): shape({ <body-read fields> })  |  refine / guard / try-catch`,
             fn: name,
             ...loc.line !== void 0 ? { line: loc.line } : {},
             ...loc.column !== void 0 ? { column: loc.column } : {}
@@ -2259,7 +2299,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
           message: `${name} (export): may throw ${gateDisplay}`,
           actual: `${formatEntrySigLine(name, g, gateDisplay)}`,
           expected: "entry total, or @nudo:throws / try-catch",
-          suggestion: first.cause ? `${first.cause} \u2192 ${first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind} / sidecar fn({ \u2026 }) contract / refine / guard / try-catch`}` : first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind} / sidecar fn({ \u2026 }) contract / refine / guard / try-catch`,
+          suggestion: first.cause ? `${first.cause} \u2192 ${first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind}  |  sidecar: fn({ \u2026 }): shape({ <body-read fields> })  |  refine / guard / try-catch`}` : first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind}  |  sidecar: fn({ \u2026 }): shape({ <body-read fields> })  |  refine / guard / try-catch`,
           fn: name,
           ...loc.line !== void 0 ? { line: loc.line } : {},
           ...loc.column !== void 0 ? { column: loc.column } : {}
@@ -2627,6 +2667,19 @@ function actionsForIssue(i) {
           label: "migration switch: ignore this throw class on L2"
         }
       ];
+    case "nudo:unproven-return":
+      return [
+        {
+          kind: "relax",
+          label: `relax the return contract${i.fn ? ` of ${i.fn}` : ""} to the inferred surface (review the diff \u2014 not a silent green)`,
+          ...i.expected ? { hint: i.expected } : {}
+        },
+        draft,
+        {
+          kind: "info",
+          label: "or narrow the return expression / add a precondition so the bound is implied"
+        }
+      ];
     case "nudo:unknown-inference":
     case "nudo:opaque-result":
       return [
@@ -3166,6 +3219,7 @@ export {
   interfaceSourceOf,
   interfaceTierOf,
   isAbsApplyResult,
+  isAbsVal,
   isArrMutator,
   isBigPrim,
   isDefinitelyFalse,

package/dist/internal.d.ts

@@ -1,7 +1,7 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './check-report-Ci1dDysO.js';
-export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, d as defaultLeakBudget, e as exceedsBudget, c as extractAllLoadSpecs, g as getPromiseMicrosLength, l as leakIfNeeded, f as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, h as resolveDepPath, s as sidecarSpecsOf, i as stablePathKey, j as stablePathKeyGraph, t as termDepth, k as termNodes } from './check-report-Ci1dDysO.js';
-import { A as Abs, T as Term, c as AstEnv } from './run-WJfj477N.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-WJfj477N.js';
+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 { File, Node } from '@babel/types';
 
 /**
@@ -414,8 +414,26 @@ declare function denoteGuard(a: Abs, v: string): string;
  * - member access: `recv.key` for idents, `recv["key"]` otherwise
  * - template literal type fixed segments: escape `\` `` ` `` `$`
  * - comment bodies: neutralize block-comment close, line breaks, control chars
+ * - binding names (`export const/function`, params): ident + non-reserved
  */
 declare function isJsIdent(name: string): boolean;
+/**
+ * True when `name` is legal as a `const` / `function` / `class` binding
+ * (or a `.d.ts` param / type-param name): IdentifierName shape and not
+ * a reserved word. Unlike `isJsIdent`, accepts Unicode identifiers and
+ * rejects `class` / `default` / `let` / `eval` / …
+ */
+declare function isJsBindingIdent(name: string): boolean;
+/**
+ * Binding name for a generated `export const` / `export function` slot.
+ *
+ * - already a legal binding → unchanged (Unicode names preserved)
+ * - reserved word → `_` prefix (`class` → `_class`)
+ * - otherwise sanitize: non-ident chars → `_`, leading non-start → `_` prefix
+ * - `used` (when given) de-duplicates within one generated module
+ *   (`a_b`, `a_b_2`, …) so cleaned names cannot collide
+ */
+declare function toJsBindingIdent(name: string, used?: Set<string>): string;
 /**
  * Object-literal / type-member key: bare ident or canonical integer,
  * otherwise JSON-quoted. Leading-zero digit keys (`01`) stay quoted — bare
@@ -651,4 +669,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, 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, truncatedAbs, viewTemplateParts, withFnBudgetOverride, 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, 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 };