@nudojs/service 4.0.0 → 5.0.0-beta.0

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

@@ -1,5 +1,7 @@
-export { A as AnalysisConfig, a as AnalysisMode, C as CallRecord, D as DiagnosticsLevel, I as InterfaceConfig, L as LoadedEnv, N as NudoConfig, c as analysisConfig, f as findProjectConfig, i as interfaceConfig, l as loadEnvs, g as loadEnvsAsync, p as preloadPathEnvs } from '../config-Cqj8zeZH.js';
+export { C as CallRecord } from '../call-record-CkyCFkT9.js';
 import { Abs } from '@nudojs/core';
+export { L as LoadedEnv, l as loadEnvs, a as loadEnvsAsync, p as preloadPathEnvs } from '../env-loader-fj0TSCcA.js';
+export { A as AnalysisConfig, a as AnalysisMode, C as CheckConfig, D as DiagnosticsLevel, I as InterfaceConfig, N as NudoConfig, b as analysisConfig, c as checkConfig, d as diskCacheRoot, f as findProjectConfig, i as interfaceConfig } from '../config-DDB588oA.js';
 
 /**
  * 内置类原型成员近似表（Abs 声明）。

package/dist/evaluator/evaluator-api.js

@@ -3,20 +3,26 @@ import {
   analysisConfig,
   builtinProtoMember,
   builtinProtoMemberNames,
+  checkConfig,
   describeAbsMember,
+  diskCacheRoot,
   findProjectConfig,
   interfaceConfig,
+  resolveNpmNudo
+} from "../chunk-YLALZXTZ.js";
+import {
   loadEnvs,
   loadEnvsAsync,
-  preloadPathEnvs,
-  resolveNpmNudo
-} from "../chunk-ADFCZP72.js";
+  preloadPathEnvs
+} from "../chunk-PVJIMQRI.js";
 export {
   BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS,
   analysisConfig,
   builtinProtoMember,
   builtinProtoMemberNames,
+  checkConfig,
   describeAbsMember,
+  diskCacheRoot,
   findProjectConfig,
   interfaceConfig,
   loadEnvs,

package/dist/harvest.d.ts

@@ -0,0 +1,254 @@
+import { HarvestedEnv } from '@nudojs/harvester';
+import { Abs, AbsModuleExports } from '@nudojs/core';
+
+/**
+ * Host：从 npm 包 / @types 收集 .d.ts → harvestDts。
+ * 代数不碰 fs；这里只做「找到 dts 路径」这一层宿主职责。
+ */
+
+/** 在 node_modules 中解析包根（含 @types/*） */
+declare function resolvePackageRoot(pkg: string, fromDir?: string): string | undefined;
+type PackageHarvest = {
+    pkg: string;
+    root: string;
+    dtsFiles: string[];
+    env: HarvestedEnv;
+};
+/**
+ * 从入口 .d.ts 沿 reference path / 相对 import 做 BFS 收集。
+ * 适合 @types 包（三斜线引用图）；比整树 walk 更贴声明入口。
+ */
+declare function collectDtsFromEntry(entry: string, maxFiles?: number): string[];
+/** harvest 一个 npm 包（或 @types 包） */
+declare function harvestPackage(pkg: string, fromDir?: string, maxFiles?: number): PackageHarvest | {
+    error: string;
+};
+/** harvest 结果 → 人类可读导出表 */
+declare function formatHarvestSummary(h: PackageHarvest): string;
+/** 取某个导出的展示串（formatShape） */
+declare function lookupHarvested(h: PackageHarvest, moduleName: string, exportName: string): string | undefined;
+
+/**
+ * harvest 自动化：源码裸 import → @types/package → env modules。
+ * 手动 `nudo harvest` 仍保留；这里是分析路径上的按需注入。
+ */
+
+/** 裸说明符 → 包名（含 scope）；相对/绝对/node: 与裸 Node 内建返回 undefined */
+declare function barePackageName(spec: string): string | undefined;
+declare function collectBarePackages(source: string): string[];
+/** 测试/诊断：当前条目数（≤ HARVEST_CACHE_MAX） */
+declare function getHarvestCacheSize(): number;
+declare function harvestPackageCached(pkg: string, fromDir: string): PackageHarvest | null;
+declare function clearHarvestCache(): void;
+/**
+ * 自动 harvest 源码中全部裸包（有 @types 或包内 dts 时）。
+ * 返回可注入 setEnvModules 的 modules 表；无包可 harvest 时为空对象。
+ */
+declare function autoHarvestModules(source: string, fromDir: string): Record<string, Record<string, Abs>>;
+
+/**
+ * HarvestJson：L2 harvest 磁盘投影（design-persistent-cache）。
+ * 纯 JSON 签名投影——不存 Abs 本体；读回 materialize 为 mock Abs 导出表。
+ * fail-open：未知节点 / 损坏 JSON → undefined（miss，不 throw）。
+ */
+
+/** 签名投影节点（可 JSON 化；足够 mock Abs 的 shape 面） */
+type HarvestSig = {
+    k: "prim";
+    type: string;
+} | {
+    k: "unknown";
+} | {
+    k: "any";
+} | {
+    k: "never";
+} | {
+    k: "lit";
+    value: number | string | boolean | null;
+} | {
+    k: "arr";
+    element: HarvestSig;
+} | {
+    k: "tuple";
+    elements: HarvestSig[];
+} | {
+    k: "obj";
+    slots: Record<string, {
+        v: HarvestSig;
+        opt?: boolean;
+    }>;
+} | {
+    k: "fn";
+    params: string[];
+    paramTypes: HarvestSig[];
+    returns: HarvestSig;
+} | {
+    k: "sum";
+    members: HarvestSig[];
+} | {
+    k: "promise";
+    value: HarvestSig;
+} | {
+    k: "generator";
+    value: HarvestSig;
+} | {
+    k: "brand";
+    name: string;
+    shape: HarvestSig;
+}
+/** 泛型形参（T）——α 替换用 */
+ | {
+    k: "tvar";
+    name: string;
+};
+type HarvestJson = {
+    v: 1;
+    pkg: string;
+    pkgVersion?: string;
+    /** harvest 旋钮（maxFiles 等）进键 */
+    knobs: {
+        maxFiles: number;
+        abi: string;
+    };
+    /** 全部 dts 内容 sha256（不只入口） */
+    dtsHash: string;
+    modules: Record<string, Record<string, HarvestSig>>;
+    globals: Record<string, HarvestSig>;
+    stats: {
+        files: number;
+        symbols: number;
+        skipped: number;
+    };
+};
+/** Abs → 签名投影（丢 pred/conf；fn 只留参数名+类型面；保留泛型 α） */
+declare function absToHarvestSig(a: Abs): HarvestSig;
+/** 签名投影 → mock Abs（conf 合 mock） */
+declare function harvestSigToAbs(sig: HarvestSig): Abs;
+declare function serializeHarvestJson(pkg: string, env: HarvestedEnv, meta: {
+    dtsHash: string;
+    maxFiles: number;
+    pkgVersion?: string;
+}): HarvestJson;
+/** HarvestJson → mock Abs 导出表（materialize）；损坏/版本不符 → null */
+declare function materializeHarvestJson(j: unknown): HarvestedEnv | null;
+/** L2 键：pkg + version + knobs + dtsClosureHash（相对化；content-addressable） */
+declare function harvestCacheKey(pkg: string, meta: {
+    dtsHash: string;
+    maxFiles: number;
+    pkgVersion?: string;
+}): string;
+
+/**
+ * L2 harvest 磁盘层（design-persistent-cache）：HarvestJson 跨会话复用。
+ * 布局：`~/.cache/nudo/deps/`（或 NUDO_DEPS_CACHE_DIR）。
+ * 键：harvestCacheKey(pkg, version, knobs, dtsClosureHash)。
+ * fail-open：读写失败 → 回落进程内 harvest（L0）。
+ */
+
+/** 依赖包层缓存根（跨项目）；off/0 关闭 */
+declare function depsCacheRoot(): string | undefined;
+/** dts 闭包内容哈希（覆盖每个实际读到的文件，不只入口） */
+declare function dtsClosureHash(files: string[]): string;
+declare function readHarvestDisk(root: string, key: string): HarvestJson | undefined;
+declare function writeHarvestDisk(root: string, key: string, value: HarvestJson): void;
+/**
+ * L2 + L0：**磁盘优先**（跳过 harvestDts 解析），miss 再 harvest 并写盘。
+ */
+declare function harvestPackageWithDisk(pkg: string, fromDir: string, maxFiles?: number): PackageHarvest | null;
+/** 从磁盘 materialize（不跑 harvestDts）；键需调用方自算 */
+declare function loadHarvestEnvFromDisk(pkg: string, meta: {
+    dtsHash: string;
+    maxFiles: number;
+    pkgVersion?: string;
+}): HarvestedEnv | null;
+
+/**
+ * Harvest Abs 导出 → AbsModuleExports（供 Abs 模块图注入）。
+ * harvest 产物已是 Abs；fn 槽 apply 直接返回声明返回类型（conf=mock）。
+ */
+
+/** 单个 Abs 导出 → 可调用 mock（fn 槽按 relation α 替换，或返回声明返回类型） */
+declare function harvestedValueToAbs(a: Abs): Abs;
+/**
+ * 把 harvest 的 modules/globals 合成 AbsModuleExports。
+ * 键同时登记：原始模块路径、包名、basename（path / @types/path）。
+ */
+declare function harvestToAbsModules(pkg: string, fromDir: string): Record<string, AbsModuleExports>;
+declare function packageHarvestToAbsModules(pkg: string, h: PackageHarvest): Record<string, AbsModuleExports>;
+/** 裸说明符 → Abs 导出表（走 harvest 缓存） */
+declare function bareSpecToAbsModules(spec: string, fromFile: string): AbsModuleExports | undefined;
+
+/**
+ * 预置 Node API env：从 @types/node 的 .d.ts harvest。
+ * 与 packages/env 的手写 env 并行；此路径自动、可刷新。
+ *
+ * Productization (P0-B B2/B7):
+ * - In-process cache keyed by package root + package.json mtime/size.
+ * - **Disk cache** (HarvestJson under `~/.cache/nudo/deps`) — cross-session reuse.
+ * - Terminal failures (`not-found`/`no-dts`/`failed`) also cache — no retry storm.
+ *   `disabled` is never cached (env var can flip mid-process).
+ * - **Degrade chain**: harvest miss/fail → handwritten `@nudojs/env` node face
+ *   (`loadEnvs(["node"])`), flagged `degraded`. Handwritten still wins on overlap
+ *   via `mergeHarvestUnderEnv`.
+ * - `clearNodeHarvestCache()` for tests / watch invalidation.
+ * - `NUDO_HARVEST_NODE=off` disables harvest (explicit skip, not silent).
+ * - Defaults stay IDE-budgeted: maxFiles=12, maxMs=2500.
+ */
+
+/** IDE-startup budgets for @types/node harvest. Do not raise casually. */
+declare const HARVEST_NODE_DEFAULT_MAX_FILES = 12;
+declare const HARVEST_NODE_DEFAULT_MAX_MS = 2500;
+type HarvestNodeStats = {
+    files: number;
+    symbols: number;
+    skipped: number;
+};
+type NodeEnvResult = {
+    ok: true;
+    env: HarvestedEnv;
+    root: string;
+    files: number;
+    stats: HarvestNodeStats;
+    /** true when this result came from the in-process cache */
+    cached: boolean;
+    /** true when this result is handwritten `@nudojs/env` fallback (harvest miss/fail) */
+    degraded?: boolean;
+} | {
+    ok: false;
+    error: string;
+    reason: "disabled" | "not-found" | "no-dts" | "failed";
+    /** true when this failure came from the in-process cache */
+    cached?: boolean;
+};
+/**
+ * Clear the in-process @types/node harvest cache.
+ * Drops **success and terminal-failure** entries (including `not-found`), so
+ * a mid-session `@types/node` install becomes visible without process restart.
+ * Tests, watch-mode dep-hash invalidation, and package-manager hooks should
+ * call this when `node_modules/@types/node` changes underneath the process.
+ */
+declare function clearNodeHarvestCache(): void;
+/** Number of cached harvest results (diagnostics / tests). */
+declare function getNodeHarvestCacheSize(): number;
+declare function isHarvestNodeDisabled(env?: NodeJS.ProcessEnv): boolean;
+/**
+ * 手写 `@nudojs/env` node 面（B2 降级链）：harvest 未命中/失败时仍给出
+ * 可分析的 Node API 声明；与 harvest 重叠处由 mergeHarvestUnderEnv 让手写 wins。
+ */
+declare function handwrittenNodeEnv(): HarvestedEnv | null;
+/**
+ * harvest @types/node（限制文件数 + 时间预算，避免拖垮启动）。
+ * Success **and** terminal failures (`not-found` / `no-dts` / `failed`) are
+ * cached in-process so IDE analysis does not re-walk / re-timeout every file.
+ * `disabled` is never cached — the env var can flip mid-process.
+ * Call `clearNodeHarvestCache()` after `@types/node` changes.
+ */
+declare function harvestNodeTypes(fromDir?: string, maxFiles?: number, maxMs?: number): NodeEnvResult;
+/** 把 harvest 结果压成「模块名 → 导出名列表」摘要，便于日志/测试 */
+declare function summarizeNodeEnv(env: HarvestedEnv): {
+    modules: string[];
+    globals: string[];
+    symbolCount: number;
+};
+
+export { HARVEST_NODE_DEFAULT_MAX_FILES, HARVEST_NODE_DEFAULT_MAX_MS, type HarvestJson, type HarvestNodeStats, type HarvestSig, type NodeEnvResult, type PackageHarvest, absToHarvestSig, autoHarvestModules, barePackageName, bareSpecToAbsModules, clearHarvestCache, clearNodeHarvestCache, collectBarePackages, collectDtsFromEntry, depsCacheRoot, dtsClosureHash, formatHarvestSummary, getHarvestCacheSize, getNodeHarvestCacheSize, handwrittenNodeEnv, harvestCacheKey, harvestNodeTypes, harvestPackage, harvestPackageCached, harvestPackageWithDisk, harvestSigToAbs, harvestToAbsModules, harvestedValueToAbs, isHarvestNodeDisabled, loadHarvestEnvFromDisk, lookupHarvested, materializeHarvestJson, packageHarvestToAbsModules, readHarvestDisk, resolvePackageRoot, serializeHarvestJson, summarizeNodeEnv, writeHarvestDisk };

package/dist/harvest.js

@@ -0,0 +1,75 @@
+import {
+  HARVEST_NODE_DEFAULT_MAX_FILES,
+  HARVEST_NODE_DEFAULT_MAX_MS,
+  clearNodeHarvestCache,
+  getNodeHarvestCacheSize,
+  handwrittenNodeEnv,
+  harvestNodeTypes,
+  isHarvestNodeDisabled,
+  summarizeNodeEnv
+} from "./chunk-K3ZPOTP2.js";
+import {
+  absToHarvestSig,
+  autoHarvestModules,
+  barePackageName,
+  bareSpecToAbsModules,
+  clearHarvestCache,
+  collectBarePackages,
+  collectDtsFromEntry,
+  depsCacheRoot,
+  dtsClosureHash,
+  formatHarvestSummary,
+  getHarvestCacheSize,
+  harvestCacheKey,
+  harvestPackage,
+  harvestPackageCached,
+  harvestPackageWithDisk,
+  harvestSigToAbs,
+  harvestToAbsModules,
+  harvestedValueToAbs,
+  loadHarvestEnvFromDisk,
+  lookupHarvested,
+  materializeHarvestJson,
+  packageHarvestToAbsModules,
+  readHarvestDisk,
+  resolvePackageRoot,
+  serializeHarvestJson,
+  writeHarvestDisk
+} from "./chunk-U7JYTRIB.js";
+import "./chunk-PVJIMQRI.js";
+export {
+  HARVEST_NODE_DEFAULT_MAX_FILES,
+  HARVEST_NODE_DEFAULT_MAX_MS,
+  absToHarvestSig,
+  autoHarvestModules,
+  barePackageName,
+  bareSpecToAbsModules,
+  clearHarvestCache,
+  clearNodeHarvestCache,
+  collectBarePackages,
+  collectDtsFromEntry,
+  depsCacheRoot,
+  dtsClosureHash,
+  formatHarvestSummary,
+  getHarvestCacheSize,
+  getNodeHarvestCacheSize,
+  handwrittenNodeEnv,
+  harvestCacheKey,
+  harvestNodeTypes,
+  harvestPackage,
+  harvestPackageCached,
+  harvestPackageWithDisk,
+  harvestSigToAbs,
+  harvestToAbsModules,
+  harvestedValueToAbs,
+  isHarvestNodeDisabled,
+  loadHarvestEnvFromDisk,
+  lookupHarvested,
+  materializeHarvestJson,
+  packageHarvestToAbsModules,
+  readHarvestDisk,
+  resolvePackageRoot,
+  serializeHarvestJson,
+  summarizeNodeEnv,
+  writeHarvestDisk
+};