@nudojs/service 1.0.1 → 3.0.0

package/dist/{chunk-2VHITMTM.js → chunk-ADFCZP72.js}

@@ -306,7 +306,10 @@ async function importPathEnv(resolvedPath, mtimeMs) {
   }
   if (mod && typeof mod.defineEnv === "function") {
     pathEnvCache.set(cacheKey, mod.defineEnv);
-    pathEnvByPath.set(resolvedPath, mod.defineEnv);
+    pathEnvByPath.set(resolvedPath, {
+      factory: mod.defineEnv,
+      mtimeMs
+    });
   }
 }
 function lookupPathEnv(name) {
@@ -314,10 +317,26 @@ function lookupPathEnv(name) {
   const candidates = name.startsWith("/") ? [name] : [name, ...[...pathEnvBaseDirs].map((d) => resolvePath(d, name))];
   for (const candidate of candidates) {
     const hit = pathEnvByPath.get(candidate);
-    if (hit) return hit;
+    if (!hit) continue;
+    try {
+      const { mtimeMs } = statSync(candidate);
+      if (mtimeMs !== hit.mtimeMs) {
+        pathEnvByPath.delete(candidate);
+        return void 0;
+      }
+    } catch {
+      pathEnvByPath.delete(candidate);
+      return void 0;
+    }
+    return hit.factory;
   }
   return void 0;
 }
+function clearPathEnvCaches() {
+  pathEnvCache.clear();
+  pathEnvByPath.clear();
+  pathEnvBaseDirs.clear();
+}
 async function preloadPathEnvs(envNames, baseDir) {
   pathEnvBaseDirs.add(baseDir);
   for (const name of envNames) {
@@ -359,6 +378,51 @@ function loadEnvs(envNames, globalEnv) {
 // src/evaluator/config.ts
 import { readFileSync as readFileSync2, existsSync as existsSync2 } from "fs";
 import { resolve, dirname, relative, sep } from "path";
+var DEFAULT_ANALYSIS_EXCLUDE = [
+  "**/node_modules/**",
+  "**/dist/**",
+  "**/coverage/**"
+];
+var DEFAULT_ANALYSIS_MODE = "exports";
+function toStringArray(raw, fallback) {
+  if (raw === void 0) return fallback;
+  const arr = Array.isArray(raw) ? raw : [raw];
+  const out = arr.filter((s) => typeof s === "string" && s.length > 0);
+  return out.length > 0 ? out : fallback;
+}
+function analysisConfig(config) {
+  const raw = config?.analysis;
+  const modeRaw = raw?.mode;
+  const mode = modeRaw === "exports" || modeRaw === "all" || modeRaw === "directives" ? modeRaw : DEFAULT_ANALYSIS_MODE;
+  const diagRaw = raw?.diagnostics;
+  const diagnostics = diagRaw === "off" || diagRaw === "errors" || diagRaw === "default" || diagRaw === "verbose" ? diagRaw : mode === "directives" ? "errors" : "default";
+  const budgetRaw = raw?.callSiteBudget;
+  const callSiteBudget = typeof budgetRaw === "number" && Number.isFinite(budgetRaw) && budgetRaw >= 1 ? Math.min(Math.floor(budgetRaw), 64) : 3;
+  return {
+    // include 空数组 = 不过滤（与「省略」同义）
+    include: toStringArray(raw?.include, []),
+    // exclude 空数组回落默认安全列表，避免误关 node_modules 保护
+    exclude: toStringArray(raw?.exclude, DEFAULT_ANALYSIS_EXCLUDE),
+    mode,
+    diagnostics,
+    callSiteBudget,
+    evalMissingSlot: raw?.evalMissingSlot === "warning" ? "warning" : "off"
+  };
+}
+function diskCacheRoot(config, projectDir) {
+  const raw = config?.cache;
+  if (raw === false) return void 0;
+  if (typeof raw === "string" && raw.length > 0) {
+    return projectDir ? resolve(projectDir, raw) : raw;
+  }
+  if (raw === true) {
+    return projectDir ? resolve(projectDir, ".nudo/cache") : void 0;
+  }
+  const env = process.env.NUDO_CACHE_DIR;
+  if (env === "off" || env === "0") return void 0;
+  if (env && env.length > 0) return env;
+  return void 0;
+}
 function interfaceConfig(config) {
   const raw = config?.interface?.emit;
   const emit = raw === void 0 ? [] : Array.isArray(raw) ? raw.filter((s) => typeof s === "string" && s.length > 0) : typeof raw === "string" && raw.length > 0 ? [raw] : [];
@@ -474,9 +538,13 @@ function resolveNpmNudo(source, fromDir) {
 }
 
 export {
+  clearPathEnvCaches,
   preloadPathEnvs,
   loadEnvsAsync,
   loadEnvs,
+  DEFAULT_ANALYSIS_MODE,
+  analysisConfig,
+  diskCacheRoot,
   interfaceConfig,
   matchesEmitAllowlist,
   findProjectConfig,

package/dist/config-Cqj8zeZH.d.ts

@@ -0,0 +1,117 @@
+import { Abs, Environment } from '@nudojs/core';
+
+/**
+ * 调用点记录（CallRecord）。Abs 唯一真理源。
+ * argAbs/resultAbs/throwsAbs 必填；展示/外延在 CaseResult 边界再桥。
+ */
+
+type CallRecord = {
+    fnName: string;
+    /** 无损参数 Abs */
+    argAbs: Abs[];
+    /** 无损结果 Abs（threw 时为 never） */
+    resultAbs: Abs;
+    /** 无损抛出值 Abs（未抛为 never） */
+    throwsAbs: Abs;
+    /** 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). */
+    fnModule?: string;
+};
+
+type LoadedEnv = {
+    /** Abs 原生模块导出（B 路径 / Abs 模块图） */
+    modules: Record<string, Record<string, Abs>>;
+    globals: Record<string, Abs>;
+};
+/** Host cache-clear hooks (CLI watch / vite / tests) must drop path-env modules too */
+declare function clearPathEnvCaches(): void;
+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;
+
+type NudoConfig = {
+    env?: string[];
+    mocks?: Record<string, string>;
+    interface?: {
+        /** 侧车 ambient 绑定总开关（check/LSP 执法与 interface 打印共用） */
+        autoBind?: boolean;
+        /**
+         * emit 白名单（Phase 3，§7.3）：glob 数组，相对 projectDir。
+         * 省略/空 = 不按路径过滤（仍受 --fn/--all 与「默认只刷已有生成段」约束）。
+         */
+        emit?: string[] | string;
+    };
+    /** 分析范围与噪声档（design-analysis-scope.md / A2） */
+    analysis?: {
+        include?: string[] | string;
+        exclude?: string[] | string;
+        /** directives | exports（默认）| all */
+        mode?: string;
+        /** off | errors | default | verbose */
+        diagnostics?: string;
+        /** polyvariant：保留的精确调用点 case 上限（默认 3）；超出进 symbolic #widened */
+        callSiteBudget?: number;
+        /** C0.5：求值命中闭对象缺字段 → nudo:missing-slot；默认 off */
+        evalMissingSlot?: "off" | "warning";
+    };
+    /** 磁盘缓存（B3）：true → `.nudo/cache`；字符串 → 自定义根；false/省略 → 关 */
+    cache?: boolean | string;
+};
+type InterfaceConfig = {
+    autoBind: boolean;
+    /** emit 路径白名单（已归一化；空数组 = 不限制） */
+    emit: string[];
+};
+type AnalysisMode = "directives" | "exports" | "all";
+type DiagnosticsLevel = "off" | "errors" | "default" | "verbose";
+type AnalysisConfig = {
+    include: string[];
+    exclude: string[];
+    mode: AnalysisMode;
+    diagnostics: DiagnosticsLevel;
+    /** polyvariant 精确调用点上限（B4） */
+    callSiteBudget: number;
+    /** C0.5 evaluation-driven missing-slot；默认 off */
+    evalMissingSlot: "off" | "warning";
+};
+/** A1 产品默认：exports — 普通带导出的 .js 进 IDE；directives/all 需显式 */
+declare const DEFAULT_ANALYSIS_MODE: AnalysisMode;
+/**
+ * 归一化 `nudo.analysis`。默认 mode=exports（A1：无指令但有 export/侧车的文件
+ * 进 IDE 分析；`all` / `directives` 需显式配置）。
+ * diagnostics：directives→errors，exports/all→default。
+ * include 空 = 不按路径过滤（isNudoTargetPath 已管扩展名）。
+ */
+declare function analysisConfig(config: NudoConfig | null | undefined): AnalysisConfig;
+/** 磁盘缓存根（B3）：config.cache / NUDO_CACHE_DIR / 默认关 */
+declare function diskCacheRoot(config: NudoConfig | null | undefined, projectDir: string | undefined): string | undefined;
+/**
+ * 归一化 `nudo.interface` 配置段。
+ * - autoBind 默认 true
+ * - emit：string | string[] → string[]（空 = 不限制路径）
+ */
+declare function interfaceConfig(config: NudoConfig | null | undefined): InterfaceConfig;
+/**
+ * 极简 glob（`**` / `*` / `?`）：相对 projectDir 匹配**源文件**绝对路径
+ * （不是侧车路径；侧车随源文件同目录写出）。无白名单 → true。
+ * 路径分隔符归一为 `/`。
+ */
+declare function matchesEmitAllowlist(absPath: string, projectDir: string | undefined, patterns: string[]): boolean;
+declare function findProjectConfig(startDir: string): {
+    config: NudoConfig;
+    projectDir: string;
+} | null;
+
+export { type AnalysisConfig as A, type CallRecord as C, type DiagnosticsLevel as D, type InterfaceConfig as I, type LoadedEnv as L, type NudoConfig as N, type AnalysisMode as a, DEFAULT_ANALYSIS_MODE as b, analysisConfig as c, clearPathEnvCaches as d, diskCacheRoot as e, findProjectConfig as f, loadEnvsAsync as g, interfaceConfig as i, loadEnvs as l, matchesEmitAllowlist as m, preloadPathEnvs as p };

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

@@ -1,5 +1,5 @@
-export { C as CallRecord, I as InterfaceConfig, N as NudoConfig, f as findProjectConfig, i as interfaceConfig } from '../config-NqDRWWpn.js';
-import { Abs, Environment } from '@nudojs/core';
+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';
+import { Abs } from '@nudojs/core';
 
 /**
  * 内置类原型成员近似表（Abs 声明）。
@@ -12,15 +12,6 @@ declare function describeAbsMember(a: Abs): string | null;
 declare function builtinProtoMemberNames(className: string): string[];
 declare function builtinProtoMember(className: string, member: string): Abs | null;
 
-type LoadedEnv = {
-    /** Abs 原生模块导出（B 路径 / Abs 模块图） */
-    modules: Record<string, Record<string, Abs>>;
-    globals: Record<string, Abs>;
-};
-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, builtinProtoMember, builtinProtoMemberNames, describeAbsMember, loadEnvs, loadEnvsAsync, preloadPathEnvs, resolveNpmNudo };
+export { BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS, builtinProtoMember, builtinProtoMemberNames, describeAbsMember, resolveNpmNudo };

package/dist/evaluator/evaluator-api.js

@@ -1,5 +1,6 @@
 import {
   BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS,
+  analysisConfig,
   builtinProtoMember,
   builtinProtoMemberNames,
   describeAbsMember,
@@ -9,9 +10,10 @@ import {
   loadEnvsAsync,
   preloadPathEnvs,
   resolveNpmNudo
-} from "../chunk-2VHITMTM.js";
+} from "../chunk-ADFCZP72.js";
 export {
   BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS,
+  analysisConfig,
   builtinProtoMember,
   builtinProtoMemberNames,
   describeAbsMember,