@nudojs/core 1.17.0 → 1.17.1

package/dist/{chunk-ARIQO5XX.js → chunk-CUFP2AYV.js}

@@ -2219,7 +2219,7 @@ function transformNode(node, source, opts, ctx2) {
 function stripTypes(ast, source, opts) {
   const { valueRefs, typeRefs, ambiguousRefs } = collectValueReferences(ast);
   const ctx2 = { valueRefs, typeRefs, ambiguousRefs };
-  const directivesBefore = countNudoDirectives(ast);
+  const directivesBefore = opts?.report ? countNudoDirectives(ast) : 0;
   transformValue(ast, source, opts, ctx2);
   if (opts?.report) {
     const directivesAfter = countNudoDirectives(ast);
@@ -2275,7 +2275,8 @@ function parseWithJsxFallback(source, plugins, opts) {
 function parseUncached(source, opts) {
   const mode = parseModeFor(opts?.filename);
   const ast = parseWithJsxFallback(source, PLUGINS_BY_MODE[mode], opts);
-  return opts?.keepTs === true ? ast : stripTypes(ast, source);
+  if (opts?.keepTs === true || mode === "js") return ast;
+  return stripTypes(ast, source);
 }
 function parseSource(source, opts) {
   if (opts?.keepTs === true || opts?.errorRecovery === true) {
@@ -12247,7 +12248,12 @@ function transpileFnBodyStmts(stmtsIn, depth, opts, varScope) {
         `${pad}let ${declNames.map((n) => `${n} = $lit(void 0)`).join(", ")};`
       );
     }
-    varOpts = { ...opts, hoistedVarNames: hoisted, keepVarDecl: void 0 };
+    varOpts = {
+      ...opts,
+      hoistedVarNames: hoisted,
+      keepVarDecl: void 0,
+      paramNames: varScope.skip
+    };
     if (opts.constNames && varScope.skip.size > 0) {
       varOpts = {
         ...varOpts,
@@ -14540,8 +14546,9 @@ function transpileAssignmentExpr(expr, opts = {}) {
         const locLine = expr.loc?.start.line ?? 0;
         const locCol = expr.loc?.start.column ?? 0;
         const valSrc = compoundFn ? `${compoundFn}(${name}, ${right})` : right;
+        const paramFlag = opts.paramNames?.has(name) === true ? ", true" : "";
         const bindSrc = !opts.inFunction ? ` $recordBinding(${JSON.stringify(name)}, ${assignV});` : "";
-        return `((${assignV}) => { $assignRecord(${JSON.stringify(name)}, ${name}, ${assignV}, ${locLine}, ${locCol}, ${cond});${bindSrc} return ${name} = ${assignV}; })(${valSrc})`;
+        return `((${assignV}) => { $assignRecord(${JSON.stringify(name)}, ${name}, ${assignV}, ${locLine}, ${locCol}, ${cond}${paramFlag});${bindSrc} return ${name} = ${assignV}; })(${valSrc})`;
       }
       throw new NudoUnsupportedError(
         `assign-target`,
@@ -19743,7 +19750,7 @@ function setEvalAssignCollector(collector) {
   evalAssignCollectorSlot.set(collector);
   return prev;
 }
-function $assignRecord(name, prev, next, line, column, conditional) {
+function $assignRecord(name, prev, next, line, column, conditional, paramBinding) {
   const evalAssignCollector = evalAssignCollectorSlot.get();
   if (!evalAssignCollector) return;
   try {
@@ -19754,6 +19761,7 @@ function $assignRecord(name, prev, next, line, column, conditional) {
       line: line || void 0,
       column: column || void 0,
       conditional,
+      ...paramBinding === true ? { paramBinding: true } : {},
       // 调用方帧深度（与 EvalCallRecord.depth 同口径——局部量投影按帧过滤）
       depth: evalBudget.depth
     });
@@ -34119,6 +34127,9 @@ var stripStringsKeepCommentsCache = new BoundedLruMap(
 var maskCommentsAndStringsCache = new BoundedLruMap(
   SOURCE_SCAN_CACHE_MAX
 );
+var maskStringsKeepCommentsCache = new BoundedLruMap(
+  SOURCE_SCAN_CACHE_MAX
+);
 var REGEX_KEYWORDS = /* @__PURE__ */ new Set([
   "await",
   "case",
@@ -34194,7 +34205,15 @@ function scanRegex(source, start) {
   }
   return n;
 }
+var scanSourceCache = new BoundedLruMap(8);
 function scanSource(source) {
+  const hit = scanSourceCache.get(source);
+  if (hit !== void 0) return hit;
+  const out = scanSourceUncached(source);
+  scanSourceCache.set(source, out);
+  return out;
+}
+function scanSourceUncached(source) {
   const spans = [];
   const literals = [];
   const n = source.length;
@@ -34388,14 +34407,17 @@ function maskCommentsAndStrings(source) {
   return out;
 }
 function maskStringsKeepComments(source) {
+  const hit = maskStringsKeepCommentsCache.get(source);
+  if (hit !== void 0) return hit;
   let out = "";
   for (const span of scanSource(source).spans) {
     out += span.kind === "string" ? span.text.replace(/[^\n]/g, " ") : span.text;
   }
+  maskStringsKeepCommentsCache.set(source, out);
   return out;
 }
 function scanStringLiterals(source) {
-  return scanSource(source).literals;
+  return [...scanSource(source).literals];
 }
 function sourceHasRequireCall(source) {
   return /\brequire\s*\(/.test(stripCommentsAndStrings(source));
@@ -41502,6 +41524,7 @@ export {
   isEvalMissingSlotEnabled,
   runWithEvalMissingSlot,
   noteObjSlotMissing,
+  BoundedLruMap,
   numericBoundsImply,
   getClassChain,
   wrapPromise,

package/dist/{chunk-4MRLOJMI.js → chunk-G27PMV2U.js}

@@ -1,6 +1,7 @@
 import {
   $invoke,
   $new,
+  BoundedLruMap,
   CONSTRAINT_BUILDERS,
   DIAG,
   LAZY_TEMPLATE_DEPTH,
@@ -69,7 +70,7 @@ import {
   withExecPhi,
   withFnBudgetOverride,
   withOptionalParams
-} from "./chunk-ARIQO5XX.js";
+} from "./chunk-CUFP2AYV.js";
 
 // src/algebra/directive-scan.ts
 function cleanDirectiveLine(raw, kind) {
@@ -621,8 +622,16 @@ function nestedBodyRanges(source) {
     return [];
   }
 }
+var BODY_GATE_RANGES_CACHE_MAX = 16;
+var bodyGateRangesCache = new BoundedLruMap(
+  BODY_GATE_RANGES_CACHE_MAX
+);
 function bodyGateRanges(source) {
-  return [...functionBodyRanges(source), ...nestedBodyRanges(source)];
+  const hit = bodyGateRangesCache.get(source);
+  if (hit !== void 0) return hit;
+  const out = [...functionBodyRanges(source), ...nestedBodyRanges(source)];
+  bodyGateRangesCache.set(source, out);
+  return out;
 }
 function inBodyRange(ranges, offset) {
   return ranges.some(([s, e]) => offset >= s && offset < e);
@@ -2384,7 +2393,27 @@ function extractFnBudget(source, fnName) {
 }
 
 // src/algebra/scan-named-exports.ts
+var LOCAL_EXPORTS_CACHE_MAX = 16;
+var localExportsCache = /* @__PURE__ */ new Map();
+function memoizedLocalExports(source, compute) {
+  const hit = localExportsCache.get(source);
+  if (hit !== void 0) {
+    localExportsCache.delete(source);
+    localExportsCache.set(source, hit);
+    return new Set(hit);
+  }
+  const out = compute();
+  if (localExportsCache.size >= LOCAL_EXPORTS_CACHE_MAX) {
+    const oldest = localExportsCache.keys().next().value;
+    if (oldest !== void 0) localExportsCache.delete(oldest);
+  }
+  localExportsCache.set(source, out);
+  return new Set(out);
+}
 function localNamedExports(source) {
+  return memoizedLocalExports(source, () => computeLocalNamedExports(source));
+}
+function computeLocalNamedExports(source) {
   const out = /* @__PURE__ */ new Set();
   let ast;
   try {

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-tV2J7PNI.js';
-export { V as $assignRecord, W as $call, X as $callNamed, bG as $nodoPos, Y as $recordBinding, a4 as EvalAbsAssignRecord, a5 as EvalCallRecord, a6 as EvalFallback, g as EvalFallbackStats, a7 as EvalPosRecord, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, R as RunTranspiledOptions, ad as TranspiledCallResult, ar as bindingsOf, au as callTranspiledExport, av as callTranspiledExportApply, aw as callTranspiledExportFull, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, aB as evalExprAbs, p as exitEvalCallBudgetSession, v as getEvalCallBudgetState, aE as getEvalCallCollector, w as getEvalFallbackStats, bH as getPosCollector, aM as isAbsVal, aO as isCjsMainRun, b3 as noteEvalCallRecord, b4 as noteEvalFallback, bl as resetEvalCallBudget, H as resetEvalFallbackStats, bI as routeApplyThrows, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bt as setPosCollector, bD as tryRunTranspiled, O as withEvalBudgetOverride } from './run-tV2J7PNI.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-DeKkteRZ.js';
+export { V as $assignRecord, W as $call, X as $callNamed, bG as $nodoPos, Y as $recordBinding, a4 as EvalAbsAssignRecord, a5 as EvalCallRecord, a6 as EvalFallback, g as EvalFallbackStats, a7 as EvalPosRecord, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, R as RunTranspiledOptions, ad as TranspiledCallResult, ar as bindingsOf, au as callTranspiledExport, av as callTranspiledExportApply, aw as callTranspiledExportFull, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, aB as evalExprAbs, p as exitEvalCallBudgetSession, v as getEvalCallBudgetState, aE as getEvalCallCollector, w as getEvalFallbackStats, bH as getPosCollector, aM as isAbsVal, aO as isCjsMainRun, b3 as noteEvalCallRecord, b4 as noteEvalFallback, bl as resetEvalCallBudget, H as resetEvalFallbackStats, bI as routeApplyThrows, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bt as setPosCollector, bD as tryRunTranspiled, O as withEvalBudgetOverride } from './run-DeKkteRZ.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**
@@ -1106,6 +1106,20 @@ type TranspileOptions = {
     asyncForAwaitGates?: ReadonlySet<string>;
     /** 函数/箭头体内（顶层绑定表只收顶层作用域） */
     inFunction?: boolean;
+    /**
+     * 当前**函数体作用域**的形参名（含解构 / rest 模式名）。
+     *
+     * 用途：标识符赋值的结构检查插桩（`$assignRecord` 第 7 实参
+     * `paramBinding`）——JS 形参没有声明类型，分析面看到的「旧值」是本次
+     * 调用实参的形状而非绑定的声明的域 ⇒ 形参重赋值不参与
+     * `nudo:assign-mismatch`（归一化形参 `x = [].concat(x)` 是常规写法，
+     * 否则真实包假阳性）。
+     *
+     * 生命周期：函数/方法体边界由 `transpileFnBodyStmts` 按该体自身的形参
+     * 重算（嵌套函数体不继承外层的表）；模块顶层无此表。**表达式体箭头**
+     * （`(x) => (x = 1)`）不经语句表 ⇒ 无表（该形态不插标）。
+     */
+    paramNames?: ReadonlySet<string>;
     /**
      * 当前词法作用域的 `arguments` 绑定名（非箭头函数 prologue 里 `$arguments(...)`）。
      * 箭头沿外层继承；无绑定（模块顶层 / 仅嵌套箭头引用）→ Identifier 分支折 $unknown()。

package/dist/exec.js

@@ -208,7 +208,7 @@ import {
   withAssumePremises,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-ARIQO5XX.js";
+} from "./chunk-CUFP2AYV.js";
 export {
   $absVal,
   $add,

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { d as AstEnv, A as Abs, C as Confidence, a as Pred, b as Phi, S as Shape, Q as RelSource, U as HofSite, c as AbsModuleExports, R as RunTranspiledOptions, L as LiteralValue } from './run-tV2J7PNI.js';
-export { V as $assignRecord, W as $call, X as $callNamed, Y as $recordBinding, Z as AbsApplyNoThrow, _ as AbsApplyNoThrowFn, a0 as AbsApplyResult, a1 as AbsApplyReturn, a2 as AbsFnImpl, a3 as AbsSigImpl, a4 as EvalAbsAssignRecord, a5 as EvalCallRecord, a6 as EvalFallback, a7 as EvalPosRecord, a8 as ImplicationOracle, a9 as LitValueResult, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, P as PrimName, ac as TYPEOF_NAMES, T as Term, ad as TranspiledCallResult, ae as TypeofName, af as abs, ag as absFunction, ah as absOnly, ai as absToString, aj as and, ak as anyAbs, al as anyVar, am as app, an as assumeFinite, ao as attachFnImpl, ap as bigintLit, aq as bindImports, ar as bindingsOf, as as bool, at as boolLit, au as callTranspiledExport, av as callTranspiledExportApply, aw as callTranspiledExportFull, ax as collectAbsExports, ay as confJoin, az as emptyPhi, aA as eq, aB as evalExprAbs, aC as ge, aD as geNum, aE as getEvalCallCollector, aF as getFnImpl, aG as getImplicationOracle, aH as gt, aI as gtNum, aJ as hostFnCtorFacet, aK as implies, aL as isAbsApplyResult, aM as isAbsVal, aN as isBigPrim, aO as isCjsMainRun, aP as isExactLit, aQ as isNumPrim, aR as isStrPrim, aS as le, aT as leNum, aU as lit, aV as litValue, aW as lt, aX as ltNum, aY as makeAbsApplyResult, aZ as markPureFn, a_ as namespaceAbsOf, a$ as ne, b0 as negatePred, b1 as never, b2 as not, b3 as noteEvalCallRecord, b4 as noteEvalFallback, b5 as num, b6 as numLit, b7 as numVar, b8 as obj, b9 as or, ba as pFalse, bb as pTrue, bc as phiAnd, bd as predEquals, be as predToString, bf as predVars, bg as primToTypeof, bh as ptypeof, bi as pureFnNameOf, bj as relationFingerprint, bk as relationFn, bl as resetEvalCallBudget, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bs as setImplicationOracle, bt as setPosCollector, bu as shapeOfTerm, bv as shapeOnlyFn, bw as shapeToString, bx as simplifyTerm, by as str, bz as strLit, bA as substPred, bB as termEquals, bC as termToString, bD as tryRunTranspiled, bE as unknown, bF as v } from './run-tV2J7PNI.js';
+import { d as AstEnv, A as Abs, C as Confidence, a as Pred, b as Phi, S as Shape, Q as RelSource, U as HofSite, c as AbsModuleExports, R as RunTranspiledOptions, L as LiteralValue } from './run-DeKkteRZ.js';
+export { V as $assignRecord, W as $call, X as $callNamed, Y as $recordBinding, Z as AbsApplyNoThrow, _ as AbsApplyNoThrowFn, a0 as AbsApplyResult, a1 as AbsApplyReturn, a2 as AbsFnImpl, a3 as AbsSigImpl, a4 as EvalAbsAssignRecord, a5 as EvalCallRecord, a6 as EvalFallback, a7 as EvalPosRecord, a8 as ImplicationOracle, a9 as LitValueResult, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, P as PrimName, ac as TYPEOF_NAMES, T as Term, ad as TranspiledCallResult, ae as TypeofName, af as abs, ag as absFunction, ah as absOnly, ai as absToString, aj as and, ak as anyAbs, al as anyVar, am as app, an as assumeFinite, ao as attachFnImpl, ap as bigintLit, aq as bindImports, ar as bindingsOf, as as bool, at as boolLit, au as callTranspiledExport, av as callTranspiledExportApply, aw as callTranspiledExportFull, ax as collectAbsExports, ay as confJoin, az as emptyPhi, aA as eq, aB as evalExprAbs, aC as ge, aD as geNum, aE as getEvalCallCollector, aF as getFnImpl, aG as getImplicationOracle, aH as gt, aI as gtNum, aJ as hostFnCtorFacet, aK as implies, aL as isAbsApplyResult, aM as isAbsVal, aN as isBigPrim, aO as isCjsMainRun, aP as isExactLit, aQ as isNumPrim, aR as isStrPrim, aS as le, aT as leNum, aU as lit, aV as litValue, aW as lt, aX as ltNum, aY as makeAbsApplyResult, aZ as markPureFn, a_ as namespaceAbsOf, a$ as ne, b0 as negatePred, b1 as never, b2 as not, b3 as noteEvalCallRecord, b4 as noteEvalFallback, b5 as num, b6 as numLit, b7 as numVar, b8 as obj, b9 as or, ba as pFalse, bb as pTrue, bc as phiAnd, bd as predEquals, be as predToString, bf as predVars, bg as primToTypeof, bh as ptypeof, bi as pureFnNameOf, bj as relationFingerprint, bk as relationFn, bl as resetEvalCallBudget, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bs as setImplicationOracle, bt as setPosCollector, bu as shapeOfTerm, bv as shapeOnlyFn, bw as shapeToString, bx as simplifyTerm, by as str, bz as strLit, bA as substPred, bB as termEquals, bC as termToString, bD as tryRunTranspiled, bE as unknown, bF as v } from './run-DeKkteRZ.js';
 import { Node, File } from '@babel/types';
-import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, w as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-BkFV9pcs.js';
-export { x as CONSTRAINT_BUILDERS, y as CONSTRAINT_BUILDER_NAMES, z as CONSTRAINT_EXPR_RE, A as CheckAction, C as CheckIssue, B as CheckJson, D as CheckJsonMulti, F as ConstraintBuilder, G as Diagnostic, H as EffectiveInterface, J as GitlabCodeQualityIssue, K as INTERFACE_SOURCE_ABBR, O as InterfaceDiag, I as InterfaceSource, Q as InterfaceTierInfo, a as InterfaceTierOpts, R as NamedImport, S as NudoField, T as NudoFnConstraint, U as NudoSidecarError, V as NudoSig, W as RefineDiag, X as RefineEntry, Y as RefineResolveOpts, Z as SELF, _ as actionsForIssue, $ as andC, a0 as any, a1 as array, a2 as boolean, a3 as checkArg, a4 as checkCall, a5 as constraintAdmitsNullish, a6 as constraintToEntryAbs, a7 as derefConstraint, a8 as drainPromiseMicros, a9 as effectiveInterface, aa as enterPromiseExecutorScope, ab as evalPromiseCtor, ac as evalPromiseMethod, ad as evalPromiseStatic, ae as execNudoModule, af as extractDeclaredThrows, ag as extractFnBudget, ah as extractNudoImports, ai as extractRefineReturnFromSource, aj as extractRefinesFromSource, ak as fn, al as fnConstraintToEntryReqs, am as formatCheckReport, an as formatConstraint, ao as formatDiagnostics, ap as formatEffectiveInterfaceDisplay, aq as formatGithubAnnotations, ar as formatGitlabCodeQuality, as as formatInterfaceTierLine, at as generatedExportNames, au as getParseSourceCacheSize, av as getTerm, aw as instantiateConstraint, ax as interfaceDiagCount, ay as interfaceSourceOf, az as interfaceTierOf, aA as isIntFlag, aB as isNodeModulesPath, aC as isNudoConstraint, aD as lazy, aE as leavePromiseExecutorScope, aF as lenTerm, aG as litC, aH as localNamedExports, aI as notePromiseExecutorFork, aJ as nullable, aK as number, aL as omit, aM as partial, aN as pick, aO as queuePromiseMicro, aP as refineDiagCount, aQ as refineToIndexedFull, aR as resetNudoModuleExecCache, aS as resetParseSourceCache, aT as resetSidecarLoadFailureCache, aU as serializeCheckJson, aV as serializeCheckJsonMulti, aW as setInterfaceDiagCollector, aX as setRefineDiagCollector, aY as shape, aZ as sidecarClosureFingerprint, a_ as sidecarPathOf, a$ as string, b0 as takeInterfaceDiags, b1 as takeInterfaceDiagsSince, b2 as takeRefineDiags, b3 as takeRefineDiagsSince, b4 as throwConstraintToKinds, b5 as union } from './projection-budget-BkFV9pcs.js';
+import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, w as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-NCXMnUDn.js';
+export { x as CONSTRAINT_BUILDERS, y as CONSTRAINT_BUILDER_NAMES, z as CONSTRAINT_EXPR_RE, A as CheckAction, C as CheckIssue, B as CheckJson, D as CheckJsonMulti, F as ConstraintBuilder, G as Diagnostic, H as EffectiveInterface, J as GitlabCodeQualityIssue, K as INTERFACE_SOURCE_ABBR, O as InterfaceDiag, I as InterfaceSource, Q as InterfaceTierInfo, a as InterfaceTierOpts, R as NamedImport, S as NudoField, T as NudoFnConstraint, U as NudoSidecarError, V as NudoSig, W as RefineDiag, X as RefineEntry, Y as RefineResolveOpts, Z as SELF, _ as actionsForIssue, $ as andC, a0 as any, a1 as array, a2 as boolean, a3 as checkArg, a4 as checkCall, a5 as constraintAdmitsNullish, a6 as constraintToEntryAbs, a7 as derefConstraint, a8 as drainPromiseMicros, a9 as effectiveInterface, aa as enterPromiseExecutorScope, ab as evalPromiseCtor, ac as evalPromiseMethod, ad as evalPromiseStatic, ae as execNudoModule, af as extractDeclaredThrows, ag as extractFnBudget, ah as extractNudoImports, ai as extractRefineReturnFromSource, aj as extractRefinesFromSource, ak as fn, al as fnConstraintToEntryReqs, am as formatCheckReport, an as formatConstraint, ao as formatDiagnostics, ap as formatEffectiveInterfaceDisplay, aq as formatGithubAnnotations, ar as formatGitlabCodeQuality, as as formatInterfaceTierLine, at as generatedExportNames, au as getParseSourceCacheSize, av as getTerm, aw as instantiateConstraint, ax as interfaceDiagCount, ay as interfaceSourceOf, az as interfaceTierOf, aA as isIntFlag, aB as isNodeModulesPath, aC as isNudoConstraint, aD as lazy, aE as leavePromiseExecutorScope, aF as lenTerm, aG as litC, aH as localNamedExports, aI as notePromiseExecutorFork, aJ as nullable, aK as number, aL as omit, aM as partial, aN as pick, aO as queuePromiseMicro, aP as refineDiagCount, aQ as refineToIndexedFull, aR as resetNudoModuleExecCache, aS as resetParseSourceCache, aT as resetSidecarLoadFailureCache, aU as serializeCheckJson, aV as serializeCheckJsonMulti, aW as setInterfaceDiagCollector, aX as setRefineDiagCollector, aY as shape, aZ as sidecarClosureFingerprint, a_ as sidecarPathOf, a$ as string, b0 as takeInterfaceDiags, b1 as takeInterfaceDiagsSince, b2 as takeRefineDiags, b3 as takeRefineDiagsSince, b4 as throwConstraintToKinds, b5 as union } from './projection-budget-NCXMnUDn.js';
 export { $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forOf, $fork, $ge, $gen, $get, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $isBreakTo, $isForkExit, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $ne, $neLoose, $neg, $new, $not, $nullishTest, $obj, $objAccessor, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $rethrowIfNudoReturn, $set, $setKey, $shl, $shr, $spread, $sub, $super, $switch, $throw, $toNumber, $toNumeric, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $whileSeq, $yield, DEFAULT_MAX_LOOP_ITERS, EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, RUNTIME_IMPORT_RE, TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentExecPhi, fillTuple, foldRequireSpecArg, foldStaticStringExpr, getEvalClass, isArrMutator, isDefinitelyFalse, isDefinitelyTrue, isNudoBreak, isNudoContinue, isNudoReturn, isNudoThrow, litTruth, lookupObjAccessor, namespaceNameOf, pushLoopExit, pushThrowExit, registerEvalClass, runWithLoopExits, runtimeImportOf, takeLoopExits, takeThrowExits, transpile, transpileBodyNode, transpileExpression, transpileFile, transpileSource, withExecPhi } from './exec.js';
 
 /**
@@ -1139,6 +1139,18 @@ type AbsAssignRecord = {
     column?: number;
     /** 分支/循环体内发生：可变绑定在路径上取并集是合法 JS，不参与结构检查 */
     conditional?: boolean;
+    /**
+     * 写目标是**函数形参**（不是 let/const/var 声明绑定）。
+     *
+     * JS 形参没有声明类型——分析面看到的 `prev` 是**本次调用实参**的形状，
+     * 不是绑定的声明的域。真实代码里「归一化形参」是常规写法：
+     * `global(globals) { globals = [].concat(globals); … }`（yargs）在某个
+     * 调用点上传入 `"_"` 时，`prev = "_"`、`next = ["_"]` ⇒ 结构检查判
+     * 「arr ⊭ prim string」**假阳性**（形参的真实域是 `string | string[]`）。
+     * ⇒ 形参重赋值不参与 `nudo:assign-mismatch`（该通道只对**有声明值的绑定**
+     * 负义务；调用点实参的形状义务归契约 / `nudo:arg-structure` 通道）。
+     */
+    paramBinding?: boolean;
 };
 
 /**

package/dist/index.js

@@ -91,7 +91,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-4MRLOJMI.js";
+} from "./chunk-G27PMV2U.js";
 import {
   $add,
   $arguments,
@@ -549,7 +549,7 @@ import {
   withExecPhi,
   withInvariantSpecs,
   withVar
-} from "./chunk-ARIQO5XX.js";
+} from "./chunk-CUFP2AYV.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -2210,6 +2210,7 @@ function structuralAssignIssues(records) {
     if (!r.prev) continue;
     if (!isAbsLike(r.prev) || !isAbsLike(r.next)) continue;
     if (r.conditional) continue;
+    if (r.paramBinding === true) continue;
     if (r.next.shape.k === "unknown" && !r.next.term) continue;
     if (r.prev.shape.k === "unknown" && !r.prev.term) continue;
     const leq = leqAbs(widenForAssign(r.next), shapeOnly(widenForAssign(r.prev)));

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-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 { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-NCXMnUDn.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-NCXMnUDn.js';
+import { A as Abs, T as Term, c as AbsModuleExports, R as RunTranspiledOptions, d as AstEnv } from './run-DeKkteRZ.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-DeKkteRZ.js';
 import { File, Node } from '@babel/types';
 
 /**

package/dist/internal.js

@@ -30,7 +30,7 @@ import {
   stablePathKey,
   stablePathKeyGraph,
   toJsBindingIdent
-} from "./chunk-4MRLOJMI.js";
+} from "./chunk-G27PMV2U.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -172,7 +172,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-ARIQO5XX.js";
+} from "./chunk-CUFP2AYV.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/dist/{projection-budget-BkFV9pcs.d.ts → projection-budget-NCXMnUDn.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, C as Confidence, b as Phi } from './run-tV2J7PNI.js';
+import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, C as Confidence, b as Phi } from './run-DeKkteRZ.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;
@@ -461,6 +461,9 @@ declare function extractFnBudget(source: string, fnName: string): {
  * - CJS（C4.3）：`module.exports = { a, b }`、`module.exports.a = …`、
  *   `exports.a = …`、`module.exports = localFn`（登记 localFn 名）。
  * 排除 re-export（`export {x} from` / `export *`）。
+ *
+ * 结果按源码文本 memo（见 `memoizedLocalExports`）——本函数在逐候选循环里
+ * 被反复调用，没有 memo 时每次都是整文件 reparse + strip。
  */
 declare function localNamedExports(source: string): Set<string>;
 /**

package/dist/{run-tV2J7PNI.d.ts → run-DeKkteRZ.d.ts}

@@ -431,13 +431,17 @@ type EvalAbsAssignRecord = {
     line?: number;
     column?: number;
     conditional?: boolean;
+    /** 写目标是函数形参（AbsAssignRecord.paramBinding） */
+    paramBinding?: boolean;
     /** 调用方帧深度（0 = 最外层求值帧；与 EvalCallRecord.depth 同口径） */
     depth?: number;
 };
 /** 返回先前 collector，便于嵌套调用 save/restore（禁止 finally 置 null 砸外层） */
 declare function setEvalAssignCollector(collector: ((r: EvalAbsAssignRecord) => void) | null): ((r: EvalAbsAssignRecord) => void) | null;
 /** 结构赋值记录（transpile 插桩调用；无收集器时 no-op） */
-declare function $assignRecord(name: string, prev: Abs | undefined, next: Abs, line: number, column: number, conditional: boolean): void;
+declare function $assignRecord(name: string, prev: Abs | undefined, next: Abs, line: number, column: number, conditional: boolean, 
+/** 写目标是函数形参（可选；缺省 false ⇒ 产物逐字不变） */
+paramBinding?: boolean): void;
 /** 位置级 Abs 记录（hover 重放插桩 `$nodoPos` 消费）：
  * (1-based 行, 0-based 列) → 该位置表达式求值态 Abs */
 type EvalPosRecord = {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/core",
-  "version": "1.17.0",
+  "version": "1.17.1",
   "engines": {
     "node": ">=22"
   },