@nudojs/service 5.0.0-beta.0 → 5.0.0-beta.1

package/README.md

@@ -1,6 +1,6 @@
 # @nudojs/service
 
-Shared inference service for [Nudo](https://github.com/nudojs/nudo) IDE integrations.
+Nudo analysis core and emit products: Abs-native file analysis, evaluator host API, interface/dts/schema/guard projections, and session caches.
 
 ## What is Nudo?
 
@@ -8,28 +8,23 @@ Nudo is a type inference engine for JavaScript. The type system is Abs (`shape
 
 ## This package
 
-`@nudojs/service` provides the high-level analysis API used by editor extensions and build tools.
+`@nudojs/service` provides the analysis core used by CLI, editor extensions, and build tools, plus the emit faces that project Abs to dts/schema/guard/interface.
 
 Production evaluation is **Abs-native B-path** (`evalAbsModuleGraph` + `runTranspiled`); the TypeValue AST interpreter is gone. Prefer a focused subpath over the full barrel:
 
 | Subpath | Face |
 |---|---|
 | `@nudojs/service/analysis` | File analysis, diagnostics, call records, Abs module-graph eval |
-| `@nudojs/service/interface` | Interface / contract product (surface, emit, draft, derive) |
-| `@nudojs/service/dts` | Extensional projections: dts / schema / standard / guard |
-| `@nudojs/service/case` | Debug case reports + case directive emit (`nudo test`) |
-| `@nudojs/service/lsp` | IDE surface (hover, completions, semantic tokens, inlays) |
-| `@nudojs/service/harvest` | `@types` → Abs env harvesting |
 | `@nudojs/service/evaluator` | Host API surface (env/config/CallRecord) — not the eval engine |
-| `@nudojs/service` | Full barrel (stable; all of the above) |
+| `@nudojs/service` | Full barrel (stable; analysis face) |
+
+Emit products live in `@nudojs/service/emit` (interface/contract, dts, schema, guard, case reports). IDE surface lives in `@nudojs/lsp`; `@types` harvest in `@nudojs/harvester`.
 
 Highlights:
 
 - **File analysis** — `analyzeFile` returns diagnostics, function analyses, and case results
-- **IDE features** — `getTypeAtPosition`, `getCompletionsAtPosition`, `getCasesForFile`
-- **DTS generation** — `generateDts` / `absToTSType` for producing `.d.ts` output from Abs
-- **Schema projection** — `absToSchemaSource` / `projectAbsToSchema` produce dialect schema source
-- **Guard generation** — `generateGuardFunction` produces zero-dependency runtime type guards
+- **Module graph** — `evalAbsModuleGraph` evaluates a file's import closure as Abs
+- **Session caches** — analysis / fn / B-path caches with eviction and project-config limits
 
 ## Install
 

package/dist/{analysis-CSXrOVlg.d.ts → analysis-_DlXLC-L.d.ts}

@@ -1,10 +1,16 @@
-import { A as AnalyzeLoadModule, D as DirectiveCaseMode, a as AnalysisResult } from './analyzer-types-JyJiCt8w.js';
+import { S as SourceLocation, a as AnalyzeLoadModule, D as DirectiveCaseMode, A as AnalysisResult } from './analyzer-types-CfBrPK9L.js';
+import { parse } from '@nudojs/parser';
+import { Node } from '@babel/types';
 import { C as CallRecord } from './call-record-CkyCFkT9.js';
 import { Abs, AbsModuleExports, BCallRecord, Phi, TranspiledCallResult } from '@nudojs/core';
-import { Node } from '@babel/types';
 import { BMemberDiag } from '@nudojs/core/internal';
 import { D as DiagnosticsLevel, A as AnalysisConfig } from './config-DDB588oA.js';
 
+declare function resolveModule(source: string, fromDir: string): {
+    ast: ReturnType<typeof parse>;
+    filePath: string;
+    json?: unknown;
+} | null;
 /** mtime 边缓存：key 为文件路径，edges 为已抽取的相对 import 边（与 buildModuleGraph 返回语义一致）。 */
 type ModuleGraphCache = Map<string, {
     mtimeMs: number;
@@ -21,6 +27,14 @@ declare function computeDirtySet(dependents: Map<string, Set<string>>, changedFi
 /** Topological order with dependencies before dependents (only imports edges internal to dirty; cycles tolerated — remaining files appended in arbitrary order). */
 declare function topoSortDirty(imports: Map<string, Set<string>>, dirty: string[]): string[];
 
+/**
+ * AST 辅助：函数收集 / 形参 / 定位 / 节点 Abs 表。
+ * 自 analyzer.ts 机械拆出；语义未改。
+ */
+
+declare function locFromNode(node: Node): SourceLocation;
+
+declare function collectEnvNames(filePath: string, source: string, includeProject: boolean): string[];
 /**
  * 调用点发现（阶段一）：在"使用现场"文件（测试 / 上层应用）中求值
  * 顶层代码，收集它对（外部模块导出的）函数的调用记录。每条记录带
@@ -264,4 +278,4 @@ declare function hasNudoDirectives(source: string): boolean;
  */
 declare function shouldAnalyzeFile(filePath: string, source: string | undefined, config?: AnalysisConfig): boolean;
 
-export { type AbsGraphOptions as A, type BPathRunResult as B, setEnvHarvestConflictCollector as C, shouldAnalyzeFile as D, type EnvHarvestConflict as E, hasNudoDirectives as F, topoSortDirty as G, trimBPathCache as H, tryBPathCall as I, tryBPathCallFull as J, tryRunBPath as K, type MergeHarvestOptions as M, type AbsModuleCacheEntry as a, type AbsModuleGraphResult as b, type AbsModuleLoadIssue as c, type ModuleGraphCache as d, analyzeFile as e, analyzeFileAsync as f, buildModuleGraph as g, clearAbsModuleCache as h, clearBPathCache as i, collectAbsBindingsFromGraph as j, collectBPathReplacements as k, collectCallRecords as l, collectEnvGlobals as m, collectEnvModules as n, computeDirtySet as o, defaultAbsLoadModule as p, diagnosticsLevelForFile as q, evalAbsModuleGraph as r, evictAbsModuleCacheFiles as s, evictBPathCacheForFiles as t, filterDiagnosticsByLevel as u, getAbsModuleCacheSize as v, getBPathCacheSize as w, getEnvHarvestConflictCollector as x, isBPathCapable as y, mergeHarvestUnderEnv as z };
+export { type AbsGraphOptions as A, type BPathRunResult as B, locFromNode as C, mergeHarvestUnderEnv as D, type EnvHarvestConflict as E, resolveModule as F, setEnvHarvestConflictCollector as G, shouldAnalyzeFile as H, hasNudoDirectives as I, topoSortDirty as J, trimBPathCache as K, tryBPathCall as L, type MergeHarvestOptions as M, tryBPathCallFull as N, tryRunBPath as O, type AbsModuleCacheEntry as a, type AbsModuleGraphResult as b, type AbsModuleLoadIssue as c, type ModuleGraphCache as d, analyzeFile as e, analyzeFileAsync as f, buildModuleGraph as g, clearAbsModuleCache as h, clearBPathCache as i, collectAbsBindingsFromGraph as j, collectBPathReplacements as k, collectCallRecords as l, collectEnvGlobals as m, collectEnvModules as n, collectEnvNames as o, computeDirtySet as p, defaultAbsLoadModule as q, diagnosticsLevelForFile as r, evalAbsModuleGraph as s, evictAbsModuleCacheFiles as t, evictBPathCacheForFiles as u, filterDiagnosticsByLevel as v, getAbsModuleCacheSize as w, getBPathCacheSize as x, getEnvHarvestConflictCollector as y, isBPathCapable as z };

package/dist/analysis.d.ts

@@ -1,7 +1,8 @@
-export { a as AnalysisResult, B as BindingInfo, C as CaseHint, b as CaseResult, c as CompletionItem, d as Diagnostic, e as DiagnosticSeverity, f as DiagnosticTag, D as DirectiveCaseMode, F as FunctionAnalysis, R as ReferenceInfo, S as SourceLocation, g as SymbolInfo, h as SymbolTable } from './analyzer-types-JyJiCt8w.js';
-export { A as AbsGraphOptions, a as AbsModuleCacheEntry, b as AbsModuleGraphResult, c as AbsModuleLoadIssue, B as BPathRunResult, d as ModuleGraphCache, e as analyzeFile, f as analyzeFileAsync, g as buildModuleGraph, h as clearAbsModuleCache, i as clearBPathCache, j as collectAbsBindingsFromGraph, l as collectCallRecords, o as computeDirtySet, p as defaultAbsLoadModule, q as diagnosticsLevelForFile, r as evalAbsModuleGraph, s as evictAbsModuleCacheFiles, t as evictBPathCacheForFiles, u as filterDiagnosticsByLevel, v as getAbsModuleCacheSize, w as getBPathCacheSize, y as isBPathCapable, D as shouldAnalyzeFile, F as sourceHasNudoDirectives, G as topoSortDirty, H as trimBPathCache, I as tryBPathCall, J as tryBPathCallFull, K as tryRunBPath } from './analysis-CSXrOVlg.js';
+export { A as AnalysisResult, B as BindingInfo, C as CaseHint, b as CaseResult, c as CompletionItem, d as Diagnostic, e as DiagnosticSeverity, f as DiagnosticTag, D as DirectiveCaseMode, F as FunctionAnalysis, R as ReferenceInfo, S as SourceLocation, g as SymbolInfo, h as SymbolTable } from './analyzer-types-CfBrPK9L.js';
+export { A as AbsGraphOptions, a as AbsModuleCacheEntry, b as AbsModuleGraphResult, c as AbsModuleLoadIssue, B as BPathRunResult, d as ModuleGraphCache, e as analyzeFile, f as analyzeFileAsync, g as buildModuleGraph, h as clearAbsModuleCache, i as clearBPathCache, j as collectAbsBindingsFromGraph, l as collectCallRecords, o as collectEnvNames, p as computeDirtySet, q as defaultAbsLoadModule, r as diagnosticsLevelForFile, s as evalAbsModuleGraph, t as evictAbsModuleCacheFiles, u as evictBPathCacheForFiles, v as filterDiagnosticsByLevel, w as getAbsModuleCacheSize, x as getBPathCacheSize, z as isBPathCapable, C as locFromNode, F as resolveModule, H as shouldAnalyzeFile, I as sourceHasNudoDirectives, J as topoSortDirty, K as trimBPathCache, L as tryBPathCall, N as tryBPathCallFull, O as tryRunBPath } from './analysis-_DlXLC-L.js';
 export { C as CallRecord } from './call-record-CkyCFkT9.js';
 import '@babel/types';
 import '@nudojs/core';
+import '@nudojs/parser';
 import '@nudojs/core/internal';
 import './config-DDB588oA.js';

package/dist/analysis.js

@@ -3,7 +3,7 @@ import {
   filterDiagnosticsByLevel,
   hasNudoDirectives,
   shouldAnalyzeFile
-} from "./chunk-LFZRUXGK.js";
+} from "./chunk-EG6FYQLI.js";
 import {
   analyzeFile,
   analyzeFileAsync,
@@ -12,6 +12,7 @@ import {
   clearBPathCache,
   collectAbsBindingsFromGraph,
   collectCallRecords,
+  collectEnvNames,
   computeDirtySet,
   defaultAbsLoadModule,
   evalAbsModuleGraph,
@@ -20,15 +21,15 @@ import {
   getAbsModuleCacheSize,
   getBPathCacheSize,
   isBPathCapable,
+  locFromNode,
+  resolveModule,
   topoSortDirty,
   trimBPathCache,
   tryBPathCall,
   tryBPathCallFull,
   tryRunBPath
-} from "./chunk-QAFMPM2E.js";
-import "./chunk-U7JYTRIB.js";
-import "./chunk-YLALZXTZ.js";
-import "./chunk-PVJIMQRI.js";
+} from "./chunk-NQXAF4LJ.js";
+import "./chunk-ZXVAX7DE.js";
 export {
   analyzeFile,
   analyzeFileAsync,
@@ -37,6 +38,7 @@ export {
   clearBPathCache,
   collectAbsBindingsFromGraph,
   collectCallRecords,
+  collectEnvNames,
   computeDirtySet,
   defaultAbsLoadModule,
   diagnosticsLevelForFile,
@@ -47,6 +49,8 @@ export {
   getAbsModuleCacheSize,
   getBPathCacheSize,
   isBPathCapable,
+  locFromNode,
+  resolveModule,
   shouldAnalyzeFile,
   hasNudoDirectives as sourceHasNudoDirectives,
   topoSortDirty,

package/dist/{analyzer-types-JyJiCt8w.d.ts → analyzer-types-CfBrPK9L.d.ts}

@@ -155,4 +155,4 @@ type AnalyzeLoadModule = (spec: string, fromFile: string) => string | undefined;
  */
 type DirectiveCaseMode = "none" | "all" | "selected";
 
-export type { AnalyzeLoadModule as A, BindingInfo as B, CaseHint as C, DirectiveCaseMode as D, FunctionAnalysis as F, ReferenceInfo as R, SourceLocation as S, AnalysisResult as a, CaseResult as b, CompletionItem as c, Diagnostic as d, DiagnosticSeverity as e, DiagnosticTag as f, SymbolInfo as g, SymbolTable as h };
+export type { AnalysisResult as A, BindingInfo as B, CaseHint as C, DirectiveCaseMode as D, FunctionAnalysis as F, ReferenceInfo as R, SourceLocation as S, AnalyzeLoadModule as a, CaseResult as b, CompletionItem as c, Diagnostic as d, DiagnosticSeverity as e, DiagnosticTag as f, SymbolInfo as g, SymbolTable as h };

package/dist/{chunk-LFZRUXGK.js → chunk-EG6FYQLI.js}

@@ -2,7 +2,7 @@ import {
   analysisConfig,
   findProjectConfig,
   matchesEmitAllowlist
-} from "./chunk-YLALZXTZ.js";
+} from "./chunk-ZXVAX7DE.js";
 
 // src/target-path.ts
 function isNudoTargetPath(path) {

package/dist/chunk-J2PUE4NV.js

@@ -0,0 +1,235 @@
+// src/what-if.ts
+import { parse } from "@nudojs/parser";
+function splitTopLevelUnion(expr) {
+  const members = [];
+  let start = 0;
+  let depth = 0;
+  for (let i = 0; i < expr.length; i++) {
+    const c = expr[i];
+    if (c === "(" || c === "[" || c === "{") depth++;
+    else if (c === ")" || c === "]" || c === "}") depth--;
+    else if (c === "|" && depth === 0) {
+      members.push(expr.slice(start, i));
+      start = i + 1;
+    }
+  }
+  members.push(expr.slice(start));
+  return members.map((m) => m.trim()).filter(Boolean);
+}
+function typeExprToDirective(expr) {
+  const members = splitTopLevelUnion(expr);
+  if (members.length === 0) return "any()";
+  const mapped = members.map((m) => {
+    if (m.startsWith("T.")) return "any()";
+    if (m === "number" || m === "string" || m === "boolean") return `${m}()`;
+    if (m === "unknown" || m === "any") return "any()";
+    if (m === "null" || m === "undefined" || m === "true" || m === "false") return m;
+    if (/^-?\d+(\.\d+)?$/.test(m)) return m;
+    if (/^["']/.test(m)) return m;
+    if (/[([{]|=>/.test(m) && !m.startsWith("T.")) return m;
+    if (/^(number|string|boolean|any|array|shape|lit|union|fn)\s*\(/.test(m)) return m;
+    return "any()";
+  });
+  return mapped.length === 1 ? mapped[0] : `union(${mapped.join(", ")})`;
+}
+function declaredNames(stmt, out) {
+  if (stmt.type === "FunctionDeclaration" && stmt.id) out.add(stmt.id.name);
+  else if (stmt.type === "ClassDeclaration" && stmt.id) out.add(stmt.id.name);
+  else if (stmt.type === "VariableDeclaration") {
+    for (const decl of stmt.declarations) {
+      if (decl.id?.type === "Identifier") out.add(decl.id.name);
+    }
+  } else if (stmt.type === "ExportNamedDeclaration" && stmt.declaration) {
+    declaredNames(stmt.declaration, out);
+  }
+}
+function injectBindings(source, bindings) {
+  const applied = [];
+  const unapplied = [];
+  if (bindings.length === 0) return { source, applied, unapplied };
+  const ast = parse(source);
+  const declLines = /* @__PURE__ */ new Map();
+  for (const stmt of ast.program.body) {
+    const names = /* @__PURE__ */ new Set();
+    declaredNames(stmt, names);
+    if (names.size === 0 || !stmt.loc) continue;
+    const anchorLine = stmt.leadingComments?.[0]?.loc?.start.line ?? stmt.loc.start.line;
+    for (const name of names) {
+      if (!declLines.has(name)) declLines.set(name, anchorLine);
+    }
+  }
+  const byLine = /* @__PURE__ */ new Map();
+  for (const binding of bindings) {
+    const line = declLines.get(binding.name);
+    if (line === void 0) {
+      unapplied.push(binding.name);
+      continue;
+    }
+    const group = byLine.get(line) ?? [];
+    group.push(binding);
+    byLine.set(line, group);
+    applied.push(binding.name);
+  }
+  const insertions = [];
+  for (const [line, group] of byLine) {
+    insertions.push({
+      index: line - 1,
+      text: `// @nudo:as ${typeExprToDirective(group[0].type)}`
+    });
+  }
+  insertions.sort((a, b) => b.index - a.index);
+  const lines = source.split("\n");
+  for (const ins of insertions) lines.splice(ins.index, 0, ins.text);
+  return { source: lines.join("\n"), applied, unapplied };
+}
+
+// src/dep-contents.ts
+import { loadModuleDepsFingerprint } from "@nudojs/core/internal";
+function collectLoadDepContents(filePath, source, loadModule) {
+  const fp = loadModuleDepsFingerprint(source, loadModule, filePath);
+  const depContents = fp.contents.length > 0 ? fp.contents : fp.paths.map((path) => ({ path, content: null }));
+  return { depContents, truncated: fp.truncated };
+}
+
+// src/disk-cache.ts
+import { createHash } from "crypto";
+import { createRequire } from "module";
+import { mkdirSync, readFileSync, writeFileSync, existsSync, rmSync } from "fs";
+import { join, dirname, relative, sep, isAbsolute } from "path";
+function readServiceVersion() {
+  try {
+    const require2 = createRequire(import.meta.url);
+    for (const p of ["../package.json", "./package.json", "../../package.json"]) {
+      try {
+        const pkg = require2(p);
+        if (pkg?.name === "@nudojs/service" && pkg.version) return pkg.version;
+        if (pkg?.version && p.includes("service")) return pkg.version;
+      } catch {
+      }
+    }
+  } catch {
+  }
+  return "0";
+}
+var ANALYSIS_ABI = `nudo-check-cache-v3+${readServiceVersion()}`;
+function sha256Hex(data) {
+  return createHash("sha256").update(data).digest("hex");
+}
+function relativizePath(p, root) {
+  const norm = p.split(sep).join("/");
+  if (!root) return norm;
+  const r = relative(root, p).split(sep).join("/");
+  if (!r.startsWith("..") && !isAbsolute(r)) return r;
+  return `ext:${createHash("sha256").update(norm).digest("hex").slice(0, 16)}`;
+}
+function sanitizeCacheNamespace(ns) {
+  return ns.replace(/[^a-z0-9_-]/gi, "_").replace(/^_+|_+$/g, "") || "cache";
+}
+var DiskCache = class {
+  root;
+  ns;
+  enabled = false;
+  constructor(opts) {
+    this.root = opts.root;
+    this.ns = sanitizeCacheNamespace(opts.namespace);
+    this.enabled = !!opts.root;
+  }
+  pathFor(key) {
+    if (!/^[a-f0-9]{16,128}$/i.test(key)) {
+      throw new Error("DiskCache key must be a hex digest");
+    }
+    return join(this.root, this.ns, key.slice(0, 2), `${key}.json`);
+  }
+  get(key) {
+    if (!this.enabled || !this.root) return void 0;
+    try {
+      const p = this.pathFor(key);
+      if (!existsSync(p)) return void 0;
+      const raw = readFileSync(p, "utf8");
+      const parsed = JSON.parse(raw);
+      if (parsed?.abi !== ANALYSIS_ABI) return void 0;
+      return parsed.value;
+    } catch {
+      return void 0;
+    }
+  }
+  set(key, value) {
+    if (!this.enabled || !this.root) return;
+    try {
+      const p = this.pathFor(key);
+      mkdirSync(dirname(p), { recursive: true });
+      writeFileSync(p, JSON.stringify({ abi: ANALYSIS_ABI, value }), "utf8");
+    } catch {
+    }
+  }
+  clearNamespace() {
+    if (!this.enabled || !this.root) return;
+    try {
+      rmSync(join(this.root, this.ns), { recursive: true, force: true });
+    } catch {
+    }
+  }
+};
+function checkCacheKey(filePath, source, opts) {
+  const rel = relativizePath(filePath, opts.projectDir);
+  const sidecarSha = opts.sidecarContent != null ? sha256Hex(opts.sidecarContent) : "nosidecar";
+  const depSeg = (opts.depContents ?? []).map(
+    (d) => `${relativizePath(d.path, opts.projectDir)}\0${d.content != null ? sha256Hex(d.content) : "miss"}`
+  ).join("\n");
+  const envSeg = (opts.projectEnvNames ?? []).length > 0 ? [...opts.projectEnvNames ?? []].sort().join(",") : "-";
+  const cfgSeg = opts.analysisCfg ? `${opts.analysisCfg.mode ?? "-"}|${opts.analysisCfg.evalMissingSlot ?? "-"}|${opts.analysisCfg.callSiteBudget ?? "-"}|${opts.analysisCfg.entryThrows ?? "-"}|${opts.analysisCfg.ignoreThrows ?? "-"}` : "-";
+  return sha256Hex(
+    [
+      ANALYSIS_ABI,
+      rel,
+      opts.autoBind ? "ab1" : "ab0",
+      sha256Hex(source),
+      sidecarSha,
+      depSeg,
+      envSeg,
+      cfgSeg
+    ].join("\0")
+  );
+}
+function ifaceCacheKey(filePath, source, opts) {
+  const rel = relativizePath(filePath, opts.projectDir);
+  const sidecarSeg = opts.autoBind && opts.sidecarSource !== void 0 ? `sc:${sha256Hex(opts.sidecarSource)}` : "sc0";
+  const depSeg = (opts.depContents ?? []).map(
+    (d) => `${relativizePath(d.path, opts.projectDir)}\0${d.content != null ? sha256Hex(d.content) : "miss"}`
+  ).join("\n");
+  const envSeg = (opts.projectEnvNames ?? []).length > 0 ? [...opts.projectEnvNames ?? []].sort().join(",") : "-";
+  return sha256Hex(
+    [
+      ANALYSIS_ABI,
+      "iface",
+      rel,
+      opts.autoBind ? "ab1" : "ab0",
+      sha256Hex(source),
+      sidecarSeg,
+      depSeg,
+      envSeg
+    ].join("\0")
+  );
+}
+function extractNudoImportSpecs(source) {
+  const specs = /* @__PURE__ */ new Set();
+  const named = /@nudo:import\s*\{[^}]*\}\s*from\s*["']([^"']+)["']/g;
+  const ns = /@nudo:import\s+\*\s+as\s+\w+\s+from\s*["']([^"']+)["']/g;
+  let m;
+  while (m = named.exec(source)) specs.add(m[1]);
+  while (m = ns.exec(source)) specs.add(m[1]);
+  return [...specs];
+}
+
+export {
+  typeExprToDirective,
+  injectBindings,
+  collectLoadDepContents,
+  ANALYSIS_ABI,
+  sha256Hex,
+  relativizePath,
+  DiskCache,
+  checkCacheKey,
+  ifaceCacheKey,
+  extractNudoImportSpecs
+};