@nudojs/core 1.0.0 → 1.0.1

package/dist/exec.d.ts

@@ -1,2 +1,2 @@
-export { $ as $add, e as $arr, f as $async, g as $asyncReturn, h as $await, i as $call, j as $callNamed, k as $catchVal, l as $class, m as $concat, n as $div, o as $elems, p as $eq, q as $fnVal, r as $for, s as $forIter, t as $forOf, u as $fork, v as $ge, w as $gen, x as $get, y as $gt, z as $idx, B as $idxSet, D as $invoke, E as $invokeSuper, F as $join, G as $le, I as $len, J as $lit, K as $lt, L as $mod, M as $mul, N as $ne, O as $neg, Q as $new, U as $not, V as $obj, W as $optionalGet, X as $optionalInvoke, Y as $orDefault, Z as $regex, _ as $set, a0 as $setKey, a1 as $spread, a2 as $staticInvoke, a3 as $sub, a4 as $super, a5 as $switch, a6 as $thisGet, a7 as $thisSet, a8 as $throw, a9 as $typeof, aa as $while, ab as $whileSeq, ac as $yield, ad as BCallRecord, ae as BClassSpec, af as BMemberDiag, ag as DEFAULT_MAX_LOOP_ITERS, ai as NudoThrow, aj as RunTranspiledOptions, ak as TranspileOptions, al as TranspiledCallResult, au as asAbsVal, az as callTranspiledExport, aA as callTranspiledExportFull, aB as clearBClasses, aF as currentExecPhi, aK as getAbsOrigin, aL as getBCallCollector, aM as getBClass, aR as isDefinitelyFalse, aS as isDefinitelyTrue, aU as isNudoThrow, a$ as litTruth, b4 as namespaceNameOf, b8 as noteMemberDispatchMiss, b9 as notePrimMemberMissing, ba as noteUnknownMemberMissing, bp as recordMemberDiag, bq as registerBClass, br as runTranspiled, bt as setBCallCollector, bu as setMemberDiagCollector, bE as tagAbsOrigin, bH as transpile, bI as transpileExpression, bJ as transpileFile, bK as transpileSource, bS as withExecPhi } from './index-OfNo5qlN.js';
+export { $ as $add, e as $arr, f as $async, g as $asyncReturn, h as $await, i as $call, j as $callNamed, k as $catchVal, l as $class, m as $concat, n as $div, o as $elems, p as $eq, q as $fnVal, r as $for, s as $forIter, t as $forOf, u as $fork, v as $ge, w as $gen, x as $get, y as $gt, z as $idx, B as $idxSet, D as $invoke, E as $invokeSuper, F as $join, G as $le, I as $len, J as $lit, K as $lt, L as $mod, M as $mul, N as $ne, O as $neg, Q as $new, U as $not, V as $obj, W as $optionalGet, X as $optionalInvoke, Y as $orDefault, Z as $regex, _ as $set, a0 as $setKey, a1 as $spread, a2 as $staticInvoke, a3 as $sub, a4 as $super, a5 as $switch, a6 as $thisGet, a7 as $thisSet, a8 as $throw, a9 as $typeof, aa as $while, ab as $whileSeq, ac as $yield, ad as BCallRecord, ae as BClassSpec, af as BMemberDiag, ag as DEFAULT_MAX_LOOP_ITERS, aj as NudoThrow, ak as RunTranspiledOptions, al as TranspileOptions, am as TranspiledCallResult, av as asAbsVal, aA as callTranspiledExport, aB as callTranspiledExportFull, aC as clearBClasses, aG as currentExecPhi, aL as getAbsOrigin, aM as getBCallCollector, aN as getBClass, aS as isDefinitelyFalse, aT as isDefinitelyTrue, aV as isNudoThrow, b0 as litTruth, b5 as namespaceNameOf, b9 as noteMemberDispatchMiss, ba as notePrimMemberMissing, bb as noteUnknownMemberMissing, bq as recordMemberDiag, br as registerBClass, bs as runTranspiled, bu as setBCallCollector, bv as setMemberDiagCollector, bF as tagAbsOrigin, bI as transpile, bJ as transpileExpression, bK as transpileFile, bL as transpileSource, bT as withExecPhi } from './index-FITqyJ8v.js';
 import '@babel/types';

package/dist/exec.js

@@ -84,7 +84,7 @@ import {
   transpileFile,
   transpileSource,
   withExecPhi
-} from "./chunk-RZOQL6PT.js";
+} from "./chunk-P3G2TODS.js";
 export {
   $add,
   $arr,

package/dist/{index-OfNo5qlN.d.ts → index-FITqyJ8v.d.ts}

@@ -758,4 +758,4 @@ declare function callTranspiledExportFull(exports: Record<string, unknown>, name
 /** 调用 runTranspiled 导出（仅结果） */
 declare function callTranspiledExport(exports: Record<string, unknown>, name: string, args: Abs[]): Abs;
 
-export { $add as $, type AstEnv as A, $idxSet as B, type Confidence as C, $invoke as D, $invokeSuper as E, $join as F, $le as G, type HofSite as H, $len as I, $lit as J, $lt as K, $mod as L, $mul as M, $ne as N, $neg as O, type Phi as P, $new as Q, type RelSource as R, type Shape as S, type Term as T, $not as U, $obj as V, $optionalGet as W, $optionalInvoke as X, $orDefault as Y, $regex as Z, $set as _, type Abs as a, litTruth as a$, $setKey as a0, $spread as a1, $staticInvoke as a2, $sub as a3, $super as a4, $switch as a5, $thisGet as a6, $thisSet as a7, $throw as a8, $typeof as a9, callTranspiledExportFull as aA, clearBClasses as aB, collectAbsExports as aC, confJoin as aD, createHofCollectCtx as aE, currentExecPhi as aF, emptyPhi as aG, eq as aH, ge as aI, geNum as aJ, getAbsOrigin as aK, getBCallCollector as aL, getBClass as aM, gt as aN, gtNum as aO, implies as aP, instantiateReturn as aQ, isDefinitelyFalse as aR, isDefinitelyTrue as aS, isExactLit as aT, isNudoThrow as aU, isNumPrim as aV, isRelFn as aW, isStrPrim as aX, le as aY, leNum as aZ, lit as a_, $while as aa, $whileSeq as ab, $yield as ac, type BCallRecord as ad, type BClassSpec as ae, type BMemberDiag as af, DEFAULT_MAX_LOOP_ITERS as ag, type HofCollectCtx as ah, NudoThrow as ai, type RunTranspiledOptions as aj, type TranspileOptions as ak, type TranspiledCallResult as al, abs as am, absToString as an, alphaOf as ao, and as ap, anyVar as aq, app as ar, applyCallbackAbs as as, asAbs as at, asAbsVal as au, betaOf as av, bindImports as aw, bool as ax, boolLit as ay, callTranspiledExport as az, type Pred as b, litValue as b0, lt as b1, ltNum as b2, mapElementFallback as b3, namespaceNameOf as b4, ne as b5, never as b6, not as b7, noteMemberDispatchMiss as b8, notePrimMemberMissing as b9, strLit as bA, substAbs as bB, substPred as bC, substPredAbs as bD, tagAbsOrigin as bE, termEquals as bF, termToString as bG, transpile as bH, transpileExpression as bI, transpileFile as bJ, transpileSource as bK, tryPromoteDirectCall as bL, tryPromoteForOfIteratee as bM, tryPromoteHofCallback as bN, tryPromoteReceiverAsArr as bO, undefAbs as bP, unknown as bQ, v as bR, withExecPhi as bS, noteUnknownMemberMissing as ba, num as bb, numLit as bc, numVar as bd, obj as be, or as bf, pFalse as bg, pTrue as bh, phiAnd as bi, predEquals as bj, predToString as bk, predVars as bl, projectFlatMapResult as bm, promoteParamShape as bn, ptypeof as bo, recordMemberDiag as bp, registerBClass as bq, runTranspiled as br, setApplyCallbackHost as bs, setBCallCollector as bt, setMemberDiagCollector as bu, shapeOfTerm as bv, shapeToString as bw, simplifyTerm as bx, snapshotAbs as by, str as bz, type AbsModuleExports as c, type PrimName as d, $arr as e, $async as f, $asyncReturn as g, $await as h, $call as i, $callNamed as j, $catchVal as k, $class as l, $concat as m, $div as n, $elems as o, $eq as p, $fnVal as q, $for as r, $forIter as s, $forOf as t, $fork as u, $ge as v, $gen as w, $get as x, $gt as y, $idx as z };
+export { $add as $, type Abs as A, $idxSet as B, type Confidence as C, $invoke as D, $invokeSuper as E, $join as F, $le as G, type HofSite as H, $len as I, $lit as J, $lt as K, $mod as L, $mul as M, $ne as N, $neg as O, type Phi as P, $new as Q, type RelSource as R, type Shape as S, type Term as T, $not as U, $obj as V, $optionalGet as W, $optionalInvoke as X, $orDefault as Y, $regex as Z, $set as _, type AstEnv as a, lit as a$, $setKey as a0, $spread as a1, $staticInvoke as a2, $sub as a3, $super as a4, $switch as a5, $thisGet as a6, $thisSet as a7, $throw as a8, $typeof as a9, callTranspiledExport as aA, callTranspiledExportFull as aB, clearBClasses as aC, collectAbsExports as aD, confJoin as aE, createHofCollectCtx as aF, currentExecPhi as aG, emptyPhi as aH, eq as aI, ge as aJ, geNum as aK, getAbsOrigin as aL, getBCallCollector as aM, getBClass as aN, gt as aO, gtNum as aP, implies as aQ, instantiateReturn as aR, isDefinitelyFalse as aS, isDefinitelyTrue as aT, isExactLit as aU, isNudoThrow as aV, isNumPrim as aW, isRelFn as aX, isStrPrim as aY, le as aZ, leNum as a_, $while as aa, $whileSeq as ab, $yield as ac, type BCallRecord as ad, type BClassSpec as ae, type BMemberDiag as af, DEFAULT_MAX_LOOP_ITERS as ag, type HofCollectCtx as ah, type LiteralValue as ai, NudoThrow as aj, type RunTranspiledOptions as ak, type TranspileOptions as al, type TranspiledCallResult as am, abs as an, absToString as ao, alphaOf as ap, and as aq, anyVar as ar, app as as, applyCallbackAbs as at, asAbs as au, asAbsVal as av, betaOf as aw, bindImports as ax, bool as ay, boolLit as az, type Pred as b, litTruth as b0, litValue as b1, lt as b2, ltNum as b3, mapElementFallback as b4, namespaceNameOf as b5, ne as b6, never as b7, not as b8, noteMemberDispatchMiss as b9, str as bA, strLit as bB, substAbs as bC, substPred as bD, substPredAbs as bE, tagAbsOrigin as bF, termEquals as bG, termToString as bH, transpile as bI, transpileExpression as bJ, transpileFile as bK, transpileSource as bL, tryPromoteDirectCall as bM, tryPromoteForOfIteratee as bN, tryPromoteHofCallback as bO, tryPromoteReceiverAsArr as bP, undefAbs as bQ, unknown as bR, v as bS, withExecPhi as bT, notePrimMemberMissing as ba, noteUnknownMemberMissing as bb, num as bc, numLit as bd, numVar as be, obj as bf, or as bg, pFalse as bh, pTrue as bi, phiAnd as bj, predEquals as bk, predToString as bl, predVars as bm, projectFlatMapResult as bn, promoteParamShape as bo, ptypeof as bp, recordMemberDiag as bq, registerBClass as br, runTranspiled as bs, setApplyCallbackHost as bt, setBCallCollector as bu, setMemberDiagCollector as bv, shapeOfTerm as bw, shapeToString as bx, simplifyTerm as by, snapshotAbs as bz, type AbsModuleExports as c, type PrimName as d, $arr as e, $async as f, $asyncReturn as g, $await as h, $call as i, $callNamed as j, $catchVal as k, $class as l, $concat as m, $div as n, $elems as o, $eq as p, $fnVal as q, $for as r, $forIter as s, $forOf as t, $fork as u, $ge as v, $gen as w, $get as x, $gt as y, $idx as z };

package/dist/index.d.ts

@@ -1,195 +1,44 @@
+import { A as Abs, P as Phi, a as AstEnv, C as Confidence, b as Pred, S as Shape, T as Term, c as AbsModuleExports, d as PrimName, R as RelSource, H as HofSite } from './index-FITqyJ8v.js';
+export { $ as $add, e as $arr, f as $async, g as $asyncReturn, h as $await, i as $call, j as $callNamed, k as $catchVal, l as $class, m as $concat, n as $div, o as $elems, p as $eq, q as $fnVal, r as $for, s as $forIter, t as $forOf, u as $fork, v as $ge, w as $gen, x as $get, y as $gt, z as $idx, B as $idxSet, D as $invoke, E as $invokeSuper, F as $join, G as $le, I as $len, J as $lit, K as $lt, L as $mod, M as $mul, N as $ne, O as $neg, Q as $new, U as $not, V as $obj, W as $optionalGet, X as $optionalInvoke, Y as $orDefault, Z as $regex, _ as $set, a0 as $setKey, a1 as $spread, a2 as $staticInvoke, a3 as $sub, a4 as $super, a5 as $switch, a6 as $thisGet, a7 as $thisSet, a8 as $throw, a9 as $typeof, aa as $while, ab as $whileSeq, ac as $yield, ad as BCallRecord, ae as BClassSpec, af as BMemberDiag, ag as DEFAULT_MAX_LOOP_ITERS, ah as HofCollectCtx, ai as LiteralValue, aj as NudoThrow, ak as RunTranspiledOptions, al as TranspileOptions, am as TranspiledCallResult, an as abs, ao as absToString, ap as alphaOf, aq as and, ar as anyVar, as as app, at as applyCallbackAbs, au as asAbs, av as asAbsVal, aw as betaOf, ax as bindImports, ay as bool, az as boolLit, aA as callTranspiledExport, aB as callTranspiledExportFull, aC as clearBClasses, aD as collectAbsExports, aE as confJoin, aF as createHofCollectCtx, aG as currentExecPhi, aH as emptyPhi, aI as eq, aJ as ge, aK as geNum, aL as getAbsOrigin, aM as getBCallCollector, aN as getBClass, aO as gt, aP as gtNum, aQ as implies, aR as instantiateReturn, aS as isDefinitelyFalse, aT as isDefinitelyTrue, aU as isExactLit, aV as isNudoThrow, aW as isNumPrim, aX as isRelFn, aY as isStrPrim, aZ as le, a_ as leNum, a$ as lit, b0 as litTruth, b1 as litValue, b2 as lt, b3 as ltNum, b4 as mapElementFallback, b5 as namespaceNameOf, b6 as ne, b7 as never, b8 as not, b9 as noteMemberDispatchMiss, ba as notePrimMemberMissing, bb as noteUnknownMemberMissing, bc as num, bd as numLit, be as numVar, bf as obj, bg as or, bh as pFalse, bi as pTrue, bj as phiAnd, bk as predEquals, bl as predToString, bm as predVars, bn as projectFlatMapResult, bo as promoteParamShape, bp as ptypeof, bq as recordMemberDiag, br as registerBClass, bs as runTranspiled, bt as setApplyCallbackHost, bu as setBCallCollector, bv as setMemberDiagCollector, bw as shapeOfTerm, bx as shapeToString, by as simplifyTerm, bz as snapshotAbs, bA as str, bB as strLit, bC as substAbs, bD as substPred, bE as substPredAbs, bF as tagAbsOrigin, bG as termEquals, bH as termToString, bI as transpile, bJ as transpileExpression, bK as transpileFile, bL as transpileSource, bM as tryPromoteDirectCall, bN as tryPromoteForOfIteratee, bO as tryPromoteHofCallback, bP as tryPromoteReceiverAsArr, bQ as undefAbs, bR as unknown, bS as v, bT as withExecPhi } from './index-FITqyJ8v.js';
 import { Node, File } from '@babel/types';
-import { P as Phi, A as AstEnv, a as Abs, C as Confidence, b as Pred, S as Shape, T as Term, c as AbsModuleExports, d as PrimName, R as RelSource, H as HofSite } from './index-OfNo5qlN.js';
-export { $ as $add, e as $arr, f as $async, g as $asyncReturn, h as $await, i as $call, j as $callNamed, k as $catchVal, l as $class, m as $concat, n as $div, o as $elems, p as $eq, q as $fnVal, r as $for, s as $forIter, t as $forOf, u as $fork, v as $ge, w as $gen, x as $get, y as $gt, z as $idx, B as $idxSet, D as $invoke, E as $invokeSuper, F as $join, G as $le, I as $len, J as $lit, K as $lt, L as $mod, M as $mul, N as $ne, O as $neg, Q as $new, U as $not, V as $obj, W as $optionalGet, X as $optionalInvoke, Y as $orDefault, Z as $regex, _ as $set, a0 as $setKey, a1 as $spread, a2 as $staticInvoke, a3 as $sub, a4 as $super, a5 as $switch, a6 as $thisGet, a7 as $thisSet, a8 as $throw, a9 as $typeof, aa as $while, ab as $whileSeq, ac as $yield, ad as BCallRecord, ae as BClassSpec, af as BMemberDiag, ag as DEFAULT_MAX_LOOP_ITERS, ah as HofCollectCtx, ai as NudoThrow, aj as RunTranspiledOptions, ak as TranspileOptions, al as TranspiledCallResult, am as abs, an as absToString, ao as alphaOf, ap as and, aq as anyVar, ar as app, as as applyCallbackAbs, at as asAbs, au as asAbsVal, av as betaOf, aw as bindImports, ax as bool, ay as boolLit, az as callTranspiledExport, aA as callTranspiledExportFull, aB as clearBClasses, aC as collectAbsExports, aD as confJoin, aE as createHofCollectCtx, aF as currentExecPhi, aG as emptyPhi, aH as eq, aI as ge, aJ as geNum, aK as getAbsOrigin, aL as getBCallCollector, aM as getBClass, aN as gt, aO as gtNum, aP as implies, aQ as instantiateReturn, aR as isDefinitelyFalse, aS as isDefinitelyTrue, aT as isExactLit, aU as isNudoThrow, aV as isNumPrim, aW as isRelFn, aX as isStrPrim, aY as le, aZ as leNum, a_ as lit, a$ as litTruth, b0 as litValue, b1 as lt, b2 as ltNum, b3 as mapElementFallback, b4 as namespaceNameOf, b5 as ne, b6 as never, b7 as not, b8 as noteMemberDispatchMiss, b9 as notePrimMemberMissing, ba as noteUnknownMemberMissing, bb as num, bc as numLit, bd as numVar, be as obj, bf as or, bg as pFalse, bh as pTrue, bi as phiAnd, bj as predEquals, bk as predToString, bl as predVars, bm as projectFlatMapResult, bn as promoteParamShape, bo as ptypeof, bp as recordMemberDiag, bq as registerBClass, br as runTranspiled, bs as setApplyCallbackHost, bt as setBCallCollector, bu as setMemberDiagCollector, bv as shapeOfTerm, bw as shapeToString, bx as simplifyTerm, by as snapshotAbs, bz as str, bA as strLit, bB as substAbs, bC as substPred, bD as substPredAbs, bE as tagAbsOrigin, bF as termEquals, bG as termToString, bH as transpile, bI as transpileExpression, bJ as transpileFile, bK as transpileSource, bL as tryPromoteDirectCall, bM as tryPromoteForOfIteratee, bN as tryPromoteHofCallback, bO as tryPromoteReceiverAsArr, bP as undefAbs, bQ as unknown, bR as v, bS as withExecPhi } from './index-OfNo5qlN.js';
 
 type Environment = {
-    lookup(name: string): TypeValue;
-    bind(name: string, value: TypeValue): Environment;
-    update(name: string, value: TypeValue): boolean;
-    extend(bindings: Record<string, TypeValue>): Environment;
+    lookup(name: string): Abs;
+    bind(name: string, value: Abs): Environment;
+    update(name: string, value: Abs): boolean;
+    extend(bindings: Record<string, Abs>): Environment;
     fork(): Environment;
     has(name: string): boolean;
     snapshot(): Environment;
-    getOwnBindings(): Record<string, TypeValue>;
+    getOwnBindings(): Record<string, Abs>;
 };
-declare function createEnvironment(parent?: Environment, bindings?: Map<string, TypeValue>): Environment;
-
-type LiteralValue = string | number | boolean | bigint | null | undefined;
-type SigImpl = (args: TypeValue[], thisVal?: TypeValue) => TypeValue | undefined;
-type FunctionSignature = {
-    paramTypes: TypeValue[];
-    returnType: TypeValue;
-    throwsType: TypeValue;
-    impl?: SigImpl;
-};
-type Refinement = {
-    name: string;
-    meta: Record<string, unknown>;
-    check?: (value: unknown) => boolean;
-    ops?: Record<string, (self: TypeValue, other: TypeValue) => TypeValue | undefined>;
-    methods?: Record<string, (self: TypeValue, args: TypeValue[]) => TypeValue | undefined>;
-    properties?: Record<string, (self: TypeValue) => TypeValue | undefined>;
-};
-type TypeValue = {
-    kind: "literal";
-    value: LiteralValue;
-} | {
-    kind: "primitive";
-    type: "number" | "string" | "boolean" | "bigint" | "symbol";
-} | {
-    kind: "refined";
-    base: TypeValue;
-    refinement: Refinement;
-} | {
-    kind: "object";
-    properties: Record<string, TypeValue>;
-    id: symbol;
-} | {
-    kind: "array";
-    element: TypeValue;
-} | {
-    kind: "tuple";
-    elements: TypeValue[];
-} | {
-    kind: "function";
-    params: string[];
-    body: Node;
-    closure: Environment;
-} | {
-    kind: "promise";
-    value: TypeValue;
-} | {
-    kind: "instance";
-    className: string;
-    properties: Record<string, TypeValue>;
-} | {
-    kind: "union";
-    members: TypeValue[];
-} | {
-    kind: "never";
-} | {
-    kind: "unknown";
-};
-declare function createUnion(...members: TypeValue[]): TypeValue;
-declare const T: {
-    readonly literal: (value: LiteralValue) => TypeValue;
-    readonly number: TypeValue;
-    readonly string: TypeValue;
-    readonly boolean: TypeValue;
-    readonly bigint: TypeValue;
-    readonly symbol: TypeValue;
-    readonly null: TypeValue;
-    readonly undefined: TypeValue;
-    readonly unknown: TypeValue;
-    readonly never: TypeValue;
-    readonly object: (properties: Record<string, TypeValue>) => TypeValue;
-    readonly array: (element: TypeValue) => TypeValue;
-    readonly tuple: (elements: TypeValue[]) => TypeValue;
-    readonly promise: (value: TypeValue) => TypeValue;
-    readonly instanceOf: (className: string, properties?: Record<string, TypeValue>) => TypeValue;
-    readonly union: typeof createUnion;
-    readonly fn: (params: string[], body: Node, closure: Environment) => TypeValue;
-    readonly refine: (base: TypeValue, refinement: Refinement) => TypeValue;
-    readonly fnSig: (paramTypes: TypeValue[], returnType: TypeValue, throwsType?: TypeValue, impl?: SigImpl) => TypeValue;
-};
-declare function typeValueEquals(a: TypeValue, b: TypeValue): boolean;
-declare function simplifyUnion(members: TypeValue[]): TypeValue;
-declare function widenLiteral(tv: TypeValue): TypeValue;
-/**
- * union 成员全部为同原语基底的字面量且数量 > maxLiterals 时塌缩为该基类型；
- * 非 union、混合类型、或数量不超限的原样返回。
- *
- * 复用 simplifyUnion（内含吸收律与去重）：先让「基类型已在场」的字面量被吸收
- * （3 | number → number），再对剩余的纯字面量联合做阈值坍缩（1|2|…|20 → number）。
- * 两步不冲突也不重复：吸收只删基类型已在场的字面量，阈值坍缩只处理无基类型
- * 在场的纯字面量联合。
- */
-declare function collapseLiteralUnion(tv: TypeValue, maxLiterals: number): TypeValue;
-declare function isSubtypeOf(a: TypeValue, b: TypeValue): boolean;
-declare function deepCloneTypeValue(tv: TypeValue, idMap?: Map<symbol, symbol>): TypeValue;
-declare function mergeObjectProperties(a: TypeValue & {
-    kind: "object";
-}, b: TypeValue & {
-    kind: "object";
-}): TypeValue;
-declare function typeValueToString(tv: TypeValue): string;
-declare function narrowType(tv: TypeValue, predicate: (member: TypeValue) => boolean): TypeValue;
-declare function subtractType(tv: TypeValue, predicate: (member: TypeValue) => boolean): TypeValue;
-declare function getPrimitiveTypeOf(tv: TypeValue): string | undefined;
-declare function getRefinedBase(tv: TypeValue): TypeValue;
-declare function isFnSig(tv: TypeValue): boolean;
-declare function getFnSig(tv: TypeValue): FunctionSignature | undefined;
-
-/**
- * 残差 IR 兜底（不是类型运算真理源）。
- *
- * 真理在 algebra：算术/比较/相等/typeof/!/−/字符串词法序/nullish 均走 Abs。
- * 这里只保留：
- * - add：代数拒绝时的混合 `+`
- * - 比较/相等：代数无法判定时的保守 boolean / 字面量折叠
- * - dispatchMethod/Property：宿主 refined 扩展（startsWith、length…）
- */
-
-declare const Ops: {
-    readonly add: (left: TypeValue, right: TypeValue) => TypeValue;
-    readonly strictEq: (left: TypeValue, right: TypeValue) => TypeValue;
-    readonly strictNeq: (left: TypeValue, right: TypeValue) => TypeValue;
-    readonly gt: (left: TypeValue, right: TypeValue) => TypeValue;
-    readonly lt: (left: TypeValue, right: TypeValue) => TypeValue;
-    readonly gte: (left: TypeValue, right: TypeValue) => TypeValue;
-    readonly lte: (left: TypeValue, right: TypeValue) => TypeValue;
-    readonly not: (operand: TypeValue) => TypeValue;
-};
-declare function applyBinaryOp(op: string, left: TypeValue, right: TypeValue): TypeValue;
-declare function dispatchBinaryOp(op: string, left: TypeValue, right: TypeValue): TypeValue;
-declare function dispatchMethod(receiver: TypeValue, name: string, args: TypeValue[]): TypeValue | undefined;
-declare function dispatchProperty(receiver: TypeValue, name: string): TypeValue | undefined;
-
-/**
- * 模板字面量谓词，独立于 template.ts 以断开运行时循环引用：
- * type-value.ts（联合吸收律）与 template.ts 都依赖本模块，而本模块对
- * type-value.ts 只有 `import type` 边（编译后消失），运行时依赖保持单向
- * type-value.ts / template.ts -> template-predicates.ts。
- */
-declare function isTemplate(tv: TypeValue): boolean;
-
-declare function createTemplate(parts: TypeValue[]): TypeValue;
-
-declare function getTemplateParts(tv: TypeValue): TypeValue[] | undefined;
-declare function concatTemplates(left: TypeValue, right: TypeValue): TypeValue;
-
-type RangeMeta = {
-    min?: number;
-    max?: number;
-    /** 下界开区间：value > min（JS 实数，不能写成 >= min+1） */
-    minExclusive?: boolean;
-    /** 上界开区间：value < max */
-    maxExclusive?: boolean;
-    integer?: boolean;
-};
-declare function createRange(meta: RangeMeta): TypeValue;
-declare function isRange(tv: TypeValue): boolean;
-declare function getRangeMeta(tv: TypeValue): RangeMeta | undefined;
+declare function createEnvironment(parent?: Environment, bindings?: Map<string, Abs>): Environment;
 
 /**
  * Nudo Mock 帮助函数
  *
- * 提供类型安全的 mock 创建，替代 sinon 表达式
+ * 提供类型安全的 mock 创建，替代 sinon 表达式。
+ * 值字段为 Abs（类型系统真理源）。
+ * Abs 路径经 mock-abs.ts / mockDirectivesToAbsSeeds 消费。
  */
 
 type MockHelper = {
     kind: "mock-helper";
-    returnValue?: TypeValue;
-    resolvedValue?: TypeValue;
-    rejectedValue?: TypeValue;
-    implementation?: (...args: TypeValue[]) => TypeValue;
-    onFirstCallValue?: TypeValue;
-    onSecondCallValue?: TypeValue;
+    returnValue?: Abs;
+    resolvedValue?: Abs;
+    rejectedValue?: Abs;
+    onFirstCallValue?: Abs;
+    onSecondCallValue?: Abs;
     withArgsCases?: {
-        args: TypeValue[];
-        returnValue: TypeValue;
+        args: Abs[];
+        returnValue: Abs;
     }[];
-    callsFakeImpl?: TypeValue;
+    /** callsFake 的函数体（AST）；params 同步存下供 Abs absFunction */
+    callsFakeImpl?: {
+        params: string[];
+        body: Node;
+        async?: boolean;
+    };
 };
 /**
  * 创建一个 stub mock
@@ -197,13 +46,17 @@ type MockHelper = {
  */
 declare function stub(): MockHelper;
 declare namespace stub {
-    var returns: (value: TypeValue) => MockHelper;
-    var resolves: (value: TypeValue) => MockHelper;
-    var rejects: (value: TypeValue) => MockHelper;
-    var onFirstCall: (value: TypeValue) => MockHelper;
-    var onSecondCall: (value: TypeValue) => MockHelper;
-    var withArgs: (...args: TypeValue[]) => MockHelper;
-    var callsFake: (fn: TypeValue) => MockHelper;
+    var returns: (value: Abs) => MockHelper;
+    var resolves: (value: Abs) => MockHelper;
+    var rejects: (value: Abs) => MockHelper;
+    var onFirstCall: (value: Abs) => MockHelper;
+    var onSecondCall: (value: Abs) => MockHelper;
+    var withArgs: (...args: Abs[]) => MockHelper;
+    var callsFake: (fn: {
+        params: string[];
+        body: Node;
+        async?: boolean;
+    }) => MockHelper;
 }
 /**
  * 创建一个 spy mock
@@ -211,17 +64,13 @@ declare namespace stub {
  */
 declare function spy(): MockHelper;
 declare namespace spy {
-    var returns: (value: TypeValue) => MockHelper;
+    var returns: (value: Abs) => MockHelper;
 }
 /**
  * 创建一个 mock
  * 用法: @nudo:mock service = mock()
  */
 declare function mock(): MockHelper;
-/**
- * 将 MockHelper 转换为 TypeValue
- */
-declare function mockHelperToTypeValue(helper: MockHelper, env: Environment): TypeValue;
 
 /**
  * 原地剥除 AST 中的 TS-only 语法节点/字段，返回同一棵 AST（便于链式使用）。
@@ -256,6 +105,8 @@ declare function describePhi(): string;
  * 与 term-registry 同一纪律：不给共享单例挂 impl。
  */
 
+/** Abs 原生 env/builtin 实现（B-path 优先） */
+type AbsSigImpl = (args: Abs[], thisVal?: Abs) => Abs | undefined;
 type AbsFnImpl = {
     params: string[];
     /** 可选：无 body 时走 relation（纯关系 fn） */
@@ -501,6 +352,7 @@ declare function joinObjects(a: Abs, b: Abs): Abs;
 /** 值级 join：字面量保留为… Phase A 对 prim 做 term 保留策略 */
 declare function joinValues(a: Abs, b: Abs): Abs;
 declare function makeSum(a: Abs, b: Abs): Abs;
+declare function absShapeKey(a: Abs, seen?: Set<object>): string;
 type FnAbs = Abs & {
     shape: {
         k: "fn";
@@ -559,6 +411,13 @@ type EvalOptions = {
     file?: File;
     /** host 已求值的相对依赖导出表 */
     modules?: Record<string, AbsModuleExports>;
+    /** host 注入（@nudo:mock 等）在求值前绑定（evalSource 也认） */
+    seedVars?: Record<string, Abs>;
+    seedFns?: Record<string, {
+        params: string[];
+        body: Node;
+        async?: boolean;
+    }>;
 };
 declare const MAX_CALL_DEPTH = 64;
 declare const MAX_TOTAL_CALLS = 200000;
@@ -577,7 +436,8 @@ type AbsCallRecord = {
     };
     threw?: boolean;
 };
-declare function setAbsCallCollector(collector: ((r: AbsCallRecord) => void) | null): void;
+/** 设置收集器并返回先前值（嵌套/并发宿主须 restore，勿直接置 null） */
+declare function setAbsCallCollector(collector: ((r: AbsCallRecord) => void) | null): ((r: AbsCallRecord) => void) | null;
 declare function setAbsNodeCollector(collector: ((node: Node, value: Abs) => void) | null): void;
 /** 赋值记录：结构可赋值检查用 */
 type AbsAssignRecord = {
@@ -602,6 +462,11 @@ type EvalResult = {
     cont?: boolean;
     /** throw 了 value（未捕获时向上传播） */
     threw?: boolean;
+    /** throw 语句源位置（1-based line，0-based column；Babel loc 口径） */
+    throwLoc?: {
+        line: number;
+        column: number;
+    };
     /**
      * if 无 else 且 consequent 已 return/throw：真分支已产出 value，
      * 假分支 fall-through 仍可能走后续语句。evalBlock 需与后续结果 join。
@@ -617,6 +482,18 @@ declare function evalSource(source: string, entry: {
     fn: string;
     args: Abs[];
 }, opts?: EvalOptions): EvalResult;
+/**
+ * 调用具名函数并返回 throws/loc（T20）。
+ * threw 时 result=never、throws=抛出值、throwLoc=throw 语句位置。
+ */
+declare function callFunctionFull(env: AstEnv, name: string, args: Abs[], phi?: Phi, budget?: LeakBudget): {
+    result: Abs;
+    throws: Abs;
+    throwLoc?: {
+        line: number;
+        column: number;
+    };
+};
 declare function callFunction(env: AstEnv, name: string, args: Abs[], phi?: Phi, budget?: LeakBudget): Abs;
 /**
  * 在 this=receiver 下求值方法体。
@@ -647,6 +524,18 @@ declare function applyAbsFn(fnVal: Abs, args: Abs[], env: AstEnv, phi: Phi, budg
  * `, "scale", [numVar("x", gtNum(v("x"), 0))], gtNum(v("x"), 0))
  */
 declare function analyzeFn(source: string, fnName: string, args: Abs[], phi?: Phi, budget?: LeakBudget, file?: File, modules?: Record<string, AbsModuleExports>): Abs;
+/**
+ * analyzeFn 的 throws/loc 感知版（T19/T20）：threw 时 result=never、throws=抛出值。
+ * 供 case 兜底在 B-path 失败时仍可无损拿 throws+loc，不经 TypeValue evaluateFunctionFull。
+ */
+declare function analyzeFnFull(source: string, fnName: string, args: Abs[], opts?: EvalOptions): {
+    result: Abs;
+    throws: Abs;
+    throwLoc?: {
+        line: number;
+        column: number;
+    };
+};
 /**
  * 程序级 Abs 求值：注册全部顶层函数/class，再顺序执行语句。
  * 返回最终 env（vars 含导出绑定）。TypeValue 仅在调用方 bridge 时出现。
@@ -984,10 +873,10 @@ type InterfaceSource = "handwritten" | "generated" | "implicit";
  */
 declare function localNamedExports(source: string): Set<string>;
 /**
- * 侧车源码的生成段导出名：导出名所在声明的**前置注释块**含 `@generated`
- * 标记（emit 产物 canonical 注释为 `@generated by nudo`）→ 该名为 generated。
- * Phase 1 简化：只看紧邻声明上方的注释块（与 extractRefineLines 同款反向
- * 行扫描，空行可跨）；隔了代码行 / 无标记 / re-export 列表均不算。
+ * 侧车源码的生成段导出名：export 之前（跳过紧邻的 import/const 链）的注释
+ * 行含 `@generated` → 该名为 generated。组合式下行段（§5.3）形态为
+ * `import` + `@generated 头` + prelude + export；callsite 段则是头紧贴
+ * export。隔了其他代码行 / 无标记 / re-export 列表均不算。
  */
 declare function generatedExportNames(sidecarSrc: string): Set<string>;
 type EffectiveInterfaceOpts = RefineResolveOpts & {
@@ -1162,7 +1051,7 @@ declare function formatDiagnostics(diags: Diagnostic[]): string;
  *
  * 本模块是模板语义的唯一真理源：前缀/后缀/固定文本/长度/匹配/名称渲染/
  * 相邻合并/谓词判定等纯计算以「中性 part 视图」（TemplatePartView）暴露；
- * TypeValue 侧（refinements/template.ts）与 Abs 方法表（methods.ts）只做薄适配。
+ * Abs 方法表（methods.ts）只做薄适配。
  */
 
 type TemplateMeta = {
@@ -1197,7 +1086,7 @@ declare function formatTemplateNameViews(views: TemplatePartView[]): string;
 declare function mergeAdjacentFixedViews<P>(views: TemplatePartView<P>[], rebuildFixed: (text: string) => TemplatePartView<P>): TemplatePartView<P>[];
 /** 具体字符串是否匹配模板（Refinement.check 的判定语义） */
 declare function templateMatchesValue(value: string, views: TemplatePartView[]): boolean;
-/** 三值判定；两侧分别把 "unknown" 适配为 boolPrim（Abs）或 undefined（TypeValue） */
+/** 三值判定；Abs 方法表把 "unknown" 适配为 boolPrim */
 type TemplatePredicateDecision = boolean | "unknown";
 declare function decideStartsWith(prefix: string, search: string): TemplatePredicateDecision;
 declare function decideEndsWith(suffix: string, search: string): TemplatePredicateDecision;
@@ -1496,28 +1385,6 @@ declare function collectAbsInlays(source: string, refineOpts?: {
 /** Abs 上的运行时守卫表达式（JS boolean 布尔串） */
 declare function denoteGuard(a: Abs, v: string): string;
 
-/**
- * Abs ⇄ TypeValue 桥。
- *
- * 纪律：
- * - absToTypeValue 有损：丢 term/pred 时 conf 降为 widened，禁止假装 exact
- * - typeValueToAbs 尽量恢复 term=lit
- * - 下游（dts/lsp/service）吃 TypeValue；代数运算吃 Abs
- */
-
-declare function setTvConfidence(tv: TypeValue, conf: Confidence): void;
-declare function getTvConfidence(tv: TypeValue): Confidence | undefined;
-/**
- * Abs → TypeValue（给下游）。
- * 有损：非 lit term 丢弃；pred 尽量 encode 成 refined，否则丢。
- */
-declare function absToTypeValue(a: Abs): TypeValue;
-/**
- * TypeValue → Abs（给代数运算）。
- * 置信度：优先读 abs→tv 时挂上的 conf 旁路，避免 #widened 回升 #exact。
- */
-declare function typeValueToAbs(tv: TypeValue): Abs;
-
 /**
  * Abs → NudoConstraint 投影（Phase 1，interface 分层推导的生成侧半边）。
  *
@@ -1556,6 +1423,93 @@ declare function absToConstraint(a: Abs): NudoConstraint | undefined;
  */
 declare function joinThenProject(absList: Abs[]): NudoConstraint | undefined;
 
+/**
+ * 推导图（derivation trace）side-channel（design-refine-derivation §14.3#6 / §11 Phase 2）。
+ *
+ * 不叫 provenance：`setProvenanceTracking` 已被 evaluator 的 TypeValue origin map
+ * 占用。机制对齐 `setCallCollector` / `setAbsTruncationCollector` 先例——
+ * **不进 Abs payload**；ast-eval 与 B-path 共用 core ops（`add` / `joinAbs`），
+ * 两条路径天然都覆盖。
+ *
+ * 设计原则：emit 打印的是推导图的投影，**禁止**事后从最终 Abs 反编译 shift 链。
+ * 本模块在 ops 层打点：数值常量加法 → shift 边；joinAbs → join 边。
+ * 根约束（手写契约参数）由宿主在入口 Abs 上打 root 标签。
+ */
+
+/** 推导节点：边带调用位点 / +k / join；root 携带可打印的约束源表达式 */
+type DerivationNode = {
+    id: number;
+    kind: "root" | "shift" | "join" | "opaque";
+    /** root：宿主给的可读约束表达式（`positive` / `number().gt(0)`） */
+    expr?: string;
+    /** root：跨文件 import 源（相对 specifier，相对 root 侧车目录） */
+    importFrom?: string;
+    /** root：import 绑定名（与 expr 一致时省略） */
+    importName?: string;
+    /** shift：数值偏移 */
+    offset?: number;
+    /** 父节点 id（root 无父） */
+    parents: number[];
+};
+/** 调用位点上的实参推导（供 emit 投影组合式） */
+type ArgDerivation = {
+    node: DerivationNode;
+    /** 从该节点回溯到 root 的路径（含自身，root 在末尾） */
+    chain: DerivationNode[];
+};
+type Collector = (node: DerivationNode) => void;
+/** 设置观察者（null 清除）；缓冲照常累积 */
+declare function setDerivationCollector(fn: Collector | null): void;
+declare function hasDerivationSession(): boolean;
+/** 开始一次推导会话（root 驱动下行求值前调用）；与 end/abort 成对 */
+declare function beginDerivationSession(): void;
+/** 结束会话并取走全部节点（顺序 = 创建序） */
+declare function endDerivationSession(): DerivationNode[];
+/** 丢弃当前会话（求值失败时） */
+declare function abortDerivationSession(): void;
+/**
+ * 在入口 Abs 上打 root 标签：该值来自手写契约参数约束。
+ * expr 是可打印源（`positive`）；importFrom 指向共享模板侧车。
+ */
+declare function tagDerivationRoot(abs: Abs, meta: {
+    expr: string;
+    importFrom?: string;
+    importName?: string;
+}): DerivationNode;
+/** 读取 Abs 上的推导节点（无标签 → undefined） */
+declare function getDerivation(abs: Abs): DerivationNode | undefined;
+/** 手动把推导挂到结果 Abs（宿主在 analyzeFn 返回值上补标签时用） */
+declare function setDerivation(abs: Abs, node: DerivationNode): void;
+/** 从节点回溯 root 路径（含自身；环/缺失截断） */
+declare function derivationChain(node: DerivationNode): DerivationNode[];
+/**
+ * ops 层打点：`a + k`（k 为有限数值字面量）且 a 带推导 → 结果挂 shift 节点。
+ * 由 arithmetic.add 在返回前调用；无会话/无父标签时 no-op。
+ */
+declare function noteDerivationAdd(a: Abs, b: Abs, result: Abs): void;
+/**
+ * ops 层打点：join 结果挂 join 节点（任一侧有推导即可）。
+ * 工件聚合路径会经 join；check 分轨不依赖 join 节点。
+ */
+declare function noteDerivationJoin(inputs: Abs[], result: Abs): void;
+/**
+ * 把推导链投影为组合式（§2.4：写组合式，不展开）。
+ *
+ * 返回 prelude（`const x = positive.shift(1);`）+ expr（`x` / `x.shift(2)`）
+ * + 需要的 import。无 root 锚或链上出现 join/opaque → undefined（调用方
+ * 退回展开式投影或 not-projectable）。
+ */
+declare function projectDerivationDsl(node: DerivationNode, localName: string): {
+    prelude: string[];
+    expr: string;
+    imports: Array<{
+        name: string;
+        from: string;
+    }>;
+} | undefined;
+/** 项结构调试用（测试断言） */
+declare function termKey(t: Term | undefined): string;
+
 /**
  * 源码级调用图侦察：从 check 门禁拆出的 AST 扫描层。
  *
@@ -1567,13 +1521,13 @@ declare function joinThenProject(absList: Abs[]): NudoConstraint | undefined;
  */
 
 /**
- * 注入记录的最小结构面（service CallRecord 的成员子集——core 不反向依赖
- * service 的 CallRecord 声明，按结构兼容接收）。
+ * 注入记录的最小结构面。Abs 为唯一真理源。
  */
 type InjectedDomainRecord = {
-    argTypes: TypeValue[];
-    resultType: TypeValue;
-    throws: TypeValue;
+    /** 无损参数 Abs（必填；domain 证据唯一来源） */
+    argAbs?: Abs[];
+    resultAbs?: Abs;
+    throwsAbs?: Abs;
 };
 type InjectedDomainEvidenceOpts = {
     /** 被调函数形参名（位置序）；契约按参数名对齐证据位 */
@@ -1598,15 +1552,14 @@ type InjectedDomainEvidenceOpts = {
  *
  * 证据门槛（§6）：
  * - 只有 plain literal 实参构成证据：union/unknown/primitive/refined 形态
- *   无法归因到确定值，不参与（widened/partial conf 经 absToTypeValue 投影
- *   为非 literal 形态，天然被此条排除；getTvConfidence 再兜一道底）；
+ *   无法归因到确定值，不参与。Abs 路径直接读 `litValue` + conf
+ *   ∈ {exact, path}。
  * - null 证据预过滤（T4 caveat：lit(null) 编码 prim undefined + eq(self,
  *   null)，对任何约束恒不满足，不过滤必 FP）；undefined/bigint/symbol
  *   不在字面量证据域内，一并跳过；
  * - resultType=never ∧ throws=never 是求值中断泄漏（analyzer 注入消费区
- *   同款过滤）。CallRecord 上没有截断字段（查证于 evaluator.ts CallRecord
- *   声明：fnName/argTypes/resultType/throws/callLoc/targetModule/
- *   targetExport/targetAliases/fnModule 十项，无截断标记）——递归截断走
+ *   同款过滤；有 resultAbs/throwsAbs 时同口径）。CallRecord 上没有截断字段
+ *   （查证于 evaluator.ts CallRecord 声明）——递归截断走
  *   nudo:recursion-truncated 诊断通道且只 widen 结果，不产生新字面量证据；
  * - fn/shape/array 参数位 Phase 1 不执法（§3.3 HOF 豁免：
  *   literalMeetsConstraint 对这些形态恒 false，直接查必 FP）。
@@ -1615,4 +1568,4 @@ type InjectedDomainEvidenceOpts = {
  */
 declare function checkInjectedDomainEvidence(fnName: string, source: string, records: InjectedDomainRecord[], opts: InjectedDomainEvidenceOpts): CheckIssue[];
 
-export { Abs, type AbsAssignRecord, type AbsCallRecord, type AbsFnImpl, type AbsInlay, AbsModuleExports, AstEnv, type CheckIssue, type CheckJson, type CheckOptions, type CheckReport, type ClassDef, Confidence, type ConstraintBuilder, type Diagnostic, type EffectiveInterface, type EffectiveInterfaceOpts, type Environment, type EvalOptions, type EvalResult, type FnAbs, type FnFp, type FormatOptions, type FunctionSignature, HofSite, type InjectedDomainRecord, type InterfaceDiag, type InterfaceSource, type LeakBudget, type LeqResult, type LiteralValue, type LoadDepsFingerprint, MAX_CALL_DEPTH, MAX_TOTAL_CALLS, type MethodDef, type MockHelper, type NamedImport, type NudoConstraint, type NudoField, type NudoFnConstraint, NudoSidecarError, type NudoSig, type ObjShape, Ops, Phi, type PolyFn, Pred, PrimName, type RangeMeta, type RefineDiag, type RefineEntry, type RefineResolveOpts, type Refinement, RelSource, SELF, Shape, type SigImpl, type Slot, T, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, Term, type TypeParam, type TypeValue, absFunction, absTemplateViews, absToConstraint, absToTypeValue, add, allFixedTextOfViews, analyzeFn, applyAbsFn, applyBinaryOp, array, attachFnImpl, awaitAbs, boolean, buildArgsFromAssume, callAbsMethod, callFunction, canSkipLiteralCallScan, checkArg, checkCall, checkInjectedDomainEvidence, checkSource, classFromMethods, cmp, coerceAsyncReturn, collapseLiteralUnion, collectAbsInlays, collectAbsNodeTypes, concatString, concatTemplates, constraintToEntryAbs, createEnvironment, createRange, createTemplate, createTemplateAbs, currentPhi, decideEndsWith, decideIncludes, decideStartsWith, deepCloneTypeValue, defaultLeakBudget, defineClass, definitelyNotNullishShape, denoteGuard, describePhi, dispatchBinaryOp, dispatchMethod, dispatchProperty, div, effectiveInterface, emptyEnv, evalArrayStatic, evalBuiltinInstanceMethod, evalBuiltinNew, evalDateCtor, evalDateMethod, evalDateStatic, evalGlobalFn, evalJsonMethod, evalMathMethod, evalMethodBody, evalNamespaceCall, evalNode, evalNumberStatic, evalObjectMethod, evalProgramAbs, evalPromiseCtor, evalPromiseStatic, evalRegExpCtor, evalRegExpMethod, evalSource, evictCheckSourceMemoForPaths, evictGeneralizeMemoForPaths, exceedsBudget, execNudoModule, extractAllLoadSpecs, extractFn, extractNudoImports, extractRefineReturnFromSource, extractRefinesFromSource, falseConstraint, findAbsAtPosition, fixedLengthOfViews, fn, fnConstraintToEntryReqs, fnFingerprints, fnOf, formatAbs, formatAbsMultiline, formatCheckReport, formatConstraint, formatDiagnostics, formatShape, formatShapeSlot, formatTemplateNameViews, generalizeAll, generalizeFromAst, generalizeSourceKeyPart, generatedExportNames, getAbsProperty, getClass, getClassChain, getFnImpl, getFnNameAndBodies, getFnSig, getGeneralizeMemoSize, getParseSourceCacheSize, getPrimitiveTypeOf, getRangeMeta, getRefinedBase, getSlot, getTemplateParts, getTerm, getTvConfidence, hashSource, instanceOf, instantiateClass, instantiateConstraint, interfaceDiagCount, isFnSig, isIntFlag, isNodeModulesPath, isNudoConstraint, isNullishLitAbs, isObj, isRange, isSubtypeOf, isTemplate, isTemplateLike, joinAbs, joinFunctions, joinObjects, joinThenProject, joinValues, knownPrefixOfViews, knownSuffixOfViews, leakIfNeeded, lenTerm, leqAbs, listFunctionNames, literalMeetsConstraint, loadModuleDepsFingerprint, localNamedExports, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, makeSum, matchRelIdentLit, maybeLeak, mergeAdjacentFixedViews, mergeObjectProperties, mock, mockHelperToTypeValue, mod, mul, narrowType, negAbs, normPath, notAbs, number, objOf, omit, parseSource, partial, pick, popPhi, projectBrand, pushPhi, refineAbsForRelTrue, refineDiagCount, refineToIndexedFull, relationFingerprint, relationFn, resetAbsCallBudget, resetCheckSourceMemo, resetFnFpCache, resetGeneralizeMemo, resetHashSourceCache, resetLeakCounter, resetNudoModuleExecCache, resetParseSourceCache, resetPhi, resolveDepPath, serializeCheckJson, setAbsAssignCollector, setAbsCallCollector, setAbsNodeCollector, setAbsTruncationCollector, setInterfaceDiagCollector, setRefineDiagCollector, setTvConfidence, shape, shapeOnlyFn, sidecarClosureFingerprint, sidecarPathOf, sidecarSpecsOf, simplifyUnion, spread, spy, stableAnalyzeKeySource, strictEqAbs, string, stripTypes, stub, sub, subtractType, superNameOf, takeInterfaceDiags, takeInterfaceDiagsSince, takeRefineDiags, takeRefineDiagsSince, templateMatchesValue, templatePartsOf, termDepth, termNodes, trueConstraint, typeValueEquals, typeValueToAbs, typeValueToString, typeofAbs, union, viewTemplateParts, widenLiteral, withPhiConstraint, withVar, wrapPromise };
+export { Abs, type AbsAssignRecord, type AbsCallRecord, type AbsFnImpl, type AbsInlay, AbsModuleExports, type AbsSigImpl, type ArgDerivation, AstEnv, type CheckIssue, type CheckJson, type CheckOptions, type CheckReport, type ClassDef, Confidence, type ConstraintBuilder, type DerivationNode, type Diagnostic, type EffectiveInterface, type EffectiveInterfaceOpts, type Environment, type EvalOptions, type EvalResult, type FnAbs, type FnFp, type FormatOptions, HofSite, type InjectedDomainRecord, type InterfaceDiag, type InterfaceSource, type LeakBudget, type LeqResult, type LoadDepsFingerprint, MAX_CALL_DEPTH, MAX_TOTAL_CALLS, type MethodDef, type MockHelper, type NamedImport, type NudoConstraint, type NudoField, type NudoFnConstraint, NudoSidecarError, type NudoSig, type ObjShape, Phi, type PolyFn, Pred, PrimName, type RefineDiag, type RefineEntry, type RefineResolveOpts, RelSource, SELF, Shape, type Slot, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, Term, type TypeParam, abortDerivationSession, absFunction, absShapeKey, absTemplateViews, absToConstraint, add, allFixedTextOfViews, analyzeFn, analyzeFnFull, applyAbsFn, array, attachFnImpl, awaitAbs, beginDerivationSession, boolean, buildArgsFromAssume, callAbsMethod, callFunction, callFunctionFull, canSkipLiteralCallScan, checkArg, checkCall, checkInjectedDomainEvidence, checkSource, classFromMethods, cmp, coerceAsyncReturn, collectAbsInlays, collectAbsNodeTypes, concatString, constraintToEntryAbs, createEnvironment, createTemplateAbs, currentPhi, decideEndsWith, decideIncludes, decideStartsWith, defaultLeakBudget, defineClass, definitelyNotNullishShape, denoteGuard, derivationChain, describePhi, div, effectiveInterface, emptyEnv, endDerivationSession, evalArrayStatic, evalBuiltinInstanceMethod, evalBuiltinNew, evalDateCtor, evalDateMethod, evalDateStatic, evalGlobalFn, evalJsonMethod, evalMathMethod, evalMethodBody, evalNamespaceCall, evalNode, evalNumberStatic, evalObjectMethod, evalProgramAbs, evalPromiseCtor, evalPromiseStatic, evalRegExpCtor, evalRegExpMethod, evalSource, evictCheckSourceMemoForPaths, evictGeneralizeMemoForPaths, exceedsBudget, execNudoModule, extractAllLoadSpecs, extractFn, extractNudoImports, extractRefineReturnFromSource, extractRefinesFromSource, falseConstraint, findAbsAtPosition, fixedLengthOfViews, fn, fnConstraintToEntryReqs, fnFingerprints, fnOf, formatAbs, formatAbsMultiline, formatCheckReport, formatConstraint, formatDiagnostics, formatShape, formatShapeSlot, formatTemplateNameViews, generalizeAll, generalizeFromAst, generalizeSourceKeyPart, generatedExportNames, getAbsProperty, getClass, getClassChain, getDerivation, getFnImpl, getFnNameAndBodies, getGeneralizeMemoSize, getParseSourceCacheSize, getSlot, getTerm, hasDerivationSession, hashSource, instanceOf, instantiateClass, instantiateConstraint, interfaceDiagCount, isIntFlag, isNodeModulesPath, isNudoConstraint, isNullishLitAbs, isObj, isTemplateLike, joinAbs, joinFunctions, joinObjects, joinThenProject, joinValues, knownPrefixOfViews, knownSuffixOfViews, leakIfNeeded, lenTerm, leqAbs, listFunctionNames, literalMeetsConstraint, loadModuleDepsFingerprint, localNamedExports, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, makeSum, matchRelIdentLit, maybeLeak, mergeAdjacentFixedViews, mock, mod, mul, negAbs, normPath, notAbs, noteDerivationAdd, noteDerivationJoin, number, objOf, omit, parseSource, partial, pick, popPhi, projectBrand, projectDerivationDsl, pushPhi, refineAbsForRelTrue, refineDiagCount, refineToIndexedFull, relationFingerprint, relationFn, resetAbsCallBudget, resetCheckSourceMemo, resetFnFpCache, resetGeneralizeMemo, resetHashSourceCache, resetLeakCounter, resetNudoModuleExecCache, resetParseSourceCache, resetPhi, resolveDepPath, serializeCheckJson, setAbsAssignCollector, setAbsCallCollector, setAbsNodeCollector, setAbsTruncationCollector, setDerivation, setDerivationCollector, setInterfaceDiagCollector, setRefineDiagCollector, shape, shapeOnlyFn, sidecarClosureFingerprint, sidecarPathOf, sidecarSpecsOf, spread, spy, stableAnalyzeKeySource, strictEqAbs, string, stripTypes, stub, sub, superNameOf, tagDerivationRoot, takeInterfaceDiags, takeInterfaceDiagsSince, takeRefineDiags, takeRefineDiagsSince, templateMatchesValue, templatePartsOf, termDepth, termKey, termNodes, trueConstraint, typeofAbs, union, viewTemplateParts, withPhiConstraint, withVar, wrapPromise };