@nudojs/service 0.3.1 → 1.0.0

package/dist/config-UlReSTfh.d.ts

@@ -0,0 +1,152 @@
+import { Node } from '@babel/types';
+import { TypeValue, Environment } from '@nudojs/core';
+
+/** 值上命名成员是否可能存在（union 部分成员持有的 no-method 降 warning
+ * 用）：primitive/literal 走 wrapper 原型近似表（'x'.charCodeAt），
+ * instance 走近似方法表。诊断侧据此区分"部分成员可能有"与"确定没有"。 */
+declare function memberMayExistOn(tv: TypeValue, propName: string): boolean;
+type SourceRange = {
+    start: {
+        line: number;
+        column: number;
+    };
+    end: {
+        line: number;
+        column: number;
+    };
+};
+declare function setCurrentSource(source: string): void;
+declare const RETURN_SIGNAL: unique symbol;
+declare const BRANCH_SIGNAL: unique symbol;
+declare const THROW_SIGNAL: unique symbol;
+type ReturnSignal = {
+    readonly [RETURN_SIGNAL]: true;
+    readonly value: TypeValue;
+};
+type BranchSignal = {
+    readonly [BRANCH_SIGNAL]: true;
+    readonly returnedValue: TypeValue;
+    readonly fallthroughEnv: Environment;
+};
+type ThrowSignal = {
+    readonly [THROW_SIGNAL]: true;
+    readonly thrown: TypeValue;
+    readonly loc?: SourceRange;
+};
+type EvalResult = TypeValue | ReturnSignal | BranchSignal | ThrowSignal;
+declare function resetMemo(): void;
+declare function setModuleResolver(resolver: ((source: string, fromDir: string) => {
+    ast: Node;
+    filePath: string;
+    json?: unknown;
+} | null) | null): void;
+declare function setEnvModules(modules: Record<string, Record<string, TypeValue>>): void;
+declare function resetEnvModules(): void;
+declare function setMockModules(mocks: Map<string, {
+    fromPath: string;
+    names?: string[];
+}>): void;
+declare function resetMockModules(): void;
+declare function setUnknownBuiltinHandler(handler: ((name: string, loc?: {
+    start: {
+        line: number;
+        column: number;
+    };
+    end: {
+        line: number;
+        column: number;
+    };
+}) => void) | null): void;
+declare function setSampleCount(count: number): void;
+declare function setMaxConcreteIter(count: number): void;
+declare function setNodeTypeCollector(collector: ((node: Node, tv: TypeValue) => void) | null): void;
+type CallRecord = {
+    fnName: string;
+    argTypes: TypeValue[];
+    resultType: TypeValue;
+    throws: TypeValue;
+    /** Line-relative. Per-fn cache replay shifts this by lineDelta — if you
+     *  add another position field (callee loc, arg loc), extend
+     *  shiftCallRecordLines in analyzer.ts in the same change. */
+    callLoc?: {
+        line: number;
+        column: number;
+    };
+    targetModule?: string;
+    targetExport?: string;
+    /** export names the same function value was re-exported under after its
+     * defining module (barrel `index.js`, CJS forwarding shims); usage-site
+     * records stay name-matchable against them */
+    targetAliases?: string[];
+    /** module whose evaluation created the function value (definition site).
+     * Usage-site collection transitively evaluates the library under require(),
+     * so records of the library's INTERNAL calls (no export tag) can still be
+     * attributed to the defining file — while test-local functions and builtin
+     * statics stay unattributed and cannot pollute same-name candidates. */
+    fnModule?: string;
+};
+/** usage-site 执行标记：外部调用记录的实参里携带的闭包（测试回调等）在
+ * case 合成重求值时被执行，其内部错误属于使用现场文件，与本文件分析无关。
+ * 分析侧在注入前对全部外部实参调用本函数；执行来源栈读到该标记时
+ * recordUnknown.originModule 记为标记值，分析侧据此丢弃。不按模块路径
+ * 比较——跨文件依赖（本文件 require 链上加载的模块）的执行记录是合法
+ * 的可达分析，不能误伤。 */
+declare const USAGE_SITE_MODULE = "__usage_site__";
+declare function setUsageSiteTag(tv: TypeValue, _seen?: Set<object>): void;
+declare function setCallCollector(collector: ((record: CallRecord) => void) | null): void;
+type UnknownRecord = {
+    kind: "method" | "property" | "global";
+    name: string;
+    receiverType?: TypeValue;
+    loc?: {
+        line: number;
+        column: number;
+    };
+    reason?: string;
+    origin?: {
+        line: number;
+        column: number;
+    };
+    /** 定义当前正在执行的函数的模块（执行来源栈顶）。case 合成重求值会执行
+     * 注入实参携带的使用现场闭包体，其内部错误记录属于使用现场文件——
+     * 分析侧据此丢弃（行数守卫会被同行号假阳性骗过）。 */
+    originModule?: string;
+};
+declare function setUnknownCollector(collector: ((record: UnknownRecord) => void) | null): void;
+declare function setProvenanceTracking(enabled: boolean): void;
+declare function evaluate(node: Node, env: Environment): EvalResult;
+type CallResult = {
+    value: TypeValue;
+    throws: TypeValue;
+    throwLoc?: SourceRange;
+};
+declare function evaluateFunction(fnNode: Node, args: TypeValue[], env: Environment): TypeValue;
+declare function evaluateFunctionFull(fnNode: Node, args: TypeValue[], env: Environment): CallResult;
+declare function evaluateProgram(node: Node, env: Environment): TypeValue;
+declare function getUnreachableRanges(): SourceRange[];
+declare function resetUnreachableRanges(): void;
+declare function setCurrentFileDir(dir: string): void;
+
+type NudoConfig = {
+    env?: string[];
+    mocks?: Record<string, string>;
+    interface?: {
+        /** 侧车 ambient 绑定总开关（check/LSP 执法与 interface 打印共用） */
+        autoBind?: boolean;
+    };
+};
+type InterfaceConfig = {
+    autoBind: boolean;
+};
+/**
+ * 归一化 `nudo.interface` 配置段：autoBind 默认 true。
+ * （emit/ignore 白名单键随 Phase 2 root 推导落地时再引入——不留未接线的
+ * 声明面，用户写了会被静默忽略。）
+ */
+declare function interfaceConfig(config: NudoConfig | null | undefined): InterfaceConfig;
+declare function findProjectConfig(startDir: string): {
+    config: NudoConfig;
+    projectDir: string;
+} | null;
+
+export { type CallRecord as C, type InterfaceConfig as I, type NudoConfig as N, USAGE_SITE_MODULE as U, type UnknownRecord as a, evaluateFunction as b, evaluateFunctionFull as c, evaluateProgram as d, evaluate as e, findProjectConfig as f, getUnreachableRanges as g, resetMemo as h, interfaceConfig as i, resetMockModules as j, resetUnreachableRanges as k, setCurrentFileDir as l, memberMayExistOn as m, setCurrentSource as n, setEnvModules as o, setMaxConcreteIter as p, setMockModules as q, resetEnvModules as r, setCallCollector as s, setModuleResolver as t, setNodeTypeCollector as u, setProvenanceTracking as v, setSampleCount as w, setUnknownBuiltinHandler as x, setUnknownCollector as y, setUsageSiteTag as z };

package/dist/evaluator/evaluator-api.d.ts

@@ -0,0 +1,28 @@
+export { C as CallRecord, I as InterfaceConfig, N as NudoConfig, U as USAGE_SITE_MODULE, a as UnknownRecord, e as evaluate, b as evaluateFunction, c as evaluateFunctionFull, d as evaluateProgram, f as findProjectConfig, g as getUnreachableRanges, i as interfaceConfig, m as memberMayExistOn, r as resetEnvModules, h as resetMemo, j as resetMockModules, k as resetUnreachableRanges, s as setCallCollector, l as setCurrentFileDir, n as setCurrentSource, o as setEnvModules, p as setMaxConcreteIter, q as setMockModules, t as setModuleResolver, u as setNodeTypeCollector, v as setProvenanceTracking, w as setSampleCount, x as setUnknownBuiltinHandler, y as setUnknownCollector, z as setUsageSiteTag } from '../config-UlReSTfh.js';
+import { Node } from '@babel/types';
+import { Environment, TypeValue } from '@nudojs/core';
+
+/**
+ * Given a test expression and the current environment, produce two
+ * environments: one where the test is truthy, one where it is falsy.
+ */
+declare function narrow(test: Node, env: Environment): [trueEnv: Environment, falseEnv: Environment];
+
+/**
+ * 内置类原型机制：错误类集合、可构造内置类、Object/Array/Map/Set/…/Buffer
+ * 的原型成员近似表，以及 `X.prototype` 单例与类命名空间记忆化。
+ * 求值器成员分派与补全侧成员派生共用本表的唯一真值。
+ */
+
+declare const BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS: Record<string, Record<string, TypeValue>>;
+
+type LoadedEnv = {
+    modules: Record<string, Record<string, TypeValue>>;
+};
+declare function preloadPathEnvs(envNames: string[], baseDir: string): Promise<void>;
+declare function loadEnvsAsync(envNames: string[], globalEnv: Environment, baseDir?: string): Promise<LoadedEnv>;
+declare function loadEnvs(envNames: string[], globalEnv: Environment): LoadedEnv;
+
+declare function resolveNpmNudo(source: string, fromDir: string): string | null;
+
+export { BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS, type LoadedEnv, loadEnvs, loadEnvsAsync, narrow, preloadPathEnvs, resolveNpmNudo };

package/dist/evaluator/evaluator-api.js

@@ -0,0 +1,68 @@
+import {
+  BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS,
+  USAGE_SITE_MODULE,
+  evaluate,
+  evaluateFunction,
+  evaluateFunctionFull,
+  evaluateProgram,
+  findProjectConfig,
+  getUnreachableRanges,
+  interfaceConfig,
+  loadEnvs,
+  loadEnvsAsync,
+  memberMayExistOn,
+  narrow,
+  preloadPathEnvs,
+  resetEnvModules,
+  resetMemo,
+  resetMockModules,
+  resetUnreachableRanges,
+  resolveNpmNudo,
+  setCallCollector,
+  setCurrentFileDir,
+  setCurrentSource,
+  setEnvModules,
+  setMaxConcreteIter,
+  setMockModules,
+  setModuleResolver,
+  setNodeTypeCollector,
+  setProvenanceTracking,
+  setSampleCount,
+  setUnknownBuiltinHandler,
+  setUnknownCollector,
+  setUsageSiteTag
+} from "../chunk-FSIHAE7I.js";
+export {
+  BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS,
+  USAGE_SITE_MODULE,
+  evaluate,
+  evaluateFunction,
+  evaluateFunctionFull,
+  evaluateProgram,
+  findProjectConfig,
+  getUnreachableRanges,
+  interfaceConfig,
+  loadEnvs,
+  loadEnvsAsync,
+  memberMayExistOn,
+  narrow,
+  preloadPathEnvs,
+  resetEnvModules,
+  resetMemo,
+  resetMockModules,
+  resetUnreachableRanges,
+  resolveNpmNudo,
+  setCallCollector,
+  setCurrentFileDir,
+  setCurrentSource,
+  setEnvModules,
+  setMaxConcreteIter,
+  setMockModules,
+  setModuleResolver,
+  setNodeTypeCollector,
+  setProvenanceTracking,
+  setSampleCount,
+  setUnknownBuiltinHandler,
+  setUnknownCollector,
+  setUsageSiteTag
+};

package/dist/index.d.ts

@@ -1,8 +1,8 @@
 import { Node, File } from '@babel/types';
 import { TypeValue, Abs, PolyFn, AbsModuleExports, AstEnv, Phi, BMemberDiag, BCallRecord, TranspiledCallResult } from '@nudojs/core';
 export { AbsInlay, BMemberDiag, collectAbsInlays } from '@nudojs/core';
-import { CallRecord } from '@nudojs/cli/evaluator';
-export { CallRecord } from '@nudojs/cli/evaluator';
+import { C as CallRecord } from './config-UlReSTfh.js';
+export { I as InterfaceConfig, N as NudoConfig, f as findProjectConfig, i as interfaceConfig } from './config-UlReSTfh.js';
 import { HarvestedEnv } from '@nudojs/harvester';
 import { FunctionWithDirectives } from '@nudojs/parser';
 
@@ -177,6 +177,7 @@ declare function collectCallRecords(filePath: string, source: string): CallRecor
  * （CLI watch / vite-plugin）在 dep 变更时应 `clearBPathCache()` 或上述逐出。
  */
 declare function analyzeFile(filePath: string, source: string, activeCases?: Map<string, number>, externalCallRecords?: CallRecord[]): AnalysisResult;
+
 type CaseInfo = {
     functionName: string;
     caseName: string;
@@ -283,9 +284,11 @@ declare function serializeInferJson(result: AnalysisResult, file: string): Infer
  * nudo 推断目标文件判定（纯扩展名规则，路径无需存在）。
  *
  * 规则：.js / .mjs / .ts 可作为推断目标；其余扩展（.cjs/.tsx/.jsx/.mts/.d.ts…）
- * 一律 false。两类显式排除：
+ * 一律 false。显式排除：
  *  - .d.ts —— 类型声明文件（harvester 的输入），不是可求值的实现源码；
- *  - .tsx / .jsx —— JSX 构造的求值超出 nudo 推断器范围。
+ *  - .tsx / .jsx —— JSX 构造的求值超出 nudo 推断器范围；
+ *  - *.nudo.js / *.nudo.ts —— 侧车契约模块（interface 绑定源），不是源码
+ *    推断目标；目录级 check/infer/doctor 展开不得把它们当实现分析。
  *
  * 消费方：CLI 的 collectNudoFiles/watch 过滤/doctor 目录展开（.ts 放开后统一
  * 走本函数，避免各处手写 endsWith 漂移），以及 LSP 的 isNudoFile（接线由
@@ -722,4 +725,113 @@ declare function mockDirectivesToAbsSeeds(functions: Array<{
     directives: FunctionWithDirectives["directives"];
 }>): AbsMockSeeds;
 
-export { type AbsGraphOptions, type AbsMockSeeds, type AbsModuleCacheEntry, type AbsModuleGraphResult, type AbsModuleLoadIssue, type AnalysisResult, type BPathBuiltinUnknown, type BPathDiagnostics, type BPathRunResult, type BPathUnreachable, type BindingInfo, type CaseHint, type CaseInfo, type CaseResult, type CompletionItem, type Diagnostic, type DiagnosticSeverity, type DiagnosticTag, type EmitResult, type EmitSkipReason, type FunctionAnalysis, type HoverInfo, type InferJson, type InferJsonCase, type InferJsonFunction, type LoadModule, type ModuleExports, type ModuleGraphCache, type NodeEnvResult, type PackageHarvest, type ReferenceInfo, SEMANTIC_TOKEN_MODIFIERS, SEMANTIC_TOKEN_TYPES, type SemanticToken, type SourceLocation, type SymbolInfo, type SymbolTable, analyzeExportsFromSource, analyzeFile, analyzeFileAsync, autoHarvestModules, barePackageName, bareSpecToAbsModules, buildCaseDirective, buildModuleGraph, buildSemanticTokens, clearAbsModuleCache, clearAnalysisFileCache, clearAnalysisSessionCaches, clearBPathCache, clearFnAnalysisCache, clearHarvestCache, collectAbsBindingsFromGraph, collectBPathDiagnostics, collectBPathReplacements, collectBarePackages, collectCallRecords, collectDependencySpecs, collectDtsFromEntry, collectEnvGlobals, collectEnvModules, collectStaticImports, computeDirtySet, defaultAbsLoadModule, defaultLoadModule, encodeSemanticTokens, envValueToAbs, evalAbsModuleGraph, evalProgramAbsWithModules, evictAbsModuleCacheFiles, evictAnalysisCachesForFiles, evictAnalysisFileCacheForFiles, evictBPathCacheForFiles, evictFnAnalysisCacheForFiles, formatHarvestSummary, generateDts, generateFunctionDtsLines, generateGuardFunction, generateGuardFunctionFromAbs, getAnalysisFileCacheSize, getCasesForFile, getCompletionsAtPosition, getHoverAtPosition, getTypeAtPosition, getTypeAtPositionAsync, harvestNodeTypes, harvestPackage, harvestPackageCached, harvestToAbsModules, harvestedValueToAbs, insertGeneratedCaseDirectives, isBPathCapable, isNudoTargetPath, lookupHarvested, mockDirectivesToAbsSeeds, packageHarvestToAbsModules, resetAllAnalysisCaches, resolvePackageRoot, serializeCaseArg, serializeInferJson, stripGeneratedCaseDirectives, summarizeNodeEnv, topoSortDirty, tryBPathCall, tryBPathCallFull, tryRunBPath, typeValueToTSType, typeValueToZodSchema, unifiedDiff };
+/**
+ * `nudo interface` 的打印数据源（design-refine-derivation §11 第 0 步）：
+ * 逐顶层函数展示有效契约分层——effectiveInterface 命中（手写契约 / 侧车
+ * 生成段）时 params/returns 用 formatConstraint 组合式显示；未命中走
+ * implicit：直接展示 analyzer 的现成推断结果（case 实参与 Combined 的
+ * TypeValue 串，不强求约束式）。
+ *
+ * autoBind 沿 package.json#nudo.interface（findProjectConfig → interfaceConfig）
+ * 下传，可用 opts 覆盖（测试 / CLI 显式开关）；读盘用 defaultLoadModule
+ * （与 check 的 refine 解析同一扩展名表）。
+ */
+
+type InterfaceSurfaceEntry = {
+    fn: string;
+    /** 本文件 named export（自动绑定边界口径：localNamedExports） */
+    kind: "export" | "local";
+    source: "handwritten" | "generated" | "implicit";
+    params: Array<{
+        name: string;
+        display: string;
+    }>;
+    returns?: string;
+};
+type InterfaceSurfaceOpts = {
+    /** 覆盖项目配置的 autoBind（默认 findProjectConfig → interfaceConfig） */
+    autoBind?: boolean;
+    /** 模块源码装载器（测试注入）；默认 defaultLoadModule 真实读盘 */
+    loadModule?: LoadModule;
+    /** 跨文件调用记录（--callsites 采集）：implicit 展示的实参域原料 */
+    records?: CallRecord[];
+};
+/** 单条 interface 打印行（CLI runInterface 与 LSP agent 面共用） */
+declare function formatInterfaceSurfaceLine(e: InterfaceSurfaceEntry): string;
+/**
+ * 单文件 interface 表面：analyzer 推断结果给出函数清单与 implicit 展示，
+ * effectiveInterface 给出契约命中（手写 > 生成段）。诊断 side-channel
+ * 在收尾时取走丢弃——打印命令不执法，interface-load 等错误留给 check 路径。
+ */
+declare function interfaceSurface(filePath: string, opts?: InterfaceSurfaceOpts): Promise<InterfaceSurfaceEntry[]>;
+
+/**
+ * `nudo interface --emit` 的写盘器（design-refine-derivation §5.4 / §7.3 / §11）：
+ * 把分析产出的调用点域投影（joinThenProject，先 Abs join 再投影）固化为侧车
+ * `*.nudo.js` / `*.nudo.ts` 的 `@generated` 段——`export const <fn> = fn({…}, …)`。
+ *
+ * - 生成段 = 三行：`@generated` 头注释 + `// source: <相对file>:<fn>` + export 行。
+ *   DSL 由 formatConstraint 产出，**写入前 round-trip 自检**（生成文本经
+ *   execNudoModule 求值、导出须 isNudoConstraint 且 fn 槽存在）：展示兜底形态
+ *   （`x?:` 可选字段、`.eq()` 伪链、`{谓词原文}`）不是合法 DSL，自检拦下 →
+ *   not-projectable 跳过，不写垃圾。
+ * - 手写导出永不覆盖：目标名已是侧车手写绑定 → 跳过写入并报
+ *   `nudo:interface-name-clash`（error，手写优先）。
+ * - mode=update：剥离全部生成段再重排（幂等；非目标的既有生成段原样保留，
+ *   不随 --fn 丢失）；mode=add：仅追加缺失段。
+ * - 目标过滤（§7.3）：--fn 白名单 > --all 全量 > 默认只刷新已有生成段
+ *   （「无根只处理已存在生成段」；Phase 1 无 root 闭包下行推导）。
+ * - autoBind=false 不影响 emit（显式动作，非 ambient 加载）。
+ */
+
+type EmitInterfaceSkipReason = "name-clash" | "not-projectable" | "not-an-export" | "no-change"
+/** 手工合并的多声明符 @generated 段：按段原子保留，不拆不重写 */
+ | "multi-declarator";
+type EmitInterfaceOpts = {
+    /** 目标导出名白名单（Phase 1：只过滤目标文件自身的导出；跨文件 root 闭包 emit 是 Phase 2 下行推导能力） */
+    fnNames?: string[];
+    /** update=剥离全部生成段再重排（幂等）；add=仅追加缺失段 */
+    mode: "add" | "update";
+    /** 全部顶层导出（显式 opt-in，CLI 侧文档警告勿默认） */
+    all?: boolean;
+    /** 不写盘，返回 unifiedDiff */
+    dryRun?: boolean;
+    /**
+     * 跨文件调用记录（--callsites 采集）：域根导出（本文件无调用点、仅有
+     * 外部使用现场记录）的投影原料；缺省时仅用本文件调用点证据。
+     */
+    records?: CallRecord[];
+};
+type EmitInterfaceResult = {
+    written: string[];
+    skipped: Array<{
+        fn: string;
+        reason: EmitInterfaceSkipReason;
+    }>;
+    changed: boolean;
+    diff?: string;
+    issues: Array<{
+        code: string;
+        severity: "error" | "warning";
+        message: string;
+    }>;
+    /** 侧车绝对路径（新建或已有） */
+    sidecarPath: string;
+    /**
+     * 默认过滤（无 --fn/--all）且侧车无既有 @generated 段可刷 —— 调用方
+     * 用它把「no interface changes」解释成首次 emit 的用法提示，而非漂移。
+     */
+    emptyDefaultTargets?: boolean;
+};
+/**
+ * 单文件 emit：分析 → 逐目标投影/自检 → 组装侧车内容 →（非 dryRun）写盘。
+ * 诊断 side-channel（round-trip 自检触发的 refine/interface diags）收尾取走丢弃。
+ */
+declare function emitInterface(filePath: string, opts: EmitInterfaceOpts): Promise<EmitInterfaceResult>;
+/**
+ * emit 摘要行（CLI runInterfaceEmit 与 LSP agent 面共用；路径由调用方按
+ * 展示口径传入——CLI 传 cwd 相对、agent 传绝对路径）。
+ */
+declare function formatEmitSummary(sourcePath: string, sidecarRel: string, result: EmitInterfaceResult): string[];
+
+export { type AbsGraphOptions, type AbsMockSeeds, type AbsModuleCacheEntry, type AbsModuleGraphResult, type AbsModuleLoadIssue, type AnalysisResult, type BPathBuiltinUnknown, type BPathDiagnostics, type BPathRunResult, type BPathUnreachable, type BindingInfo, CallRecord, type CaseHint, type CaseInfo, type CaseResult, type CompletionItem, type Diagnostic, type DiagnosticSeverity, type DiagnosticTag, type EmitInterfaceOpts, type EmitInterfaceResult, type EmitInterfaceSkipReason, type EmitResult, type EmitSkipReason, type FunctionAnalysis, type HoverInfo, type InferJson, type InferJsonCase, type InferJsonFunction, type InterfaceSurfaceEntry, type InterfaceSurfaceOpts, type LoadModule, type ModuleExports, type ModuleGraphCache, type NodeEnvResult, type PackageHarvest, type ReferenceInfo, SEMANTIC_TOKEN_MODIFIERS, SEMANTIC_TOKEN_TYPES, type SemanticToken, type SourceLocation, type SymbolInfo, type SymbolTable, analyzeExportsFromSource, analyzeFile, analyzeFileAsync, autoHarvestModules, barePackageName, bareSpecToAbsModules, buildCaseDirective, buildModuleGraph, buildSemanticTokens, clearAbsModuleCache, clearAnalysisFileCache, clearAnalysisSessionCaches, clearBPathCache, clearFnAnalysisCache, clearHarvestCache, collectAbsBindingsFromGraph, collectBPathDiagnostics, collectBPathReplacements, collectBarePackages, collectCallRecords, collectDependencySpecs, collectDtsFromEntry, collectEnvGlobals, collectEnvModules, collectStaticImports, computeDirtySet, defaultAbsLoadModule, defaultLoadModule, emitInterface, encodeSemanticTokens, envValueToAbs, evalAbsModuleGraph, evalProgramAbsWithModules, evictAbsModuleCacheFiles, evictAnalysisCachesForFiles, evictAnalysisFileCacheForFiles, evictBPathCacheForFiles, evictFnAnalysisCacheForFiles, formatEmitSummary, formatHarvestSummary, formatInterfaceSurfaceLine, generateDts, generateFunctionDtsLines, generateGuardFunction, generateGuardFunctionFromAbs, getAnalysisFileCacheSize, getCasesForFile, getCompletionsAtPosition, getHoverAtPosition, getTypeAtPosition, getTypeAtPositionAsync, harvestNodeTypes, harvestPackage, harvestPackageCached, harvestToAbsModules, harvestedValueToAbs, insertGeneratedCaseDirectives, interfaceSurface, isBPathCapable, isNudoTargetPath, lookupHarvested, mockDirectivesToAbsSeeds, packageHarvestToAbsModules, resetAllAnalysisCaches, resolvePackageRoot, serializeCaseArg, serializeInferJson, stripGeneratedCaseDirectives, summarizeNodeEnv, topoSortDirty, tryBPathCall, tryBPathCallFull, tryRunBPath, typeValueToTSType, typeValueToZodSchema, unifiedDiff };