@nudojs/core 1.14.1 → 1.15.0

package/dist/index.js

@@ -74,7 +74,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-4GZPH6YL.js";
+} from "./chunk-47UPDZHE.js";
 import {
   $add,
   $arguments,
@@ -190,6 +190,7 @@ import {
   CONSTRAINT_BUILDER_NAMES,
   CONSTRAINT_EXPR_RE,
   DEFAULT_MAX_LOOP_ITERS,
+  DIAG,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
   LOOP_TRUNCATION_LABEL,
@@ -535,7 +536,7 @@ import {
   withExecPhi,
   withInvariantSpecs,
   withVar
-} from "./chunk-JMOQEJTD.js";
+} from "./chunk-NUTYUT3I.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -657,7 +658,7 @@ function checkArg(arg, expect, phi = pTrue) {
   if (arg.shape.k === "unknown" && !arg.term) {
     return {
       severity: "warning",
-      code: "nudo:arg-opaque",
+      code: DIAG.argOpaque,
       message: `argument type is unknown; cannot verify constraint ${predToString(expect)}`,
       suggestion: "add a call site or @nudo:case, or provide preconditions via --assume"
     };
@@ -671,7 +672,7 @@ function checkArg(arg, expect, phi = pTrue) {
     if (ok === false) {
       return {
         severity: "error",
-        code: "nudo:constraint-violated",
+        code: DIAG.constraintViolated,
         message: `argument ${JSON.stringify(lvR.value)} does not satisfy ${predToString(expect)}`,
         suggestion: `use a value satisfying the constraint, or relax the function precondition`
       };
@@ -679,7 +680,7 @@ function checkArg(arg, expect, phi = pTrue) {
   }
   return {
     severity: "warning",
-    code: "nudo:constraint-unproven",
+    code: DIAG.constraintUnproven,
     message: `cannot prove the argument satisfies ${predToString(expect)}`,
     suggestion: `not enough information; use --assume or add a case`
   };
@@ -708,7 +709,7 @@ function checkCall(source, fnName, args, phi = pTrue) {
   if (!g) {
     diags.push({
       severity: "error",
-      code: "nudo:fn-not-found",
+      code: DIAG.fnNotFound,
       message: `function ${fnName} not found`
     });
     return diags;
@@ -716,7 +717,7 @@ function checkCall(source, fnName, args, phi = pTrue) {
   if (args.length !== g.params.length) {
     diags.push({
       severity: "error",
-      code: "nudo:arg-count",
+      code: DIAG.argCount,
       message: `${fnName} expects ${g.params.length} argument(s), got ${args.length}`,
       fn: fnName
     });
@@ -731,7 +732,7 @@ function checkCall(source, fnName, args, phi = pTrue) {
   if (g.symbolic.conf === "partial" || g.symbolic.conf === "opaque") {
     diags.push({
       severity: "info",
-      code: "nudo:partial-result",
+      code: DIAG.partialResult,
       message: `${fnName}(...) result confidence ${g.symbolic.conf}`,
       suggestion: "add a call site or constraint to improve precision",
       fn: fnName
@@ -1499,7 +1500,7 @@ function interfaceDriftIssues(candidates, callRecords, evalResult) {
       if (leqAbs(today2, expected2).ok && leqAbs(expected2, today2).ok) continue;
       out.push({
         severity: "warning",
-        code: "nudo:interface-drift",
+        code: DIAG.interfaceDrift,
         message: `${cand.fnName}[${param}]: persisted @generated segment \u2260 today's call-site domain`,
         actual: formatAbs(today2),
         expected: formatConstraint(constraint),
@@ -1524,7 +1525,7 @@ function interfaceDriftIssues(candidates, callRecords, evalResult) {
     if (leqAbs(today, expected).ok && leqAbs(expected, today).ok) continue;
     out.push({
       severity: "warning",
-      code: "nudo:interface-drift",
+      code: DIAG.interfaceDrift,
       message: `${cand.fnName}[return]: persisted @generated segment \u2260 today's inferred return`,
       actual: formatAbs(today),
       expected: formatConstraint(retC),
@@ -1725,7 +1726,9 @@ function moduleMapId(m) {
 function checkMemoKey(filePath, source, identityOpts, deps, sidecarFp) {
   return [
     hashSource(source),
-    filePath,
+    // filePath 过 stablePathKey 归一（与依赖索引/逐出同口径）：同一文件的
+    // 裸路径与 file:// URL 两种形态不得各占一条 memo 条目（命中率损耗）。
+    stablePathKey(filePath),
     `${loadModuleId(identityOpts.loadModule)}:${identityOpts.fromFile ?? ""}`,
     deps.fp,
     sidecarFp ?? "-",
@@ -1943,7 +1946,7 @@ function structuralAssignIssues(records) {
     if (!leq.ok) {
       out.push({
         severity: "error",
-        code: "nudo:assign-mismatch",
+        code: DIAG.assignMismatch,
         message: `${r.name}: assignment \u22AD existing shape`,
         actual: formatAbs(r.next),
         expected: formatAbs(r.prev),
@@ -2086,7 +2089,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
             const field = fieldPath.join(".");
             out.push({
               severity: "error",
-              code: "nudo:case-inconsistency",
+              code: DIAG.caseInconsistency,
               message: `${fnName} case "${caseName}": witness \u22AD contract`,
               actual: formatAbs(arg),
               expected: `missing field ${field}`,
@@ -2110,7 +2113,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
           const paramName = entry.param || paramNames[idx] || `arg${idx}`;
           out.push({
             severity: "error",
-            code: "nudo:case-inconsistency",
+            code: DIAG.caseInconsistency,
             message: `${fnName} case "${caseName}": witness \u22AD contract`,
             actual: formatAbs(arg),
             expected: formatConstraint(entry.constraint),
@@ -2126,7 +2129,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
         const paramName = entry.param || paramNames[idx] || `arg${idx}`;
         out.push({
           severity: "error",
-          code: "nudo:case-inconsistency",
+          code: DIAG.caseInconsistency,
           message: `${fnName} case "${caseName}": witness \u22AD contract`,
           actual: formatAbs(arg),
           expected: formatConstraint(entry.constraint),
@@ -2148,7 +2151,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
             const paramName = entry.param || paramNames[idx] || `arg${idx}`;
             out.push({
               severity: "error",
-              code: "nudo:case-inconsistency",
+              code: DIAG.caseInconsistency,
               message: `${fnName} case "${caseName}": witness \u22AD contract`,
               actual: formatAbs(arg),
               expected: predToString(p),
@@ -2375,7 +2378,7 @@ function sidecarDiagIssues(diags) {
     const k = `${d.code}\0${d.message}`;
     if (seen.has(k)) continue;
     seen.add(k);
-    const severity = d.code === "nudo:contract-syntax" || d.code === "nudo:directive-syntax" ? "warning" : "error";
+    const severity = d.code === DIAG.contractSyntax || d.code === DIAG.directiveSyntax ? "warning" : "error";
     out.push({ severity, code: d.code, message: d.message });
   }
   return out;
@@ -2397,7 +2400,7 @@ function assumePremisesPhiOf(name, source, file, issues) {
     if (seg.kind === "bad") {
       issues.push({
         severity: "error",
-        code: "nudo:assume-invalid",
+        code: DIAG.assumeInvalid,
         message: `${name}: malformed @nudo:assume '${seg.raw}' (expected <param> <= <param> or <param> >= <param>; constant bounds belong to sidecar contracts)`,
         actual: seg.raw,
         expected: "<param> <= <param>",
@@ -2410,7 +2413,7 @@ function assumePremisesPhiOf(name, source, file, issues) {
     if (bad.length > 0) {
       issues.push({
         severity: "error",
-        code: "nudo:assume-invalid",
+        code: DIAG.assumeInvalid,
         message: `${name}: @nudo:assume name(s) not bound as parameters or top-level locals (${bad.join(", ")})`,
         actual: bad.join(", "),
         expected: surface || "(no params/locals)",
@@ -2441,7 +2444,7 @@ function invariantSpecsOf(name, source, file, issues) {
     if (seg.kind === "bad") {
       issues.push({
         severity: "warning",
-        code: "nudo:invariant-invalid",
+        code: DIAG.invariantInvalid,
         message: `${name}: malformed @nudo:invariant '${seg.raw}' (expected <name><path> <rel> <number>; path = [*] or .member steps)`,
         actual: seg.raw,
         expected: "<name><path> <rel> <number>",
@@ -2453,7 +2456,7 @@ function invariantSpecsOf(name, source, file, issues) {
     if (!bindable.has(seg.name)) {
       issues.push({
         severity: "warning",
-        code: "nudo:invariant-invalid",
+        code: DIAG.invariantInvalid,
         message: `${name}: @nudo:invariant name not bound as a parameter or top-level local (${seg.name})`,
         actual: seg.name,
         expected: surface || "(no params/locals)",
@@ -2592,7 +2595,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
           const loc = findFnLoc(file, name);
           issues.push({
             severity: entryThrowsMode === "warning" ? "warning" : "error",
-            code: "nudo:entry-may-throw",
+            code: DIAG.entryMayThrow,
             message: `${name} (export): may throw ${gateDisplay}`,
             actual: `${name}(\u2026)    throws ${gateDisplay}`,
             expected: "entry total, or @nudo:throws / try-catch",
@@ -2617,7 +2620,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       }
       issues.push({
         severity: "warning",
-        code: "nudo:no-signature",
+        code: DIAG.noSignature,
         message: `${name}: could not generalize a symbolic Abs`,
         suggestion: "add @nudo:case or make the body algebraically evaluable",
         fn: name
@@ -2637,7 +2640,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
         const loc = findFnLoc(file, name);
         issues.push({
           severity: entryThrowsMode === "warning" ? "warning" : "error",
-          code: "nudo:entry-may-throw",
+          code: DIAG.entryMayThrow,
           message: `${name} (export): may throw ${gateDisplay}`,
           actual: `${formatEntrySigLine(name, g, gateDisplay)}`,
           expected: "entry total, or @nudo:throws / try-catch",
@@ -2681,7 +2684,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       const where = symbolicTrueUnknown ? `${name} => unknown` : `${name} param ${g.params[unknownParamIdx] ?? `#${unknownParamIdx}`}: unknown`;
       issues.push({
         severity: "warning",
-        code: "nudo:unknown-inference",
+        code: DIAG.unknownInference,
         message: `${name}: signature has true unknown (inference failed)`,
         actual: where,
         expected: "computable Abs (any = unconstrained, unknown = engine debt)",
@@ -2702,7 +2705,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
           const surface = [...contractNames].filter((n) => !n.startsWith("_p") && n !== "_").join(", ");
           issues.push({
             severity: "error",
-            code: "nudo:interface-param-mismatch",
+            code: DIAG.interfaceParamMismatch,
             message: `${name}: contract parameter name(s) not in the formal parameter list (${unknownParams.join(", ")})`,
             actual: unknownParams.join(", "),
             expected: surface || g.params.join(", ") || "(no params)",
@@ -2715,7 +2718,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
         if (eff.conflict.params.length > 0) {
           issues.push({
             severity: "error",
-            code: "nudo:interface-conflict",
+            code: DIAG.interfaceConflict,
             message: `${name}: handwritten contract conjunction unsatisfiable (${eff.conflict.params.join(", ")})`,
             suggestion: "check whether the source @nudo:contract and the same-name sidecar binding have contradictory constant bounds",
             fn: name
@@ -2724,7 +2727,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
         if (eff.conflict.returns) {
           issues.push({
             severity: "error",
-            code: "nudo:interface-conflict",
+            code: DIAG.interfaceConflict,
             message: `${name}: handwritten contract conjunction unsatisfiable on the return slot`,
             suggestion: "check whether the source @nudo:contract return and the sidecar fn() return constraint are contradictory (the return slot is not enforced when they are)",
             fn: name
@@ -2760,7 +2763,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (g.symbolic.conf === "opaque" && !truncated.has(name)) {
       issues.push({
         severity: "info",
-        code: "nudo:opaque-result",
+        code: DIAG.opaqueResult,
         message: `${name}(...): conf=opaque (path not covered, or native)`,
         suggestion: opaqueEnvHint ? OPAQUE_ENV_HINT : OPAQUE_EVIDENCE_HINT,
         fn: name
@@ -2771,7 +2774,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (label === FORK_TRUNCATION_LABEL) {
       issues.push({
         severity: "info",
-        code: "nudo:fork-truncated",
+        code: DIAG.forkTruncated,
         message: `Branch expansion was truncated (fork budget); affected results widened to unknown#opaque (budget)`,
         suggestion: "optional: raise nudo.analysis.maxForks, or @nudo:budget forks=\u2026 on the function \u2014 non-blocking"
       });
@@ -2780,7 +2783,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (label === PROMISE_MICRO_OVERFLOW_LABEL) {
       issues.push({
         severity: "info",
-        code: "nudo:promise-micro-truncated",
+        code: DIAG.promiseMicroTruncated,
         message: `Promise microtask queue hit its hard cap; further then/catch callbacks were dropped (results stay fail-closed)`,
         suggestion: "optional: reduce top-level Promise.then fan-out \u2014 non-blocking"
       });
@@ -2789,7 +2792,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (label === PROMISE_MICRO_ERROR_LABEL) {
       issues.push({
         severity: "info",
-        code: "nudo:promise-micro-error",
+        code: DIAG.promiseMicroError,
         message: `A promise microtask threw while draining; the error was recorded and did not rewrite the synchronous return value`,
         suggestion: "optional: inspect the then/catch callback for a throw path \u2014 non-blocking"
       });
@@ -2798,7 +2801,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (label === MATH_FOLD_ERROR_LABEL) {
       issues.push({
         severity: "info",
-        code: "nudo:math-fold-error",
+        code: DIAG.mathFoldError,
         message: `A Math native fold threw during analysis (host-tampered or divergent Math.*); the result was widened to number`,
         suggestion: "optional: keep Math.* builtins unmodified in analyzed code, or mock them with @nudo:mock \u2014 non-blocking"
       });
@@ -2808,7 +2811,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       const hostName = label.slice(HOST_EFFECT_LABEL_PREFIX.length);
       issues.push({
         severity: "info",
-        code: "nudo:host-effect-blocked",
+        code: DIAG.hostEffectBlocked,
         message: `Host function '${hostName}' is not executed during analysis (network/timer side effect); result widened to unknown#opaque`,
         suggestion: "optional: mock it with @nudo:mock / @nudo:env, or pass the value in from a call site",
         fn: hostName
@@ -2818,7 +2821,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (label === LOOP_TRUNCATION_LABEL) {
       issues.push({
         severity: "info",
-        code: "nudo:loop-truncated",
+        code: DIAG.loopTruncated,
         message: `A loop did not terminate within its iteration budget (abstract unroll cap reached and the exit condition stayed concrete-true); affected loop state was widened (bounded, not exact)`,
         suggestion: "optional: restructure so the exit condition becomes abstract (data-dependent) within a few iterations, or pin the result with @nudo:case / @nudo:contract \u2014 non-blocking"
       });
@@ -2829,7 +2832,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     const calls = reasons.has("calls");
     issues.push({
       severity: "info",
-      code: "nudo:recursion-truncated",
+      code: DIAG.recursionTruncated,
       message: allCycle ? `Recursive evaluation of '${label}' hit a call cycle (same abstract arguments already on the stack); result widened to unknown#opaque (cycle \u2014 budget cannot lift this)` : `Recursive evaluation of '${label}' was truncated (${depth && calls ? "depth/size budget" : depth ? "call-depth budget" : calls ? "total-calls budget" : "depth/size budget"}); result widened to unknown#opaque (budget \u2014 not inference debt)`,
       suggestion: allCycle ? "a call cycle is not a budget: make the recursion arguments vary per level, narrow the base case, or declare @nudo:contract \u2014 raising @nudo:budget will not change this" : depth && !calls ? "raise the function budget with @nudo:budget depth=\u2026 (or narrow the recursion base case / declare @nudo:contract return)" : calls && !depth ? "raise the function budget with @nudo:budget calls=\u2026 (or narrow the recursion base case / declare @nudo:contract return)" : "raise the function budget with @nudo:budget calls=\u2026 depth=\u2026 (or narrow the recursion base case / declare @nudo:contract return)",
       reason: allCycle ? "cycle" : depth && calls ? "budget" : depth ? "depth" : calls ? "calls" : "budget",
@@ -2952,7 +2955,7 @@ function checkReturnConstraint(fnName, cName, constraint, ret, assumeDisplay, in
     if (assumeDisplay && assumeDisplay.length > 0) {
       relied.push({
         severity: "info",
-        code: "nudo:assume-relied",
+        code: DIAG.assumeRelied,
         message: `${fnName}: return contract proved via @nudo:assume ${assumeDisplay.join("; ")}`,
         actual: `proof relies on user lemma${assumeDisplay.length > 1 ? "s" : ""}`,
         expected: "engine verifies the obligation, not the lemma itself",
@@ -2963,7 +2966,7 @@ function checkReturnConstraint(fnName, cName, constraint, ret, assumeDisplay, in
     if (invariantDisplay && invariantDisplay.length > 0) {
       relied.push({
         severity: "info",
-        code: "nudo:invariant-relied",
+        code: DIAG.invariantRelied,
         message: `${fnName}: return contract proved via @nudo:invariant ${invariantDisplay.join("; ")}`,
         actual: `proof relies on user invariant${invariantDisplay.length > 1 ? "s" : ""}`,
         expected: "engine verifies the obligation, not the loop invariant itself",
@@ -2976,7 +2979,7 @@ function checkReturnConstraint(fnName, cName, constraint, ret, assumeDisplay, in
   const push = (severity, actual, expected, suggestion) => [
     {
       severity,
-      code: severity === "error" ? "nudo:constraint-violated" : "nudo:unproven-return",
+      code: severity === "error" ? DIAG.constraintViolated : DIAG.unprovenReturn,
       message: `${fnName}: return value \u22AD @nudo:contract return ${cName}`,
       actual,
       expected,

package/dist/internal.d.ts

@@ -4,6 +4,86 @@ import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-D
 export { $ as $tryDigestSoft, e as $tryMarkSoft, f as $tryReleaseSoft, E as ERROR_FAMILY, g as EvalFallbackStats, M as MayThrowEffect, h as absLit, i as absNumLit, j as absStrLit, k as allAbsStr, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, o as errorTypeAbs, p as exitEvalCallBudgetSession, q as filterDeclaredThrows, r as filterGateThrows, s as filterIgnoredThrows, t as flushMayThrowEffects, u as formatThrowsAbs, v as getEvalCallBudgetState, w as getEvalFallbackStats, x as getMayThrowCollector, y as isThrowsIgnored, z as mayThrowEffectsToAbs, B as orphanMayThrowEffects, D as popMayThrowFrame, F as pushMayThrowFrame, G as recordMayThrow, H as resetEvalFallbackStats, I as runWithMayThrowSession, J as setMayThrowCollector, K as throwAbsToKinds, N as throwsKindCovered, O as withEvalBudgetOverride } from './run-DfloWX6i.js';
 import { File, Node } from '@babel/types';
 
+/**
+ * 诊断码唯一注册表（P3-7）：所有 `nudo:*` 诊断码字符串的单一真理源。
+ *
+ * - 零依赖叶子：core 内部相对 import，跨包（parser/service/lsp/nudojs）
+ *   走 `@nudojs/core/internal`——不引环、加载零成本。
+ * - 拼写漂移在类型层不可表达：键不存在 → tsc 报错，新增码只能落在本表。
+ * - 门禁联动：packages/website/tests/docs-coverage.test.ts 的 emittedCodes()
+ *   以「本注册表 ∪ src 残留字面量」双源强制诊断术语表（en+zh）锚点——
+ *   注册表里每个码都必须有 `{#nudo-<code>}` 锚点（冒号转连字符）。
+ * - 非诊断码的 `nudo:*` 字符串**不进**本表：指令名（`nudo:case` 等）、
+ *   控制流/Error 标记（`nudo:throw` / `nudo:return` / `nudo:loop` /
+ *   `nudo:unsupported`）、Symbol 哨兵（`nudo:not-literal` / `nudo:json-omit` /
+ *   `nudo:no-lit-key`）。
+ */
+/** 键名 = 码去掉 `nudo:` 前缀后按 `-` 分段转 camelCase。 */
+declare const DIAG: {
+    readonly argCount: "nudo:arg-count";
+    readonly argOpaque: "nudo:arg-opaque";
+    readonly argStructure: "nudo:arg-structure";
+    readonly assignMismatch: "nudo:assign-mismatch";
+    readonly constraintUnproven: "nudo:constraint-unproven";
+    readonly constraintViolated: "nudo:constraint-violated";
+    readonly fnNotFound: "nudo:fn-not-found";
+    readonly partialResult: "nudo:partial-result";
+    readonly unprovenReturn: "nudo:unproven-return";
+    readonly assumeInvalid: "nudo:assume-invalid";
+    readonly assumeRelied: "nudo:assume-relied";
+    readonly contractSyntax: "nudo:contract-syntax";
+    readonly directiveSyntax: "nudo:directive-syntax";
+    readonly invariantInvalid: "nudo:invariant-invalid";
+    readonly invariantRelied: "nudo:invariant-relied";
+    readonly mockInvalid: "nudo:mock-invalid";
+    readonly caseExpected: "nudo:case-expected";
+    readonly caseInconsistency: "nudo:case-inconsistency";
+    readonly dualEntry: "nudo:dual-entry";
+    readonly entryMayThrow: "nudo:entry-may-throw";
+    readonly mayThrow: "nudo:may-throw";
+    readonly noSignature: "nudo:no-signature";
+    readonly builtinUnknown: "nudo:builtin-unknown";
+    readonly forkTruncated: "nudo:fork-truncated";
+    readonly hostEffectBlocked: "nudo:host-effect-blocked";
+    readonly loopTruncated: "nudo:loop-truncated";
+    readonly mathFoldError: "nudo:math-fold-error";
+    readonly opaqueResult: "nudo:opaque-result";
+    readonly promiseMicroError: "nudo:promise-micro-error";
+    readonly promiseMicroTruncated: "nudo:promise-micro-truncated";
+    readonly recursionTruncated: "nudo:recursion-truncated";
+    readonly unknownInference: "nudo:unknown-inference";
+    readonly unknownRecv: "nudo:unknown-recv";
+    readonly missingSlot: "nudo:missing-slot";
+    readonly noMethod: "nudo:no-method";
+    readonly interfaceConflict: "nudo:interface-conflict";
+    readonly interfaceCycle: "nudo:interface-cycle";
+    readonly interfaceDomainExceeds: "nudo:interface-domain-exceeds";
+    readonly interfaceDrift: "nudo:interface-drift";
+    readonly interfaceEmitDenied: "nudo:interface-emit-denied";
+    readonly interfaceEntryOnly: "nudo:interface-entry-only";
+    readonly interfaceLoad: "nudo:interface-load";
+    readonly interfaceMultiDeclarator: "nudo:interface-multi-declarator";
+    readonly interfaceNameClash: "nudo:interface-name-clash";
+    readonly interfaceNotProjectable: "nudo:interface-not-projectable";
+    readonly interfaceParamMismatch: "nudo:interface-param-mismatch";
+    readonly interfaceUnderivable: "nudo:interface-underivable";
+    readonly envHarvestConflict: "nudo:env-harvest-conflict";
+    readonly envUnresolved: "nudo:env-unresolved";
+    readonly exportsUnresolved: "nudo:exports-unresolved";
+    readonly missingExport: "nudo:missing-export";
+    readonly moduleCycle: "nudo:module-cycle";
+    readonly moduleDepth: "nudo:module-depth";
+    readonly moduleMissing: "nudo:module-missing";
+    readonly internal: "nudo:internal";
+    readonly pathEmptyDir: "nudo:path-empty-dir";
+    readonly pathIo: "nudo:path-io";
+    readonly pathMissingCallsite: "nudo:path-missing-callsite";
+    readonly pathNotFound: "nudo:path-not-found";
+    readonly pathNotTarget: "nudo:path-not-target";
+};
+/** 全部诊断码字面量联合（DIAG 值的类型面）。 */
+type DiagCode = (typeof DIAG)[keyof typeof DIAG];
+
 /**
  * 源码文本工具：注释/字符串/正则字面量剥离。
  * 原文正则特性探测（require/import/exports 等）必须先剥再测——
@@ -790,4 +870,4 @@ declare function runWithEvalMissingSlot<T>(enabled: boolean, body: () => T): T;
  */
 declare function noteObjSlotMissing(recv: Abs | undefined, name: string, loc?: [number, number]): boolean;
 
-export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type ClassDef, type CollectAbsInlaysOpts, type CollectorScopeParticipant, type DerivationNode, type DiagChannel, type EvalMemberDiag, FORK_TRUNCATION_LABEL, type FnFp, HOST_EFFECT_LABEL_PREFIX, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_CALL_DEPTH, MAX_EVAL_TOTAL_FORKS, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, PROMISE_MICRO_ERROR_LABEL, PROMISE_MICRO_OVERFLOW_LABEL, type ScopedDiagChannel, type ScopedSlot, type StringLiteralSpan, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpEvalForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, clearLiveImportRefreshers, coerceAsyncReturn, collectAbsInlays, concatString, createDiagChannel, createScopedDiagChannel, createScopedSlot, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, escapeTemplateTypeFixed, exitCall, fixedLengthOfViews, fnFingerprints, formatObjectKey, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClass, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isJsBindingIdent, isJsIdent, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, maskCommentsAndStrings, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, registerCollectorScopeParticipant, resetAbsCallBudget, resetEvalForkBudget, resetFnFpCache, resetHashSourceCache, runWithCollectorScope, runWithEvalMissingSlot, safeMemberAccess, sanitizeCommentText, scanStringLiterals, setAbsTruncationCollector, setDerivation, setDerivationCollector, setEvalForkBudgetLimit, setEvalMissingSlotEnabled, setMemberDiagCollector, sourceHasCjsExports, sourceHasModuleDependency, sourceHasRequireCall, stableAnalyzeKeySource, stableCallId, stripCommentsAndStrings, stripStringsKeepComments, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, toJsBindingIdent, truncatedAbs, viewTemplateParts, withFnBudgetOverride, wrapPromise };
+export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type ClassDef, type CollectAbsInlaysOpts, type CollectorScopeParticipant, DIAG, type DerivationNode, type DiagChannel, type DiagCode, type EvalMemberDiag, FORK_TRUNCATION_LABEL, type FnFp, HOST_EFFECT_LABEL_PREFIX, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_CALL_DEPTH, MAX_EVAL_TOTAL_FORKS, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, PROMISE_MICRO_ERROR_LABEL, PROMISE_MICRO_OVERFLOW_LABEL, type ScopedDiagChannel, type ScopedSlot, type StringLiteralSpan, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpEvalForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, clearLiveImportRefreshers, coerceAsyncReturn, collectAbsInlays, concatString, createDiagChannel, createScopedDiagChannel, createScopedSlot, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, escapeTemplateTypeFixed, exitCall, fixedLengthOfViews, fnFingerprints, formatObjectKey, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClass, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isJsBindingIdent, isJsIdent, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, maskCommentsAndStrings, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, registerCollectorScopeParticipant, resetAbsCallBudget, resetEvalForkBudget, resetFnFpCache, resetHashSourceCache, runWithCollectorScope, runWithEvalMissingSlot, safeMemberAccess, sanitizeCommentText, scanStringLiterals, setAbsTruncationCollector, setDerivation, setDerivationCollector, setEvalForkBudgetLimit, setEvalMissingSlotEnabled, setMemberDiagCollector, sourceHasCjsExports, sourceHasModuleDependency, sourceHasRequireCall, stableAnalyzeKeySource, stableCallId, stripCommentsAndStrings, stripStringsKeepComments, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, toJsBindingIdent, truncatedAbs, viewTemplateParts, withFnBudgetOverride, wrapPromise };

package/dist/internal.js

@@ -22,11 +22,12 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-4GZPH6YL.js";
+} from "./chunk-47UPDZHE.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
   $tryReleaseSoft,
+  DIAG,
   ERROR_FAMILY,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
@@ -171,7 +172,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-JMOQEJTD.js";
+} from "./chunk-NUTYUT3I.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {
@@ -612,6 +613,7 @@ export {
   $tryDigestSoft,
   $tryMarkSoft,
   $tryReleaseSoft,
+  DIAG,
   ERROR_FAMILY,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,

package/package.json

@@ -1,8 +1,8 @@
 {
   "name": "@nudojs/core",
-  "version": "1.14.1",
+  "version": "1.15.0",
   "engines": {
-    "node": ">=20"
+    "node": ">=22"
   },
   "description": "Nudo type system: type-as-computation (Abs = shape × term × pred × conf)",
   "type": "module",