@nudojs/service 0.3.0 → 0.3.1

package/src/harvest-package.ts

@@ -1,204 +0,0 @@
-/**
- * Host：从 npm 包 / @types 收集 .d.ts → harvestDts。
- * 代数不碰 fs；这里只做「找到 dts 路径」这一层宿主职责。
- */
-
-import { existsSync, readdirSync, statSync, readFileSync } from "node:fs";
-import { join, resolve, dirname, basename } from "node:path";
-import { harvestDts, type HarvestedEnv } from "@nudojs/harvester";
-import { typeValueToString, type TypeValue } from "@nudojs/core";
-
-/** 在 node_modules 中解析包根（含 @types/*） */
-export function resolvePackageRoot(
-  pkg: string,
-  fromDir: string = process.cwd(),
-): string | undefined {
-  let dir = resolve(fromDir);
-  const bare = pkg.replace(/^@/, "").replace(/\//g, "__");
-  // 向上找 node_modules；每层重算候选（@types 优先：lodash 等包本体无 index.d.ts）
-  for (let i = 0; i < 8; i++) {
-    const typesPath = join(dir, "node_modules", "@types", bare);
-    if (existsSync(typesPath)) return typesPath;
-    const pkgPath = join(dir, "node_modules", pkg);
-    if (existsSync(pkgPath)) return pkgPath;
-    const parent = resolve(dir, "..");
-    if (parent === dir) break;
-    dir = parent;
-  }
-  return undefined;
-}
-
-const SKIP_DIRS = new Set(["node_modules", "test", "tests", "docs", "doc", "examples", "__tests__"]);
-/** 单文件上限：巨型 lib.d.ts 级别拖垮 harvest */
-const MAX_DTS_BYTES = 1_500_000;
-
-/** 优先入口：index.d.ts / pkg 名 / lib 入口 */
-function dtsPriority(p: string, root: string): number {
-  const base = basename(p);
-  const rel = p.slice(root.length);
-  if (base === "index.d.ts") return 0;
-  if (base === "index.d.mts") return 1;
-  if (rel.includes("/types/") && base === "index.d.ts") return 2;
-  if (base.endsWith(".d.ts") && !base.includes(".")) return 3; // foo.d.ts
-  return 10;
-}
-
-/**
- * 递归收集包内 .d.ts（限制数量 + 跳过超大文件 + 入口优先）。
- */
-export function collectDtsFiles(root: string, maxFiles = 8): string[] {
-  const out: string[] = [];
-  const walk = (dir: string): void => {
-    if (out.length >= maxFiles * 3) return; // 多收一点再排序截断
-    let entries: string[];
-    try {
-      entries = readdirSync(dir);
-    } catch {
-      return;
-    }
-    for (const name of entries) {
-      if (out.length >= maxFiles * 3) return;
-      if (SKIP_DIRS.has(name)) continue;
-      const p = join(dir, name);
-      let st;
-      try {
-        st = statSync(p);
-      } catch {
-        continue;
-      }
-      if (st.isDirectory()) walk(p);
-      else if (name.endsWith(".d.ts") && !name.endsWith(".d.ts.map")) {
-        if (st.size > MAX_DTS_BYTES) continue;
-        out.push(p);
-      }
-    }
-  };
-  walk(root);
-  out.sort((a, b) => dtsPriority(a, root) - dtsPriority(b, root) || a.length - b.length);
-  return out.slice(0, maxFiles);
-}
-
-/** package.json types/typings 入口（若存在且合理大小） */
-function entryDtsFromPackageJson(root: string): string | undefined {
-  const pj = join(root, "package.json");
-  if (!existsSync(pj)) return undefined;
-  try {
-    const raw = JSON.parse(readFileSync(pj, "utf8")) as {
-      types?: string;
-      typings?: string;
-      exports?: Record<string, unknown>;
-    };
-    const entry = raw.types ?? raw.typings;
-    if (typeof entry === "string" && entry.endsWith(".d.ts")) {
-      const p = resolve(root, entry);
-      if (existsSync(p)) {
-        const st = statSync(p);
-        if (st.size <= MAX_DTS_BYTES) return p;
-      }
-    }
-  } catch {
-    // ignore
-  }
-  return undefined;
-}
-
-export type PackageHarvest = {
-  pkg: string;
-  root: string;
-  dtsFiles: string[];
-  env: HarvestedEnv;
-};
-
-/**
- * 从入口 .d.ts 沿 reference path / 相对 import 做 BFS 收集。
- * 适合 @types 包（三斜线引用图）；比整树 walk 更贴声明入口。
- */
-export function collectDtsFromEntry(entry: string, maxFiles = 200): string[] {
-  const files: string[] = [];
-  const seen = new Set<string>();
-  const queue = [entry];
-  const REFERENCE_PATH_REGEX = /<reference\s+path=["']([^"']+)["']\s*\/>/g;
-  const RELATIVE_FROM_REGEX = /\bfrom\s+["'](\.[^"']+)["']/g;
-
-  while (queue.length > 0 && files.length < maxFiles) {
-    const current = queue.shift()!;
-    if (seen.has(current) || !existsSync(current)) continue;
-    seen.add(current);
-    if (!current.endsWith(".d.ts")) continue;
-    files.push(current);
-
-    let text: string;
-    try {
-      text = readFileSync(current, "utf-8");
-    } catch {
-      continue;
-    }
-
-    const dir = dirname(current);
-    for (const match of text.matchAll(REFERENCE_PATH_REGEX)) {
-      queue.push(resolve(dir, match[1]!));
-    }
-    for (const match of text.matchAll(RELATIVE_FROM_REGEX)) {
-      const base = resolve(dir, match[1]!);
-      for (const candidate of [`${base}.d.ts`, join(base, "index.d.ts")]) {
-        if (existsSync(candidate)) {
-          queue.push(candidate);
-          break;
-        }
-      }
-    }
-  }
-
-  return files;
-}
-
-/** harvest 一个 npm 包（或 @types 包） */
-export function harvestPackage(
-  pkg: string,
-  fromDir?: string,
-  maxFiles = 8,
-): PackageHarvest | { error: string } {
-  const root = resolvePackageRoot(pkg, fromDir);
-  if (!root) return { error: `package not found: ${pkg}` };
-  const entry = entryDtsFromPackageJson(root) ?? join(root, "index.d.ts");
-  // 入口 BFS 优先（@types 引用图）；退化为整树 walk
-  let dtsFiles = existsSync(entry) ? collectDtsFromEntry(entry, maxFiles) : [];
-  if (dtsFiles.length === 0) {
-    const collected = collectDtsFiles(root, maxFiles);
-    dtsFiles =
-      entry && existsSync(entry) && !collected.includes(entry)
-        ? [entry, ...collected.filter((f) => f !== entry)].slice(0, maxFiles)
-        : collected;
-  }
-  if (dtsFiles.length === 0) {
-    return { error: `no .d.ts under ${root}` };
-  }
-  const env = harvestDts(dtsFiles);
-  return { pkg, root, dtsFiles, env };
-}
-
-/** harvest 结果 → 人类可读导出表 */
-export function formatHarvestSummary(h: PackageHarvest): string {
-  const lines: string[] = [];
-  lines.push(`${h.pkg}: ${h.dtsFiles.length} d.ts, ${h.env.stats.symbols} symbols`);
-  const mods = Object.keys(h.env.modules);
-  for (const m of mods.slice(0, 5)) {
-    const exports = h.env.modules[m]!;
-    const names = Object.keys(exports).slice(0, 12);
-    lines.push(`  module "${m}": ${names.join(", ")}${Object.keys(exports).length > 12 ? "…" : ""}`);
-  }
-  if (mods.length > 5) lines.push(`  … ${mods.length - 5} more modules`);
-  return lines.join("\n");
-}
-
-/** 取某个导出的 TypeValue 字符串 */
-export function lookupHarvested(
-  h: PackageHarvest,
-  moduleName: string,
-  exportName: string,
-): string | undefined {
-  const mod = h.env.modules[moduleName];
-  const tv = mod?.[exportName] ?? h.env.globals[exportName];
-  if (!tv) return undefined;
-  return typeValueToString(tv as TypeValue);
-}

package/src/harvest-to-abs.ts

@@ -1,129 +0,0 @@
-/**
- * Harvest TypeValue 导出 → AbsModuleExports（供 Abs 模块图注入）。
- * fnSig → absFunction + apply 直接返回声明返回类型（conf=mock）。
- */
-
-import type { TypeValue } from "@nudojs/core";
-import {
-  T,
-  type Abs,
-  typeValueToAbs,
-  confJoin,
-  getFnSig,
-  absFunction,
-} from "@nudojs/core";
-import type { AbsModuleExports } from "@nudojs/core";
-import { dirname } from "node:path";
-import type { PackageHarvest } from "./harvest-package.ts";
-import { harvestPackageCached } from "./harvest-auto.ts";
-
-function markMockConf(a: Abs): Abs {
-  a.conf = confJoin(a.conf, "mock");
-  return a;
-}
-
-/** 单个 TypeValue 导出 → Abs（可调用） */
-export function harvestedValueToAbs(tv: TypeValue): Abs {
-  if (!tv) return markMockConf(typeValueToAbs(T.unknown));
-  const sig = getFnSig(tv);
-  if (sig) {
-    const ret = markMockConf(typeValueToAbs(sig.returnType));
-    const params =
-      tv.kind === "function" && tv.params?.length
-        ? tv.params
-        : sig.paramTypes.map((_, i) => `_arg${i}`);
-    const dummyBody = {
-      type: "BlockStatement",
-      body: [],
-      directives: [],
-    } as never;
-    return markMockConf(
-      absFunction(params, {
-        body: dummyBody,
-        apply: () => ret,
-      }),
-    );
-  }
-  return markMockConf(typeValueToAbs(tv));
-}
-
-/**
- * 把 harvest 的 modules/globals 合成 AbsModuleExports。
- * 键同时登记：原始模块路径、包名、basename（path / @types/path）。
- */
-export function harvestToAbsModules(
-  pkg: string,
-  fromDir: string,
-): Record<string, AbsModuleExports> {
-  const h = harvestPackageCached(pkg, fromDir);
-  if (!h) return {};
-  return packageHarvestToAbsModules(pkg, h);
-}
-
-export function packageHarvestToAbsModules(
-  pkg: string,
-  h: PackageHarvest,
-): Record<string, AbsModuleExports> {
-  const out: Record<string, AbsModuleExports> = {};
-
-  const convertRecord = (
-    rec: Record<string, TypeValue>,
-  ): Record<string, Abs> => {
-    const named: Record<string, Abs> = {};
-    for (const [k, v] of Object.entries(rec)) {
-      named[k] = harvestedValueToAbs(v);
-    }
-    return named;
-  };
-
-  const register = (key: string, exports: AbsModuleExports) => {
-    if (!out[key]) out[key] = exports;
-  };
-
-  for (const [mod, rec] of Object.entries(h.env.modules)) {
-    const named = convertRecord(rec);
-    const exports: AbsModuleExports = { named };
-    const def = rec["default"];
-    if (def) exports.default = harvestedValueToAbs(def);
-    register(mod, exports);
-    // 包名 / 去掉 @types/ 前缀 / basename
-    register(pkg, exports);
-    const stripped = mod.replace(/^@types\//, "").replace(/\\/g, "/");
-    if (stripped) register(stripped, exports);
-    const base = stripped.split("/").filter(Boolean).pop();
-    if (base && base !== pkg) register(base, exports);
-  }
-
-  // globals 也挂到包名（default / namespace 消费）
-  const globalNamed = convertRecord(h.env.globals);
-  if (Object.keys(globalNamed).length > 0) {
-    const existing = out[pkg];
-    if (existing) {
-      out[pkg] = { named: { ...globalNamed, ...existing.named }, default: existing.default };
-    } else {
-      out[pkg] = { named: globalNamed };
-    }
-  }
-
-  return out;
-}
-
-/** 裸说明符 → Abs 导出表（走 harvest 缓存） */
-export function bareSpecToAbsModules(
-  spec: string,
-  fromFile: string,
-): AbsModuleExports | undefined {
-  // node: 内建交给 env，不 harvest
-  if (!spec || spec.startsWith(".") || spec.startsWith("/") || spec.startsWith("node:")) {
-    return undefined;
-  }
-  const parts = spec.split("/");
-  const pkg = spec.startsWith("@")
-    ? parts.length >= 2
-      ? `${parts[0]}/${parts[1]}`
-      : undefined
-    : parts[0];
-  if (!pkg) return undefined;
-  const table = harvestToAbsModules(pkg, dirname(fromFile));
-  return table[spec] ?? table[pkg];
-}

package/src/index.ts

@@ -1,150 +0,0 @@
-export {
-  type AnalysisResult,
-  type FunctionAnalysis,
-  type CaseResult,
-  type CaseInfo,
-  type CaseHint,
-  type Diagnostic,
-  type DiagnosticSeverity,
-  type DiagnosticTag,
-  type SourceLocation,
-  type BindingInfo,
-  type CompletionItem,
-  type SymbolInfo,
-  type ReferenceInfo,
-  type SymbolTable,
-  analyzeFile,
-  analyzeFileAsync,
-  collectCallRecords,
-  type CallRecord,
-  getTypeAtPosition,
-  getTypeAtPositionAsync,
-  getHoverAtPosition,
-  type HoverInfo,
-  getCompletionsAtPosition,
-  getCasesForFile,
-  buildModuleGraph,
-  type ModuleGraphCache,
-  computeDirtySet,
-  topoSortDirty,
-} from "./analyzer.ts";
-
-export { collectAbsInlays, type AbsInlay } from "@nudojs/core";
-
-export {
-  serializeInferJson,
-  type InferJson,
-  type InferJsonCase,
-  type InferJsonFunction,
-} from "./infer-json.ts";
-
-export { isNudoTargetPath } from "./target-path.ts";
-export { defaultLoadModule, type LoadModule } from "./load-module.ts";
-export {
-  collectStaticImports,
-  analyzeExportsFromSource,
-  collectDependencySpecs,
-  type ModuleExports,
-} from "./static-imports.ts";
-export {
-  harvestPackage,
-  collectDtsFromEntry,
-  formatHarvestSummary,
-  lookupHarvested,
-  resolvePackageRoot,
-  type PackageHarvest,
-} from "./harvest-package.ts";
-export {
-  barePackageName,
-  collectBarePackages,
-  autoHarvestModules,
-  harvestPackageCached,
-  clearHarvestCache,
-} from "./harvest-auto.ts";
-export {
-  evalAbsModuleGraph,
-  evalProgramAbsWithModules,
-  collectAbsBindingsFromGraph,
-  defaultAbsLoadModule,
-  clearAbsModuleCache,
-  evictAbsModuleCacheFiles,
-  type AbsModuleGraphResult,
-  type AbsGraphOptions,
-  type AbsModuleLoadIssue,
-  type AbsModuleCacheEntry,
-} from "./abs-modules-graph.ts";
-export {
-  harvestToAbsModules,
-  packageHarvestToAbsModules,
-  bareSpecToAbsModules,
-  harvestedValueToAbs,
-} from "./harvest-to-abs.ts";
-export {
-  isBPathCapable,
-  tryRunBPath,
-  tryBPathCall,
-  tryBPathCallFull,
-  clearBPathCache,
-  evictBPathCacheForFiles,
-  collectBPathReplacements,
-  collectEnvGlobals,
-  collectEnvModules,
-  type BPathRunResult,
-} from "./bpath-run.ts";
-export {
-  clearAnalysisFileCache,
-  getAnalysisFileCacheSize,
-  evictAnalysisFileCacheForFiles,
-} from "./analysis-file-cache.ts";
-export {
-  clearFnAnalysisCache,
-  evictFnAnalysisCacheForFiles,
-} from "./fn-analysis-cache.ts";
-export {
-  evictAnalysisCachesForFiles,
-  clearAnalysisSessionCaches,
-  resetAllAnalysisCaches,
-} from "./session-cache.ts";
-export { envValueToAbs } from "./env-to-abs.ts";
-export type { BMemberDiag } from "@nudojs/core";
-
-export {
-  collectBPathDiagnostics,
-  type BPathDiagnostics,
-  type BPathUnreachable,
-  type BPathBuiltinUnknown,
-} from "./bpath-diagnostics.ts";
-export {
-  harvestNodeTypes,
-  summarizeNodeEnv,
-  type NodeEnvResult,
-} from "./harvest-node.ts";
-
-export {
-  buildSemanticTokens,
-  encodeSemanticTokens,
-  SEMANTIC_TOKEN_TYPES,
-  SEMANTIC_TOKEN_MODIFIERS,
-  type SemanticToken,
-} from "./semantic-tokens.ts";
-
-export {
-  typeValueToTSType,
-  generateDts,
-  generateFunctionDtsLines,
-} from "./dts-generator.ts";
-
-export { typeValueToZodSchema } from "./schema-generator.ts";
-export { generateGuardFunction, generateGuardFunctionFromAbs } from "./guard-generator.ts";
-
-export {
-  serializeCaseArg,
-  buildCaseDirective,
-  stripGeneratedCaseDirectives,
-  insertGeneratedCaseDirectives,
-  unifiedDiff,
-  type EmitSkipReason,
-  type EmitResult,
-} from "./case-emitter.ts";
-
-export { mockDirectivesToAbsSeeds, type AbsMockSeeds } from "./mock-abs.ts";

package/src/infer-json.ts

@@ -1,137 +0,0 @@
-/**
- * `nudo infer --json` 稳定契约 v1（CI / Agent）。
- *
- * 字段只增不改语义：
- * - ext_*：TypeValue 投影字符串（有损，兼容）
- * - intension.abs*：无损 Abs 展示（主线）
- */
-
-import { typeValueToString, type TypeValue } from "@nudojs/core";
-import type { AnalysisResult, CaseResult, FunctionAnalysis, SourceLocation } from "./analyzer.ts";
-
-export type InferJsonCase = {
-  name: string;
-  /** TypeValue 投影（有损外延） */
-  args: string[];
-  result: string;
-  throws: string | null;
-  source: string | null;
-  aggregatedFrom?: number;
-  /** 无损内涵（Abs）；无则省略 */
-  intension?: {
-    display?: string;
-    abs?: string;
-    absMultiline?: string;
-    term?: string;
-    pred?: string;
-    conf?: string;
-  };
-};
-
-export type InferJsonFunction = {
-  name: string;
-  loc: SourceLocation;
-  entryOnly: boolean;
-  noDeclaration?: boolean;
-  cases: InferJsonCase[];
-  combined?: string;
-};
-
-export type InferJson = {
-  version: 1;
-  file: string;
-  summary: {
-    functions: number;
-    externalFunctions: number;
-    cases: number;
-    diagnostics: number;
-  };
-  functions: InferJsonFunction[];
-  externalFunctions?: Array<{
-    name: string;
-    fromModule?: string;
-    cases: InferJsonCase[];
-  }>;
-  diagnostics: Array<{
-    range: SourceLocation;
-    severity: string;
-    message: string;
-    code?: string;
-    suggestions?: string[];
-    tags?: string[];
-    origin?: { line: number; column: number };
-  }>;
-};
-
-function mapCase(c: CaseResult): InferJsonCase {
-  const out: InferJsonCase = {
-    name: c.name,
-    args: c.args.map((a: TypeValue) => typeValueToString(a)),
-    result: typeValueToString(c.result),
-    throws: c.throws.kind !== "never" ? typeValueToString(c.throws) : null,
-    source: c.source ?? null,
-  };
-  if (c.aggregatedFrom !== undefined) out.aggregatedFrom = c.aggregatedFrom;
-  if (c.intension) {
-    const i = c.intension;
-    out.intension = {
-      ...(i.display !== undefined ? { display: i.display } : {}),
-      ...(i.abs !== undefined ? { abs: i.abs } : {}),
-      ...(i.absMultiline !== undefined ? { absMultiline: i.absMultiline } : {}),
-      ...(i.term !== undefined ? { term: i.term } : {}),
-      ...(i.pred !== undefined ? { pred: i.pred } : {}),
-      ...(i.conf !== undefined ? { conf: i.conf } : {}),
-    };
-  }
-  return out;
-}
-
-function mapFunction(f: FunctionAnalysis): InferJsonFunction {
-  const out: InferJsonFunction = {
-    name: f.name,
-    loc: f.loc,
-    entryOnly: f.entryOnly ?? false,
-    cases: f.cases.map(mapCase),
-  };
-  if (f.noDeclaration) out.noDeclaration = true;
-  if (f.combined) out.combined = typeValueToString(f.combined);
-  return out;
-}
-
-export function serializeInferJson(
-  result: AnalysisResult,
-  file: string,
-): InferJson {
-  const functions = result.functions.map(mapFunction);
-  const external = result.externalFunctions?.map((f) => ({
-    name: f.name,
-    fromModule: f.fromModule,
-    cases: f.cases.map(mapCase),
-  }));
-  const caseCount =
-    functions.reduce((n, f) => n + f.cases.length, 0) +
-    (external ?? []).reduce((n, f) => n + f.cases.length, 0);
-
-  const json: InferJson = {
-    version: 1,
-    file,
-    summary: {
-      functions: functions.length,
-      externalFunctions: external?.length ?? 0,
-      cases: caseCount,
-      diagnostics: result.diagnostics.length,
-    },
-    functions,
-    diagnostics: result.diagnostics.map((d) => ({
-      range: d.range,
-      severity: d.severity,
-      message: d.message,
-      ...(d.code !== undefined ? { code: d.code } : {}),
-      ...(d.suggestions ? { suggestions: d.suggestions } : {}),
-      ...(d.tags ? { tags: d.tags } : {}),
-      ...(d.origin ? { origin: d.origin } : {}),
-    })),
-  };
-  if (external) json.externalFunctions = external;
-  return json;
-}

package/src/load-module.ts

@@ -1,34 +0,0 @@
-/**
- * 相对/绝对 specifier → 模块源码。
- * CLI / LSP / vite / check 共用同一扩展名表，避免门禁结果分叉。
- */
-
-import { existsSync, statSync, readFileSync } from "node:fs";
-import { dirname, resolve, join } from "node:path";
-
-export type LoadModule = (spec: string, fromFile: string) => string | undefined;
-
-/** 默认 loadModule：支持 .js/.mjs/.ts 与 index 入口 */
-export function defaultLoadModule(spec: string, fromFile: string): string | undefined {
-  if (!spec.startsWith(".") && !spec.startsWith("/")) return undefined;
-  try {
-    const base = dirname(resolve(fromFile));
-    const p = resolve(base, spec);
-    for (const cand of [
-      p,
-      `${p}.js`,
-      `${p}.mjs`,
-      `${p}.ts`,
-      join(p, "index.js"),
-      join(p, "index.mjs"),
-      join(p, "index.ts"),
-    ]) {
-      if (existsSync(cand) && !statSync(cand).isDirectory()) {
-        return readFileSync(cand, "utf-8");
-      }
-    }
-    return undefined;
-  } catch {
-    return undefined;
-  }
-}