@nudojs/core 1.15.2 → 1.17.0

package/dist/internal.d.ts

@@ -1,7 +1,7 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-07VnMktV.js';
-export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as budgetAttributionSegs, f as defaultLeakBudget, g as exceedsBudget, h as exportedNameOfLocal, i as extractAllLoadSpecs, j as getPromiseMicrosLength, l as leakIfNeeded, k as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, o as resolveDepPath, s as sidecarSpecsOf, q as stablePathKey, t as stablePathKeyGraph, u as termDepth, v as termNodes } from './projection-budget-07VnMktV.js';
-import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-DfloWX6i.js';
-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 { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-BkFV9pcs.js';
+export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as budgetAttributionSegs, f as defaultLeakBudget, g as exceedsBudget, h as exportedNameOfLocal, i as extractAllLoadSpecs, j as getPromiseMicrosLength, l as leakIfNeeded, k as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, o as resolveDepPath, s as sidecarSpecsOf, q as stablePathKey, t as stablePathKeyGraph, u as termDepth, v as termNodes } from './projection-budget-BkFV9pcs.js';
+import { A as Abs, T as Term, c as AbsModuleExports, R as RunTranspiledOptions, d as AstEnv } from './run-tV2J7PNI.js';
+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-tV2J7PNI.js';
 import { File, Node } from '@babel/types';
 
 /**
@@ -41,6 +41,14 @@ declare const DIAG: {
     readonly dualEntry: "nudo:dual-entry";
     readonly entryMayThrow: "nudo:entry-may-throw";
     readonly mayThrow: "nudo:may-throw";
+    /**
+     * 模块**装载期必然抛**（顶层无条件 `throw`）⇒ 模块根本无法被导入 ⇒ 导出
+     * 全丢、L2 无证据。fail-closed：禁用句法证据（`throw` 语句）判「必抛」，
+     * **不**采信引擎的抽象域结论（宿主 API 的近似也会让引擎抛，那是引擎债，
+     * 程序本身能正常加载）。详见 `check-may-throw.ts` 的
+     * `definiteModuleThrowOf`。
+     */
+    readonly moduleThrow: "nudo:module-throw";
     readonly noSignature: "nudo:no-signature";
     readonly builtinUnknown: "nudo:builtin-unknown";
     readonly forkTruncated: "nudo:fork-truncated";
@@ -74,7 +82,27 @@ declare const DIAG: {
     readonly moduleCycle: "nudo:module-cycle";
     readonly moduleDepth: "nudo:module-depth";
     readonly moduleMissing: "nudo:module-missing";
+    /**
+     * 模块**存在但不可读**（EACCES / EIO / EMFILE…）——与 moduleMissing
+     * （无此文件）严格区分（Bug 499）：文件就在那儿，只是读不了；折叠成
+     * 「不存在」会让诊断与事实相反。service 面（analyzer-orchestrate-uncached）
+     * 已用同一码。
+     */
+    readonly moduleUnreadable: "nudo:module-unreadable";
+    /**
+     * `.json` 依赖**存在但 JSON 语法非法**（Bug 457）——与 moduleMissing
+     * （无此文件）、moduleUnreadable（读不了）都不同：文件在、也读得到，
+     * 只是内容不是合法 JSON ⇒ 取不到任何值。
+     */
+    readonly jsonInvalid: "nudo:json-invalid";
     readonly internal: "nudo:internal";
+    /**
+     * `nudo migrate strip` 的**逐文件**失败（语法错 / TS-only 残留）——
+     * 机器面 `pathErrors[].code`。此前 CLI 层直写字面量（绕过注册表），
+     * 术语表反向对账（docs-coverage rule 19）只能靠 src 字面量扫描兜住；
+     * 进注册表后本码的「可发射」由 DIAG 单点保证。
+     */
+    readonly migrateStripFailed: "nudo:migrate-strip-failed";
     readonly pathEmptyDir: "nudo:path-empty-dir";
     readonly pathIo: "nudo:path-io";
     readonly pathMissingCallsite: "nudo:path-missing-callsite";
@@ -100,6 +128,7 @@ type DiagCode = (typeof DIAG)[keyof typeof DIAG];
  * - 已知限制：`if (x) /re/` 这类 `)` 后紧跟 regex 的极端写法会当除法；
  *   目标是探测器正确，不做完整 JS 词法。
  */
+
 type StringLiteralSpan = {
     /** 引号内原文（转义未折叠；模块 specifier 无需折叠） */
     value: string;
@@ -202,15 +231,29 @@ declare function stableCallId(obj: object): string;
  */
 declare function truncatedAbs(): Abs;
 /** 调用指纹：命名函数用 name+arg shapes；一等函数用对象身份。
- *  实参可能是裸 JS 值（B run 里模块函数作实参）——不得裸读 shape。 */
+ *  实参可能是裸 JS 值（B run 里模块函数作实参）——不得裸读 shape。
+ *
+ * ⚠ **两种口径**（勿混用，勿互相替代）：
+ * - 本函数 = **调用身份**键（shape 种类 + term 的**变量身份**）⇒ 服务
+ *   **调用预算 / 环检测**：同一递归点必须撞出同键（term 相同 ⇒ 同键）。
+ * - pureValueKey = **值**键（形状内容 + 字面量值）⇒ 服务 **@nudo:pure
+ *   记忆化**：按**值**承诺 ⇒ 同值必须同键（变量身份不同但值相同 ⇒ 同键）。
+ *
+ * @nudo:pure 记忆化通道（kind = "pure" 且 id 为空）在此**分流**到值
+ * 基键：记忆化键若带**变量身份**，同一变量重绑定为不同值后仍命中旧缓存
+ * ⇒ **陈旧结果**（Bug 281）。预算/环检测通道（kind = absfn / absbody /
+ * coerce-hook / 命名调用名，且 id 非空）**口径不变**。
+ * pure memo 本体（exec/pure-memo.ts）直接调用 pureValueKey；本分支保留为
+ * callBudgetKey 的既有对外语义（同一值基承诺），不改调用方行为。
+ */
 declare function callBudgetKey(kind: string, id: string, args: unknown[]): string;
 /** 记录被截断的递归（service 可映射为 nudo:recursion-truncated）。
  *  返回先前 collector，便于嵌套 save/restore。 */
 declare function setAbsTruncationCollector(collector: ((fnLabel: string, reason?: AbsTruncationReason) => void) | null): ((fnLabel: string, reason?: AbsTruncationReason) => void) | null;
 declare function noteAbsTruncation(label: string, reason?: AbsTruncationReason): void;
 /** 进入调用：cycle/超限则不执行 body，返回 opaque。
- *  归因顺序 = 守卫顺序（cycle 先于 depth 先于 calls）：同指纹调用已在栈上
- *  时无论预算多深都会立即截断——报 cycle 而不是预算（#158）。 */
+ *  归因顺序 = 守卫顺序（本状态机内）：同指纹调用已在栈上时无论预算多深
+ *  都会立即截断——报 cycle 而不是预算（#158）。 */
 declare function enterCall(key: string, label: string): boolean;
 declare function exitCall(): void;
 /**
@@ -231,7 +274,7 @@ declare const MAX_EVAL_TOTAL_FORKS = 5000;
 /**
  * 专用标签：fork 截断不是「某个递归函数被截断」，不能复用函数名 label
  * （否则 check 会误报 nudo:recursion-truncated）。service/check 按此标签
- * 映射为 `nudo:fork-truncated`（warning）。
+ * 映射为 `nudo:fork-truncated`（info —— 预算观测，非质量失败）。
  */
 declare const FORK_TRUNCATION_LABEL = "#fork-budget";
 /**
@@ -262,8 +305,8 @@ declare function resetEvalForkBudget(): void;
 /** $fork 入口：超限放弃该分支（调用方返回 unknown = 最保守，安全）。 */
 declare function bumpEvalForkBudget(): boolean;
 
-/** 每轮模块图求值入口清空：上一轮 refresh 闭包只指向已死模块作用域，
- * 语义无害但滞留膨胀；新图重新注册（evalAbsModuleGraph 入口调用）。 */
+/** 会话缓存全清时显式清空注册表（模块域随之死；弱引用本会自动回收，
+ *  这里是让「下一轮」的注册表从空开始，避免残留弱引用条目）。 */
 declare function clearLiveImportRefreshers(): void;
 
 /**
@@ -513,6 +556,17 @@ type CollectAbsInlaysOpts = InterfaceTierOpts & {
      * generalizeFromAst 看不到跨模块 import → 调用塌缩 unknown（inlay 假空）。
      */
     modules?: Record<string, AbsModuleExports | Record<string, unknown>>;
+    /**
+     * B run 注入包（modules / mocks / envGlobals / replacements / as）——
+     * 透传给 generalizeFromAst（与 CLI `buildCheckInjection` 产出的 inject
+     * 同型）。
+     *
+     * **缺省 = 行内指令全部缺席**（Bug 786）：`@nudo:mock` 的依赖变成未绑定名、
+     * `@nudo:as` / `@nudo:replace` 的覆盖表为空、env 全局未绑定 ⇒ 推导链塌缩成
+     * `unknown`（Nudo 词汇里 = 「推断失败」）⇒ IDE 显示 unknown 而 CLI 门禁
+     * 显示 number（跨产品面自相矛盾）。调用方（LSP）须与 CLI 同源装配 inject。
+     */
+    inject?: RunTranspiledOptions;
 };
 /**
  * 收集源码中函数签名的 Abs inlay：
@@ -636,6 +690,11 @@ declare function toJsBindingIdent(name: string, used?: Set<string>): string;
  * Object-literal / type-member key: bare ident or canonical integer,
  * otherwise JSON-quoted. Leading-zero digit keys (`01`) stay quoted — bare
  * `01` is a SyntaxError in modules/TS.
+ *
+ * `__proto__` 是**特例**（族 17 Bug 606）：它虽然长得像普通标识符，但在
+ * **JS 对象字面量**里 `__proto__: v` 是**原型 setter**（不是自有属性）⇒
+ * 运行时该键根本不存在（zod 形状丢键）。⇒ 一律写成计算键 `["__proto__"]`
+ * —— 计算键是普通自有属性。
  */
 declare function formatObjectKey(k: string): string;
 /**
@@ -656,10 +715,12 @@ declare function escapeTemplateTypeFixed(text: string): string;
 declare function sanitizeCommentText(text: string): string;
 
 /**
- * 语言覆盖：class / new / instanceof / this / async await。
- * brand 表示名义类；eff("promise") 表示异步效应。
+ * 语言覆盖（保留面）：class 继承链查询 + Promise 效应包装。
  *
- * 方法体：ClassDef.methods 存 AST body，调用时在 this=receiver 下求值。
+ * class / new / instanceof / async 的求值语义已由 exec 内核（class-registry /
+ * `$call`）承载；本文件只保留两个仍有跨包消费者的叶子：
+ * - `getClassChain`：leq 的 brand 继承链判定（`leq.ts`）
+ * - `wrapPromise`：契约面把同步返回值包成 promise 效应（nudojs 导出面）
  */
 
 type MethodDef = {
@@ -676,38 +737,9 @@ type ClassDef = {
     methods: Map<string, MethodDef>;
     superClass?: string;
 };
-declare function defineClass(env: AstEnv, def: ClassDef): void;
-declare function getClass(env: AstEnv, name: string): ClassDef | undefined;
 /** 沿继承链找类 */
 declare function getClassChain(env: AstEnv, name: string): ClassDef[];
-/** new C(...) → brand 实例；并跑 constructor 以写入字段 */
-declare function instantiateClass(env: AstEnv, className: string, args: Abs[], evalBody?: (fn: {
-    params: string[];
-    body: Node;
-}, args: Abs[], thisVal: Abs, env: AstEnv) => Abs): Abs;
-/** 读取当前 this 所属类的父类名 */
-declare function superNameOf(env: AstEnv, className: string): string | undefined;
-/** 品牌沿注册/内建层级上溯的父名序列（含自身；限深防环） */
-declare function classChainNames(name: string, env?: AstEnv): string[];
-declare function instanceOf(left: Abs, rightClassName: string, env?: AstEnv): Abs;
-declare function projectBrand(self: Abs, key: string): Abs;
-/** 在 brand 上查找方法定义（含继承） */
-declare function lookupMethod(env: AstEnv, receiver: Abs, methodName: string): MethodDef | undefined;
-/** 沿继承链查找方法，返回定义与所在类名 */
-declare function lookupMethodWithOwner(env: AstEnv, receiver: Abs, methodName: string): {
-    def: MethodDef;
-    owner: string;
-} | undefined;
-/** super.method()：从父类开始找（跳过当前类） */
-declare function lookupSuperMethod(env: AstEnv, receiver: Abs, fromClass: string, methodName: string): {
-    def: MethodDef;
-    owner: string;
-} | undefined;
 declare function wrapPromise(inner: Abs): Abs;
-declare function awaitAbs(v: Abs): Abs;
-declare function coerceAsyncReturn(value: Abs): Abs;
-/** 从 ClassMethod 列表构造 methods map + instance shape */
-declare function classFromMethods(name: string, methods: MethodDef[], superClass?: string, superShape?: Abs): ClassDef;
 
 /**
  * 顶层函数清单：function 声明 + const 箭头/函数表达式（含 export 包装）
@@ -715,6 +747,10 @@ declare function classFromMethods(name: string, methods: MethodDef[], superClass
  *  P1：本地 `class Foo` 经 `export { Foo }` / `export { Foo as default }` /
  *  `export default Foo` 导出时同样登记实例方法。
  *
+ * ⚠ 本清单 = **函数**普查面（与 service 面 `collectTopLevelFunctions` 逐字
+ * 对齐 ⇒ 改这里必须同步改 service 面）。**类导出入口**（`new C()`）是另一
+ * 个面 ⇒ 见 {@link listClassEntryNames}（check 面专用，不进函数普查）。
+ *
  * 从 scan.ts 拆出：纯 AST 清单，无调用图状态。
  */
 
@@ -855,6 +891,9 @@ declare const OBJECT_PROTO_NAMES: Set<string>;
  * - 闭 exact 对象：slots 是精确键集，非 OP 名缺失即确定缺失（OP 名经
  *   Object.prototype 存在，未建模 → 保守不抛）
  * - 槽存在但值是字面量（prim/null/undefined 非函数）→ 确定抛
+ * - brand 接收者：内层闭合 obj 的槽表是实例面，表外名确定缺失
+ *   （Bug 1044：env 声明的 brand 之前一律不判 ⇒ `Response.json(x).then(cb)`
+ *   假绿；原型面已建模的 brand 走 `brandProtoSurfaceModelled` 排除）
  * 保守边界：open 对象（spread/assign 产物）、非 exact conf（create(proto)
  * 的 path 产物）、OP 原型名一律不判抛——避免假抛 false positive。
  */
@@ -870,4 +909,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, 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 };
+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, beginDerivationSession, bumpEvalForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, clearLiveImportRefreshers, collectAbsInlays, concatString, createDiagChannel, createScopedDiagChannel, createScopedSlot, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, escapeTemplateTypeFixed, exitCall, fixedLengthOfViews, fnFingerprints, formatObjectKey, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, isEvalMissingSlotEnabled, isJsBindingIdent, isJsIdent, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, maskCommentsAndStrings, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, 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, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, toJsBindingIdent, truncatedAbs, viewTemplateParts, withFnBudgetOverride, wrapPromise };