@nudojs/core 0.4.0 → 1.0.1

package/dist/exec.d.ts

@@ -1,2 +1,2 @@
-export { $ as $add, d as $arr, e as $async, f as $asyncReturn, g as $await, h as $call, i as $callNamed, j as $catchVal, k as $class, l as $concat, m as $div, n as $elems, o as $eq, p as $fnVal, q as $for, r as $forIter, s as $forOf, t as $fork, u as $ge, v as $gen, w as $get, x as $gt, y as $idx, z as $idxSet, B as $invoke, D as $invokeSuper, E as $join, F as $le, G as $len, I as $lit, J as $lt, K 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, ag as BCallRecord, ah as BClassSpec, ai as BMemberDiag, aj as DEFAULT_MAX_LOOP_ITERS, ap as NudoThrow, aq as RunTranspiledOptions, ar as TranspileOptions, as as TranspiledCallResult, aD as asAbsVal, aJ as callTranspiledExport, aK as callTranspiledExportFull, aL as clearBClasses, aQ as currentExecPhi, b1 as getAbsOrigin, b2 as getBCallCollector, b3 as getBClass, b8 as isDefinitelyFalse, b9 as isDefinitelyTrue, bb as isNudoThrow, bj as litTruth, bp as namespaceNameOf, bt as noteMemberDispatchMiss, bu as notePrimMemberMissing, bv as noteUnknownMemberMissing, bK as recordMemberDiag, bL as registerBClass, bO as runTranspiled, bU as setBCallCollector, bV as setMemberDiagCollector, c3 as tagAbsOrigin, c8 as transpile, c9 as transpileExpression, ca as transpileFile, cb as transpileSource, cj as withExecPhi } from './index-DgyudAkw.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-N7E2A7IK.js";
+} from "./chunk-P3G2TODS.js";
 export {
   $add,
   $arr,

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

@@ -1,4 +1,4 @@
-import { ImportDeclaration, File, Node, Expression } from '@babel/types';
+import { Node, ImportDeclaration, File, Expression } from '@babel/types';
 
 /** 项（Term）：抽象值的身份。字面量是项的特例。 */
 type LiteralValue = string | number | boolean | null | undefined;
@@ -188,29 +188,6 @@ declare function isStrPrim(a: Abs): boolean;
 declare function isExactLit(a: Abs): boolean;
 declare function litValue(a: Abs): LiteralValue | undefined;
 
-/**
- * 项（Term）防爆炸：深度/宽度阈值 → leak 为新鲜 var + 等式约束。
- */
-
-type LeakBudget = {
-    maxDepth: number;
-    maxNodes: number;
-};
-declare const defaultLeakBudget: LeakBudget;
-declare function termDepth(t: Term): number;
-declare function termNodes(t: Term): number;
-declare function exceedsBudget(t: Term, budget?: LeakBudget): boolean;
-declare function resetLeakCounter(): void;
-/**
- * 若项超预算，替换为新鲜变量，并返回附加等式 pred：fresh = originalTerm。
- * 未超预算则原样返回。
- */
-declare function maybeLeak(a: Abs, budget?: LeakBudget, label?: string): Abs;
-/**
- * 批量：在算术结果上应用 leak。
- */
-declare function leakIfNeeded(a: Abs, budget?: LeakBudget, label?: string): Abs;
-
 /**
  * HOF 关系 Abs：无 body 的外延关系（paramTypes → returnType）的判定、
  * α 替换与应用。类型变量仍是 term var；关系仍是 fn 形状上的外延槽。
@@ -390,27 +367,10 @@ declare function projectFlatMapResult(arrConf: Confidence, mapped: Abs[]): Abs;
 declare function asAbs(v: unknown): Abs | undefined;
 
 /**
- * Abs 模块面（无 fs）：import 绑定 + export 收集。
- * 解析路径/读文件在 host；core 只吃「specifier → 导出表」。
- */
-
-type AbsModuleExports = {
-    named: Record<string, Abs>;
-    default?: Abs;
-};
-/** 把 import 说明符绑定进 env（宿主已求值依赖） */
-declare function bindImports(node: ImportDeclaration, env: AstEnv, modules: Record<string, AbsModuleExports>): void;
-/**
- * 从已求值 env + AST 收集 ESM 导出。
- * 支持：export function/const、export { a, b as c }、export default（具名）、
- * 以及带 source 的 re-export（`export { a } from "mod"` / `export * from "mod"`——
- * 需 host 传入已求值 modules）。
- */
-declare function collectAbsExports(file: File, env: AstEnv, modules?: Record<string, AbsModuleExports>): AbsModuleExports;
-
-/**
- * Babel AST 抽象求值：把「类型即计算」接到真实 JS 源码。
- * 支持表达式、函数声明/箭头、return、if、const/let、块作用域、类、循环。
+ * AstEnv：抽象求值环境类型。
+ * 独立成文件：hof/language/leq/abs-fn/abs-modules 等消费方只依赖此类型，
+ * 不必再为拿一个类型 import ast-eval 巨石（TS 模块环）。
+ * ast-eval.ts 对本类型做兼容 re-export，外部消费路径不变。
  */
 
 type AstEnv = {
@@ -429,135 +389,25 @@ type AstEnv = {
     /** P2：generalize symbolic 跑的 HOF collector（run 局部，不进 Φ） */
     hofCollect?: HofCollectCtx;
 };
-declare function emptyEnv(): AstEnv;
-declare function withVar(env: AstEnv, name: string, value: Abs): AstEnv;
-type EvalOptions = {
-    phi?: Phi;
-    budget?: LeakBudget;
-    /** 预解析 AST（check 等批量场景避免重复 parse） */
-    file?: File;
-    /** host 已求值的相对依赖导出表 */
-    modules?: Record<string, AbsModuleExports>;
-};
-declare const MAX_CALL_DEPTH = 64;
-declare const MAX_TOTAL_CALLS = 200000;
-/** 宿主入口（evalProgramAbs / analyzeFn / check）前重置 */
-declare function resetAbsCallBudget(): void;
-/** 记录被截断的递归（service 可映射为 nudo:recursion-truncated） */
-declare function setAbsTruncationCollector(collector: ((fnLabel: string) => void) | null): void;
-/** Abs 域调用记录（自包含程序可不经 TypeValue evaluator） */
-type AbsCallRecord = {
-    fnName: string;
-    args: Abs[];
-    result: Abs;
-    callLoc?: {
-        line: number;
-        column: number;
-    };
-    threw?: boolean;
-};
-declare function setAbsCallCollector(collector: ((r: AbsCallRecord) => void) | null): void;
-declare function setAbsNodeCollector(collector: ((node: Node, value: Abs) => void) | null): void;
-/** 赋值记录：结构可赋值检查用 */
-type AbsAssignRecord = {
-    name: string;
-    prev?: Abs;
-    next: Abs;
-    line?: number;
-    column?: number;
-};
-declare function setAbsAssignCollector(collector: ((r: AbsAssignRecord) => void) | null): void;
-type EvalResult = {
-    value: Abs;
-    phi: Phi;
-    env: AstEnv;
-    /** 函数已通过 return 跳出，块内后续语句不可达 */
-    returned?: boolean;
-    /** break 跳出最近循环 */
-    brk?: boolean;
-    /** continue 进入下一轮 */
-    cont?: boolean;
-    /** throw 了 value（未捕获时向上传播） */
-    threw?: boolean;
-    /**
-     * if 无 else 且 consequent 已 return/throw：真分支已产出 value，
-     * 假分支 fall-through 仍可能走后续语句。evalBlock 需与后续结果 join。
-     */
-    partialReturn?: boolean;
-};
-/**
- * 分析一段 JS 源码。
- * 若含多个顶层函数声明，先注册全部，再对 `main` 或最后一个有调用的函数求值。
- * 更简单：提供 `analyzeFunction(source, fnName, args)`。
- */
-declare function evalSource(source: string, entry: {
-    fn: string;
-    args: Abs[];
-}, opts?: EvalOptions): EvalResult;
-declare function callFunction(env: AstEnv, name: string, args: Abs[], phi?: Phi, budget?: LeakBudget): Abs;
-/**
- * 在 this=receiver 下求值方法体。
- * constructor 无显式 return 时返回更新后的 this（字段写入已并入 env）。
- */
-declare function evalMethodBody(method: {
-    params: string[];
-    body: Node;
-    async?: boolean;
-    kind?: string;
-}, args: Abs[], thisVal: Abs, env: AstEnv, phi?: Phi, budget?: LeakBudget, 
-/** 方法定义所在类名（用于 super 派发） */
-ownerClass?: string): Abs;
-/** 对外入口：求值并记入节点表（Map<Node, Abs> 由 collector 消费） */
-declare function evalNode(node: Node, env: AstEnv, phi: Phi, budget: LeakBudget): EvalResult;
-/**
- * 应用 Abs 一等函数。统一顺序：apply → body → relation → isRelFn。
- * 调用门须扩为 `getFnImpl || isRelFn`，否则 E 路径永远进不来。
- */
-declare function applyAbsFn(fnVal: Abs, args: Abs[], env: AstEnv, phi: Phi, budget: LeakBudget): Abs;
-/**
- * 从源码分析指定函数在给定实参下的抽象结果。
- *
- * @example
- * analyzeFn(`
- *   const add = (a, b) => a + b;
- *   function scale(x) { return add(x, 1); }
- * `, "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;
+
 /**
- * 程序级 Abs 求值：注册全部顶层函数/class，再顺序执行语句。
- * 返回最终 env（vars 含导出绑定）。TypeValue 仅在调用方 bridge 时出现。
- *
- * seedVars / seedFns：host 注入（@nudo:mock 等）在求值前绑定。
- * modules：host 已求值的依赖导出表（specifier → AbsModuleExports）。
+ * Abs 模块面（无 fs）：import 绑定 + export 收集。
+ * 解析路径/读文件在 host；core 只吃「specifier → 导出表」。
  */
-declare function evalProgramAbs(source: string, opts?: EvalOptions & {
-    seedVars?: Record<string, Abs>;
-    seedFns?: Record<string, {
-        params: string[];
-        body: Node;
-        async?: boolean;
-    }>;
-    modules?: Record<string, AbsModuleExports>;
-}): {
-    env: AstEnv;
-    last: Abs;
-    phi: Phi;
+
+type AbsModuleExports = {
+    named: Record<string, Abs>;
+    default?: Abs;
 };
+/** 把 import 说明符绑定进 env（宿主已求值依赖） */
+declare function bindImports(node: ImportDeclaration, env: AstEnv, modules: Record<string, AbsModuleExports>): void;
 /**
- * 收集整文件的节点 → Abs 表（LSP 无损信息源）。
- * 自包含源码上一次 evalProgramAbs 即可；失败返回空表。
+ * 从已求值 env + AST 收集 ESM 导出。
+ * 支持：export function/const、export { a, b as c }、export default（具名）、
+ * 以及带 source 的 re-export（`export { a } from "mod"` / `export * from "mod"`——
+ * 需 host 传入已求值 modules）。
  */
-declare function collectAbsNodeTypes(source: string, opts?: EvalOptions & {
-    seedVars?: Record<string, Abs>;
-    seedFns?: Record<string, {
-        params: string[];
-        body: Node;
-        async?: boolean;
-    }>;
-}): Map<Node, Abs>;
-/** 按 loc 找最紧的节点 Abs（hover 用） */
-declare function findAbsAtPosition(nodeTypes: Map<Node, Abs>, line: number, column: number): Abs | undefined;
+declare function collectAbsExports(file: File, env: AstEnv, modules?: Record<string, AbsModuleExports>): AbsModuleExports;
 
 /**
  * B 路径运行时：transpile 后的程序在 Node 上执行时，值就是 Abs。
@@ -616,7 +466,7 @@ declare function $forIter(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Ab
  * 相邻态 leq 视为不动点提前停。
  */
 declare function $for(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, body: (s: Abs) => Abs, maxIters?: number): Abs;
-/** 数组字面量 → Abs tuple（长度已知） */
+/** 数组字面量 → ≤cap tuple（逐元素精确）/ >cap arr；策略与 ast-eval 同源（containers.ts） */
 declare function $arr(items: Abs[]): Abs;
 /** 下标读 a[i]；字面量 i 走 tuple 精确投影，否则并所有元素；string[i] → 单字符 */
 declare function $idx(a: Abs, i: Abs): Abs;
@@ -628,7 +478,7 @@ declare function $len(a: Abs): Abs;
 declare function $obj(slots: Record<string, Abs>): Abs;
 /** 对象展开 { ...a, b } */
 declare function $spread(a: Abs, b: Abs): Abs;
-/** 数组连接 [...a, ...b] / [...a, x] */
+/** 数组连接 [...a, ...b] / [...a, x]；结果超 cap 时与字面量同策略降 arr */
 declare function $concat(a: Abs, b: Abs): Abs;
 /** 元素列表（tuple 展开；arr 抽象） */
 declare function $elems(a: Abs): Abs[];
@@ -908,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, $invoke as B, type Confidence as C, $invokeSuper as D, $join as E, $le as F, $len as G, type HofSite as H, $lit as I, $lt as J, $mod as K, type LeakBudget 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, ge 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, applyAbsFn as aA, applyCallbackAbs as aB, asAbs as aC, asAbsVal as aD, betaOf as aE, bindImports as aF, bool as aG, boolLit as aH, callFunction as aI, callTranspiledExport as aJ, callTranspiledExportFull as aK, clearBClasses as aL, collectAbsExports as aM, collectAbsNodeTypes as aN, confJoin as aO, createHofCollectCtx as aP, currentExecPhi as aQ, defaultLeakBudget as aR, emptyEnv as aS, emptyPhi as aT, eq as aU, evalMethodBody as aV, evalNode as aW, evalProgramAbs as aX, evalSource as aY, exceedsBudget as aZ, findAbsAtPosition as a_, $while as aa, $whileSeq as ab, $yield as ac, type AbsAssignRecord as ad, type AbsCallRecord as ae, type AbsModuleExports as af, type BCallRecord as ag, type BClassSpec as ah, type BMemberDiag as ai, DEFAULT_MAX_LOOP_ITERS as aj, type EvalOptions as ak, type EvalResult as al, type HofCollectCtx as am, MAX_CALL_DEPTH as an, MAX_TOTAL_CALLS as ao, NudoThrow as ap, type RunTranspiledOptions as aq, type TranspileOptions as ar, type TranspiledCallResult as as, abs as at, absToString as au, alphaOf as av, analyzeFn as aw, and as ax, anyVar as ay, app as az, type Pred as b, strLit as b$, geNum as b0, getAbsOrigin as b1, getBCallCollector as b2, getBClass as b3, gt as b4, gtNum as b5, implies as b6, instantiateReturn as b7, isDefinitelyFalse as b8, isDefinitelyTrue as b9, or as bA, pFalse as bB, pTrue as bC, phiAnd as bD, predEquals as bE, predToString as bF, predVars as bG, projectFlatMapResult as bH, promoteParamShape as bI, ptypeof as bJ, recordMemberDiag as bK, registerBClass as bL, resetAbsCallBudget as bM, resetLeakCounter as bN, runTranspiled as bO, setAbsAssignCollector as bP, setAbsCallCollector as bQ, setAbsNodeCollector as bR, setAbsTruncationCollector as bS, setApplyCallbackHost as bT, setBCallCollector as bU, setMemberDiagCollector as bV, shapeOfTerm as bW, shapeToString as bX, simplifyTerm as bY, snapshotAbs as bZ, str as b_, isExactLit as ba, isNudoThrow as bb, isNumPrim as bc, isRelFn as bd, isStrPrim as be, le as bf, leNum as bg, leakIfNeeded as bh, lit as bi, litTruth as bj, litValue as bk, lt as bl, ltNum as bm, mapElementFallback as bn, maybeLeak as bo, namespaceNameOf as bp, ne as bq, never as br, not as bs, noteMemberDispatchMiss as bt, notePrimMemberMissing as bu, noteUnknownMemberMissing as bv, num as bw, numLit as bx, numVar as by, obj as bz, type PrimName as c, substAbs as c0, substPred as c1, substPredAbs as c2, tagAbsOrigin as c3, termDepth as c4, termEquals as c5, termNodes as c6, termToString as c7, transpile as c8, transpileExpression as c9, transpileFile as ca, transpileSource as cb, tryPromoteDirectCall as cc, tryPromoteForOfIteratee as cd, tryPromoteHofCallback as ce, tryPromoteReceiverAsArr as cf, undefAbs as cg, unknown as ch, v as ci, withExecPhi as cj, withVar as ck, $arr as d, $async as e, $asyncReturn as f, $await as g, $call as h, $callNamed as i, $catchVal as j, $class as k, $concat as l, $div as m, $elems as n, $eq as o, $fnVal as p, $for as q, $forIter as r, $forOf as s, $fork as t, $ge as u, $gen as v, $get as w, $gt as x, $idx as y, $idxSet 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 };