@nudojs/core 1.14.0 → 1.15.0

package/dist/internal.d.ts

@@ -1,9 +1,89 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-DPPRBOLp.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 defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-DPPRBOLp.js';
-import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-DhSqP3in.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-DhSqP3in.js';
+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 { 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 等）必须先剥再测——
@@ -89,6 +169,18 @@ type AbsBudgetStats = {
     loopTruncated: boolean;
     /** 调用截断原因集合（A+B；稳定排序，进 JSON） */
     reasons: AbsTruncationReason[];
+    /** A 路径（enterCall 抽象调用）本轮截断原因——上屏归因用（与合并集 reasons 分流） */
+    callReasons: AbsTruncationReason[];
+    /** A 路径最大进入深度；depth 截断时 = 触发时深度（== 触发时生效上限） */
+    depth: number;
+    /** A 路径 depth 上限；depth 截断时 = 触发时生效上限（@nudo:budget 覆盖亦如实） */
+    maxDepth: number;
+    /** B 路径（$callNamed 求值调用）本轮截断原因 */
+    evalReasons: AbsTruncationReason[];
+    /** B 路径最大进入深度；depth 截断时 = 触发时深度（== 触发时生效上限） */
+    evalDepth: number;
+    /** B 路径 depth 上限；depth 截断时 = 触发时生效上限（@nudo:budget 覆盖亦如实） */
+    maxEvalDepth: number;
 };
 declare function getAbsCallBudgetStats(): AbsBudgetStats;
 /** 宿主入口（runTranspiled / callTranspiledExportFull / check）前重置 */
@@ -170,6 +262,10 @@ declare function resetEvalForkBudget(): void;
 /** $fork 入口：超限放弃该分支（调用方返回 unknown = 最保守，安全）。 */
 declare function bumpEvalForkBudget(): boolean;
 
+/** 每轮模块图求值入口清空：上一轮 refresh 闭包只指向已死模块作用域，
+ * 语义无害但滞留膨胀；新图重新注册（evalAbsModuleGraph 入口调用）。 */
+declare function clearLiveImportRefreshers(): void;
+
 /**
  * 可 ALS 隔离的模块级可变槽。
  * 语义：`get`/`set` 作用于当前最内层 store（无作用域 = fallback）；
@@ -774,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, 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

@@ -1,4 +1,5 @@
 import {
+  budgetAttributionSegs,
   canSkipLiteralCallScan,
   checkInjectedDomainEvidence,
   createDiagChannel,
@@ -21,11 +22,12 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-N7AGFMSD.js";
+} from "./chunk-47UPDZHE.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
   $tryReleaseSoft,
+  DIAG,
   ERROR_FAMILY,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
@@ -52,6 +54,7 @@ import {
   callBudgetKey,
   classChainNames,
   classFromMethods,
+  clearLiveImportRefreshers,
   clearPureCallMemo,
   clearPureMemo,
   coerceAsyncReturn,
@@ -169,7 +172,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-W3Z77Y2I.js";
+} from "./chunk-NUTYUT3I.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {
@@ -610,6 +613,7 @@ export {
   $tryDigestSoft,
   $tryMarkSoft,
   $tryReleaseSoft,
+  DIAG,
   ERROR_FAMILY,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
@@ -632,12 +636,14 @@ export {
   anyMemberResult,
   awaitAbs,
   beginDerivationSession,
+  budgetAttributionSegs,
   bumpEvalForkBudget,
   callBudgetKey,
   canSkipLiteralCallScan,
   checkInjectedDomainEvidence,
   classChainNames,
   classFromMethods,
+  clearLiveImportRefreshers,
   clearPureCallMemo,
   clearPureMemo,
   coerceAsyncReturn,

package/dist/{projection-budget-DPPRBOLp.d.ts → projection-budget-07VnMktV.d.ts}

@@ -1,5 +1,5 @@
 import { File } from '@babel/types';
-import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-DhSqP3in.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-DfloWX6i.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;
@@ -727,6 +727,18 @@ type CheckReport = {
         /** 循环迭代预算截断（#loop-iterations；maxIters/硬上限，非调用预算） */
         loopTruncated: boolean;
         reasons: string[];
+        /** A 路径（enterCall）截断原因——归因到具体预算/路径（depth≠calls 预算） */
+        callReasons: string[];
+        /** A 路径最大进入深度；depth 截断时 = 触发时深度（== 触发时生效上限） */
+        depth: number;
+        /** A 路径 depth 上限；depth 截断时 = 触发时生效上限 */
+        maxDepth: number;
+        /** B 路径（$callNamed）截断原因 */
+        evalReasons: string[];
+        /** B 路径最大进入深度；depth 截断时 = 触发时深度（== 触发时生效上限） */
+        evalDepth: number;
+        /** B 路径 depth 上限；depth 截断时 = 触发时生效上限 */
+        maxEvalDepth: number;
     };
 };
 /**
@@ -800,6 +812,36 @@ type CheckJsonMulti = {
 declare function serializeCheckJson(r: CheckReport): CheckJson;
 /** 多文件信封：汇总 summary，`ok` = 全部文件 ok。 */
 declare function serializeCheckJsonMulti(reports: CheckJson[]): CheckJsonMulti;
+/**
+ * budget 归因段构建器——check 面（formatCheckReport）与 health 面
+ * （nudojs commands/health）单一实现（#health-budget，两处曾各自维护
+ * 同一映射而漂移出回归）：只打触发截断的那条预算自己的计数段——
+ * depth 截断打 depth/limit 对、calls 截断打计数/上限（必到顶）、
+ * cycle 不是预算（无可打的计数）——杜绝「71/20000 却标 truncated」。
+ * 参数是 CheckReport.budget 内联对象与 AbsBudgetStats 的结构公共子集
+ * （reasons 按 `?? []` 防御，两个来源都必填但防御面保持一致）。
+ */
+declare function budgetAttributionSegs(b: {
+    calls: number;
+    maxCalls: number;
+    /** A 路径（enterCall）截断原因 */
+    callReasons?: readonly string[];
+    depth: number;
+    maxDepth: number;
+    evalCalls: number;
+    maxEvalCalls: number;
+    /** B 路径（$callNamed）截断原因 */
+    evalReasons?: readonly string[];
+    evalDepth: number;
+    maxEvalDepth: number;
+    forks: number;
+    maxForks: number;
+    forkTruncated: boolean;
+    loopTruncated: boolean;
+}): {
+    segs: string[];
+    cycleOnly: boolean;
+};
 /**
  * Nudo 原生报告：Abs 签名表 + actual ⊭ expected。
  * 不是 tsc 输出的换皮。
@@ -880,4 +922,4 @@ declare class ProjectionBudget {
     exit(): void;
 }
 
-export { any as $, type CheckJson as A, type CheckJsonMulti as B, type CheckIssue as C, type ConstraintBuilder as D, type EffectiveInterfaceOpts as E, type Diagnostic as F, type EffectiveInterface as G, type GitlabCodeQualityIssue as H, type InterfaceSource as I, INTERFACE_SOURCE_ABBR as J, type InterfaceDiag as K, type LeakBudget as L, MAX_PROMISE_MICROS as M, type NudoConstraint as N, type InterfaceTierInfo as O, PROJECTION_MAX_DEPTH as P, type NamedImport as Q, type NudoField as R, type NudoFnConstraint as S, NudoSidecarError as T, type NudoSig as U, type RefineDiag as V, type RefineEntry as W, type RefineResolveOpts as X, SELF as Y, actionsForIssue as Z, andC as _, type InterfaceTierOpts as a, takeInterfaceDiags as a$, array as a0, boolean as a1, checkArg as a2, checkCall as a3, constraintAdmitsNullish as a4, constraintToEntryAbs as a5, derefConstraint as a6, drainPromiseMicros as a7, effectiveInterface as a8, enterPromiseExecutorScope as a9, isNodeModulesPath as aA, isNudoConstraint as aB, lazy as aC, leavePromiseExecutorScope as aD, lenTerm as aE, litC as aF, localNamedExports as aG, notePromiseExecutorFork as aH, nullable as aI, number as aJ, omit as aK, partial as aL, pick as aM, queuePromiseMicro as aN, refineDiagCount as aO, refineToIndexedFull as aP, resetNudoModuleExecCache as aQ, resetParseSourceCache as aR, resetSidecarLoadFailureCache as aS, serializeCheckJson as aT, serializeCheckJsonMulti as aU, setInterfaceDiagCollector as aV, setRefineDiagCollector as aW, shape as aX, sidecarClosureFingerprint as aY, sidecarPathOf as aZ, string as a_, evalPromiseCtor as aa, evalPromiseMethod as ab, evalPromiseStatic as ac, execNudoModule as ad, extractDeclaredThrows as ae, extractFnBudget as af, extractNudoImports as ag, extractRefineReturnFromSource as ah, extractRefinesFromSource as ai, fn as aj, fnConstraintToEntryReqs as ak, formatCheckReport as al, formatConstraint as am, formatDiagnostics as an, formatEffectiveInterfaceDisplay as ao, formatGithubAnnotations as ap, formatGitlabCodeQuality as aq, formatInterfaceTierLine as ar, generatedExportNames as as, getParseSourceCacheSize as at, getTerm as au, instantiateConstraint as av, interfaceDiagCount as aw, interfaceSourceOf as ax, interfaceTierOf as ay, isIntFlag as az, type LoadDepsFingerprint as b, takeInterfaceDiagsSince as b0, takeRefineDiags as b1, takeRefineDiagsSince as b2, throwConstraintToKinds as b3, union as b4, ProjectionBudget as c, type ProjectionStopReason as d, defaultLeakBudget as e, exceedsBudget as f, exportedNameOfLocal as g, extractAllLoadSpecs as h, getPromiseMicrosLength as i, loadModuleDepsFingerprint as j, resolveDepPath as k, leakIfNeeded as l, maybeLeak as m, normPath as n, stablePathKey as o, parseSource as p, stablePathKeyGraph as q, resetLeakCounter as r, sidecarSpecsOf as s, termDepth as t, termNodes as u, type CheckReport as v, CONSTRAINT_BUILDERS as w, CONSTRAINT_BUILDER_NAMES as x, CONSTRAINT_EXPR_RE as y, type CheckAction as z };
+export { andC as $, type CheckAction as A, type CheckJson as B, type CheckIssue as C, type CheckJsonMulti as D, type EffectiveInterfaceOpts as E, type ConstraintBuilder as F, type Diagnostic as G, type EffectiveInterface as H, type InterfaceSource as I, type GitlabCodeQualityIssue as J, INTERFACE_SOURCE_ABBR as K, type LeakBudget as L, MAX_PROMISE_MICROS as M, type NudoConstraint as N, type InterfaceDiag as O, PROJECTION_MAX_DEPTH as P, type InterfaceTierInfo as Q, type NamedImport as R, type NudoField as S, type NudoFnConstraint as T, NudoSidecarError as U, type NudoSig as V, type RefineDiag as W, type RefineEntry as X, type RefineResolveOpts as Y, SELF as Z, actionsForIssue as _, type InterfaceTierOpts as a, string as a$, any as a0, array as a1, boolean as a2, checkArg as a3, checkCall as a4, constraintAdmitsNullish as a5, constraintToEntryAbs as a6, derefConstraint as a7, drainPromiseMicros as a8, effectiveInterface as a9, isIntFlag as aA, isNodeModulesPath as aB, isNudoConstraint as aC, lazy as aD, leavePromiseExecutorScope as aE, lenTerm as aF, litC as aG, localNamedExports as aH, notePromiseExecutorFork as aI, nullable as aJ, number as aK, omit as aL, partial as aM, pick as aN, queuePromiseMicro as aO, refineDiagCount as aP, refineToIndexedFull as aQ, resetNudoModuleExecCache as aR, resetParseSourceCache as aS, resetSidecarLoadFailureCache as aT, serializeCheckJson as aU, serializeCheckJsonMulti as aV, setInterfaceDiagCollector as aW, setRefineDiagCollector as aX, shape as aY, sidecarClosureFingerprint as aZ, sidecarPathOf as a_, enterPromiseExecutorScope as aa, evalPromiseCtor as ab, evalPromiseMethod as ac, evalPromiseStatic as ad, execNudoModule as ae, extractDeclaredThrows as af, extractFnBudget as ag, extractNudoImports as ah, extractRefineReturnFromSource as ai, extractRefinesFromSource as aj, fn as ak, fnConstraintToEntryReqs as al, formatCheckReport as am, formatConstraint as an, formatDiagnostics as ao, formatEffectiveInterfaceDisplay as ap, formatGithubAnnotations as aq, formatGitlabCodeQuality as ar, formatInterfaceTierLine as as, generatedExportNames as at, getParseSourceCacheSize as au, getTerm as av, instantiateConstraint as aw, interfaceDiagCount as ax, interfaceSourceOf as ay, interfaceTierOf as az, type LoadDepsFingerprint as b, takeInterfaceDiags as b0, takeInterfaceDiagsSince as b1, takeRefineDiags as b2, takeRefineDiagsSince as b3, throwConstraintToKinds as b4, union as b5, ProjectionBudget as c, type ProjectionStopReason as d, budgetAttributionSegs as e, defaultLeakBudget as f, exceedsBudget as g, exportedNameOfLocal as h, extractAllLoadSpecs as i, getPromiseMicrosLength as j, loadModuleDepsFingerprint as k, leakIfNeeded as l, maybeLeak as m, normPath as n, resolveDepPath as o, parseSource as p, stablePathKey as q, resetLeakCounter as r, sidecarSpecsOf as s, stablePathKeyGraph as t, termDepth as u, termNodes as v, type CheckReport as w, CONSTRAINT_BUILDERS as x, CONSTRAINT_BUILDER_NAMES as y, CONSTRAINT_EXPR_RE as z };

package/dist/{run-DhSqP3in.d.ts → run-DfloWX6i.d.ts}

@@ -863,11 +863,16 @@ type TranspiledCallResult = {
 declare function isAbsVal(v: unknown): v is Abs;
 /** 调用 runTranspiled 导出（捕获 $throw）。opts.phi：入口 Φ 种子
  *  （instantiate/symbolic 的约束入口——eval 侧路径条件收窄）。
+ *  opts.shareArgs：evaluator 内部桥（跨模块 import / mock 文件桥，
+ *  callTranspiledExportApply）传引用——被调方对容器实参的变异必须对
+ *  caller 帧可见（与同文件闭包调用同语义）；宿主重放（case/记录/LSP）
+ *  不传，保持 D1 防御副本。
  *  嵌套进入（导出桥 apply）继承外层预算；仅最外层宿主入口重置。
  *  #152 assume 前提不设选项位：播种统一走 withAssumePremises 动态域
  *  包裹（check.ts 的 runSeeded extent），单一机制无第二路径。 */
 declare function callTranspiledExportFull(exports: Record<string, unknown>, name: string, args: Abs[], opts?: {
     phi?: Phi;
+    shareArgs?: boolean;
 }): TranspiledCallResult;
 /** 调用 runTranspiled 导出（仅结果） */
 declare function callTranspiledExport(exports: Record<string, unknown>, name: string, args: Abs[]): Abs;
@@ -877,6 +882,10 @@ declare function callTranspiledExport(exports: Record<string, unknown>, name: st
  * 返回 AbsApplyResult（`{abs, throws}`），$call 统一路由 throws。
  * 手拆 `.result` 会静默丢 throws 面（BUG-006 根因）。
  *
+ * 桥是 evaluator 内部调用（caller 帧 → 跨模块 import）：实参传引用
+ * （shareArgs），被调方 mutator 写回 caller 绑定——与同文件闭包调用同语义；
+ * 宿主重放不走此工厂，保持 D1 防御副本。
+ *
  * `exports` 可传惰性 getter（互递归模块桥：导出表在桥创建后才赋值）。
  */
 declare function callTranspiledExportApply(exports: Record<string, unknown> | (() => Record<string, unknown>), name: string): (args: Abs[], thisVal?: Abs) => AbsApplyResult;

package/package.json

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