@nudojs/core 1.15.2 → 1.16.0

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-DfloWX6i.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-DfloWX6i.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-T9HWTziZ.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, R 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-T9HWTziZ.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**
@@ -23,6 +23,19 @@ declare function isNudoThrow(e: unknown): e is NudoThrow;
 /**
  * 求值引擎运行时共享状态：phi、就地写、字面量 Abs、真值、循环信号。
  * 叶子模块——不依赖 runtime 其它文件（tuple/obj 字面量就地构造，避免 state↔containers 环）。
+ *
+ * Invariants:
+ * - Bug 213：宿主 / 命名空间对象（Math / JSON / Reflect）的自有属性投影按
+ *   **getOwnPropertyNames**（全部自有字符串键）而非 Object.entries（只取可
+ *   枚举键）——原生这些对象的自有属性几乎全不可枚举，按可枚举投影会把整个
+ *   自有面丢掉（gOPN / ownKeys / hasOwn / gOPD 全折 0）；逐键记 enumerable /
+ *   writable / configurable 标志，不可枚举键仍不进枚举面。
+ * - Bug 210：enforceProxyGetInvariant 是 Proxy [[Get]] 规范不变量的单一实现
+ *   （靶上自有属性不可配置且不可写时，get 陷阱须返回其实际值）；
+ *   proxyTargetInnerObj 归一化「靶 → 内层 obj Abs」（不变性侧表与槽表都挂
+ *   在内层 obj 上——brand 包装的靶走内层）。
+ *   [[OwnPropertyKeys]] 不变量（重复名 / 漏键 / 多余键）在
+ *   builtins/object/descriptor.ts（enforceProxyOwnKeysInvariant）。
  */
 
 /** 调用方已直接改 shape 时的 term/pred 清理 */
@@ -39,6 +52,8 @@ declare function withAssumePremises<T>(p: Phi, body: () => T): T;
  * extractParamNames 回退口径一致）；带真实参数名走 $fnVal（transpile 侧）。
  */
 declare function asAbsVal(v: unknown): Abs;
+/** transpile 生成代码用：给宿主函数打种类戳（Bug 325） */
+declare function $fnKindStamp(fn: unknown, kind: string): void;
 /** transpile 侧收形入口（instanceof RHS 值等）：host 裸值 / Abs → Abs。
  *  `$` 前缀是运行时绑定表（runtimeArgNames）的注入约定。 */
 declare function $absVal(v: unknown): Abs;
@@ -70,6 +85,8 @@ declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs, opts?:
     effectFree?: boolean;
     closed?: boolean;
     kind?: string;
+    fnKind?: "function" | "async" | "generator" | "async-generator";
+    optionalParams?: boolean[];
 }): Abs;
 /**
  * 宿主 this → Abs：函数体 prologue 用它承接 call/apply/bind 传入的 thisArg。
@@ -188,6 +205,17 @@ declare function $join(a: Abs, b: Abs): Abs;
 
 /**
  * 访问器（get/set）侧表、in / instanceof / delete 路由。
+ *
+ * Bug 149：符号键（Symbol.iterator 等）按**宿主身份**反查 "@@X" 内部槽键
+ * 寻址（与读写面同口径），Proxy has 陷阱收到**真 symbol**（规范
+ * PropertyKey）——不再在「键不可判」处提前 return（陷阱此前完全不派发）。
+ * Bug 230：delete 运算符路径（$delRes）的 Proxy [[Delete]] 规范不变量——
+ * deleteProperty 陷阱返 true 时，若靶上该键是不可配置自有属性 ⇒ 原生定抛
+ * TypeError（此前直接返 true，假绿；Reflect 臂已由 S9 接线）。
+ * Bug 194：`delete X.prototype.m` —— 类方法在方法注册表（spec.methods）里，
+ * 原型对象上无该方法的槽 ⇒ 只删槽不留痕（读/调用/in 三面继续命中）。
+ * $del 在 `.prototype` brand 臂按 owner 名通知注册表侧移除（S8 的
+ * deleteProtoMethod 钩子）；delete 返回值恒 true（原生同）。
  */
 
 /** 计算键访问器注册（`{ get [expr]() {} }`）：键为 Abs，ToPropertyKey 后注册。
@@ -210,11 +238,18 @@ declare function $instanceof(left: Abs, rightName: string, rightVal?: Abs): Abs;
 /** instanceof 右操作数非标识符（表达式/成员路径）：RHS 值传入时先做原生
  *  非对象校验（definite / may TypeError）；构造器值未知 → 抽象 boolean */
 declare function $instanceofNonIdent(left: Abs, right?: Abs): Abs;
-/** ClassExpression 值：构造器函数形状，不得折成精确 undefined */
-declare function $classExpr(): Abs;
+/**
+ * ClassExpression 值：构造器函数形状，不得折成精确 undefined。
+ *
+ * Bug 133：name —— **NamedEvaluation 名**（`const K = class {}` → "K"）。
+ * 空类体走本快路径（fn 形状），类名落在 fn 形状的 name 位（$get(fn,"name")
+ * 读 shape.name）——无名类不传（原生名为空串）。
+ */
+declare function $classExpr(name?: string): Abs;
 /**
  * `delete obj[key]` 的结果判定（只读，不写回）。
  * frozen/sealed 或 configurable:false 键 → false；preventExtensions 可删；
+ * 数组 length 恒不可配置 → strict 定抛 TypeError（Bug 230）；
  * closed 目标恒 true（其余 non-configurable 形态不建模）；
  * nullish 接收者原生 definite TypeError（ToObject(null) 抛）→ hard NudoThrow；
  * 非 nullish prim 接收者原生不抛（装箱临时对象上 delete 恒 true，strict 亦然）
@@ -224,7 +259,8 @@ declare function $delRes(o: Abs, _key: Abs): Abs;
 /**
  * `delete obj[key]` 的写入（不可变更新）：返回删键后的新容器。
  * 闭对象删自有槽；tuple 规范下标置 undefined（对齐原生空洞读值）；
- * 抽象 arr 元素并入 undefined；无法表达的形态原样返回。
+ * 抽象 arr 元素并入 undefined；数组 length 不可配置 → strict 定抛
+ * TypeError（Bug 230）；无法表达的形态原样返回。
  */
 declare function $del(o: Abs, key: Abs): Abs;
 
@@ -233,6 +269,14 @@ declare function $del(o: Abs, key: Abs): Abs;
  * 下沉原因：objects.ts 的 joinObjects 需感知访问器（join 不迁移侧表会丢
  * getter 读域），而 members.ts 依赖 objects.ts；表放无运行时依赖的叶子上
  * 才能被两层共用而不成环。in / instanceof / delete 路由仍在 members.ts。
+ *
+ * 不变量：
+ * - 访问器**不住在 shape 槽里**：transpile 只落一个 `$lit(void 0)` 占位槽
+ *   （保键存在性：'x' in o / keys / assign 拷贝目标），真 getter 住本侧表；
+ * - 读通道（$get/$set）先查侧表再回落槽值 ⇒ `o.ab` 读得对；
+ * - **投影通道**（formatShape / denoteGuard / absToConstraint / 契约证明）
+ *   必须先经 accessorReadDomain 取读域，否则把占位槽渲染成 exact
+ *   `undefined`——一个自信的错值（比真值更窄且自相矛盾，Bug 191）。
  */
 
 /** 注册对象字面量访问器（transpile 调用；返回原 obj 以便链式包裹） */
@@ -268,6 +312,9 @@ declare function $for(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, b
     unpack?: (s: Abs) => void;
     /** 标签循环（`outer: for …`）：仅吸收同标签 break/continue 信号 */
     label?: string;
+    /** 循环变量的最新写（Bug 228）：continue 臂取「体退出瞬间的循环变量值」
+     *  ——转译侧在体的 finally 里写回共享槽；缺省（未插桩）时以 state 近似。 */
+    loopVar?: () => Abs;
 }): Abs;
 /**
  * 有界 while：state 线程穿 test/step（与 $for 同折叠语义）。
@@ -292,6 +339,13 @@ declare function $whileSeq(test: () => Abs, body: () => void, maxIters?: number,
  * 抽象路径与 $fork 同构：集合 side-table 按臂 overlay，共享 body 只跑一次；
  * 臂内 NudoReturn/NudoThrow 不冒泡污染兄弟臂。
  * **无 default 时必须隐式 fall-through 臂（undef）**，否则无匹配路径被丢掉（P0-2）。
+ *
+ * Bug 241：**字面量判别式 + 非字面量 case 测试**（`switch (true) { case x > 0: … }`）
+ * ——原生里 case 测试是运行时求值的表达式，命中与否取决于测试值；此前字面量
+ * 判别式路径只接受「case 测试也是字面量」的臂，其余臂被**整条丢弃**（永不
+ * 命中）⇒ 臂内返回值从返回域/签名里消失 ⇒ 契约真实违约被漏报（L1 门禁假绿）。
+ * 修法：遇到非字面量 case 测试 ⇒ **分叉**（命中该臂 / 不命中继续后续臂与
+ * default），两路结果并入返回域（switchForked）。
  */
 declare function $switch(disc: Abs, cases: Array<{
     test: Abs;
@@ -305,7 +359,15 @@ declare function $throw(v: Abs): never;
  * 不得污染 join 后的 continue 绑定。
  */
 declare function $isForkExit(e: unknown): boolean;
-/** catch 参数：从 NudoThrow 取出 Abs；宿主 Error 补 name/message；否则 unknown */
+/**
+ * catch 参数：从 NudoThrow 取出 Abs；宿主 Error 补 name/message；否则 unknown。
+ *
+ * Bug 211：**控制流信号（break / continue）不是异常**——原生里 `break` 是
+ * 控制流完成值，根本到不了 catch 处理器（catch 体不跑、循环照常退出）。
+ * 引擎的循环信号是 Error 子类 ⇒ 会被 catch 接住；此前 catch 体把信号「吃掉」
+ * （副作用照跑、循环还不退出）。修法：控制流信号在此**重抛** ⇒ catch 体不执行、
+ * 信号透传到循环捕获点（catch 体只吞真异常）。
+ */
 declare function $catchVal(e: unknown): Abs;
 
 /**
@@ -317,6 +379,8 @@ declare function $catchVal(e: unknown): Abs;
  *   迁移，副本丢失侧表 = 臂内写不再硬抛 / 延迟异常静默丢弃。
  * - $spread 原生语义会**调用**源对象 getter 并把结果拷为数据槽——必须
  *   用 getter 求值后的副本（accessorTable 求值，抛/失败折 unknown）。
+ * - $objRest 同理：原生 CopyDataProperties 对保留键发 Get ⇒ getter 必须
+ *   被调用（副作用发生），rest 槽落 getter 的**返回值**（非占位 undefined）。
  */
 
 /**
@@ -338,9 +402,10 @@ declare function $setProto(o: Abs, proto: Abs): Abs;
 declare function $spread(a: Abs, b: Abs): Abs;
 /**
  * 解构 rest：`const { a, ...rest } = o` → rest = o 去掉 named keys。
+ * 排除集可含**动态计算键**（Abs）——原生按求值后的键排除（Bug 160）。
  * closed obj：剩余槽 closed；open / optional 键：rest 仍 open（可能有未知键）。
  */
-declare function $objRest(o: Abs, keys: string[]): Abs;
+declare function $objRest(o: Abs, keys: Array<string | Abs>): Abs;
 
 /**
  * 元组/数组构造与宽化。
@@ -392,6 +457,9 @@ declare function $restBind(list: ArrayLike<unknown>, namedCount: number): Abs;
  *   抽象 → may（空接收者同样先校验）；values 实参不校验（原生存储不转换）。
  * - mutator 降 arr（splice 等）的元素域 = 全部观测元素 join——不并入
  *   OOB undefined（issue #156 元素域约定）。
+ * - 完整性门（Bug 223）：frozen 任何 mutator 抛；sealed 的**结构性扩展**
+ *   （push/unshift/splice）与**删除既有自有属性**（pop/shift 命中自有元素）
+ *   抛 TypeError；空数组 / 空洞位 / preventExtensions（nonext）不抛。
  */
 
 declare function isArrMutator(name: string): boolean;
@@ -421,6 +489,10 @@ declare function $arrMutContainer(arr: Abs, method: string, args: Abs[]): Abs;
  *   （issue #175：否则 xs[0].length - xs[1].length 假折 0）。
  * - abstractLen memo 只对**绑定接收者**合法（跨读同 term sound）；
  *   lenVarSeq 单调递增，len#N term 全局唯一。
+ * - Bug 209：Proxy **set 陷阱**返回值按规范 ToBoolean 判定——falsy（0 / "" /
+ *   null / undefined / false）→ strict TypeError（只认字面量 false 会漏）。
+ * - Bug 197：下标写查 defineProperty 的 writable:false → strict TypeError
+ *   （此前下标臂只查 frozen / sealed，flags 面没查 → 写穿无声）。
  */
 
 /** 下标读 a[i]；规范数组下标走精确投影，确定非下标键 → undefined，否则并所有元素；string[i] → 单字符 */
@@ -444,20 +516,64 @@ declare function $len(a: Abs, opts?: {
  *   内层空 obj，原型链 @@iterator 不在内层建模）。
  * - 生成器/模板标签/matchAll 迭代物挂对象侧表：迭代 = 消费（从当前位
  *   取剩余），体内延迟异常在消费点重放（不得静默截断成前缀，Bug 34）。
+ * - async generator（仅 @@asyncIterator 槽的**生成器对象**，Bug 141）：
+ *   for-await 的元素域走**元素侧表**（与同步 generator 同口径：元素取
+ *   侧表剩余条目，长度亦由侧表给出）——不得落 asyncOnly 的 unknown 快
+ *   路径（元素域精度回退）；非生成器的仅异步可迭代对象元素域不可静态刻
+ *   画 → 仍折 unknown。
  * - unbounded（长度未知）单代表迭代只跑一次：0 次/出口臂由 fork-arm +
  *   snapExit join 承接；break/continue 打断代表体 → widen.markInterrupted
  *   （完整迭代效应不可观测，累加器域整体宽化）。
+ * - Bug 195：标签模板对象是**冻结的数组 exotic**（原生 GetTemplateObject →
+ *   CreateArrayFromList + SetIntegrityLevel(frozen)）⇒ 元槽（length / raw /
+ *   @@iterator）**非枚举**、对象**冻结**（extState）、JSON 走**数组序列化面**
+ *   （数组视图标注）。未冻结的普通 obj 不得被误标。
+ * - Bug 198：Map/Set 的条目遍历（forEach / for-of）必须是**接收者的 live
+ *   视图**——回调里的增删删改对迭代可见（live 视图按访问序取，条目身份去重）。
+ * - Bug 198（S20）：live 集合 / 数组迭代器**不登记静态元素侧表**（静态表是
+ *   创建期拷贝 ⇒ 元素面与长度冻结在创建时刻）⇒ 迭代物判定（$arrRest 的
+ *   「侧表迭代物」门、$yieldStarElems 的长度可知性）必须**同口径**认
+ *   **消费视图**（registerGenDrain）——只查静态侧表会把 live 迭代物误判成
+ *   「非迭代物」（rest 解构退 unknown）。
+ * - Bug 199：非正常出口（break / return / throw / label break）与**解构模式
+ *   填满而迭代器未耗尽**必须 IteratorClose（调用户迭代器的 return()）；continue
+ *   与自然耗尽**不**调；无 return 槽**不**凭空抛（抽象面不判定）。
+ * - Bug 200：for..in 遍历 brand 实例须**沿原型链**枚举可枚举键（原型上的
+ *   class 方法非可枚举 ⇒ 不出现）。
+ * - Bug 215：for-of 的**具体出口**（无快照 join）也须实施 @nudo:invariant 公理
+ *   （无公理时不取绑定包——零行为变化）。
  */
 
 /** 数组 rest：`const [a, ...rest] = arr` → rest = 从 start 起的尾段 */
 declare function $arrRest(a: Abs, start: number): Abs;
 /** 数组连接 [...a, ...b] / [...a, x]；结果超 cap 时与字面量同策略降 arr */
 declare function $concat(a: Abs, b: Abs): Abs;
-/** 数组解构模式接收者守卫：原生数组解构 = GetIterator + IteratorNext，
- *  非可迭代接收者抛 TypeError。emitDestructure 的 ArrayPattern 分支在逐项
- *  $idx / $arrRest 投影前调用；值域投影不变（字符串/元组等可迭代接收者
- *  不受影响）。 */
-declare function $iterCheck(a: unknown): void;
+/**
+ * 用户 iterable 的**迭代序**元素读取器（`$iterCheck` 返回值）：
+ * - `get(i)`：第 i 个元素（迭代序）；越界 = 迭代已 done → exact undefined；
+ *   列表被截断（truncated）→ unknown（sound）。
+ * - `rest(i)`：从第 i 项起的剩余元素（原生 rest 语义：迭代到 done 为止）；
+ *   截断 → unknown（剩余长度不可知）。
+ */
+interface UserIterReader {
+    get(i: number): Abs;
+    rest(i: number): Abs;
+}
+/**
+ * 数组解构模式接收者守卫 + **用户 iterable 迭代序元素读取器**。
+ *
+ * 两件事（同一调用，避免生成码再判一次接收者形态）：
+ * ①守卫：原生数组解构 = GetIterator + IteratorNext，非可迭代接收者抛
+ *   TypeError（definite）；抽象接收者记 may-throw。
+ * ②返回用户 iterable（对象带自有 `@@iterator` 槽、引擎无其元素模型）的
+ *   迭代序元素读取器；**非**用户 iterable → null ⇒ 调用方走既有 `$idx` /
+ *   `$arrRest` 快速路径（tuple / 数组 / 字符串 / Set / Map / 生成器 /
+ *   `$tpl` / 数组迭代器…逐字不变）。
+ *
+ * `maxElements`：本次最多取几个元素（原生按需取：模式有 n 个位置就取 n 个，
+ * 空位也消耗一个）；缺省 / 负数 = 取到 done（受 USER_ITER_MAX_STEPS 上界约束）。
+ */
+declare function $iterCheck(a: unknown, maxElements?: number): UserIterReader | null;
 /** 元素列表（tuple 展开；arr 抽象；C1 Set/Map 逐条目；matchAll 迭代器逐匹配项；
  *  字符串按 code points）。Map 迭代语义是 entry `[key, value]` 元组，不是裸 value。
  *  消费前先过可迭代性守卫（Bug 6）：prim 字面量接收者 → 原生 definite
@@ -469,18 +585,28 @@ declare function $elems(a: Abs): Abs[];
  *  为 cooked 字符串（无效转义序列时 cooked 是 undefined，原生实测）、
  *  length 精确、.raw 为 raw 字符串数组；@@iterator 槽给函数形状
  * （`[...s]` / `for..of` / `Symbol.iterator in s` 均按可迭代面判定，
- *  不得把冻结数组误判 definite 不可迭代）。 */
-declare function $tpl(cooked: Array<string | undefined>, raw: string[]): Abs;
-/**
- * for-of：对 iterable 每个元素跑 body；有界展开。
- * body(item, i) 可返回 void；状态由外部 JS 变量承接。
- * - 具体空 tuple：体 0 次（不得用 `length || maxIters` 展开成 maxIters）
- * - 抽象 arr / 未知长度：0..maxIters 出口与 pack 状态 join
- */
-/**
- * for-in 键序列：原生顺序为整数键升序 → 其余键按插入序；
- * 数组 hole 槽不出键（读值为 undefined 但不可枚举）。仅自有可枚举键。
+ *  不得把冻结数组误判 definite 不可迭代）。
+ *
+ * Bug 195：原生 GetTemplateObject = `CreateArrayFromList` + `SetIntegrityLevel(frozen)`
+ * ⇒ 模板对象是**冻结的数组 exotic**：
+ * - `length` / `raw` / `@@iterator` 是**非枚举**自有属性（原生三者全非枚举；
+ *   `Object.keys(s)` 只有下标 "0".."n-1"）——此前平铺为可枚举槽 ⇒ Object.keys
+ *   折出 "0,1,length,raw,@@iterator"（错值）。
+ * - `Object.isFrozen(s)` / `Object.isFrozen(s.raw)` 均为 true（原生冻结）——
+ *   此前 false。冻结走 extState 侧表（`Object.isFrozen` 的判定源）。
+ * - `JSON.stringify(s)` 走**数组序列化**（原生 `["a","b"]`）——此前走 obj 面
+ *   折 `{"0":"a",...}`。数组视图标注（markMatchArrayView）复用 RegExp exec
+ *   结果同款机制（json.ts 消费，不改 json.ts）。
+ *
+ * **未建模（越界，需 member.ts / builtins/array.ts）**：
+ * - `Array.isArray(s)` 原生 **true**（模板对象是数组 exotic）——引擎 isArray
+ *   只认 arr/tuple 形状 ⇒ 仍折 false（需 builtins/array.ts 查模板对象标注）。
+ * - 数组原型方法（`s.join` / `s.map` / `s.slice` / `s.indexOf` / `s.concat`）
+ *   原生可调（模板对象继承 Array.prototype）——引擎 obj 接收者的数组方法
+ *   派发面只认 tuple/arr 形状 ⇒ 此前折**确定抛 TypeError**（假抛）。
+ *   需 member.ts 的 $get 数组方法臂认模板对象（按元素侧表投影）。
  */
+declare function $tpl(cooked: Array<string | undefined>, raw: string[]): Abs;
 declare function $forInKeys(o: Abs): Abs;
 declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, maxIters?: number, opts?: {
     pack?: () => Abs;
@@ -489,7 +615,9 @@ declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, ma
     label?: string;
     /** for await：接收者按 GetIterator(hint=async) 校验（@@asyncIterator 槽
      *  即全量）；仅异步可迭代（无 @@iterator 槽）的接收者不折同步槽位投影，
-     *  元素取抽象 unknown（原生由 next() 链驱动）。 */
+     *  元素取抽象 unknown（原生由 next() 链驱动）——**async generator 例外**
+     *  （Bug 141）：它是生成器对象，元素域走元素侧表（与同步 generator
+     *  同口径）。 */
     forAwait?: boolean;
     /** for-in（Bug 98）：接收者重查 thunk——快照键进体前重查在场，体内
      *  delete 的未访问键跳过该迭代（与原生 EnumerateObjectProperties 的
@@ -501,6 +629,11 @@ declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, ma
  * Map/Set forEach：条目表逐条调用回调（value, key, recv）。
  * 回调是 求值引擎 JS 函数（transpile 内联箭头）直接调用；Abs fn 走 $call。
  * 回调返回值丢弃；forEach 表达式值恒 undefined。
+ *
+ * Bug 198：**live 视图**——原生 forEach 持条目指针：迭代期间新增的条目被
+ * 访问、删除的条目被跳过（`m.forEach(v => { out.push(k); m.set("b",2) })`
+ * 原生 "a,b"，引擎快照口径只有 "a"）。表不干净（shadow / maybeAbsent）⇒
+ * 无 live 视图 ⇒ 沿用快照口径。
  */
 declare function $collectionForEach(recv: Abs, cb: unknown): Abs | undefined;
 
@@ -517,6 +650,51 @@ declare function $collectionForEach(recv: Abs, cb: unknown): Abs | undefined;
  * - 闭 shape 字面量 key miss → 精确 undefined（键确定不存在）；open
  *   shape / 抽象键 → 并 unknown（键可能存在）；已知原型访问器名槽面
  *   未建模 → 诚实 unknown（不得 wrong-exact undefined）。
+ * - Bug 149：符号投影键（"[Symbol.X]" → "@@X"）在 **Proxy 陷阱边界**还原成
+ *   真 symbol（规范 PropertyKey）；字面量串键 "@@X" 不带标记，仍是字符串键。
+ * - Bug 218：prim（number/boolean/bigint/symbol）读**确定不存在**的成员 →
+ *   undefined 字面量（原生语义），不是 unknown——unknown 接收者不记
+ *   may-throw，会让后续读该值的 TypeError 丢失（L2 门禁假绿）。
+ * - Bug 219：symbol prim 的 toString/toLocaleString/valueOf 走
+ *   **Symbol.prototype 自己的面**（toString/valueOf 带 brand check——
+ *   借用调用非 symbol 接收者定抛 TypeError），不落 Object.prototype 泛型版。
+ * - Bug 206/225：类值写面的两个原生「不可写」——`A.prototype = v` 与
+ *   getter-only 静态访问器的写，都定抛 strict TypeError（例外：引擎内部
+ *   defineProperty 对原型的就地改写回装）。
+ * - Bug 234：类值的 `constructor` = 内建 Function（原生继承自
+ *   Function.prototype），不是「以类名命名的内建构造器」。
+ * - Bug 235：Proxy 无 get 陷阱时转发 `target.[[Get]](key, Receiver)`——
+ *   Receiver 必须是 proxy 自己（靶上 getter 的 this = receiver，不是靶）。
+ * - Bug 210：Proxy **get 陷阱**返回值过 [[Get]] 规范不变量（state.ts 的
+ *   enforceProxyGetInvariant）——靶上自有属性不可配置且不可写时，陷阱值
+ *   须 SameValue 靶值，否则原生定抛 TypeError（此前直接返陷阱值，假绿）。
+ * - Bug 209：Proxy **set 陷阱**返回值按规范 ToBoolean 判定——falsy（0 / "" /
+ *   null / undefined / false）→ strict TypeError（只认字面量 false 会漏）。
+ * - Bug 197：[[Set]] 写门——receiver **无自有该键**时沿 [[Prototype]] 链
+ *   上溯（OrdinarySet）：访问器（无 setter）→ strict TypeError；带 setter
+ *   → 派发 setter；数据属性 writable:false / frozen 原型 → strict
+ *   TypeError；链上无人持该键 → receiver 建自有属性。fn 臂 / 静态类值臂 /
+ *   数组下标臂另查 defineProperty 的 writable:false（见 proto-set.ts）。
+ *   **类实例面**同走该门（原型 = `A.prototype`，proto-set.ts 经
+ *   protoOfRecv 解析类注册表）——此前类实例未登记 protoTable ⇒ 门恒 allow
+ *   ⇒ 原型上动态装的只读属性 / getter-only 被静默写穿。
+ * - Bug 223/231：数组 length 写门——域判定走 ToNumber（具体非数值
+ *   undefined / {} / "abc" 定抛 RangeError，Symbol 抛 TypeError）；sealed
+ *   数组 length **截断**写要删不可配置元素 → strict TypeError（增长合法；
+ *   preventExtensions 不冻结元素 → 截断不抛）。见 array-length.ts。
+ * - Bug 198（S20）：内建 brand 实例上的 `@@iterator` 读值 = **原型上同一个
+ *   函数对象**（原生 m[Symbol.iterator] === Map.prototype[Symbol.iterator]）
+ *   ⇒ 走符号成员表（builtinSymbolMemberAbs），不得给 no-op fn——no-op fn 被
+ *   调用折 <abs:never>（自信的错值：原生返回集合迭代器）。Map/Set 的该成员
+ *   产出 **live 视图**集合迭代器（collectionIteratorFor），投影口径同原生：
+ *   Map → [k,v] 元组（entries），Set → 元素本身（values，非 [el,el]）。
+ * - Bug 291：fn 臂的**不变性写门**与 obj 臂同款——frozen 全写 strict
+ *   TypeError；sealed/nonext 新键 TypeError（函数亦是不可扩展对象）。
+ * - Bug 315：本模块向 builtins/object-proto.ts 注册**接收者 toString 解析
+ *   钩子**（Object.prototype.toLocaleString 委派 this.toString()）——注册式
+ *   注入断开 builtins↔exec 的 import 环（同 protoMethodDispatch 口径）。
+ * - Bug 325：fn impl 的 kind 值域含 "async-generator"（与 "generator" 同有
+ *   原生 prototype）——prototype 面读该戳。
  */
 
 declare function namespaceNameOf(v: unknown): string | undefined;
@@ -524,8 +702,17 @@ declare function namespaceNameOf(v: unknown): string | undefined;
 declare function $regex(pattern: string, flags?: string): Abs;
 /** 成员读：obj.slots[key]；缺失 → undefined 字面量；brand 解包内层 */
 declare function $get(o: Abs, key: string, opts?: {
-    silent?: boolean;
-}): Abs;
+    /** 调用方已负责诊断（如 $invoke） */ silent?: boolean;
+    /** Bug 149：键来自符号投影（"[Symbol.X]" → "@@X"）——陷阱边界还原真 symbol */
+    symbolKey?: boolean;
+}, 
+/**
+ * Bug 235：[[Get]] 的 **receiver**（规范 Proxy.[[Get]](P, key, Receiver)
+ * 无 get 陷阱时转发 `target.[[Get]](key, Receiver)`）。缺省 = 接收者自身。
+ * 只作用于本次读取的访问器 `this` 绑定——不向下递归传递（内层读取的
+ * receiver 仍是它自己的接收者）。
+ */
+receiver?: Abs): Abs;
 /** 成员写：返回新 obj/brand（不可变更新）；frozen/sealed/只读目标按 sloppy 静默失败。
  *  opts.internal（Bug 84）：私有字段落地——槽打 Slot.internal 标记；后续覆写
  *  保留既有标记（this.#x = v 不丢失 internal）。
@@ -539,6 +726,22 @@ declare function $set(o: Abs, key: string, value: Abs, opts?: {
 
 /**
  * async / await / generator / ??（$nullishTest / $removeNullish）。
+ *
+ * 不变量（本文件）：
+ * - `$await` 的取值面 = 原生的 adopt 口径：promise 走 eff("promise") 通道
+ *   （**双臂** promise 的 rejected 臂不得丢——记入 throw 通道供体内
+ *   try/catch 吸收，未被吸收者并入 promise 的 rejected 通道）；**thenable**
+ *   （闭对象 + 自有 then 槽）走 PromiseResolve 式采纳（取 then(res, rej)
+ *   的 settle 值，不是 thenable 本身）。any/unknown/fn/开对象的采纳面
+ *   不可判 → 保持原值（不猜、不用 unknown 掩盖）。
+ * - Bug 1052：thenable 采纳的**判定与调用**与 promise 构造面（`Promise.resolve`
+ *   / `new Promise(resolve => resolve(thenable))`）**同一套机制**
+ *   （`builtins/promise.ts` 的 `thenableAdoption`）——本文件只做 await 面的
+ *   语义映射（reject → throw；未 settle → 悬挂）。
+ * - 生成器对象是**内部槽对象**：协议方法与 yield 元素的槽标 internal
+ *   （枚举面 / 自有面不可见；$get / $in 照常直读直查）。
+ * - `yield*` 委托的 `.return(v)` 必须**转发**给委托迭代器（委托的清理
+ *   副作用不得整体丢失）。
  */
 
 declare function $async(thunk: () => Abs): Abs;
@@ -562,8 +765,11 @@ declare function $asyncReturn(v: Abs): Abs;
  * 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;
+ * .return()/.throw() 挂起点语义见 makeGenObject。
+ * Bug 141：asyncMode（第二实参）= async generator 面——迭代结果经 promise
+ * 交付（next/return/throw 返 promise）、装 @@asyncIterator 自返槽与
+ * @@toStringTag "AsyncGenerator"（原生 async function* / async * 方法）。 */
+declare function $gen(body: () => Abs, asyncMode?: boolean): Abs;
 /** yield v：压入当前生成器收集器；表达式值用 unknown。
  *  tryCtx（Bug 52）= transpile 静态标注的 yield 点 try 上下文位
  *  （YIELD_TRY_FINALLY / YIELD_TRY_CATCH），.return()/.throw() 挂起点
@@ -655,8 +861,23 @@ type TranspileOptions = {
     maxLoopIters?: number;
     /** 方法/函数体内 this 的绑定名（transpile class 时注入） */
     thisParam?: string;
+    /**
+     * Bug 1160：本转译单元**共享**的 this 载体名（`__this` 基名经
+     * `internalTmpName` 分配）。载体是跨发射器协议——真函数体 prologue
+     * （`let <名> = $rawThis(this)`）与类/对象方法、访问器 thunk、字段 /
+     * 静态块 thunk 的首参**一方声明、多方读**（读方即 `thisParam`）——必须
+     * 同名。根转译单元（`transpileFile` / `transpileBodyNode`）分配一次并
+     * 线程化；无碰撞时基名 `__this` 原样返回 ⇒ 产物逐字不变。
+     */
+    thisSlot?: string;
     /** 当前类名（super 派发用） */
     className?: string;
+    /**
+     * Bug 133：类表达式的 **NamedEvaluation 名**（`const K = class {}` → "K"）。
+     * 只对**本表达式自身**生效——类体内的嵌套类表达式拿不到该名（原生内层
+     * 仍是无名类）；类自身的名字（`class Named {}`）优先于绑定名。
+     */
+    classNameHint?: string;
     /**
      * 静态方法体内 super 的接收者源（父类构造器——extends 表达式经
      * classSpecOf 前移计算注入）。super.x / super.m() / super[k] 落通用
@@ -670,11 +891,17 @@ type TranspileOptions = {
     replacements?: Array<{
         target: string;
         varName: string;
-        /** 仅该语句范围内生效（1-based 行） */
+        /**
+         * 仅该**节点**范围内生效——字符区间 `[stmtStart, stmtEnd)`
+         * （Babel 节点的 start/end 偏移），**不是行号**：Bug 166 修法把
+         * 「行号窗口」改成「AST 节点身份」，行号窗口会泄漏进嵌套/同行的
+         * 其它子表达式。
+         */
         stmtStart?: number;
         stmtEnd?: number;
     }>;
-    /** @nudo:as：覆盖紧随语句的 init / return */
+    /** @nudo:as：覆盖紧随语句的 init / return（stmtStart/stmtEnd = 字符区间，
+     *  语义同上——按节点身份定位，不按行号） */
     asOverrides?: Array<{
         varName: string;
         stmtStart: number;
@@ -692,6 +919,19 @@ type TranspileOptions = {
     lenientGlobals?: boolean;
     /** try 嵌套深度（>0 时 return 前 drain throwExits，使 catch 能吸收抽象 throw） */
     inTry?: number;
+    /**
+     * 「块完成 ≠ 函数尾」深度（>0 时**早退提升**走控制流协议而非「返回值」
+     * 协议）。
+     *
+     * 族 65 · BC #28：try / catch / finally **块体**的完成不是函数尾（块跑完
+     * 后函数继续往下走）⇒ 早退提升（fn-body.ts）的 alt 臂（后续路径）跑完后
+     * **不得**把它的值当函数返回值抛出。此前只有 `inTry` 计入 inCtrl ⇒ catch /
+     * finally 体（inTry 不加）落「返回值」协议（`return $fork(...)`）⇒ 后续
+     * 路径的值被当成函数返回值（自信的错值）。
+     *
+     * 与 `inTry` 分开：inTry 另有职责（return 前 drain throwExits）。
+     */
+    inCtrlBlock?: number;
     /** 当前 try 的 mark 变量名（return drain 用；避免全局栈顶污染） */
     tryMarkName?: string;
     /** 当前 try 是否带 catch handler（soft may-throw digest/release 分支） */
@@ -707,6 +947,40 @@ type TranspileOptions = {
     yieldTryCtx?: number;
     /** 分支/循环体内深度（赋值记录 conditional 标记；inLoop 也计入） */
     conditionalFlow?: number;
+    /**
+     * 当前处在 **async 函数体**内（Bug 201）。
+     *
+     * async 体内的 `await` 是**真挂起点**：发射 `yield <operand>`（宿主生成器
+     * 挂起），由 `$asyncGen` 驱动恢复 ⇒ await 之后的语句不在调用点内联跑完
+     * （原生：恢复点是微任务）。
+     *
+     * 函数/方法体边界重置：async 体 ⇒ true；**非** async 体 ⇒ false（嵌套
+     * 同步函数不得继承——它不是生成器，`yield` 会是语法错误）。
+     */
+    inAsyncBody?: boolean;
+    /**
+     * **强制关闭** async 体的生成器路径（`$async` 同步路径）。
+     *
+     * Bug 1139（安全网）：`await` 的位置表（`async-plan.ts`）与转译侧一旦脱节，
+     * `yield` 会落进嵌套箭头 ⇒ `new Function` SyntaxError ⇒ **整个模块**编译
+     * 失败 ⇒ 全部导出丢失 ⇒ L2 闸门**假绿**（exit 0）。求值引擎在生成器模式
+     * 编译失败时以本开关**重试一次** ⇒ 模块至少编译得出来 ⇒ 导出可见 ⇒ 闸门
+     * 照常判定（宁可少精确，不可整模块消失）。
+     */
+    disableAsyncGen?: boolean;
+    /**
+     * 当前 async 体内**需发挂起门**的 `for await` 语句节点（节点身份）。
+     *
+     * Bug 201：原生 `for await` 每轮一个 await；引擎既有建模是同步驱动 ⇒
+     * 生成器级发**整循环一个**挂起门（循环前 `yield`）。只有落在**生成器级**
+     * 位置（生成器体内联）的 for await 才能发门——分支臂/循环体里的 for await
+     * 是宿主 thunk（`yield` 会是语法错误）⇒ 由 async-plan 判定排除。
+     *
+     * 键 = 源偏移量（`String(node.start)`）——转译侧会**浅拷贝**语句节点
+     * （completeElseChains / flattenEarlyReturnBlocks）⇒ 节点身份不稳定，
+     * 源偏移量在拷贝间稳定。
+     */
+    asyncForAwaitGates?: ReadonlySet<string>;
     /** 函数/箭头体内（顶层绑定表只收顶层作用域） */
     inFunction?: boolean;
     /**
@@ -739,6 +1013,17 @@ type TranspileOptions = {
      * 成员/下标写对根的内部重绑不在用户赋值路径，不走此表。
      */
     constNames?: ReadonlySet<string>;
+    /**
+     * **调用方补给的**用户标识符词形集（Bug 1058 避让的补充来源）。
+     *
+     * `internalTmpName` 的避让集 = `userIdentInfo(opts.source).names`（源文本
+     * 词形）∪ 本集合。用于**没有源文本**的转译单元——`exec/body-fn.ts` 的
+     * body 编译路径（`transpileBodyNode(impl.body, …)` 原先传空 opts ⇒ 无
+     * source ⇒ 避让集恒空 ⇒ 引擎内部临时名与用户标识符相撞 ⇒ 产物非法 JS
+     * ⇒ 整模块 fail-closed）。该路径的调用方从 **AST** 收标识符词形
+     * （body 内全部 Identifier + 形参名）补进来。
+     */
+    userIdents?: ReadonlySet<string>;
     /**
      * 本作用域已提升到函数体顶部的 var 名（Bug 21）：块内 `var x = init`
      * 改发赋值 `x = init`（绑定由顶部 `let x = $lit(void 0)` 提供）。
@@ -779,6 +1064,14 @@ type TranspileOptions = {
 /**
  * transpile 共享 AST 工具：形参名、match、fold、静态键、作用域收集、mutator receiver 扫描。
  * 不依赖 stmt/expr 发射器（无环）。
+ *
+ * 不变量（@nudo:as / @nudo:replace 指令面）：
+ * - **作用范围按 AST 节点身份**（源文本字符区间 [start, end)）判定，
+ *   不是「同一行号窗口」：多行语句 / 嵌套块 / 同行下一条语句都不再被命中
+ *   （Bug 166）。as 的目标是**承载指令的那条语句**；replace 的目标是该
+ *   语句子树内、**不跨作用域边界**的子表达式节点（边界在收集面划定）。
+ * - **replace 命中的子表达式仍要求值**（副作用与 throws 域保留），只是
+ *   结果被注入值取代（Bug 165）；旧口径整段替换 → 副作用与抛错域消失。
  */
 
 /**
@@ -800,6 +1093,14 @@ declare function foldRequireSpecArg(arg: unknown): string | undefined;
  *   （emitFnBlockBody / transpileFnBodyStmts）——逐语句 map(transpileStatement)
  *   会绕过早退 if 提升，`if (c) return X; return Y` 的早退值被语句级 $fork
  *   thunk 吞掉（假精确）；
+ * - 早退提升的 alt 臂 = **后续路径**（事实臂已 return/throw 提前退出 ⇒ 测试
+ *   为假）⇒ 该臂**不断言否定关系界**（Bug 1115：¬(x <= k) 含 NaN，不可健全
+ *   表示 ⇒ 断言否定界会把 NaN 排除 ⇒ 假绿；事实臂窄化不受影响）；
+ * - 早退摊平的**送达范围**（Bug 186）：内含早退 if 且**无词法声明**的块
+ *   摊平到当前语句表（flattenEarlyReturnBlocks）——块正常完成 ⇒ 早退测试为
+ *   假；块内有词法声明时不摊平（作用域不外泄）；
+ * - try / catch / finally 的**块体**也走本入口（与函数体顶层同口径）——裸
+ *   map(transpileStatement) 会绕过早退提升；
  * - 函数体边界 var 提升（Bug 21）：skip = 参数模式名；嵌套块不传
  *   varScope（var 已在函数级提升，块内改发赋值）；
  * - P4b 参数遮蔽：继承 constNames 被本函数参数模式名遮蔽时扣除（假
@@ -808,6 +1109,23 @@ declare function foldRequireSpecArg(arg: unknown): string | undefined;
  *   （Bug 9：先用后声明时 new g() 不误判）。
  */
 
+/**
+ * 关系守卫的**补集**精化已**整体撤销**（Bug 1115）。
+ *
+ * 原实现（Bug 182）在「测试为假」的后续路径上断言**否定关系界**
+ * （`x <= k` 为假 ⇒ `x > k`，`REL_COMPLEMENT_OP`）——但 JS 里
+ * `¬(x <= k)` 还含 `x` 为 NaN 的情形（NaN 与任何比较皆假）：
+ * 后续路径只能断定 `x > k ∨ x is NaN` ⇒ 断言 `x > k` **排除了 NaN**
+ * （不健全）⇒
+ * - `if (x < 0) return 0; return x;` + `return nonNeg`：后续路径断言
+ *   `x >= 0` ⇒ 契约被「证成」⇒ **0 诊断**（假绿）；原生 x=NaN ⇒
+ *   `NaN < 0` 为假 ⇒ `return x` ⇒ 返回 NaN ⇒ 违反 nonNeg（真违规）。
+ * - 三元写法 `return x < 0 ? 0 : x;` 的 else 臂没有否定界窄化 ⇒ 判
+ *   `unproven-return` ⇒ 两种等价写法结论不一致。
+ *
+ * ⇒ 后续路径**不断言否定界**（事实臂 `narrowRelArmThunk` 保留：那一侧
+ * 「测试为真」⇒ NaN 不可达，断言是健全的）。
+ */
 declare function transpileBodyNode(node: Node, opts: TranspileOptions): string;
 
 /**
@@ -839,6 +1157,12 @@ declare function transpileExpression(expr: Expression, opts?: TranspileOptions):
  *
  * 实现按语句/表达式/模式拆在 transpile/*.ts；本文件是 re-export facade，
  * 对外符号面保持不变（exec/index.ts `export * from "./transpile.ts"`）。
+ *
+ * 不变量（解构临时名，Bug 181）：
+ * - 模块级解构临时名计数器（`destrTmpSeq`）在**创建处**即预置避让：序号
+ *   推过用户已占用的 `_d{n}` / `_n{n}` ⇒ 首次分配（模块首条语句即解构
+ *   声明）也拿不到与用户同名绑定重复的临时名（重复词法声明 ⇒ SyntaxError
+ *   ⇒ 整模块求值失败 ⇒ 导出退化 unknown）。
  */
 
 declare function transpileSource(source: string, opts?: TranspileOptions): string;
@@ -877,10 +1201,19 @@ type EvalClassSpec = {
     methods?: Record<string, (thisVal: Abs, ...args: Abs[]) => Abs>;
     /** 实例方法形参展示名（AST 形参名；未调用方法槽 `shape.params` 用） */
     methodParams?: Record<string, string[]>;
+    /**
+     * Bug 325：实例方法的**函数种类**戳（async × generator 四象限）——
+     * 原生类方法的标签面（Object.prototype.toString.call(A.prototype.m)）
+     * 随 async / generator 变（"[object AsyncFunction]" 等）。类方法**同时**
+     * 可能是 generator ⇒ 与 impl.kind 的派发角色维度分开承载。
+     */
+    methodKinds?: Record<string, "function" | "async" | "generator" | "async-generator">;
     /** R5：静态方法 impl 首参 __this = 类值（接收者——沿链调用时是调用类） */
     staticMethods?: Record<string, (thisVal: Abs, ...args: Abs[]) => Abs>;
     /** 静态方法形参展示名 */
     staticMethodParams?: Record<string, string[]>;
+    /** Bug 325：静态方法的函数种类戳（实例方法同口径） */
+    staticMethodKinds?: Record<string, "function" | "async" | "generator" | "async-generator">;
     /**
      * P2b：构造器元数（首个默认值/rest 形参前的形参数，nativeParamArity
      * 口径）——类值 .length 自有属性。隐式构造器（基类零参 / 派生
@@ -938,11 +1271,13 @@ declare function clearBClasses(): void;
  *   withNewTargetReset 包裹（嵌套 new 不串帧）。
  */
 
-/** 定义类 → 可 new 的 Abs（brand 标记；静态字段挂在 slots） */
+/** 定义类 → 可 new 的 Abs（brand 标记；静态字段挂在 slots）。
+ *  displayName（Bug 133）：对外可见的 **name**（原生无名类名为空串）；缺省
+ *  用内部类名（类声明 / 具名类表达式同口径）。 */
 declare function $class(name: string, spec: Omit<EvalClassSpec, "name"> & {
     extends?: string | Abs | unknown;
     hasExtends?: boolean;
-}): Abs;
+}, displayName?: string): Abs;
 /** new C(...) → 空 brand 实例 + ctor 写字段；非类构造走 impl/$call */
 declare function $new(cls: Abs | ((...a: unknown[]) => unknown), args: Abs[]): Abs;
 /**
@@ -1019,15 +1354,22 @@ declare function $setSuperStatic(thisVal: Abs, childName: string, key: Abs, valu
  * - 数组方法（map/filter/reduce/…）委派 invokeArrMethod（invoke-arr.ts）；
  *   mutator 语句快路径在 transpile 层（emitArrMutatorRebinds），两条路径
  *   的元素域语义必须同口径（issue #153：SpreadElement 折 $unknown 的教训）。
+ * - Bug 152：实参可以是 **thunk**（`() => [args]`）——调用点成员**先于实参**
+ *   求值（原生 CallExpression 顺序：引用取值（getter 在此触发）→ 实参 →
+ *   调用）。thunk 形态：$invoke 先读成员（预读），再求实参，最后派发；
+ *   派发复用预读值（不再二次读 ⇒ getter 只跑一次）。预读对 sum（union）
+ *   接收者跳过（派发按成员各读一次，预读会重复触发 getter）。
  */
 
 /** 实例方法调用：沿继承链；类 Abs 上回落 staticMethods；obj 上回落属性函数 */
-declare function $invoke(thisVal: Abs, method: string, args: Abs[], loc?: [number, number]): Abs;
+declare function $invoke(thisVal: Abs, method: string, args: Abs[] | (() => Abs[]), loc?: [number, number]): Abs;
 /** obj[key]()：计算键成员调用（键运行时求值）。键折叠成槽名后走 $invoke
  *  既有派发；@@iterator 键按接收者形态折迭代器对象。键不可折叠（抽象键 /
  *  用户 symbol）→ 诚实 unknown（与 $call 对 unknown callee 同口径——
- *  unknown 是 fail-closed 令牌，不记 may-throw）。 */
-declare function $invokeKey(thisVal: Abs, key: Abs, args: Abs[], loc?: [number, number]): Abs;
+ *  unknown 是 fail-closed 令牌，不记 may-throw）。
+ *  Bug 152：实参 thunk 形态（`() => [args]`）——键求值后**先读成员**再求
+ *  实参（原生顺序：键 → 引用取值 → 实参 → 调用）。 */
+declare function $invokeKey(thisVal: Abs, key: Abs, args: Abs[] | (() => Abs[]), loc?: [number, number]): Abs;
 /** 可选链计算键调用（a?.[k]() / a[k]?.() 的非链路径）：nullish 接收者
  *  短路 undefined 字面量（$optionalInvoke 同口径）；键折叠与派发同
  *  $invokeKey。 */
@@ -1049,8 +1391,12 @@ declare function $thisSet(thisVal: Abs, key: string, value: Abs): Abs;
 /** 解构默认值：undefined（含 sum 成员 / 可能缺失）时用 default 并入非 undefined 部分 */
 declare function $orDefault(v: Abs, dflt: () => Abs): Abs;
 /** 可选链 a?.b：nullish 短路为 undefined 字面量。非 nullish 臂的属性读对
- *  非 nullish 值原生不抛 → silent（不记 any may-throw，Bug 3） */
-declare function $optionalGet(o: Abs, key: string): Abs;
+ *  非 nullish 值原生不抛 → silent（不记 any may-throw，Bug 3）。
+ *  opts.symbolKey（Bug 149）：键来自符号投影（"[Symbol.X]" → "@@X"）——
+ *  陷阱边界把 "@@X" 还原成真 symbol（规范 PropertyKey）。 */
+declare function $optionalGet(o: Abs, key: string, opts?: {
+    symbolKey?: boolean;
+}): Abs;
 /** 可选链 a?.m()：nullish 短路为 undefined */
 declare function $optionalInvoke(thisVal: Abs, method: string, args: Abs[]): Abs;
 /** 静态方法：cls.staticMethod(args) */
@@ -1092,4 +1438,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, $invokeKey, $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, $optionalInvokeKey, $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 };
+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, $fnKindStamp, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $getSuper, $getSuperObj, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeKey, $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, $optionalInvokeKey, $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 };