@nudojs/core 1.11.3 → 1.13.0

package/dist/{chunk-2PFT7GU2.js → chunk-V2XC3V72.js}

@@ -47,7 +47,7 @@ import {
   withEvalBudgetOverride,
   withExecPhi,
   withFnBudgetOverride
-} from "./chunk-GL6VOF75.js";
+} from "./chunk-A2PLG2QV.js";
 
 // src/algebra/directive-scan.ts
 function cleanDirectiveLine(raw, kind) {
@@ -1516,6 +1516,22 @@ function extractAssumeSegs(source, fnName) {
   }
   return out;
 }
+function fnTopLevelLocalNames(body) {
+  const block = body;
+  if (!block || block.type !== "BlockStatement" || !Array.isArray(block.body)) return [];
+  const names = [];
+  for (const stmt of block.body) {
+    const decl = stmt;
+    if (!decl || decl.type !== "VariableDeclaration" || !Array.isArray(decl.declarations)) {
+      continue;
+    }
+    for (const d of decl.declarations) {
+      const id = d?.id;
+      if (id?.type === "Identifier" && typeof id.name === "string") names.push(id.name);
+    }
+  }
+  return names;
+}
 function extractRefinesFromSource(source, fnName, opts = {}) {
   if (!stripStringsKeepComments(source).includes("@nudo:contract")) return [];
   const constraints = collectConstraints(source, opts);
@@ -5552,6 +5568,7 @@ export {
   execNudoModule,
   resetNudoModuleExecCache,
   extractAssumeSegs,
+  fnTopLevelLocalNames,
   extractRefinesFromSource,
   refineToIndexedFull,
   extractRefineReturnFromSource,

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-DaqGgSre.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, bI as $nodoPos, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, g as EvalFallbackStats, a8 as EvalPosRecord, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, ad as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, af as TranspiledCallResult, at as bindingsOf, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, aD as evalExprAbs, p as exitEvalCallBudgetSession, v as getEvalCallBudgetState, aG as getEvalCallCollector, w as getEvalFallbackStats, bJ as getPosCollector, aO as isAbsVal, aQ as isCjsMainRun, b5 as noteEvalCallRecord, b6 as noteEvalFallback, bn as resetEvalCallBudget, H as resetEvalFallbackStats, bK as routeApplyThrows, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bv as setPosCollector, bF as tryRunTranspiled, O as withEvalBudgetOverride } from './run-DaqGgSre.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-DhSqP3in.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, bI as $nodoPos, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, g as EvalFallbackStats, a8 as EvalPosRecord, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, ad as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, af as TranspiledCallResult, at as bindingsOf, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, aD as evalExprAbs, p as exitEvalCallBudgetSession, v as getEvalCallBudgetState, aG as getEvalCallCollector, w as getEvalFallbackStats, bJ as getPosCollector, aO as isAbsVal, aQ as isCjsMainRun, b5 as noteEvalCallRecord, b6 as noteEvalFallback, bn as resetEvalCallBudget, H as resetEvalFallbackStats, bK as routeApplyThrows, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bv as setPosCollector, bF as tryRunTranspiled, O as withEvalBudgetOverride } from './run-DhSqP3in.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**
@@ -58,11 +58,17 @@ declare function callAtFunctionBoundary<T>(body: () => T): T;
  *  opts.ctor：Bug 9 可构造性 facet（箭头/方法/async/generator → false；
  *  函数表达式/类表达式值 → true）。
  *  opts.padArgs：默认 true（Bug 7 缺参归一）；读宿主 arguments 的
- *  function 包装传 false（arguments.length 不得被补齐膨胀）。 */
+ *  function 包装传 false（arguments.length 不得被补齐膨胀）。
+ *  opts.length：Bug 69 原生 fn.length（首个默认值/rest 形参前的形参数）——
+ *  宿主 impl 是解糖产物（默认参占位 `_p{i}` 全成真参），长度不可信；
+ *  transpile 侧记录真值，$len 的 fn 分支折 exact。 */
 declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs, opts?: {
     bindThis?: boolean;
     ctor?: boolean;
     padArgs?: boolean;
+    length?: number;
+    effectFree?: boolean;
+    closed?: boolean;
 }): Abs;
 /**
  * 宿主 this → Abs：函数体 prologue 用它承接 call/apply/bind 传入的 thisArg。
@@ -308,7 +314,9 @@ declare function $catchVal(e: unknown): Abs;
 /** 数组字面量 → ≤cap tuple（逐元素精确）/ >cap arr；策略与 containers.ts 同源 */
 declare function $arr(items: Abs[]): Abs;
 /**
- * `arguments` 对象 → 类数组 tuple（$len/$idx 投影 length/下标；typeof 为 "object"）。
+ * `arguments` 对象 → 类数组 **brand "Arguments"** 包 tuple 内层（Bug 56：
+ * 不是数组 exotic——`Array.isArray(arguments)` 原生 false；$idx/$len/$in/
+ * spread/Array.from 经委托/剥层保持下标/长度/迭代精确）。
  * strict/ESM 与形参**独立映射**：写 `arguments[i]` 不改形参，写形参不改 `arguments`。
  * （sloppy 非严格是 mapped arguments object，二者互相写回——Nudo 分析按 ESM/strict。）
  * 与 rest 绑定解耦：rest 仍从真实 `arguments`/rest 形参收集，本对象只服务用户写的 `arguments`。
@@ -341,7 +349,8 @@ declare function fillTuple(shape: {
 declare function $copy(a: Abs): Abs;
 /** 数组/元组方法（push/pop/shift/unshift/splice/reverse/sort/copyWithin/fill）
  *  的就地 mutator：Abs 身份不变（JS 引用语义——`const b = a; b.push(4)` 对 a
- *  可见）；transpile 重绑 `a = $arrMutContainer(a, …)` 仍写回同一对象。 */
+ *  可见）。$invoke 的 mutator 分支在**调用点**即刻执行本函数（表达式求值
+ *  顺序正确，Bug 49/51），别名 / 成员槽 / Map 条目经共享 Abs 同步可见。 */
 declare function $arrMutContainer(arr: Abs, method: string, args: Abs[]): Abs;
 /** 下标读 a[i]；规范数组下标走精确投影，确定非下标键 → undefined，否则并所有元素；string[i] → 单字符 */
 declare function $idx(a: Abs, i: Abs, opts?: {
@@ -428,18 +437,19 @@ declare function $get(o: Abs, key: string, opts?: {
 declare function $collectionForEach(recv: Abs, cb: unknown): Abs | undefined;
 /** 成员写：返回新 obj/brand（不可变更新）；frozen/sealed/只读目标按 sloppy 静默失败。
  *  opts.internal（Bug 84）：私有字段落地——槽打 Slot.internal 标记；后续覆写
- *  保留既有标记（this.#x = v 不丢失 internal）。 */
+ *  保留既有标记（this.#x = v 不丢失 internal）。
+ *  opts.symbolKey（Bug 73）：计算 symbol 键投影（[Symbol.X] → "@@X"）落地
+ * ——槽打 Slot.symbolKey 标记（JSON.stringify 等字符串键枚举面跳过）；
+ *  覆写保留既有标记。 */
 declare function $set(o: Abs, key: string, value: Abs, opts?: {
     internal?: boolean;
+    symbolKey?: boolean;
 }): Abs;
 
 /**
  * async / await / generator / ??（$nullishTest / $removeNullish）。
  */
 
-/**
- * async 函数体包进 thunk，返回值经 wrapPromise。
- */
 declare function $async(thunk: () => Abs): Abs;
 /** await → 解包 eff("promise") */
 declare function $await(v: Abs): Abs;
@@ -457,10 +467,17 @@ declare function $asyncReturn(v: Abs): Abs;
  * 首个 done:true 作为 value 交付（node 实测：此后 next 回 undefined）。
  * Bug 22：结果从 yield 元组数组改为生成器对象（next/return/throw 方法面 +
  * constructor 身份）；元素域经侧表保留（$arr 的 ≤cap tuple / >cap arr
- * widen 策略不变），迭代路径（for-of/spread/Array.from）继续工作。 */
+ * widen 策略不变），迭代路径（for-of/spread/Array.from）继续工作。
+ * Bug 53：侧表/next() 消费完整收集序列（ys.els）——$arr >cap widen 只影响
+ * 形状槽（类型面），不再把 >8 yield 截断成单元素流。
+ * Bug 52：yield 点 try 上下文（ys.ctxs，$yield 第二实参）随序列传递——
+ * .return()/.throw() 挂起点语义见 makeGenObject。 */
 declare function $gen(body: () => Abs): Abs;
-/** yield v：压入当前生成器收集器；表达式值用 unknown */
-declare function $yield(v: Abs): Abs;
+/** yield v：压入当前生成器收集器；表达式值用 unknown。
+ *  tryCtx（Bug 52）= transpile 静态标注的 yield 点 try 上下文位
+ *  （YIELD_TRY_FINALLY / YIELD_TRY_CATCH），.return()/.throw() 挂起点
+ *  语义用（见 makeGenObject）。 */
+declare function $yield(v: Abs, tryCtx?: number): Abs;
 /** yield* v（Bug 82）：委托迭代 ≠ yield v——GetIterator 校验先行（$elems
  *  同分类器：非可迭代接收者 definite/may TypeError，生成器体内按 $gen
  *  迭代期语义由外层帧吸收），**元素**逐个压入收集器（此前把整个可迭代值
@@ -468,7 +485,7 @@ declare function $yield(v: Abs): Abs;
  *  iterator 的 done 值，不可判）→ 保守 unknown。长度不可判的接收者
  *  （arr/any/…）单代表元素过近似并入 + bumpGenPathSensitive 压 conf
  *  （mergeArmYields 同口径，禁 exact 元组出货）。 */
-declare function $yieldStar(v: unknown): Abs;
+declare function $yieldStar(v: unknown, tryCtx?: number): Abs;
 /**
  * `??` 非 nullish 臂：从左值 Abs 剥离 nullish 部分（$nullishTest 判 true
  * 的成员）。索引访问 `M[k]` 对抽象键产出 joinAbs(element, undef())，
@@ -590,6 +607,13 @@ type TranspileOptions = {
     hasTryHandler?: boolean;
     /** 当前 try 的 catch 体是否可能 rethrow（正常路径 soft 效果 release 而非 digest） */
     tryRethrowCatch?: boolean;
+    /** yield 点 try 上下文位（Bug 52）：进入 try 块/catch 体时按位 OR——
+     *  1 = 外层任一 try 带 finally，2 = 外层任一 try 带 catch（数值与
+     *  runtime/control.ts 的 YIELD_TRY_FINALLY / YIELD_TRY_CATCH 同步）；
+     *  R1a catch 事实位（16/32/64）描述**最近** enclosing catch：16 = 含
+     *  return，32 = 含 yield，64 = 可能 rethrow 进外层 catch（结局不可分类）。
+     *  发射为 $yield/$yieldStar 第二实参；函数/方法体边界重置为 0。 */
+    yieldTryCtx?: number;
     /** 分支/循环体内深度（赋值记录 conditional 标记；inLoop 也计入） */
     conditionalFlow?: number;
     /** 函数/箭头体内（顶层绑定表只收顶层作用域） */
@@ -635,6 +659,22 @@ type TranspileOptions = {
      * 声明语句），此类名字从提升集扣除、不发改赋值。
      */
     keepVarDecl?: boolean;
+    /**
+     * issue #165：文件含 `@nudo:assume` 引理——transpileFile 顶层对源文本
+     * 做一次 includes 判定后置位。文件级快速门：无引理的文件不进锚定收集，
+     * 发射产物逐字节不变（零插桩开销）。
+     */
+    assumeDirectiveFile?: boolean;
+    /**
+     * issue #165：待锚定的 declarator AST 节点集合（按对象身份匹配）——
+     * 函数体**直接子语句** VariableDeclaration 中带 init 的 Identifier
+     * declarator。发射位对命中者把 init 包 `$assumeAnchor(init, name)`
+     *（SSA：@nudo:assume 引理作用于绑定值，从定义点到作用域尾）。嵌套块 /
+     * for-init / 解构不收；嵌套函数体在自身边界重算（并集外层集合）。
+     * 运行时护栏（premise 不含该名的 le 原子则直通原值）见
+     * exec/runtime/ops.ts。
+     */
+    anchorDeclNodes?: ReadonlySet<object>;
     /**
      * 节点级 Abs 记录插桩（hover 重放用）：Identifier 值读与
      * 静态成员读的转译输出包 `$nodoPos(<src>, line, column)`，
@@ -713,14 +753,34 @@ type EvalClassSpec = {
      * （Super constructor null … is not a constructor）；显式 super() 同抛（$super）。
      */
     superNull?: boolean;
+    /**
+     * N2：extends 目标是**宿主**内建构造器（host fn 或 builtinCtorAbs brand
+     * 身份）——类值静态读/调用（B.keys / E.captureStackTrace）沿链到未注册
+     * 父名时凭此标记走宿主静态通道。mock/桥接父类（fn Abs 同名）不带标记
+     * → 无通道 → sound unknown（不折 undefined / 不误派发宿主真值）。
+     */
+    superBuiltinHost?: boolean;
     ctor?: (thisVal: Abs, ...args: Abs[]) => Abs;
     methods?: Record<string, (thisVal: Abs, ...args: Abs[]) => Abs>;
     /** 实例方法形参展示名（AST 形参名；未调用方法槽 `shape.params` 用） */
     methodParams?: Record<string, string[]>;
-    staticMethods?: Record<string, (...args: Abs[]) => Abs>;
+    /** R5：静态方法 impl 首参 __this = 类值（接收者——沿链调用时是调用类） */
+    staticMethods?: Record<string, (thisVal: Abs, ...args: Abs[]) => Abs>;
     /** 静态方法形参展示名 */
     staticMethodParams?: Record<string, string[]>;
-    statics?: Record<string, Abs>;
+    /**
+     * P2b：构造器元数（首个默认值/rest 形参前的形参数，nativeParamArity
+     * 口径）——类值 .length 自有属性。隐式构造器（基类零参 / 派生
+     * `(...args){super(...args)}`）恒 0。transpile 期记录；未记录的手写
+     * spec（mock 等）undefined → $get 折诚实 unknown（不假 0）。
+     */
+    ctorLength?: number;
+    /**
+     * 静态字段：R5 起值可为 thunk（以类值为 this 求值——原生
+     * ClassFieldDefinitionEvaluation 的 receiver 是类值；箭头/`this.x`
+     * 读写随之恢复）。旧行（宿主 Abs）保持兼容。
+     */
+    statics?: Record<string, Abs | ((cls: Abs) => Abs)>;
     /**
      * Bug 59：实例字段——每次 $new 以新实例为 this 按源序求值（原生
      * InitializeInstanceElements）。name 为字面量键；key 为计算键的
@@ -795,14 +855,33 @@ declare function $invoke(thisVal: Abs, method: string, args: Abs[], loc?: [numbe
 declare function $invokeSuper(thisVal: Abs, childName: string, method: string, args: Abs[]): Abs;
 /** 类实例方法内 super.p / super[k] 属性读（Bug 14）：父类原型链上的
  *  访问器以 this 调用；实例字段/自有槽不在查找面（super 读的是原型）。
- *  方法作为值（super.m 未调用）不做 fn Abs 投影——诚实 unknown。 */
+ *  方法作为值（super.m 未调用）不做 fn Abs 投影——诚实 unknown。
+ *  R2a：闭链缺槽折 undefined——父链全为已注册求值类且终止于「无
+ *  extends」（尾巴 Object.prototype）/「extends null」（无尾巴）时，
+ *  缺键原生读 undefined（`super.x += 5` 折 NaN）；setter-only 访问器
+ *  挡链读同样 undefined。宿主基类（extends Array/Error 等未注册名）/
+ *  抽象键 → 链开 → 诚实 unknown。Object.prototype 尾巴与 $get 闭 obj
+ *  缺槽同口径（方法名/constructor/__proto__ 不折 undefined）。 */
 declare function $getSuper(thisVal: Abs, childName: string, key: Abs): Abs;
+/** 类实例方法/构造器内 super.k = v（Bug 55）：SetSuper——沿父类原型链找
+ *  setter（以接收者 this 调用）；getter-only 挡链 → strict TypeError；
+ *  无 setter → 原生折接收者自有数据属性（CreateDataProperty on this）。
+ *  子类自有同名访问器不拦截 super 写（查找从父类起）——绕过 $set 的
+ *  访问器派发直写接收者槽（brand 内层 in-place，引用语义）。 */
+declare function $setSuper(thisVal: Abs, childName: string, key: Abs, value: Abs): Abs;
 /** 类实例方法内 super[k](args) 计算键调用（Bug 14）：ToPropertyKey 后沿父类链派发 */
 declare function $invokeSuperKey(thisVal: Abs, childName: string, key: Abs, args: Abs[]): Abs;
 /** super.m() / super[k]()：原型链方法查找 + receiver 注入调用 */
 declare function $invokeSuperObj(thisVal: Abs, key: Abs, args: Abs[]): Abs;
-/** super.v / super[k]：原型链属性读（访问器 getter 以 this 调用；数据槽直读） */
+/** super.v / super[k]：原型链属性读（访问器 getter 以 this 调用；数据槽直读）。
+ *  R2a：闭链缺槽折 undefined——home 原型链全为闭 obj 且终止（无记录
+ *  原型 → Object.prototype 尾巴 / 显式 null-proto）时缺键原生读
+ *  undefined；开 obj / 品牌 / 超深链 → 链开 → 诚实 unknown。 */
 declare function $getSuperObj(thisVal: Abs, key: Abs): Abs;
+/** 对象字面量方法内 super.k = v（Bug 55 home object 面）：home 原型链
+ *  （运行时侧表）上找访问器 setter（以接收者调用）；getter-only →
+ *  strict TypeError；数据槽/缺槽 → 原生折接收者自有写（$set）。 */
+declare function $setSuperObj(thisVal: Abs, key: Abs, value: Abs): Abs;
 declare function $thisGet(thisVal: Abs, key: string): Abs;
 declare function $thisSet(thisVal: Abs, key: string, value: Abs): Abs;
 /** 解构默认值：undefined（含 sum 成员 / 可能缺失）时用 default 并入非 undefined 部分 */
@@ -814,6 +893,15 @@ declare function $optionalGet(o: Abs, key: string): Abs;
 declare function $optionalInvoke(thisVal: Abs, method: string, args: Abs[]): Abs;
 /** 静态方法：cls.staticMethod(args) */
 declare function $staticInvoke(cls: Abs, method: string, args: Abs[]): Abs;
+/** 静态方法体内 super.m(args) / super[k](args)（R5）：沿父类**静态**链查找
+ *  （home = 类值，[[Prototype]] = 父构造器——Bug 18 链），以接收者类值
+ *  为 this 调用（原生 super.m() 的 this 是外围 this = 调用类，非父类）。 */
+declare function $staticSuperInvoke(thisVal: Abs, childName: string, key: Abs, args: Abs[]): Abs;
+/** 静态方法体内 super.k = v（R5 / SetSuper 静态面）：沿父类静态链找 setter
+ *  （以接收者类值调用）；getter-only 挡链 → strict TypeError；数据字段/
+ *  缺槽 → 原生折接收者自有数据属性（OrdinarySetWithOwnDescriptor：
+ *  CreateDataProperty on this = 调用类值，父类槽不动）。 */
+declare function $setSuperStatic(thisVal: Abs, childName: string, key: Abs, value: Abs): Abs;
 /** 计算属性写：o[kAbs] = v。非字面量 key → open + index join（不得写成字面槽 "?"） */
 declare function $setKey(o: Abs, key: Abs, value: Abs): Abs;
 
@@ -837,4 +925,4 @@ declare class NudoUnsupportedError extends Error {
     detail?: string);
 }
 
-export { $absVal, $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $getSuper, $getSuperObj, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $invokeSuperKey, $invokeSuperObj, $isBreakTo, $isForkExit, $iterCheck, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $narrowMemberEq, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $refineRel, $regex, $removeMemberNullish, $removeNull, $removeNullish, $removeUndefined, $restBind, $rethrowIfNudoReturn, $set, $setKey, $setProto, $shl, $shr, $spread, $staticInit, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tpl, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, $yieldStar, DEFAULT_MAX_LOOP_ITERS, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentAssumePremises, 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, withAssumePremises, withExecPhi };
+export { $absVal, $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $getSuper, $getSuperObj, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $invokeSuperKey, $invokeSuperObj, $isBreakTo, $isForkExit, $iterCheck, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $narrowMemberEq, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $refineRel, $regex, $removeMemberNullish, $removeNull, $removeNullish, $removeUndefined, $restBind, $rethrowIfNudoReturn, $set, $setKey, $setProto, $setSuper, $setSuperObj, $setSuperStatic, $shl, $shr, $spread, $staticInit, $staticInvoke, $staticSuperInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tpl, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, $yieldStar, DEFAULT_MAX_LOOP_ITERS, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentAssumePremises, 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, withAssumePremises, withExecPhi };

package/dist/exec.js

@@ -98,11 +98,15 @@ import {
   $set,
   $setKey,
   $setProto,
+  $setSuper,
+  $setSuperObj,
+  $setSuperStatic,
   $shl,
   $shr,
   $spread,
   $staticInit,
   $staticInvoke,
+  $staticSuperInvoke,
   $sub,
   $super,
   $switch,
@@ -202,7 +206,7 @@ import {
   withAssumePremises,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-GL6VOF75.js";
+} from "./chunk-A2PLG2QV.js";
 export {
   $absVal,
   $add,
@@ -302,11 +306,15 @@ export {
   $set,
   $setKey,
   $setProto,
+  $setSuper,
+  $setSuperObj,
+  $setSuperStatic,
   $shl,
   $shr,
   $spread,
   $staticInit,
   $staticInvoke,
+  $staticSuperInvoke,
   $sub,
   $super,
   $switch,

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { d as AstEnv, A as Abs, b as Phi, T as Term, Q as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, U as HofSite, c as AbsModuleExports, V as RunTranspiledOptions } from './run-DaqGgSre.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, _ as AbsApplyNoThrow, a0 as AbsApplyNoThrowFn, a1 as AbsApplyResult, a2 as AbsApplyReturn, a3 as AbsFnImpl, a4 as AbsSigImpl, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, a8 as EvalPosRecord, a9 as ImplicationOracle, aa as LitValueResult, L as LiteralValue, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, P as PrimName, ad as RUNTIME_IMPORT_RE, ae as TYPEOF_NAMES, af as TranspiledCallResult, ag as TypeofName, ah as abs, ai as absFunction, aj as absOnly, ak as absToString, al as and, am as anyAbs, an as anyVar, ao as app, ap as assumeFinite, aq as attachFnImpl, ar as bigintLit, as as bindImports, at as bindingsOf, au as bool, av as boolLit, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, az as collectAbsExports, aA as confJoin, aB as emptyPhi, aC as eq, aD as evalExprAbs, aE as ge, aF as geNum, aG as getEvalCallCollector, aH as getFnImpl, aI as getImplicationOracle, aJ as gt, aK as gtNum, aL as hostFnCtorFacet, aM as implies, aN as isAbsApplyResult, aO as isAbsVal, aP as isBigPrim, aQ as isCjsMainRun, aR as isExactLit, aS as isNumPrim, aT as isStrPrim, aU as le, aV as leNum, aW as lit, aX as litValue, aY as lt, aZ as ltNum, a_ as makeAbsApplyResult, a$ as markPureFn, b0 as namespaceAbsOf, b1 as ne, b2 as negatePred, b3 as never, b4 as not, b5 as noteEvalCallRecord, b6 as noteEvalFallback, b7 as num, b8 as numLit, b9 as numVar, ba as obj, bb as or, bc as pFalse, bd as pTrue, be as phiAnd, bf as predEquals, bg as predToString, bh as predVars, bi as primToTypeof, bj as ptypeof, bk as pureFnNameOf, bl as relationFingerprint, bm as relationFn, bn as resetEvalCallBudget, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bu as setImplicationOracle, bv as setPosCollector, bw as shapeOfTerm, bx as shapeOnlyFn, by as shapeToString, bz as simplifyTerm, bA as str, bB as strLit, bC as substPred, bD as termEquals, bE as termToString, bF as tryRunTranspiled, bG as unknown, bH as v } from './run-DaqGgSre.js';
+import { d as AstEnv, A as Abs, b as Phi, T as Term, Q as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, U as HofSite, c as AbsModuleExports, V as RunTranspiledOptions } from './run-DhSqP3in.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, _ as AbsApplyNoThrow, a0 as AbsApplyNoThrowFn, a1 as AbsApplyResult, a2 as AbsApplyReturn, a3 as AbsFnImpl, a4 as AbsSigImpl, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, a8 as EvalPosRecord, a9 as ImplicationOracle, aa as LitValueResult, L as LiteralValue, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, P as PrimName, ad as RUNTIME_IMPORT_RE, ae as TYPEOF_NAMES, af as TranspiledCallResult, ag as TypeofName, ah as abs, ai as absFunction, aj as absOnly, ak as absToString, al as and, am as anyAbs, an as anyVar, ao as app, ap as assumeFinite, aq as attachFnImpl, ar as bigintLit, as as bindImports, at as bindingsOf, au as bool, av as boolLit, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, az as collectAbsExports, aA as confJoin, aB as emptyPhi, aC as eq, aD as evalExprAbs, aE as ge, aF as geNum, aG as getEvalCallCollector, aH as getFnImpl, aI as getImplicationOracle, aJ as gt, aK as gtNum, aL as hostFnCtorFacet, aM as implies, aN as isAbsApplyResult, aO as isAbsVal, aP as isBigPrim, aQ as isCjsMainRun, aR as isExactLit, aS as isNumPrim, aT as isStrPrim, aU as le, aV as leNum, aW as lit, aX as litValue, aY as lt, aZ as ltNum, a_ as makeAbsApplyResult, a$ as markPureFn, b0 as namespaceAbsOf, b1 as ne, b2 as negatePred, b3 as never, b4 as not, b5 as noteEvalCallRecord, b6 as noteEvalFallback, b7 as num, b8 as numLit, b9 as numVar, ba as obj, bb as or, bc as pFalse, bd as pTrue, be as phiAnd, bf as predEquals, bg as predToString, bh as predVars, bi as primToTypeof, bj as ptypeof, bk as pureFnNameOf, bl as relationFingerprint, bm as relationFn, bn as resetEvalCallBudget, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bu as setImplicationOracle, bv as setPosCollector, bw as shapeOfTerm, bx as shapeOnlyFn, by as shapeToString, bz as simplifyTerm, bA as str, bB as strLit, bC as substPred, bD as termEquals, bE as termToString, bF as tryRunTranspiled, bG as unknown, bH as v } from './run-DhSqP3in.js';
 import { Node, File } from '@babel/types';
-import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-CeoxA06q.js';
-export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as INTERFACE_SOURCE_ABBR, K as InterfaceDiag, I as InterfaceSource, O as InterfaceTierInfo, a as InterfaceTierOpts, Q as NamedImport, R as NudoField, S as NudoFnConstraint, T as NudoSidecarError, U as NudoSig, V as RefineDiag, W as RefineEntry, X as RefineResolveOpts, Y as SELF, Z as actionsForIssue, _ as andC, $ as any, a0 as array, a1 as boolean, a2 as checkArg, a3 as checkCall, a4 as constraintAdmitsNullish, a5 as constraintToEntryAbs, a6 as derefConstraint, a7 as drainPromiseMicros, a8 as effectiveInterface, a9 as enterPromiseExecutorScope, aa as evalPromiseCtor, ab as evalPromiseMethod, ac as evalPromiseStatic, ad as execNudoModule, ae as extractDeclaredThrows, af as extractFnBudget, ag as extractNudoImports, ah as extractRefineReturnFromSource, ai as extractRefinesFromSource, aj as fn, ak as fnConstraintToEntryReqs, al as formatCheckReport, am as formatConstraint, an as formatDiagnostics, ao as formatEffectiveInterfaceDisplay, ap as formatGithubAnnotations, aq as formatGitlabCodeQuality, ar as formatInterfaceTierLine, as as generatedExportNames, at as getParseSourceCacheSize, au as getTerm, av as instantiateConstraint, aw as interfaceDiagCount, ax as interfaceSourceOf, ay as interfaceTierOf, az as isIntFlag, aA as isNodeModulesPath, aB as isNudoConstraint, aC as lazy, aD as leavePromiseExecutorScope, aE as lenTerm, aF as litC, aG as localNamedExports, aH as notePromiseExecutorFork, aI as nullable, aJ as number, aK as omit, aL as partial, aM as pick, aN as queuePromiseMicro, aO as refineDiagCount, aP as refineToIndexedFull, aQ as resetNudoModuleExecCache, aR as resetParseSourceCache, aS as resetSidecarLoadFailureCache, aT as serializeCheckJson, aU as serializeCheckJsonMulti, aV as setInterfaceDiagCollector, aW as setRefineDiagCollector, aX as shape, aY as sidecarClosureFingerprint, aZ as sidecarPathOf, a_ as string, a$ as takeInterfaceDiags, b0 as takeInterfaceDiagsSince, b1 as takeRefineDiags, b2 as takeRefineDiagsSince, b3 as throwConstraintToKinds, b4 as union } from './projection-budget-CeoxA06q.js';
+import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-DPPRBOLp.js';
+export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as INTERFACE_SOURCE_ABBR, K as InterfaceDiag, I as InterfaceSource, O as InterfaceTierInfo, a as InterfaceTierOpts, Q as NamedImport, R as NudoField, S as NudoFnConstraint, T as NudoSidecarError, U as NudoSig, V as RefineDiag, W as RefineEntry, X as RefineResolveOpts, Y as SELF, Z as actionsForIssue, _ as andC, $ as any, a0 as array, a1 as boolean, a2 as checkArg, a3 as checkCall, a4 as constraintAdmitsNullish, a5 as constraintToEntryAbs, a6 as derefConstraint, a7 as drainPromiseMicros, a8 as effectiveInterface, a9 as enterPromiseExecutorScope, aa as evalPromiseCtor, ab as evalPromiseMethod, ac as evalPromiseStatic, ad as execNudoModule, ae as extractDeclaredThrows, af as extractFnBudget, ag as extractNudoImports, ah as extractRefineReturnFromSource, ai as extractRefinesFromSource, aj as fn, ak as fnConstraintToEntryReqs, al as formatCheckReport, am as formatConstraint, an as formatDiagnostics, ao as formatEffectiveInterfaceDisplay, ap as formatGithubAnnotations, aq as formatGitlabCodeQuality, ar as formatInterfaceTierLine, as as generatedExportNames, at as getParseSourceCacheSize, au as getTerm, av as instantiateConstraint, aw as interfaceDiagCount, ax as interfaceSourceOf, ay as interfaceTierOf, az as isIntFlag, aA as isNodeModulesPath, aB as isNudoConstraint, aC as lazy, aD as leavePromiseExecutorScope, aE as lenTerm, aF as litC, aG as localNamedExports, aH as notePromiseExecutorFork, aI as nullable, aJ as number, aK as omit, aL as partial, aM as pick, aN as queuePromiseMicro, aO as refineDiagCount, aP as refineToIndexedFull, aQ as resetNudoModuleExecCache, aR as resetParseSourceCache, aS as resetSidecarLoadFailureCache, aT as serializeCheckJson, aU as serializeCheckJsonMulti, aV as setInterfaceDiagCollector, aW as setRefineDiagCollector, aX as shape, aY as sidecarClosureFingerprint, aZ as sidecarPathOf, a_ as string, a$ as takeInterfaceDiags, b0 as takeInterfaceDiagsSince, b1 as takeRefineDiags, b2 as takeRefineDiagsSince, b3 as throwConstraintToKinds, b4 as union } from './projection-budget-DPPRBOLp.js';
 export { $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $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, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, DEFAULT_MAX_LOOP_ITERS, EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, 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';
 
 /**
@@ -457,7 +457,6 @@ declare function hostBuiltinCtorName(v: unknown): string | undefined;
  * null-proto 无 Object.prototype.constructor → undefined（读侧走 undef）。
  */
 declare function ctorNameOfRecv(recv: Abs): string | undefined;
-/** `X.prototype` 形态（getPrototypeOf 结果；带 constructor 槽） */
 declare function protoBrandAbs(ctorName: string): Abs;
 /**
  * Object.getPrototypeOf 的具体原型投影（constructor 链可解）。
@@ -579,6 +578,17 @@ type Slot = {
     optional?: boolean;
     readonly?: boolean;
     internal?: boolean;
+    /** Bug 66：原型链解析槽（errorBrandAbs 的 name——原生经 X.prototype.name
+     * 可见，非实例自有）。$get 直读 / $in 存在性照常；自有面 introspection
+     * （hasOwnProperty / propertyIsEnumerable / Object.hasOwn / gOPN）折
+     * false；$set 公有覆写落地转自有（e.name = "X" 原生建自有可枚举属性）。 */
+    inherited?: boolean;
+    /** Bug 73：计算 symbol 键投影槽（[Symbol.X] → "@@X"，transpile 期
+     * $set opts.symbolKey 打标）。原生 symbol 键对 JSON.stringify 等
+     * 字符串键枚举面不可见；字面量字符串键 {"@@lit":1} 无标记、照常
+     * 序列化——不得用 "@@" 前缀语法过滤（会误滤）。$get/$set/$in 直连
+     * 键访问不受影响。 */
+    symbolKey?: boolean;
 };
 /** ES 规范数组下标（无前导零、< 2^32-1）；非规范键返回 undefined */
 declare function canonicalArrayIndex(v: unknown): number | undefined;

package/dist/index.js

@@ -21,6 +21,7 @@ import {
   extractRefinesFromSource,
   findFnDirectiveScope,
   fnDirectiveCommentLines,
+  fnTopLevelLocalNames,
   formatConstraint,
   formatEffectiveInterfaceDisplay,
   formatInterfaceTierLine,
@@ -65,7 +66,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-2PFT7GU2.js";
+} from "./chunk-V2XC3V72.js";
 import {
   $add,
   $arguments,
@@ -525,7 +526,7 @@ import {
   withAssumePremises,
   withExecPhi,
   withVar
-} from "./chunk-GL6VOF75.js";
+} from "./chunk-A2PLG2QV.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -2371,9 +2372,11 @@ function assumePremisesPhiOf(name, source, file, issues) {
   const segs = extractAssumeSegs(source, name);
   if (segs.length === 0) return void 0;
   const meta = extractFn(source, name, file);
+  const locals = fnTopLevelLocalNames(meta?.body);
   const bindable = /* @__PURE__ */ new Set([
     ...contractParamNameSet(meta?.formals ?? []),
-    ...meta?.params ?? []
+    ...meta?.params ?? [],
+    ...locals
   ]);
   const surface = [...bindable].join(", ");
   const preds = [];
@@ -2396,10 +2399,10 @@ function assumePremisesPhiOf(name, source, file, issues) {
       issues.push({
         severity: "error",
         code: "nudo:assume-invalid",
-        message: `${name}: @nudo:assume parameter name(s) not in the formal parameter list (${bad.join(", ")})`,
+        message: `${name}: @nudo:assume name(s) not bound as parameters or top-level locals (${bad.join(", ")})`,
         actual: bad.join(", "),
-        expected: surface || "(no params)",
-        suggestion: `reference one of: ${surface || "(function has no params)"}`,
+        expected: surface || "(no params/locals)",
+        suggestion: `reference one of: ${surface || "(no params or top-level locals)"}`,
         fn: name
       });
       continue;

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-CeoxA06q.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-CeoxA06q.js';
-import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-DaqGgSre.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-DaqGgSre.js';
+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 { File, Node } from '@babel/types';
 
 /**

package/dist/internal.js

@@ -21,7 +21,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-2PFT7GU2.js";
+} from "./chunk-V2XC3V72.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-GL6VOF75.js";
+} from "./chunk-A2PLG2QV.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/dist/{projection-budget-CeoxA06q.d.ts → projection-budget-DPPRBOLp.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-DaqGgSre.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-DhSqP3in.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;
@@ -13,7 +13,7 @@ declare function parseSource(source: string, opts?: {
  */
 
 declare function enterPromiseExecutorScope(): void;
-declare function leavePromiseExecutorScope(): number;
+declare function leavePromiseExecutorScope(settledArms: number[]): boolean;
 /** $fork 在 executor 内发生时打点（多臂 resolve 需 join，不得 first-wins 假精确） */
 declare function notePromiseExecutorFork(): void;
 /** 队列硬上限：无界增长是 LSP 长会话泄漏点（只进不出的模块求值路径） */

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

@@ -155,12 +155,15 @@ type Shape = {
     type: PrimName;
 } | {
     k: "obj";
-    /** 槽形与 objects.ts Slot 同构（含 Bug 84 internal 私有槽标记） */
+    /** 槽形与 objects.ts Slot 同构（含 Bug 84 internal 私有槽标记 /
+     *  Bug 73 symbolKey 计算符号键标记 / Bug 66 inherited 原型链解析槽） */
     slots: Record<string, {
         value: Abs;
         optional?: boolean;
         readonly?: boolean;
         internal?: boolean;
+        symbolKey?: boolean;
+        inherited?: boolean;
     }>;
     index?: {
         key: Abs;
@@ -209,6 +212,7 @@ type Shape = {
     eff: "promise" | "generator";
     inner: Abs;
     rejected?: Abs;
+    unsettled?: boolean;
 } | {
     k: "sum";
     members: Abs[];
@@ -626,9 +630,11 @@ type AbsFnImpl = {
      */
     apply?: (args: Abs[], thisVal?: Abs) => AbsApplyReturn;
     /**
-     * 对象方法（ObjectMethod / 方法型 FunctionExpression）：$invoke 时把
-     * receiver 作为 apply 的**首参**注入。shape.params 仍是用户可见形参
-     * （不含 receiver），自由调用不注入 → this 为 unbound（JS 语义）。
+     * 对象方法（ObjectMethod / 方法型 FunctionExpression）：$call 派发统一把
+     * receiver（$call 第三参 thisVal；成员调用 = 接收者，直接调用 / call /
+     * apply / bind 缺省 = undefined）注入 apply 的**首参**。shape.params 仍是
+     * 用户可见形参（不含 receiver）；自由调用注入 undefined → this 为
+     * unbound（JS 语义）。$new（可构造方法值）同样注入新实例。
      */
     bindThis?: boolean;
     /**
@@ -656,6 +662,21 @@ type AbsFnImpl = {
     };
     /** `@nudo:pure`：调用结果按实参记忆化（无副作用契约） */
     pureName?: string;
+    /**
+     * M4：transpile 静态判定的「无副作用面」facet（保守：任意赋值/自增/
+     * 调用/delete/标签模板/非白名单 new 都算有副作用）。sort 等原生调用
+     * 次数取决于算法内部的内建，仅在该 facet 在场时才真执行回调比较——
+     * 副作用回调多执行不可回滚（外层绑定 n++ 会错定值）。
+     */
+    effectFree?: boolean;
+    /**
+     * R3：transpile 静态判定的「封闭」facet（保守）：体内所有标识符引用只
+     * 绑定自身形参/体内声明/纯全局白名单——不读任何外层可变态。
+     * promise then/catch 对 effectFree∧closed 回调允许同步执行：原生微任务
+     * 时刻 ≠ 同步时刻，只有不读外层态的回调两个时刻求值无差（`v => v + x`
+     * 读外层 x，同步执行会读到 drain 前旧值——假精确，须留在微任务路径）。
+     */
+    closed?: boolean;
 };
 declare function attachFnImpl(a: Abs, impl: AbsFnImpl): void;
 declare function getFnImpl(a: Abs): AbsFnImpl | undefined;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/core",
-  "version": "1.11.3",
+  "version": "1.13.0",
   "engines": {
     "node": ">=20"
   },