@nudojs/core 1.3.0 → 1.4.0

package/dist/{check-report-BWmfy810.d.ts → check-report-Ci1dDysO.d.ts}

@@ -1,5 +1,5 @@
 import { File } from '@babel/types';
-import { A as Abs, T as Term, P as PrimName, a as Pred, b as Phi, C as Confidence } from './run-Dk08Q5zl.js';
+import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-WJfj477N.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;
@@ -60,6 +60,21 @@ declare function leakIfNeeded(a: Abs, budget?: LeakBudget, label?: string): Abs;
  * refine / LSP 共享单一定义——历史上三份内联拷贝已各自漂移过）。
  */
 declare function normPath(p: string): string;
+/**
+ * 稳定路径键：统一 Windows 盘符形态（`file:///c:/x` / `/c:/x` / `c:\x` / `c:/x` /
+ * `C:/x` → `c:/x`），POSIX 绝对路径过 normPath 后恒等。幂等。
+ *
+ * L0 memo 依赖索引与定向逐出、模块图脏传播查找必须走同一键——否则跨形态
+ * 逐出/脏传播在 Windows 上 miss（FIX-RESIDUAL-3）。core 不引 path：此处只做
+ * 纯字符串归一，相对路径的 resolve 由宿主（LSP cacheKey）负责。
+ */
+declare function stablePathKey(p: string): string;
+/**
+ * 把 `buildModuleGraph` 的 imports/dependents 边表按键形态归一到 stablePathKey。
+ * 边目标来自 resolveModuleFile（fs 原生，如 `c:\a.js`）、from 节点可能已是
+ * 键形态（`c:/a.js`）——混形态会让 computeDirtySet 跨形态查找漏边。
+ */
+declare function stablePathKeyGraph(m: Map<string, Set<string>>): Map<string, Set<string>>;
 /** core 不引 path：相对 spec 纯字符串拼接（与 LSP resolve 对齐时双方 norm） */
 declare function resolveDepPath(fromFile: string, spec: string): string;
 /**
@@ -75,26 +90,6 @@ declare function isNodeModulesPath(p: string): boolean;
  */
 declare function sidecarPathOf(file: string): string;
 
-/**
- * 约束模板构建器（参数无关）。
- *
- *   number().gt(0)                    → 占位项 self 上的 Pred
- *   number().int().ge(0)              → 整数 + 下界
- *   string().min(1)                   → 非空串（长度）
- *   array(number().gt(0))             → 元素约束
- *   shape({ id: number().gt(0) })     → object 形状约束
- *   lit(42)                           → 字面量（prim + eq(self, 42)）
- *   union(number().gt(0), lit(0))     → 成员析取（or / joinAbs）
- *   fn({ x: number().gt(0) }, number()) → 一等函数约束
- *   number().gt(0).shift(1)           → 界平移（x>0 ⇒ x+n>1）
- *   instantiate("ms")                 → Pred ms > 0 / u.id > 0 ∧ …
- *
- * 在 *.nudo.js 里执行；不是 zod 绑定，是我们自己的运行时 API。
- * 不需要 interface/type 语法——契约用 JS 表达式声明。
- * 命名：litC/andC 与 term.ts 的 lit、pred.ts 的 and 消歧（桶导出不再冲突）。
- * 侧车注入表仍以 `lit`/`and` 为键名（*.nudo.js 用户写法不变）。
- */
-
 /** 模板占位项；instantiate 时换成真实参数名 */
 declare const SELF = "__nudo_self__";
 /** 字段访问项：u.id */
@@ -173,7 +168,7 @@ declare function array(item: NudoConstraint | ConstraintBuilder | number | strin
  */
 declare function shape(fields: Record<string, NudoConstraint | ConstraintBuilder | number | string | boolean | null | undefined>): ConstraintBuilder;
 /** litC(v)：字面量契约——prim 按 v 类型、eq(self, v) pred 编码（不开新字段） */
-declare function litC(v: number | string | boolean | null | undefined): ConstraintBuilder;
+declare function litC(v: LiteralValue): ConstraintBuilder;
 /** union(...cs)：成员析取；instantiate 为 or(...)，entry Abs 为成员 joinAbs。空参 throw */
 declare function union(...cs: (NudoConstraint | ConstraintBuilder | number | string | boolean | null | undefined)[]): ConstraintBuilder;
 /**
@@ -208,6 +203,22 @@ declare function partial(c: NudoConstraint | ConstraintBuilder): ConstraintBuild
 declare function pick(c: NudoConstraint | ConstraintBuilder, keys: string[]): ConstraintBuilder;
 /** omit(c, keys)：shape 去字段；非 shape throw */
 declare function omit(c: NudoConstraint | ConstraintBuilder, keys: string[]): ConstraintBuilder;
+/**
+ * 约束构建器表面名表（单一真源）：case 实参文法、mock 类型表达式识别与
+ * 侧车注入共用的名字 → 实现映射。键名是 *.nudo.js / 指令里的用户写法
+ * （`lit`/`and` 而非内部的 litC/andC）。
+ *
+ * 任何「构建器名单」硬编码（CONSTRAINT_EXPR_RE 一类的识别正则）必须由
+ * `CONSTRAINT_BUILDER_NAMES` 生成，禁止再手维护一份。
+ */
+declare const CONSTRAINT_BUILDERS: Record<string, unknown>;
+/** 构建器表面名（供文法正则 / 测试枚举；顺序即表定义顺序） */
+declare const CONSTRAINT_BUILDER_NAMES: readonly string[];
+/**
+ * 约束表达式头：`name(` 形态。由 CONSTRAINT_BUILDER_NAMES 生成——
+ * 名单只在 CONSTRAINT_BUILDERS 一处维护。
+ */
+declare const CONSTRAINT_EXPR_RE: RegExp;
 /** 把模板绑定到参数名：self → paramName；shape 展开为字段访问 Pred */
 declare function instantiateConstraint(c: NudoConstraint, paramName: string): Pred;
 /**
@@ -255,6 +266,10 @@ type NamedImport = {
     names: string[];
     spec: string;
 };
+/**
+ * `@nudo:import` 命名/namespace 导入（D5=F1：文法在 directive-scan 单源）。
+ * default 等未识别形态发 nudo:contract-syntax，不再静默丢弃。
+ */
 declare function extractNudoImports(source: string): NamedImport[];
 /** refine 侧车加载诊断（severity 由消费方按 code 定档，形状对齐 Issue 子集） */
 type RefineDiag = {
@@ -316,8 +331,8 @@ declare function extractRefineReturnFromSource(source: string, fnName: string, o
  *   @nudo:case "neg" (0) !! throws          → 申报任意 throw
  *   @nudo:case "neg" (0) !! throws Error    → 申报 Error
  *
- * 与 refine 同扫函数前注释块。返回 `*` = 申报任意；数组 = 按名申报；
- * undefined = 无申报（L2 照常执法）。
+ * 与 refine 同扫函数前注释块（D6=G2 同一 scope 绑定）。
+ * 返回 `*` = 申报任意；数组 = 按名申报；undefined = 无申报（L2 照常执法）。
  */
 declare function extractDeclaredThrows(source: string, fnName: string): string[] | "*" | undefined;
 /**
@@ -326,8 +341,8 @@ declare function extractDeclaredThrows(source: string, fnName: string): string[]
  *   @nudo:budget calls=50000 depth=128
  *   @nudo:budget forks=20000, calls=50000
  *
- * 与 @nudo:throws 同路径扫函数前注释块。只抬高预算（不降低全局默认）；
- * 未声明的维度沿用全局。非法值忽略。
+ * 与 @nudo:throws 同路径扫函数前注释块（D6=G2 同一 scope 绑定）。
+ * 只抬高预算（不降低全局默认）；未声明的维度沿用全局。非法值忽略。
  */
 declare function extractFnBudget(source: string, fnName: string): {
     forks?: number;
@@ -673,6 +688,16 @@ type CheckJsonMulti = {
         budgetTruncated?: boolean;
     };
     budget?: CheckReport["budget"];
+    /**
+     * 路径/IO 错误（additive）。`pathErrors` 非空 ⇒ `ok: false` ⇒ CLI exit 1。
+     * ok↔exit 单一来源：CLI 在 --json 路径只按信封 ok 设 exit。
+     */
+    pathErrors?: Array<{
+        path: string;
+        code: string;
+        message: string;
+        suggestion?: string;
+    }>;
     reports: CheckJson[];
 };
 declare function serializeCheckJson(r: CheckReport): CheckJson;
@@ -710,4 +735,4 @@ declare function formatGitlabCodeQuality(r: CheckReport, opts?: {
     workspaceRoot?: string;
 }): GitlabCodeQualityIssue[];
 
-export { evalPromiseCtor as $, type NudoFnConstraint as A, NudoSidecarError as B, type CheckIssue as C, type Diagnostic as D, type EffectiveInterfaceOpts as E, type NudoSig as F, type GitlabCodeQualityIssue as G, type RefineEntry as H, type InterfaceSource as I, type RefineResolveOpts as J, actionsForIssue as K, type LeakBudget as L, MAX_PROMISE_MICROS as M, type NudoConstraint as N, andC as O, any as P, array as Q, type RefineDiag as R, SELF as S, boolean as T, checkArg as U, checkCall as V, constraintAdmitsNullish as W, constraintToEntryAbs as X, drainPromiseMicros as Y, effectiveInterface as Z, enterPromiseExecutorScope as _, type InterfaceTierOpts as a, evalPromiseMethod as a0, evalPromiseStatic as a1, execNudoModule as a2, extractDeclaredThrows as a3, extractFnBudget as a4, extractNudoImports as a5, extractRefineReturnFromSource as a6, extractRefinesFromSource as a7, fn as a8, fnConstraintToEntryReqs as a9, pick as aA, queuePromiseMicro as aB, refineDiagCount as aC, refineToIndexedFull as aD, resetNudoModuleExecCache as aE, resetParseSourceCache as aF, resetSidecarLoadFailureCache as aG, serializeCheckJson as aH, serializeCheckJsonMulti as aI, setInterfaceDiagCollector as aJ, setRefineDiagCollector as aK, shape as aL, sidecarClosureFingerprint as aM, sidecarPathOf as aN, string as aO, takeInterfaceDiags as aP, takeInterfaceDiagsSince as aQ, takeRefineDiags as aR, takeRefineDiagsSince as aS, throwConstraintToKinds as aT, union as aU, formatCheckReport as aa, formatConstraint as ab, formatDiagnostics as ac, formatEffectiveInterfaceDisplay as ad, formatGithubAnnotations as ae, formatGitlabCodeQuality as af, formatInterfaceTierLine as ag, generatedExportNames as ah, getParseSourceCacheSize as ai, getTerm as aj, instantiateConstraint as ak, interfaceDiagCount as al, interfaceSourceOf as am, interfaceTierOf as an, isIntFlag as ao, isNodeModulesPath as ap, isNudoConstraint as aq, leavePromiseExecutorScope as ar, lenTerm as as, litC as at, localNamedExports as au, notePromiseExecutorFork as av, nullable as aw, number as ax, omit as ay, partial as az, type LoadDepsFingerprint as b, extractAllLoadSpecs as c, defaultLeakBudget as d, exceedsBudget as e, loadModuleDepsFingerprint as f, getPromiseMicrosLength as g, resolveDepPath as h, termNodes as i, type CheckReport as j, type CheckAction as k, leakIfNeeded as l, maybeLeak as m, normPath as n, type CheckJson as o, parseSource as p, type CheckJsonMulti as q, resetLeakCounter as r, sidecarSpecsOf as s, termDepth as t, type ConstraintBuilder as u, type EffectiveInterface as v, type InterfaceDiag as w, type InterfaceTierInfo as x, type NamedImport as y, type NudoField as z };
+export { constraintAdmitsNullish as $, type EffectiveInterface as A, type InterfaceDiag as B, type CheckIssue as C, type Diagnostic as D, type EffectiveInterfaceOpts as E, type InterfaceTierInfo as F, type GitlabCodeQualityIssue as G, type NamedImport as H, type InterfaceSource as I, type NudoField as J, type NudoFnConstraint as K, type LeakBudget as L, MAX_PROMISE_MICROS as M, type NudoConstraint as N, NudoSidecarError as O, type NudoSig as P, type RefineEntry as Q, type RefineDiag as R, type RefineResolveOpts as S, SELF as T, actionsForIssue as U, andC as V, any as W, array as X, boolean as Y, checkArg as Z, checkCall as _, type InterfaceTierOpts as a, constraintToEntryAbs as a0, drainPromiseMicros as a1, effectiveInterface as a2, enterPromiseExecutorScope as a3, evalPromiseCtor as a4, evalPromiseMethod as a5, evalPromiseStatic as a6, execNudoModule as a7, extractDeclaredThrows as a8, extractFnBudget as a9, notePromiseExecutorFork as aA, nullable as aB, number as aC, omit as aD, partial as aE, pick as aF, queuePromiseMicro as aG, refineDiagCount as aH, refineToIndexedFull as aI, resetNudoModuleExecCache as aJ, resetParseSourceCache as aK, resetSidecarLoadFailureCache as aL, serializeCheckJson as aM, serializeCheckJsonMulti as aN, setInterfaceDiagCollector as aO, setRefineDiagCollector as aP, shape as aQ, sidecarClosureFingerprint as aR, sidecarPathOf as aS, string as aT, takeInterfaceDiags as aU, takeInterfaceDiagsSince as aV, takeRefineDiags as aW, takeRefineDiagsSince as aX, throwConstraintToKinds as aY, union as aZ, extractNudoImports as aa, extractRefineReturnFromSource as ab, extractRefinesFromSource as ac, fn as ad, fnConstraintToEntryReqs as ae, formatCheckReport as af, formatConstraint as ag, formatDiagnostics as ah, formatEffectiveInterfaceDisplay as ai, formatGithubAnnotations as aj, formatGitlabCodeQuality as ak, formatInterfaceTierLine as al, generatedExportNames as am, getParseSourceCacheSize as an, getTerm as ao, instantiateConstraint as ap, interfaceDiagCount as aq, interfaceSourceOf as ar, interfaceTierOf as as, isIntFlag as at, isNodeModulesPath as au, isNudoConstraint as av, leavePromiseExecutorScope as aw, lenTerm as ax, litC as ay, localNamedExports as az, type LoadDepsFingerprint as b, extractAllLoadSpecs as c, defaultLeakBudget as d, exceedsBudget as e, loadModuleDepsFingerprint as f, getPromiseMicrosLength as g, resolveDepPath as h, stablePathKey as i, stablePathKeyGraph as j, termNodes as k, leakIfNeeded as l, maybeLeak as m, normPath as n, type CheckReport as o, parseSource as p, CONSTRAINT_BUILDERS as q, resetLeakCounter as r, sidecarSpecsOf as s, termDepth as t, CONSTRAINT_BUILDER_NAMES as u, CONSTRAINT_EXPR_RE as v, type CheckAction as w, type CheckJson as x, type CheckJsonMulti as y, type ConstraintBuilder as z };