@nudojs/core 2.1.0 → 3.0.0-beta.0

package/dist/index-DxjxtxOJ.d.ts

@@ -1,855 +0,0 @@
-import { Node, ImportDeclaration, File, Expression } from '@babel/types';
-
-/** 项（Term）：抽象值的身份。字面量是项的特例。 */
-type LiteralValue = string | number | boolean | null | undefined;
-type Term = {
-    op: "lit";
-    value: LiteralValue;
-} | {
-    op: "var";
-    id: string;
-} | {
-    op: "app";
-    fn: string;
-    args: Term[];
-};
-declare const lit: (value: LiteralValue) => Term;
-declare const v: (id: string) => Term;
-declare const app: (fn: string, args: Term[]) => Term;
-declare function termEquals(a: Term, b: Term): boolean;
-declare function termToString(t: Term): string;
-/** 常量折叠 + 简单代数化简 */
-declare function simplifyTerm(t: Term): Term;
-
-/** 约束（Pred）：附着在项上的事实，可传播。 */
-
-type PrimName = "number" | "string" | "boolean" | "bigint" | "symbol";
-type Pred = {
-    op: "true";
-} | {
-    op: "false";
-} | {
-    op: "eq";
-    a: Term;
-    b: Term;
-} | {
-    op: "ne";
-    a: Term;
-    b: Term;
-} | {
-    op: "lt";
-    a: Term;
-    b: Term;
-} | {
-    op: "le";
-    a: Term;
-    b: Term;
-} | {
-    op: "gt";
-    a: Term;
-    b: Term;
-} | {
-    op: "ge";
-    a: Term;
-    b: Term;
-} | {
-    op: "and";
-    args: Pred[];
-} | {
-    op: "or";
-    args: Pred[];
-} | {
-    op: "not";
-    arg: Pred;
-} | {
-    op: "typeof";
-    t: Term;
-    type: PrimName;
-};
-declare const pTrue: Pred;
-declare const pFalse: Pred;
-declare const eq: (a: Term, b: Term) => Pred;
-declare const ne: (a: Term, b: Term) => Pred;
-declare const lt: (a: Term, b: Term) => Pred;
-declare const le: (a: Term, b: Term) => Pred;
-declare const gt: (a: Term, b: Term) => Pred;
-declare const ge: (a: Term, b: Term) => Pred;
-declare const ptypeof: (t: Term, type: PrimName) => Pred;
-declare function and(...preds: Pred[]): Pred;
-declare function or(...preds: Pred[]): Pred;
-declare function not(p: Pred): Pred;
-declare function predEquals(a: Pred, b: Pred): boolean;
-declare function predToString(p: Pred): string;
-/** 把 pred 里的 Term 用 subst 替换（用于 bound 变量重命名等） */
-declare function substPred(p: Pred, subst: (t: Term) => Term): Pred;
-/** 收集 pred 中出现的自由变量 */
-declare function predVars(p: Pred): Set<string>;
-/** 约束环境 Φ：Pred 的合取 */
-type Phi = Pred;
-declare const emptyPhi: Phi;
-declare const phiAnd: typeof and;
-/** 简单蕴含：在区间/字面量可判定范围内判断 Φ ⊢ pred */
-declare function implies(phi: Phi, pred: Pred): boolean;
-/** 便捷：数字下界 */
-declare function gtNum(term: Term, n: number): Pred;
-declare function geNum(term: Term, n: number): Pred;
-declare function ltNum(term: Term, n: number): Pred;
-declare function leNum(term: Term, n: number): Pred;
-
-/** 抽象值 Abs = 形状 × 项 × 约束 × 置信度 */
-
-type Confidence = "exact" | "path" | "widened" | "mock" | "partial" | "opaque";
-type Shape = {
-    k: "never";
-}
-/**
- * any：JS 里可以是任意值（无约束参数）。
- * 运算按真实 JS 语义取并集，不是「分析失败」。
- */
- | {
-    k: "any";
-}
-/** unknown：分析拿不到信息（求值失败/泄漏），不是「任意值」 */
- | {
-    k: "unknown";
-} | {
-    k: "prim";
-    type: PrimName;
-} | {
-    k: "obj";
-    slots: Record<string, {
-        value: Abs;
-        optional?: boolean;
-        readonly?: boolean;
-    }>;
-    index?: {
-        key: Abs;
-        value: Abs;
-    };
-    open?: boolean;
-} | {
-    k: "arr";
-    element: Abs;
-} | {
-    k: "tuple";
-    elements: Abs[];
-    rest?: Abs;
-} | {
-    k: "fn";
-    params: string[];
-    name?: string;
-    paramTypes?: Abs[];
-    returnType?: Abs;
-} | {
-    k: "brand";
-    name: string;
-    shape: Abs;
-} | {
-    k: "eff";
-    eff: "promise" | "generator";
-    inner: Abs;
-} | {
-    k: "sum";
-    members: Abs[];
-};
-type Abs = {
-    shape: Shape;
-    term?: Term;
-    pred?: Pred;
-    conf: Confidence;
-    /**
-     * C2.4：分支 join 可解释标注（如 `join(number | string)`）。
-     * 仅展示用：不进 leq / 指纹 / check 等价；formatAbs 读取。
-     */
-    pathNote?: string;
-};
-declare const never: Abs;
-/** 分析无信息 */
-declare const unknown: Abs;
-/** 带 term 的 any（generalize type-var） */
-declare function anyVar(id: string, conf?: Confidence): Abs;
-declare function num(): Abs;
-declare function str(): Abs;
-declare function bool(): Abs;
-declare function numLit(value: number): Abs;
-declare function strLit(value: string): Abs;
-declare function boolLit(value: boolean): Abs;
-/** 带项的符号数，例如参数 x */
-declare function numVar(id: string, pred?: Pred, conf?: Confidence): Abs;
-declare function obj(slots: Record<string, {
-    value: Abs;
-    optional?: boolean;
-}>): Abs;
-declare function confJoin(a: Confidence, b: Confidence): Confidence;
-declare function absToString(a: Abs): string;
-declare function shapeToString(s: Shape): string;
-/** 从 term 反推 prim shape */
-declare function shapeOfTerm(t: Term): Shape;
-/** 构造带项的结果 Abs；pred 相对 term */
-declare function abs(shape: Shape, term: Term | undefined, pred: Pred | undefined, conf: Confidence): Abs;
-declare function isNumPrim(a: Abs): boolean;
-declare function isStrPrim(a: Abs): boolean;
-/** 置信度：字面量全确定 */
-declare function isExactLit(a: Abs): boolean;
-declare function litValue(a: Abs): LiteralValue | undefined;
-
-/**
- * HOF 关系 Abs：无 body 的外延关系（paramTypes → returnType）的判定、
- * α 替换与应用。类型变量仍是 term var；关系仍是 fn 形状上的外延槽。
- */
-
-/**
- * 关系来源标记：P4 豁免与 diagnostics 依赖它，禁止隐式猜。
- * - promote：使用驱动提升（generalize symbolic / instantiate 局部）
- * - refine：@nudo:refine 契约
- * - relationFn：harvest/mock/测试直接写入 fnRels 时的预留来源（P4 error 路径）
- */
-type RelSource = "promote" | "refine" | "relationFn";
-type HofSite = {
-    /** 形参名（函数形参） */
-    param: string;
-    /** 输入侧 term：实参的 term（element 的 var/lit/app）；map 1 个、reduce 2 个 */
-    argTerms: Term[];
-    /** 输出侧：归纳出的返回 Abs */
-    result: Abs;
-    /** 源位置，便于 diagnostics */
-    loc?: {
-        line: number;
-        column: number;
-    };
-};
-/**
- * run 局部 collector（与 Phi 并列，不进 Φ 合并）。
- * symbolic 一次跑：安装并沉淀到 PolyFn；instantiate 重跑：装 throwaway
- * 副本——形状提升仍生效，结果不写回共享状态（见 generalize.ts run()）。
- */
-type HofCollectCtx = {
-    /** 本次归纳的形参名集合（身份判定用） */
-    paramNames: ReadonlySet<string>;
-    /** 本次 typeParams 的 α id 集合（term 复用白名单） */
-    alphaIds: Set<string>;
-    /** fresh α 计数 */
-    freshSeq: {
-        n: number;
-    };
-    sites: HofSite[];
-    fnRels: Map<string, {
-        abs: Abs;
-        source: RelSource;
-    }>;
-    entryShapes: Map<string, {
-        abs: Abs;
-        source: RelSource;
-    }>;
-};
-declare function createHofCollectCtx(paramNames: ReadonlySet<string>, alphaIds: Iterable<string>): HofCollectCtx;
-/**
- * 仅当 term 是 var 且 id ∈ alphaIds（本次 typeParams）时复用；否则 fresh α。
- * 绝不把调用点具体值/字面量冻进关系。
- */
-declare function alphaOf(absOrTerm: Abs | Term | undefined, ctx: HofCollectCtx): Term;
-/** 共享输出变量 B:${param}（§5.1 P2 钉死） */
-declare function betaOf(param: string): Term;
-/**
- * 提升写入载体：替换 env.vars map 项，禁止 mutate 共享 Abs。
- * arrival-first：已有 fn/arr 形状 → 拒绝新观测。
- * 返回是否真正写入。
- */
-declare function promoteParamShape(env: AstEnv, param: string, promotedShape: Shape, opts?: {
-    loc?: {
-        line: number;
-        column: number;
-    };
-    recordSite?: boolean;
-}): boolean;
-/**
- * 挂载点①：方法派发 miss。receiver 是形参 Identifier 且 shape 为 any/未知，
- * 方法名为 filter/map/reduce/flatMap → 提升为 arr(自身 var)。
- */
-declare function tryPromoteReceiverAsArr(env: AstEnv, receiverName: string, method: string, loc?: {
-    line: number;
-    column: number;
-}): Abs | undefined;
-/**
- * for-of 迭代对象提升（applyEach 型）：`for (const x of items)`，
- * items 为形参且仍是 any/unknown → arr(自身 var)。不依赖方法名。
- */
-declare function tryPromoteForOfIteratee(env: AstEnv, iterateeName: string, loc?: {
-    line: number;
-    column: number;
-}): Abs | undefined;
-/**
- * 挂载点②：CallExpression callee = 形参 Identifier 直接调用 p(x) / p(a,b)。
- * 提升为 fn(paramTypes=[αOf(args)], returnType=B:param)。
- */
-declare function tryPromoteDirectCall(env: AstEnv, calleeName: string, args: Abs[], loc?: {
-    line: number;
-    column: number;
-}): Abs | undefined;
-/**
- * 挂载点③：HOF 回调实参。回调是 Identifier ∈ paramNames 且尚未有 fn 形状。
- * 按方法名提升：map/flatMap → fn([αOf(el)], B:param)；filter → fn([αOf(el)], bool)；
- * reduce → fn([αOf(init), αOf(el)], B:param)。
- */
-declare function tryPromoteHofCallback(env: AstEnv, cbName: string, method: string, argAbses: Abs[], loc?: {
-    line: number;
-    column: number;
-}): Abs | undefined;
-/** deep-ish copy for snapshot（新对象，不是 env.vars 同一引用） */
-declare function snapshotAbs(a: Abs): Abs;
-/**
- * 「有可用外延签名」判定：唯一权威定义。
- *
- * 名实说明：isRelFn **不要求** term 是 var。完全单态的具体签名
- * （paramTypes=[number], returnType=string）同样满足——map 有槽就用。
- * 多态（term=var）只是其中一种形态；名字里的 Rel 指「关系槽可用」。
- *
- * 收紧条件——仅有 returnType 而 paramTypes 与 arity 不对齐时，不算 rel，
- * 防止半截签名在 map 里冒充关系。
- */
-declare function isRelFn(a: Abs | undefined | null): boolean;
-/**
- * pred 三条规则：
- * 1. var ∈ map + 实参有 term → 换 term，可归约则归约，否则残余保留
- * 2. var ∈ map + 实参无 term → pred → true（conf 由调用方降级）
- * 3. var ∉ map（自由 α）→ 原样保留
- */
-declare function substPredAbs(p: Pred, map: ReadonlyMap<string, Abs>): {
-    pred: Pred;
-    dropped: boolean;
-};
-/**
- * α 替换：map 的 key 是 term var id，value 是替换 Abs。
- * var ∉ map 原样保留（含自由 α 上的 term/pred）。
- */
-declare function substAbs(a: Abs, map: ReadonlyMap<string, Abs>): Abs;
-/**
- * relation-only / isRelFn 的应用：按 paramTypes 做 α 替换得到 returnType。
- * impl.relation 槽优先于 shape.returnType。重复 α 先绑定保留。
- */
-declare function instantiateReturn(fn: Abs, args: Abs[]): Abs;
-/**
- * 回调统一入口（单点定义）。A–F + sum：
- * A Node inline | B apply | C body | D relation | E isRelFn | F unknown
- *
- * 实现委托 ast-eval 的 applyAbsFn（已含 sum / D / E / body 优先）。
- * Identifier 解析层：env.vars 有 Abs → B–E；env.fns 有 → callFunction；否则 unknown。
- *
- * 为避免 hof ↔ ast-eval 循环依赖，本函数由宿主在运行时绑定。
- *
- * 依赖说明：宿主在 `ast-eval.ts` 模块加载时注册（副作用）。
- * 只 import hof.ts 而未加载 ast-eval 时，fallback 仅认 relation/isRelFn。
- * 与 §5.1 的「禁止全局 collector」不同——这里是无状态委托钩子，不是 run 局部状态。
- */
-type ApplyCallbackHost = (cb: Abs | {
-    type: string;
-}, args: Abs[], env: unknown, phi: unknown, budget: unknown) => Abs;
-/**
- * ast-eval 模块加载时注册（副作用）。
- * 必须经 `ast-eval.ts`（或其依赖方：exec/call、exec/class、generalize）加载，
- * 才能启用 Identifier/env.fns/inline body 路径；只 import hof.ts 时 fallback
- * 仅认 relation/isRelFn。勿在多份 ast-eval 实例下各写各的——双包/双副本会覆盖。
- */
-declare function setApplyCallbackHost(fn: ApplyCallbackHost): void;
-declare function applyCallbackAbs(cb: Abs | {
-    type: string;
-}, args: Abs[], env: unknown, phi: unknown, budget: unknown): Abs;
-/** undefined 值的统一 Abs 表示（forEach/find 等） */
-declare function undefAbs(): Abs;
-/**
- * map 元素投影：body 在符号实参上跑出 unknown 时，
- * 用 shape.returnType 槽，conf 由调用方按 path/partial 处理。
- * rel 回调不会走到这里（instantiateReturn 已给出结果）。
- */
-declare function mapElementFallback(cbAbs: Abs | undefined, elem: Abs, out: Abs): Abs;
-/**
- * flatMap 统一结果：展开后的元素 join 成 arr(γ)。
- * JS flatMap 永远返回 Array；双路径共用此投影，禁止一边 tuple 一边 arr。
- * 同 term 元素 first-wins（joinAbs 会丢 β 身份，见 design §5.1）。
- */
-declare function projectFlatMapResult(arrConf: Confidence, mapped: Abs[]): Abs;
-/** 从 map/filter/reduce 回调实参里取出 Abs（Identifier 已绑定或直接 Abs） */
-declare function asAbs(v: unknown): Abs | undefined;
-
-/**
- * AstEnv：抽象求值环境类型。
- * 独立成文件：hof/language/leq/abs-fn/abs-modules 等消费方只依赖此类型，
- * 不必再为拿一个类型 import ast-eval 巨石（TS 模块环）。
- * ast-eval.ts 对本类型做兼容 re-export，外部消费路径不变。
- */
-
-type AstEnv = {
-    vars: Map<string, Abs>;
-    /** 用户函数：name → { params, body } */
-    fns: Map<string, {
-        params: string[];
-        body: Node;
-        async?: boolean;
-        kind?: string;
-    }>;
-    /** class 表（旁路，withVar 必须保留） */
-    classes?: Map<string, unknown>;
-    /** 当前正在求值的方法所属类名（super.x() 从它的父类派发） */
-    currentOwner?: string;
-    /** P2：generalize symbolic 跑的 HOF collector（run 局部，不进 Φ） */
-    hofCollect?: HofCollectCtx;
-};
-
-/**
- * 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;
-
-/**
- * B 路径运行时：transpile 后的程序在 Node 上执行时，值就是 Abs。
- * 与 AST 解释器语义同构；TypeValue 不再是求值载体。
- */
-
-declare function currentExecPhi(): Phi;
-declare function withExecPhi<T>(p: Phi, body: () => T): T;
-declare function $add(a: Abs, b: Abs): Abs;
-declare function $sub(a: Abs, b: Abs): Abs;
-declare function $mul(a: Abs, b: Abs): Abs;
-declare function $div(a: Abs, b: Abs): Abs;
-declare function $mod(a: Abs, b: Abs): Abs;
-declare function $neg(a: Abs): Abs;
-declare function $typeof(a: Abs): Abs;
-declare function $not(a: Abs): Abs;
-declare function $eq(a: Abs, b: Abs): Abs;
-declare function $ne(a: Abs, b: Abs): Abs;
-/** `==` / `!=`（C2.3）：双字面量 Abstract Equality，否则回落严格判定 */
-declare function $eqLoose(a: Abs, b: Abs): Abs;
-declare function $neLoose(a: Abs, b: Abs): Abs;
-declare function $lt(a: Abs, b: Abs): Abs;
-declare function $le(a: Abs, b: Abs): Abs;
-declare function $gt(a: Abs, b: Abs): Abs;
-declare function $ge(a: Abs, b: Abs): Abs;
-declare function $join(a: Abs, b: Abs): Abs;
-/**
- * transpile 泄漏的 JS 函数值 → 一等 fn Abs。
- * B 路径把函数声明/表达式编译成真实 JS 函数；它们流进对象槽、
- * 元组、join 等 Abs 结构时不能裸存——下游（bridge/leq/join）读 `.shape`。
- * 参数名无法从运行时函数恢复（用 fn.length → argN，与 analyzer 的
- * extractParamNames 回退口径一致）；带真实参数名走 $fnVal（transpile 侧）。
- */
-declare function asAbsVal(v: unknown): Abs;
-/**
- * 函数调用边界：callee 的 loop/early-return 不得冒泡成 caller 结果。
- * 每个 B 路径调用帧独立 ALS；NudoReturn 收成该调用的返回值。
- */
-declare function callAtFunctionBoundary<T>(body: () => T): T;
-/** 函数表达式 → 一等 fn Abs（transpile 侧带真实参数名；异步 body 包 $async）
- *  opts.bindThis：对象方法——$invoke 会把 receiver 作为 impl 首参注入。 */
-declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs, opts?: {
-    bindThis?: boolean;
-}): Abs;
-/** 字面量 → Abs（transpile 侧数字/字符串/布尔/null/undefined） */
-declare function $lit(v: unknown): Abs;
-/** JS 真值：字面量按 Boolean(v)；对象形恒真；不可判 → undefined */
-declare function litTruth(a: Abs): boolean | undefined;
-declare function isDefinitelyTrue(a: Abs): boolean;
-declare function isDefinitelyFalse(a: Abs): boolean;
-/** 函数求值作用域：收集抽象分支上的 early-return / throw 值；try 标记栈同边界 */
-declare function runWithLoopExits<T>(body: () => T): T;
-declare function takeLoopExits(): Abs[];
-declare function takeThrowExits(): Abs[];
-declare function pushLoopExit(v: Abs): void;
-declare function pushThrowExit(v: Abs): void;
-/** transpile 生成代码用：`$pushLoopExit` */
-declare function $pushLoopExit(v: Abs): void;
-/** try 块开始：压栈并返回当前 throwExits 长度 */
-declare function $tryMark(): number;
-/** 当前最内层 try 的 mark（return 时 drain 用；嵌套调用不串栈） */
-declare function $tryCurrentMark(): number;
-declare function $tryPopMark(): void;
-/** 取出 mark 之后新记录的 throw（try 吸收 / catch 合并） */
-declare function $tryTakeSince(mark: number): Abs[];
-declare function $fork(test: Abs, consequent: () => Abs, alternate?: () => Abs): Abs;
-declare const DEFAULT_MAX_LOOP_ITERS = 8;
-/**
- * for 的惰性展开：生成器只负责「按上限吐状态」。
- * 抽象条件无法诚实终止——消费者必须自带 maxIters。
- */
-declare function $forIter(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, body: (s: Abs) => Abs, maxIters?: number): Generator<{
-    state: Abs;
-    test: Abs;
-    afterBody: Abs;
-}, void, void>;
-/**
- * 有界 for：unroll ≤ maxIters，每步「可能退出」的态 join；
- * 相邻态 leq 视为不动点提前停。
- */
-declare function $for(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, body: (s: Abs) => Abs, maxIters?: number, opts?: {
-    pack?: () => Abs;
-    unpack?: (s: Abs) => void;
-}): Abs;
-/** 数组字面量 → ≤cap tuple（逐元素精确）/ >cap arr；策略与 ast-eval 同源（containers.ts） */
-declare function $arr(items: Abs[]): Abs;
-declare function isArrMutator(name: string): boolean;
-/**
- * C1.4 语句重绑：返回**变更后容器** Abs（不是 JS 返回值）。
- * `a.pop()` 语句应把 `a` 绑成去掉末元的 tuple，而不是被移除的元素。
- */
-declare function $arrMutContainer(arr: Abs, method: string, args: Abs[]): Abs;
-/** 下标读 a[i]；字面量 i 走 tuple 精确投影，否则并所有元素；string[i] → 单字符 */
-declare function $idx(a: Abs, i: Abs): Abs;
-/** 下标写 a[i]=v → 新 tuple（越界写按 JS 语义增长，空洞为 undefined） */
-declare function $idxSet(a: Abs, i: Abs, value: Abs): Abs;
-/** 数组/字符串长度 */
-declare function $len(a: Abs): Abs;
-/** 对象字面量 → Abs obj */
-declare function $obj(slots: Record<string, Abs>): Abs;
-/** 对象展开 { ...a, b } */
-declare function $spread(a: Abs, b: Abs): Abs;
-/**
- * 解构 rest：`const { a, ...rest } = o` → rest = o 去掉 named keys。
- * closed obj：剩余槽 closed；open / optional 键：rest 仍 open（可能有未知键）。
- */
-declare function $objRest(o: Abs, keys: string[]): Abs;
-/** 数组 rest：`const [a, ...rest] = arr` → rest = 从 start 起的尾段 */
-declare function $arrRest(a: Abs, start: number): Abs;
-/** 数组连接 [...a, ...b] / [...a, x]；结果超 cap 时与字面量同策略降 arr */
-declare function $concat(a: Abs, b: Abs): Abs;
-/** 元素列表（tuple 展开；arr 抽象；C1 Set/Map 逐条目）。
- *  Map 迭代语义是 entry `[key, value]` 元组，不是裸 value。 */
-declare function $elems(a: Abs): Abs[];
-/**
- * for-of：对 iterable 每个元素跑 body；有界展开。
- * body(item, i) 可返回 void；状态由外部 JS 变量承接。
- * - 具体空 tuple：体 0 次（不得用 `length || maxIters` 展开成 maxIters）
- * - 抽象 arr / 未知长度：0..maxIters 出口与 pack 状态 join
- */
-declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, maxIters?: number, opts?: {
-    pack?: () => Abs;
-    unpack?: (s: Abs) => void;
-}): void;
-/**
- * 命名空间身份表：transpile 后 `Math.max(0, x)` 的接收者是宿主 JS 全局对象
- * （非 Abs）。按对象身份识别命名空间，路由到 Abs builtin 表。
- */
-declare function namespaceNameOf(v: unknown): string | undefined;
-/** 正则字面量 → RegExp brand（source/flags 进 slots，供 exec/test 精确执行） */
-declare function $regex(pattern: string, flags?: string): Abs;
-/** 成员读：obj.slots[key]；缺失 → undefined 字面量；brand 解包内层 */
-declare function $get(o: Abs, key: string, opts?: {
-    silent?: boolean;
-}): Abs;
-/** 成员写：返回新 obj/brand（不可变更新） */
-declare function $set(o: Abs, key: string, value: Abs): Abs;
-/**
- * 有界 while：state 线程穿 test/step（与 $for 同折叠语义）。
- * 抽象条件无法诚实终止——必须 maxIters。
- */
-declare function $while(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, maxIters?: number): Abs;
-/**
- * 顺序 while（具体/可变闭包）：body 内对 JS 变量赋值。
- * 提供 pack/unpack 时，抽象条件的可能出口会 join 回绑定（P0 健全）；
- * 未 instrument 的调用保持旧语义（预算截断，文档已声明）。
- */
-declare function $whileSeq(test: () => Abs, body: () => void, maxIters?: number, opts?: {
-    /** 把当前绑定收成 Abs 状态（transpile 注入） */
-    pack?: () => Abs;
-    /** 把 join 后的状态写回绑定 */
-    unpack?: (s: Abs) => void;
-}): void;
-/** B 路径「函数提前 return」信号（区别于 throw） */
-declare class NudoReturn extends Error {
-    readonly absValue: Abs;
-    constructor(absValue: Abs);
-}
-/** transpile `return x` inside for/while → `$loopReturn(x)` */
-declare function $loopReturn(v: Abs): never;
-declare function isNudoReturn(e: unknown): e is NudoReturn;
-/** catch 转译辅助：控制流信号透传（生成代码只注入 `$` 前缀符号） */
-declare function $rethrowIfNudoReturn(e: unknown): void;
-/** B 路径 throw 载荷：携带 Abs 抛出值 */
-declare class NudoThrow extends Error {
-    readonly absValue: Abs;
-    constructor(absValue: Abs);
-}
-/** transpile `throw x` → `$throw(x)` */
-declare function $throw(v: Abs): never;
-declare function isNudoThrow(e: unknown): e is NudoThrow;
-/**
- * fork 臂是否以控制流退出（return / throw）。
- * 生成代码用此决定 continue-path free-write 标志：退出臂的写
- * 不得污染 join 后的 continue 绑定。
- */
-declare function $isForkExit(e: unknown): boolean;
-/** catch 参数：从 NudoThrow 取出 Abs；宿主 Error 补 name/message；否则 unknown */
-declare function $catchVal(e: unknown): Abs;
-/**
- * async 函数体包进 thunk，返回值经 wrapPromise。
- */
-declare function $async(thunk: () => Abs): Abs;
-/** await → 解包 eff("promise") */
-declare function $await(v: Abs): Abs;
-/** async 直接 return 的 coerce */
-declare function $asyncReturn(v: Abs): Abs;
-/** function* 体：收集所有 yield 值为 tuple Abs；抽象分支时降 conf（P0-6） */
-declare function $gen(body: () => void): Abs;
-/** yield v：压入当前生成器收集器；表达式值用 unknown */
-declare function $yield(v: Abs): Abs;
-/**
- * switch：具体 disc 选中匹配 case；抽象 disc 并所有分支。
- * 抽象路径与 $fork 同构：集合 side-table 按臂 overlay，共享 body 只跑一次；
- * 臂内 NudoReturn/NudoThrow 不冒泡污染兄弟臂。
- * **无 default 时必须隐式 fall-through 臂（undef）**，否则无匹配路径被丢掉（P0-2）。
- */
-declare function $switch(disc: Abs, cases: Array<{
-    test: Abs;
-    run: () => Abs;
-}>, dflt?: () => Abs): Abs;
-/** `??` / `??=` 测试：确定非 nullish → false；lit nullish → true；否则抽象 boolean */
-declare function $nullishTest(v: Abs): Abs;
-
-/**
- * B 路径 transpile：JS AST → 可在 Node 上执行的抽象值程序（源码字符串）。
- * 运算符改为 $add/$sub/…；if 改为 $fork；for 改为 $for。
- * 值类型是 Abs；副作用与模块仍由 host mock/注入。
- */
-
-type TranspileOptions = {
-    /** 运行时 import 说明符 */
-    runtimeImport?: string;
-    maxLoopIters?: number;
-    /** 方法体内 this 的绑定名（transpile class 时注入） */
-    thisParam?: string;
-    /** 当前类名（super 派发用） */
-    className?: string;
-    /** 原始源码（@nudo:replace 按节点文本匹配） */
-    source?: string;
-    /** 替换表：归一化目标文本 → 注入变量名；可选语句范围 */
-    replacements?: Array<{
-        target: string;
-        varName: string;
-        /** 仅该语句范围内生效（1-based 行） */
-        stmtStart?: number;
-        stmtEnd?: number;
-    }>;
-    /** @nudo:as：覆盖紧随语句的 init / return */
-    asOverrides?: Array<{
-        varName: string;
-        stmtStart: number;
-        stmtEnd: number;
-    }>;
-    /** 循环嵌套深度（>0 时 return → $loopReturn，C2.1） */
-    inLoop?: number;
-    /** try 嵌套深度（>0 时 return 前 drain throwExits，使 catch 能吸收抽象 throw） */
-    inTry?: number;
-    /** 当前 try 的 mark 变量名（return drain 用；避免全局栈顶污染） */
-    tryMarkName?: string;
-};
-declare function transpileSource(source: string, opts?: TranspileOptions): string;
-declare function transpileFile(file: File, opts?: TranspileOptions): string;
-declare function transpileExpression(expr: Expression, opts?: TranspileOptions): string;
-/** 解析 + transpile */
-declare function transpile(source: string, opts?: TranspileOptions): string;
-
-/**
- * 调用 Abs 一等函数（absFunction impl）或 mock apply。
- * 供 B 路径 import 绑定包装：`(...args) => $call(absFn, args)`。
- *
- * 统一顺序：apply → body → relation → isRelFn（委托 applyAbsFn）。
- * 行为对齐说明（与旧 $call 的差异，均属刻意）：
- * 1. 带 body 的函数也进 call-budget（与 ast-eval 同轨；递归会 truncated 而非爆栈）
- * 2. body 抛错 → never（applyAbsFn 内恢复，不返回中间值）
- * 3. 无 impl 时 isRelFn 可走 E 路径（旧版恒 unknown）
- */
-
-declare function $call(fn: Abs, args: Abs[]): Abs;
-
-/**
- * B class 规格表（无 call/ast-eval 依赖，避免循环）。
- * Abs-eval registerClassDecl 与 transpile $class 共用。
- */
-
-type BClassSpec = {
-    name: string;
-    superName?: string;
-    ctor?: (thisVal: Abs, ...args: Abs[]) => Abs;
-    methods?: Record<string, (thisVal: Abs, ...args: Abs[]) => Abs>;
-    staticMethods?: Record<string, (...args: Abs[]) => Abs>;
-    statics?: Record<string, Abs>;
-};
-declare function registerBClass(spec: BClassSpec): void;
-declare function getBClass(name: string): BClassSpec | undefined;
-declare function clearBClasses(): void;
-
-/**
- * B 路径 class：brand 实例 + ctor/method 闭包 + 继承链。
- * 方法内 this 由 transpile 改写为 thisVal 参数。
- */
-
-/** 定义类 → 可 new 的 Abs（brand 标记；静态字段挂在 slots） */
-declare function $class(name: string, spec: Omit<BClassSpec, "name"> & {
-    extends?: string;
-}): Abs;
-/** new C(...) → 空 brand 实例 + ctor 写字段；非类构造走 impl/$call */
-declare function $new(cls: Abs | ((...a: unknown[]) => unknown), args: Abs[]): Abs;
-/**
- * super(...)：父类构造写入字段（this 保持子类 brand）。
- * transpile: super(a,b) → __this = $super(__this, "Child", [a,b])
- */
-declare function $super(thisVal: Abs, childName: string, args: Abs[]): Abs;
-/** 实例方法调用：沿继承链；类 Abs 上回落 staticMethods；obj 上回落属性函数 */
-declare function $invoke(thisVal: Abs, method: string, args: Abs[], loc?: [number, number]): Abs;
-/** super.method()：从父类起找（跳过自身覆盖） */
-declare function $invokeSuper(thisVal: Abs, childName: string, method: string, args: Abs[]): Abs;
-declare function $thisGet(thisVal: Abs, key: string): Abs;
-declare function $thisSet(thisVal: Abs, key: string, value: Abs): Abs;
-/** 解构默认值：undefined（含 sum 成员 / 可能缺失）时用 default 并入非 undefined 部分 */
-declare function $orDefault(v: Abs, dflt: () => Abs): Abs;
-/** 可选链 a?.b：nullish 短路为 undefined 字面量 */
-declare function $optionalGet(o: Abs, key: string): Abs;
-/** 可选链 a?.m()：nullish 短路为 undefined */
-declare function $optionalInvoke(thisVal: Abs, method: string, args: Abs[]): Abs;
-/** 静态方法：cls.staticMethod(args) */
-declare function $staticInvoke(cls: Abs, method: string, args: Abs[]): Abs;
-/** 计算属性写：o[kAbs] = v。非字面量 key → open + index join（不得写成字面槽 "?"） */
-declare function $setKey(o: Abs, key: Abs, value: Abs): Abs;
-
-/**
- * 成员缺失诊断（B 路径 + Abs ast-eval 共用）。
- * 无 $call / transpile 依赖，避免 ast-eval ↔ calls 循环。
- */
-
-type BMemberDiag = {
-    kind: "method" | "property";
-    name: string;
-    /** 接收者 prim 类型名，或 "unknown" / "object"（C0.5 闭 shape 缺槽） */
-    receiver: string;
-    line?: number;
-    column?: number;
-    /** 调用点来源（provenance）：实参字面量 loc 优先，否则最近 $callNamed loc */
-    origin?: {
-        line: number;
-        column: number;
-    };
-    /** 覆盖默认 no-method 码；C0.5 用 nudo:missing-slot */
-    code?: string;
-};
-/** 给实参 Abs 打 provenance（调用点参数字面量） */
-declare function tagAbsOrigin(a: Abs, loc: {
-    line: number;
-    column: number;
-}): void;
-declare function getAbsOrigin(a: Abs | undefined): {
-    line: number;
-    column: number;
-} | undefined;
-declare function setMemberDiagCollector(c: ((d: BMemberDiag) => void) | null): void;
-declare function recordMemberDiag(d: BMemberDiag): void;
-/**
- * prim 接收者上的未知成员 → 诊断。
- * 返回 true 表示确定缺失（number 上任意方法；string 上表外方法）。
- */
-declare function notePrimMemberMissing(recv: Abs | undefined, name: string, kind: "method" | "property", loc?: [number, number]): boolean;
-/**
- * unknown 接收者上的成员访问 → unknown-recv（与 TypeValue 口径对齐：
- * object/instance/refined/promise 静默；其余记一条）。
- */
-declare function noteUnknownMemberMissing(recv: Abs | undefined, name: string, kind: "method" | "property", loc?: [number, number]): boolean;
-/** 方法分派失败时的统一记账（prim / unknown；obj/brand/promise 静默） */
-declare function noteMemberDispatchMiss(recv: Abs | undefined, name: string, kind: "method" | "property", loc?: [number, number]): void;
-/** host（service analysisConfig）在 B-path 前设置；默认 false */
-declare function setEvalMissingSlotEnabled(enabled: boolean): void;
-declare function isEvalMissingSlotEnabled(): boolean;
-/** per-analysis 作用域：body 内 flag 隔离，结束后自动恢复外层值 */
-declare function runWithEvalMissingSlot<T>(enabled: boolean, body: () => T): T;
-/**
- * 闭对象 shape 上缺失字段且**求值真实走到**该读取 → `nudo:missing-slot`。
- * 仅展示/草稿提示；不参与 handwritten check 义务（C0：禁止 body AST 预扫）。
- */
-declare function noteObjSlotMissing(recv: Abs | undefined, name: string, loc?: [number, number]): boolean;
-
-/**
- * B 路径调用点记录：transpile 把 `f(args)` 改成 $callNamed，
- * 分析时可收集 call@ 所需的 AbsCallRecord。
- * 成员缺失诊断见 member-diag.ts（与 ast-eval 共用，避免循环依赖）。
- */
-
-type BCallRecord = {
-    fnName: string;
-    args: Abs[];
-    result: Abs;
-    callLoc?: {
-        line: number;
-        column: number;
-    };
-    threw?: boolean;
-};
-declare function setBCallCollector(collector: ((r: BCallRecord) => void) | null): void;
-declare function getBCallCollector(): ((r: BCallRecord) => void) | null;
-/**
- * 按名调用并记录。
- * loc: [line, column]（1-based line，0-based column，与 Babel 一致）
- * argLocs: 与 args 对齐的实参字面量源位置（provenance；无 loc 用 null）
- */
-declare function $callNamed(name: string, fn: unknown, args: Abs[], loc?: [number, number], argLocs?: Array<[number, number] | null | undefined>): Abs;
-
-/**
- * 进程内 B 路径执行：transpile 源码 → new Function 跑在 runtime 上。
- * 不写临时文件；相对 import 用注入的 AbsModuleExports / JS 导出绑定。
- *
- * mode:
- * - "exec"（默认）：执行全部顶层（含副作用）
- * - "analyze"：只保留函数声明与纯字面量 const；跳过顶层表达式/循环/if
- *   ——分析入口安全，不触发 fetch 等顶层副作用
- */
-
-type RunTranspiledOptions = {
-    /** 说明符 → 依赖导出（host 模块图或 runTranspiled 产物） */
-    modules?: Record<string, AbsModuleExports | Record<string, unknown>>;
-    maxLoopIters?: number;
-    /** analyze = 跳过效应性顶层语句 */
-    mode?: "exec" | "analyze";
-    /** @nudo:replace 注入值：varName → Abs */
-    replacements?: Record<string, Abs>;
-    /** @nudo:replace 匹配表：传给 transpile */
-    replacementTargets?: Array<{
-        target: string;
-        varName: string;
-        stmtStart?: number;
-        stmtEnd?: number;
-    }>;
-    /** @nudo:as 注入值：varName → Abs */
-    asOverrides?: Record<string, Abs>;
-    /** @nudo:as 语句范围表 */
-    asOverrideTargets?: Array<{
-        varName: string;
-        stmtStart: number;
-        stmtEnd: number;
-    }>;
-    /** @nudo:env 全局 Abs（JSON/Math/console…）→ 作用域绑定 */
-    envGlobals?: Record<string, Abs>;
-};
-/**
- * 执行一段 B 路径程序，返回顶层 `export function` / `export const`。
- */
-declare function runTranspiled(source: string, opts?: RunTranspiledOptions): Record<string, unknown>;
-type TranspiledCallResult = {
-    result: Abs;
-    /** 非 never 表示函数可能 throw 该类型 */
-    throws: Abs;
-};
-/** 调用 runTranspiled 导出（捕获 $throw） */
-declare function callTranspiledExportFull(exports: Record<string, unknown>, name: string, args: Abs[]): TranspiledCallResult;
-/** 调用 runTranspiled 导出（仅结果） */
-declare function callTranspiledExport(exports: Record<string, unknown>, name: string, args: Abs[]): Abs;
-
-export { $add as $, type Abs as A, $get as B, type Confidence as C, $gt as D, $idx as E, $idxSet as F, $invoke as G, type HofSite as H, $invokeSuper as I, $isForkExit as J, $join as K, $le as L, $len as M, $lit as N, $loopReturn as O, type Phi as P, $lt as Q, type RelSource as R, type Shape as S, type Term as T, $mod as U, $mul as V, $ne as W, $neLoose as X, $neg as Y, $new as Z, $not as _, type AstEnv as a, getAbsOrigin as a$, $nullishTest as a0, $obj as a1, $objRest as a2, $optionalGet as a3, $optionalInvoke as a4, $orDefault as a5, $pushLoopExit as a6, $regex as a7, $rethrowIfNudoReturn as a8, $set as a9, type TranspileOptions as aA, type TranspiledCallResult as aB, abs as aC, absToString as aD, alphaOf as aE, and as aF, anyVar as aG, app as aH, applyCallbackAbs as aI, asAbs as aJ, asAbsVal as aK, betaOf as aL, bindImports as aM, bool as aN, boolLit as aO, callAtFunctionBoundary as aP, callTranspiledExport as aQ, callTranspiledExportFull as aR, clearBClasses as aS, collectAbsExports as aT, confJoin as aU, createHofCollectCtx as aV, currentExecPhi as aW, emptyPhi as aX, eq as aY, ge as aZ, geNum as a_, $setKey as aa, $spread as ab, $staticInvoke as ac, $sub as ad, $super as ae, $switch as af, $thisGet as ag, $thisSet as ah, $throw as ai, $tryCurrentMark as aj, $tryMark as ak, $tryPopMark as al, $tryTakeSince as am, $typeof as an, $while as ao, $whileSeq as ap, $yield as aq, type BCallRecord as ar, type BClassSpec as as, type BMemberDiag as at, DEFAULT_MAX_LOOP_ITERS as au, type HofCollectCtx as av, type LiteralValue as aw, NudoReturn as ax, NudoThrow as ay, type RunTranspiledOptions as az, type Pred as b, substAbs as b$, getBCallCollector as b0, getBClass as b1, gt as b2, gtNum as b3, implies as b4, instantiateReturn as b5, isArrMutator as b6, isDefinitelyFalse as b7, isDefinitelyTrue as b8, isEvalMissingSlotEnabled 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, pushLoopExit as bK, pushThrowExit as bL, recordMemberDiag as bM, registerBClass as bN, runTranspiled as bO, runWithEvalMissingSlot as bP, runWithLoopExits as bQ, setApplyCallbackHost as bR, setBCallCollector as bS, setEvalMissingSlotEnabled as bT, setMemberDiagCollector as bU, shapeOfTerm as bV, shapeToString as bW, simplifyTerm as bX, snapshotAbs as bY, str as bZ, strLit as b_, isExactLit as ba, isNudoReturn as bb, isNudoThrow as bc, isNumPrim as bd, isRelFn as be, isStrPrim as bf, le as bg, leNum as bh, lit as bi, litTruth as bj, litValue as bk, lt as bl, ltNum as bm, mapElementFallback as bn, namespaceNameOf as bo, ne as bp, never as bq, not as br, noteMemberDispatchMiss as bs, noteObjSlotMissing as bt, notePrimMemberMissing as bu, noteUnknownMemberMissing as bv, num as bw, numLit as bx, numVar as by, obj as bz, type AbsModuleExports as c, substPred as c0, substPredAbs as c1, tagAbsOrigin as c2, takeLoopExits as c3, takeThrowExits as c4, termEquals as c5, termToString as c6, transpile as c7, transpileExpression as c8, transpileFile as c9, transpileSource as ca, tryPromoteDirectCall as cb, tryPromoteForOfIteratee as cc, tryPromoteHofCallback as cd, tryPromoteReceiverAsArr as ce, undefAbs as cf, unknown as cg, v as ch, withExecPhi as ci, type PrimName as d, $arr as e, $arrMutContainer as f, $arrRest as g, $async as h, $asyncReturn as i, $await as j, $call as k, $callNamed as l, $catchVal as m, $class as n, $concat as o, $div as p, $elems as q, $eq as r, $eqLoose as s, $fnVal as t, $for as u, $forIter as v, $forOf as w, $fork as x, $ge as y, $gen as z };