@nudojs/core 1.16.0 → 1.17.1

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-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 { 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';
 
 /**
@@ -95,8 +95,18 @@ declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs, opts?:
  * globalThis——归一到 $lit(undefined)（strict 模块语义下的 this）。
  */
 declare function $rawThis(v: unknown): Abs;
+/** const 绑定再赋值（Assignment to constant variable）→ hard TypeError */
+declare function $throwConstAssign(): never;
+/**
+ * 自由 `arguments` 读（模块顶层 / 无任何外层函数绑定）：非宿主全局，
+ * 原生 unresolvable reference → hard ReferenceError（ESM 无 arguments
+ * 全局；`typeof arguments` 豁免由 transpile 折 "undefined" 不走此处）。
+ */
+declare function $throwFreeArguments(): never;
 /** `new.target` 读：栈顶类值；普通调用面已清空 → undefined 字面量 */
 declare function $newTarget(): Abs;
+/** 生成代码可用的真值判定（undefined = 无法判定）；与 litTruth 同口径 */
+declare function $litTruth(a: Abs): boolean | undefined;
 /** 字面量 → Abs（transpile 侧数字/字符串/布尔/null/undefined） */
 declare function $lit(v: unknown): Abs;
 /** JS 真值：字面量按 Boolean(v)；对象形恒真；不可判 → undefined */
@@ -145,6 +155,14 @@ declare class NudoReturn extends Error {
 declare function isNudoReturn(e: unknown): e is NudoReturn;
 /** transpile `return x` inside for/while → `$loopReturn(x)` */
 declare function $loopReturn(v: Abs): never;
+/**
+ * transpile 函数体边界吸收器：`try { body } catch (e) { return $catchReturn(e); }`
+ * —— 函数体内 $loopReturn 早退（循环 / if 臂）在函数自身边界收成返回值，
+ * 转译模块对裸宿主调用（e2e 真实 .mjs 导入 / 模块顶层互调）自包含；
+ * 其余异常（NudoThrow / 原生错误）原样 rethrow。仅在发射体含 $loopReturn
+ * 时由 transpile 侧包裹。
+ */
+declare function $catchReturn(e: unknown): Abs;
 declare class NudoLoopSignal extends Error {
     readonly kind: "break" | "continue";
     readonly label: string | undefined;
@@ -174,6 +192,23 @@ declare function $sub(a: Abs, b: Abs): Abs;
 declare function $mul(a: Abs, b: Abs): Abs;
 declare function $div(a: Abs, b: Abs): Abs;
 declare function $mod(a: Abs, b: Abs): Abs;
+/**
+ * issue #165：局部量引理锚定。`@nudo:assume <name> <= <name>` 从仅形参扩展到
+ * 形参 ∪ 函数体顶层 const/let/var 局部绑定，SSA 语义：引理作用于绑定值，
+ * 从定义点到作用域尾。transpile 在局部量 init 处包裹
+ * `$assumeAnchor(init, name)`——把 init 结果的 term α-改名为 var(name)，
+ * 使后续读点与 assume 前提里的 var(name) 同项，arithmetic 的同名相关性
+ * 折叠（le 折除法界等）才能命中。shape/conf 不动，嵌套 shape 内 term
+ * 不改（保守：根 term 已建立项身份，深改无消费方）。
+ *
+ * 为何需要当前帧前提护栏：assume 前提不随调用链继承——callee 帧一律见空
+ * （callAtFunctionBoundary 以 withAssumePremises(pTrue, …) 包裹 callee 体）。
+ * 锚定落在错帧（前提 pTrue，或 and 原子中没有任何 le 原子在 a/b 侧以
+ * var(name) 出现——本帧没有这条引理）时，改名只会凭空捏造约束身份 →
+ * 原样 no-op。这也封死 #123 式同名 term 碰撞：callee 恰有同名局部时，
+ * caller 帧前提已被清空，caller 引理不会错投到 callee 的同名绑定上。
+ */
+declare function $assumeAnchor(v: unknown, name: string): unknown;
 declare function $bitand(a: Abs, b: Abs): Abs;
 declare function $bitor(a: Abs, b: Abs): Abs;
 declare function $bitxor(a: Abs, b: Abs): Abs;
@@ -237,7 +272,7 @@ declare function $in(key: Abs, o: Abs): Abs;
 declare function $instanceof(left: Abs, rightName: string, rightVal?: Abs): Abs;
 /** instanceof 右操作数非标识符（表达式/成员路径）：RHS 值传入时先做原生
  *  非对象校验（definite / may TypeError）；构造器值未知 → 抽象 boolean */
-declare function $instanceofNonIdent(left: Abs, right?: Abs): Abs;
+declare function $instanceofNonIdent(_left: Abs, right?: Abs): Abs;
 /**
  * ClassExpression 值：构造器函数形状，不得折成精确 undefined。
  *
@@ -292,17 +327,12 @@ declare function lookupObjAccessor(o: Abs, key: string): {
  */
 declare const DEFAULT_MAX_LOOP_ITERS = 8;
 
-declare function $fork(test: Abs, consequent: () => Abs, alternate?: () => Abs): Abs;
-
 /**
- * for 的惰性展开：生成器只负责「按上限吐状态」。
- * 抽象条件无法诚实终止——消费者必须自带 maxIters。
+ * 控制流：loop/try 退出栈、$fork/$for/$whileSeq、$throw。
  */
-declare function $forIter(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, body: (s: Abs) => Abs, maxIters?: number): Generator<{
-    state: Abs;
-    test: Abs;
-    afterBody: Abs;
-}, void, void>;
+
+declare function $fork(test: Abs, consequent: () => Abs, alternate?: () => Abs): Abs;
+
 /**
  * 有界 for：unroll ≤ maxIters，每步「可能退出」的态 join；
  * 相邻态 leq 视为不动点提前停。
@@ -316,11 +346,6 @@ declare function $for(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, b
      *  ——转译侧在体的 finally 里写回共享槽；缺省（未插桩）时以 state 近似。 */
     loopVar?: () => Abs;
 }): Abs;
-/**
- * 有界 while：state 线程穿 test/step（与 $for 同折叠语义）。
- * 抽象条件无法诚实终止——必须 maxIters。
- */
-declare function $while(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, maxIters?: number): Abs;
 /**
  * 顺序 while（具体/可变闭包）：body 内对 JS 变量赋值。
  * 提供 pack/unpack 时，抽象条件的可能出口会 join 回绑定（P0 健全）；
@@ -334,19 +359,6 @@ declare function $whileSeq(test: () => Abs, body: () => void, maxIters?: number,
     /** 标签循环：仅吸收同标签 break/continue 信号 */
     label?: string;
 }): void;
-/**
- * switch：具体 disc 选中匹配 case；抽象 disc 并所有分支。
- * 抽象路径与 $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;
     run: () => Abs;
@@ -377,6 +389,10 @@ declare function $catchVal(e: unknown): Abs;
  * - $copy 是 fork/switch/循环 pack 的状态分离机制：所有可挂侧表的形状
  *   （extState/propFlags/accessorTable/nullProto/matchIter）必须随快照
  *   迁移，副本丢失侧表 = 臂内写不再硬抛 / 延迟异常静默丢弃。
+ * - fn 形状同样是可扩展对象：expando 槽面（含 optionalParams/ctor/类型
+ *   侧信息）逐臂独立复制（共享槽面会让兄弟臂写互相覆盖）；impl 身份、
+ *   槽面写权限侧表（objects.ts 的 userFnSlotOwners）、null-proto 标记与
+ *   新鲜实例 id 随副本迁移（侧表丢失 ⇒ `__proto__` 读翻转 / `===` 退化）。
  * - $spread 原生语义会**调用**源对象 getter 并把结果拷为数据槽——必须
  *   用 getter 求值后的副本（accessorTable 求值，抛/失败折 unknown）。
  * - $objRest 同理：原生 CopyDataProperties 对保留键发 Get ⇒ getter 必须
@@ -387,8 +403,18 @@ declare function $catchVal(e: unknown): Abs;
  * 深拷贝可变容器（fork/switch 快照与循环 pack 用）。
  * 容器写就地进行后（引用语义），分析分支/迭代的状态分离必须靠拷贝——
  * 浅引用快照会让臂间/迭代间互相污染。
+ *
+ * `memo` 是**身份图**：同一原始 Abs 在同一次快照里必须映射到同一个副本。
+ * - 循环引用（`o.self = o`）靠「先占位、后填空」终止递归；
+ * - 共享子图（DAG）不再指数复制；
+ * - 同一次快照/调用边界里的多个绑定保持别名关系（memo 必须由调用方共享；
+ *   `$copy(a)` 单参调用只为兼容旧行为，等价于每次新建 memo）。
+ *
+ * 注意：这只能保证**被复制集合内部**的身份关系。若 `b` 是 `a` 的别名但
+ * 不在同一次快照的绑定集合里，fork/pack 仍会断开 `a`/`b`；调用方必须把
+ * 别名伙伴一起纳入复制集合（见 transpile 的 aliasGroups）。
  */
-declare function $copy(a: Abs): Abs;
+declare function $copy(a: Abs, memo?: WeakMap<object, Abs>): Abs;
 /** 对象字面量 → Abs obj（槽位写走 setSlot，`__proto__` 不踩宿主 setter） */
 declare function $obj(slots: Record<string, Abs>): Abs;
 /**
@@ -725,64 +751,26 @@ declare function $set(o: Abs, key: string, value: Abs, opts?: {
 }): Abs;
 
 /**
- * async / await / generator / ??（$nullishTest / $removeNullish）。
+ * 空值 / 类型 / 相等 / 关系守卫的臂剪影（narrowing）运行时。
  *
- * 不变量（本文件）：
- * - `$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)` 必须**转发**给委托迭代器（委托的清理
- *   副作用不得整体丢失）。
+ * 域：转译器在守卫臂内对绑定名做的影子重绑（`exec/transpile/stmt-predicates.ts`
+ * 发射、`runtime.ts` facade 转出）：
+ * - nullish：`$removeNullish` / `$removeNull` / `$removeUndefined` /
+ *   `$removeMemberNullish`——按 term 字面量逐成员剥离 null / undefined
+ *   （Bug 3 粒度），`$nullishTest` 产出 `??` / `??=` 的测试值；
+ * - typeof：`$narrowTypeOf` 按 typeof 分类剪 union 成员（事实臂 / 补集臂）；
+ * - 判别等值：`$narrowMemberEq` 按 key 槽的字面量事实剪成员（issue #126）；
+ * - 关系：`$refineRel` 给关系事实臂挂界（Bug 1）。
+ *
+ * 共享 nullish 谓词：`isNullishLitAbs` / `definitelyNotNullishShape`
+ * （surface.ts）与本地 `isNullLitAbs` / `isUndefLitAbs` /
+ * `definitelyNullishAbs` 是同一套逐成员判定口径——各剪影的「剪空 → 原样
+ * 返回」保守分支都以此为准；其它 runtime 文件不要另造第二套。
+ *
+ * 本文件不依赖 async / generator 机制（单向：runtime/async.ts 与
+ * runtime.ts 只做转出）；新增 narrow 算子放这里，不要回填 async.ts。
  */
 
-declare function $async(thunk: () => Abs): Abs;
-/** await → 解包 eff("promise") */
-declare function $await(v: Abs): Abs;
-/** async 直接 return 的 coerce */
-declare function $asyncReturn(v: Abs): Abs;
-/** function* 体：收集所有 yield 值；返回带迭代器协议面的生成器对象 Abs；
- *  抽象分支时降 conf（P0-6）
- *
- * Bug 58：调用生成器是原生全操作——体只在首个 next() 执行。body() eager
- * 执行的体内效果（成员读 may-throw / 显式 throw）不折进**调用方** throws
- * 域——以捕获式 may-throw 帧包裹：soft 效果与 NudoThrow 挂生成器对象
- * （Bug 34 延迟重放：首个触达抛点的 next()/迭代消费，仅构造不消费不
- * 表面）。yield 收集保持 eager（既有值域建模，注释口径不变）。
- * Bug 2：thunk 返回值 = 终末 return 值——不再丢弃，经 makeGenObject 在
- * 首个 done:true 作为 value 交付（node 实测：此后 next 回 undefined）。
- * Bug 22：结果从 yield 元组数组改为生成器对象（next/return/throw 方法面 +
- * constructor 身份）；元素域经侧表保留（$arr 的 ≤cap tuple / >cap arr
- * 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。
- * 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() 挂起点
- *  语义用（见 makeGenObject）。 */
-declare function $yield(v: Abs, tryCtx?: number): Abs;
-/** yield* v（Bug 82）：委托迭代 ≠ yield v——GetIterator 校验先行（$elems
- *  同分类器：非可迭代接收者 definite/may TypeError，生成器体内按 $gen
- *  迭代期语义由外层帧吸收），**元素**逐个压入收集器（此前把整个可迭代值
- *  压一次）；表达式值 = 内层迭代器的 return 值（生成器 return / 自定义
- *  iterator 的 done 值，不可判）→ 保守 unknown。长度不可判的接收者
- *  （arr/any/…）单代表元素过近似并入 + bumpGenPathSensitive 压 conf
- *  （mergeArmYields 同口径，禁 exact 元组出货）。 */
-declare function $yieldStar(v: unknown, tryCtx?: number): Abs;
 /**
  * `??` 非 nullish 臂：从左值 Abs 剥离 nullish 部分（$nullishTest 判 true
  * 的成员）。索引访问 `M[k]` 对抽象键产出 joinAbs(element, undef())，
@@ -855,9 +843,144 @@ declare function $narrowMemberEq(a: Abs, key: string, value: string | number | b
 /** `??` / `??=` 测试：确定非 nullish → false；lit nullish → true；否则抽象 boolean */
 declare function $nullishTest(v: Abs): Abs;
 
+/**
+ * async / await / generator 运行时（nullish / typeof / 判别 / 关系守卫的臂
+ * 剪影在 runtime/narrow.ts，本文件只为深路径导入者做兼容转出）。
+ *
+ * 不变量（本文件）：
+ * - `$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;
+/**
+ * Bug 201：async 体的**真挂起**路径（宿主生成器驱动）。
+ *
+ * 转译侧：async 体（**直接含 await**）编译成宿主生成器 `function*(){…}`，
+ * `await x` 发射 `yield x`（挂起点 + 被等待值）。本函数驱动生成器：
+ *
+ * - **同步段**：跑到第一个挂起点即返回 promise（inner 暂 unknown）⇒
+ *   await 之后的语句**不在调用点内联跑完**（原生：恢复点是微任务）。
+ * - **续体**：登记到宿主微任务队列（与 promise reaction **同一队列** ⇒
+ *   跨 promise 链的先后顺序天然保真——上游 promise 的续体先跑，下游
+ *   `await` 恢复时读到的已是上游终值）。
+ * - **值域**：续体跑完 ⇒ 就地填 promise 的 inner（终值由续体给出）。
+ *
+ * 与 `$async(thunk)` 的分工：**无 await 的 async 体**没有挂起点，沿用
+ * `$async` 的同步路径（发射产物逐字不变 ⇒ 既有金标零漂移）。
+ *
+ * Bug 1126：live `$asyncGen` promise 带 **pending 态**（体尚未 settle）与
+ * **waiter 列表**（等它 settle 才恢复的 await 恢复点）。
+ *
+ * **机制共用**（Bug 1148）：pending 判定 + waiter 冲刷抽到
+ * `builtins/promise.ts` 的 `pendingPromiseWaiters`（`registerPendingPromise` /
+ * `isPendingPromiseShape` / `onPromiseSettled` / `flushPromiseWaiters`）——
+ * `Promise.all` 的活通道聚合（元素 settle 后刷新兑现值）与本文件的 await 恢复
+ * 点**同一套** pending 机制（不另造第二套）。
+ *
+ * 键 = promise 的 shape 对象（活通道本体：`inner` 就地填）。每个 `$asyncGen`
+ * 调用一个 shape ⇒ 键唯一；WeakMap ⇒ 随 promise 回收，不泄漏。
+ *
+ * **不挂在 shape 上**：`Shape` 是 `abs.ts` 的公开联合类型（eff 面无 pending
+ * 槽），且 waiter 闭包不该进投影 / 指纹面（`absShapeKey` / `shapeKey` 只读
+ * `inner`）。
+ */
+declare function $asyncGen(genFn: () => Generator): Abs;
+/** await → 解包 eff("promise") */
+declare function $await(v: Abs): Abs;
+/** function* 体：收集所有 yield 值；返回带迭代器协议面的生成器对象 Abs；
+ *  抽象分支时降 conf（P0-6）
+ *
+ * Bug 58：调用生成器是原生全操作——体只在首个 next() 执行。body() eager
+ * 执行的体内效果（成员读 may-throw / 显式 throw）不折进**调用方** throws
+ * 域——以捕获式 may-throw 帧包裹：soft 效果与 NudoThrow 挂生成器对象
+ * （Bug 34 延迟重放：首个触达抛点的 next()/迭代消费，仅构造不消费不
+ * 表面）。yield 收集保持 eager（既有值域建模，注释口径不变）。
+ * Bug 2：thunk 返回值 = 终末 return 值——不再丢弃，经 makeGenObject 在
+ * 首个 done:true 作为 value 交付（node 实测：此后 next 回 undefined）。
+ * Bug 22：结果从 yield 元组数组改为生成器对象（next/return/throw 方法面 +
+ * constructor 身份）；元素域经侧表保留（$arr 的 ≤cap tuple / >cap arr
+ * 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。
+ * 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() 挂起点
+ *  语义用（见 makeGenObject）。 */
+declare function $yield(v: Abs, tryCtx?: number): Abs;
+/** yield* v（Bug 82）：委托迭代 ≠ yield v——GetIterator 校验先行（$elems
+ *  同分类器：非可迭代接收者 definite/may TypeError，生成器体内按 $gen
+ *  迭代期语义由外层帧吸收），**元素**逐个压入收集器（此前把整个可迭代值
+ *  压一次）；表达式值 = 内层迭代器的 return 值（生成器 return / 自定义
+ *  iterator 的 done 值，不可判）→ 保守 unknown。长度不可判的接收者
+ *  （arr/any/…）单代表元素过近似并入 + bumpGenPathSensitive 压 conf
+ *  （mergeArmYields 同口径，禁 exact 元组出货）。 */
+declare function $yieldStar(v: unknown, tryCtx?: number): Abs;
+
 type TranspileOptions = {
-    /** 运行时 import 说明符 */
-    runtimeImport?: string;
+    /**
+     * 运行时 import 说明符。
+     *
+     * `null` = **不发射**运行时 import 行（宿主编译：`new Function` 单元以
+     * 形参注入运行符号）。缺省 = `@nudojs/core/exec`。
+     */
+    runtimeImport?: string | null;
+    /**
+     * 发射目标（缺省 `"esm"`，既有产物逐字节不变）：
+     * - `"esm"`：保留标准 `import` / `export` 语句（run.ts 后处理改写）；
+     * - `"host"`：直接发射宿主编译形态——import → `__nudoBindImport` /
+     *   `__nudoBindNamespace` 绑定，export → `__nudoExport*` 调用，不残留任何
+     *   `import` / `export` 语句，也不发射运行时 import 行（宿主以形参注入）。
+     */
+    target?: "esm" | "host";
+    /**
+     * 发射模式（缺省 `"exec"`）：
+     * - `"exec"`：完整发射（全部顶层语句，含副作用）；
+     * - `"analyze"`：**发射期**剥离顶层效应语句——顶层 `if` / `for` /
+     *   `while`、危险或未知全局调用（判定表见 `transpile/analyze-strip.ts`）；
+     *   `var` 提升仍按**原始**源 AST 计算。调用方（run.ts 的 analyze 模式）
+     *   不再解析生成产物做二次剥离；保留语句的发射字节与 `"exec"` 完全一致，
+     *   剥离只减少语句。
+     *
+     * `for-in` / `for-of` **不剥离**（判定表无该臂）：二者按发射形态落顶层
+     * `$forOf(...)` 调用（循环体随该调用在模块顶层执行）⇒ analyze 模式保留
+     * 其语义；标签 `for` / `while` 随标签一并剥离。
+     */
+    mode?: "exec" | "analyze";
+    /**
+     * host target 的 mock 名集：命中的 import 本地名绑定 `__nudoEnv[<名>]`
+     * 而非 `__nudoBindImport` / `__nudoBindNamespace`，且不登记 live refresh
+     * （刷新会把 mock 冲掉）。esm target 忽略（run.ts 的文本改写负责 mock）。
+     */
+    mockNames?: ReadonlySet<string>;
+    /**
+     * @internal host target 的 live import refresh 发射状态（transpileFile
+     * 创建并跨语句线程化）：`binds` 是全量刷新赋值文本（按源序，已排除
+     * mock），`done` 标记注册行是否已随首个「产生绑定」的 import 语句发射。
+     * 直接调用 `transpileStatement` 的低层单元不传 ⇒ 不发射注册行。
+     */
+    hostImportRefresh?: {
+        readonly binds: readonly string[];
+        done: boolean;
+    };
     maxLoopIters?: number;
     /** 方法/函数体内 this 的绑定名（transpile class 时注入） */
     thisParam?: string;
@@ -983,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()。
@@ -1013,6 +1150,45 @@ type TranspileOptions = {
      * 成员/下标写对根的内部重绑不在用户赋值路径，不走此表。
      */
     constNames?: ReadonlySet<string>;
+    /**
+     * 直接 const 别名组（`const a = {...}; const b = a;`）。
+     *
+     * fork/循环 pack 只按「被写绑定」收集快照名；别名伙伴不在集合里时，
+     * 臂/轮次结束把 `a` 重绑为副本会断开 `b` 的引用语义。该表在**作用域
+     * 边界**上计算（只收 init 为同作用域、此前已声明 const 的标识符，避免
+     * TDZ 与可重绑 let）：函数/方法体与嵌套块由 transpileFnBodyStmts 算，
+     * **模块顶层**（模块体逐语句发射、不经函数体入口）由 transpile.ts 算。
+     * 嵌套作用域**继承**外层组并按自身遮蔽名过滤（未被遮蔽 ⇒ 同一绑定，
+     * 展开安全；被遮蔽 ⇒ 该组在本处指向不同绑定，丢弃），fork/pack 发射时
+     * 据此扩展 snapshot 集合。
+     */
+    aliasGroups?: ReadonlyArray<readonly string[]>;
+    /**
+     * 本转译单元内被用户绑定**遮蔽**的宿主内建名（undefined / NaN / Infinity
+     * 的子集，保守单位级）。
+     *
+     * 名字是**宿主全局**但用户可合法遮蔽（`const undefined = 5`、形参名
+     * `undefined`、`let NaN`、import 绑定）。命中者按**位置**分态：
+     * - Identifier 读点（含标签模板位）→ `$absVal(<名>)`，由 JS 词法绑定
+     *   决定读值；
+     * - 调用位 callee → `$callNamed(<名>, <名>, …)`（绑定是 Abs 值，宿主裸
+     *   调用会把它当非函数调 ⇒ 假抛 TypeError）。
+     *
+     * 未命中者：读点恢复字面量精确折叠（`$lit(void 0)` / `$lit(0/0)` /
+     * `$lit(1/0)`，与旧产物逐字节一致），调用位保留宿主裸调用（原生
+     * `undefined(1)` / `NaN(1)` 定抛 TypeError，抛点与原生一致）。
+     *
+     * 计算：`transpileFile` 从源 AST 声明扫描（任意作用域，保守单位级）；
+     * `transpileBodyNode` 从 body AST 计算并并入调用方补给；body-fn 补给
+     * 形参 / 闭包绑定名；evalExprAbs 补给注入的 bindings 名 **∪ 表达式 AST
+     * 声明扫描**；表达式入口（exec/transpile/expr.ts 的 `transpileExpression`）
+     * 同补声明扫描（表达式内部的形参 / 局部声明此前不可见）；run.ts 补给
+     * @nudo:mock 注入的内建名（env 注入本就跳过这三个名字）。
+     *
+     * 静态窄化面：`x === undefined` / `case undefined:` 只在**未遮蔽**时作
+     * 字面量事实——遮蔽后该标识符是普通绑定，比较值是绑定值（如 5）。
+     */
+    shadowedIntrinsics?: ReadonlySet<string>;
     /**
      * **调用方补给的**用户标识符词形集（Bug 1058 避让的补充来源）。
      *
@@ -1035,6 +1211,21 @@ type TranspileOptions = {
      * 声明语句），此类名字从提升集扣除、不发改赋值。
      */
     keepVarDecl?: boolean;
+    /**
+     * 本文件**真实**的静态声明导出名（源 AST：`export function|class|const|let`
+     * / `var`，多声明符全收；解构声明不收内部名）。
+     *
+     * 只有顶层 FunctionDeclaration 的名字命中本集合时才发射 `export ` 前缀
+     * ——此前所有顶层函数一律带 export（发射 quirk）⇒ run.ts 的文本回收把
+     * 私有顶层函数当导出 ⇒ `export *` 被本地私有同名函数遮蔽、私有名泄漏进
+     * 模块导出面、转译产物作为真实 ESM 时多出导出。
+     *
+     * `export { f }` specifier 名**不**在此集合（同名声明未必是声明式导出；
+     * run.ts 在运行时把 specifier 改写成 __nudoExportLazy）。
+     * transpileFile 从已解析 AST 计算并线程化；缺省（直接调用
+     * transpileStatement 的低层单元）⇒ 不发 export。
+     */
+    exportedDeclNames?: ReadonlySet<string>;
     /**
      * issue #165：文件含 `@nudo:assume` 引理——transpileFile 顶层对源文本
      * 做一次 includes 判定后置位。文件级快速门：无引理的文件不进锚定收集，
@@ -1085,6 +1276,22 @@ declare function foldStaticStringExpr(node: unknown): string | undefined;
 /** require(...) 第一个参数 → 可折叠说明符（StringLiteral / 模板 / 字面量拼接） */
 declare function foldRequireSpecArg(arg: unknown): string | undefined;
 
+/**
+ * 运行时 import 行（body-fn 编译执行 / evalExprAbs / 模块体拼接用）。
+ * 产出形态：`import { $a, $b } from "<runtime>";`（单行，双引号说明符）。
+ */
+declare function runtimeImportOf(runtime: string): string;
+/**
+ * 宿主编译前**剥离**上面那行 import 的正则（默认 ESM 产物 / 旧调用方）。
+ *
+ * `new Function` 单元没有 ESM 导入面——运行符号是形参注入（rt.ts 的
+ * compileRuntimeUnit）。host target（`runtimeImport: null`）不发射该行；
+ * 默认 ESM 产物若被宿主直接编译，仍需本正则剥离。只认**双引号**说明符
+ * （runtimeImportOf 的产物）；用户源码的 import 由 host target 的
+ * `emitHostImportDeclaration` 直接发射绑定。
+ */
+declare const RUNTIME_IMPORT_RE: RegExp;
+
 /**
  * 方法/函数体统一发射（stmt 按域拆分之一；语句 switch 在 ./statement.ts）。
  *
@@ -1129,24 +1336,36 @@ declare function foldRequireSpecArg(arg: unknown): string | undefined;
 declare function transpileBodyNode(node: Node, opts: TranspileOptions): string;
 
 /**
- * 表达式发射主分派（expr 按域拆分之一；各节点类别族在兄弟模块）。
+ * 表达式发射：transpileExpression / transpileShortCircuitExpr。
+ * 按域拆分（facade 保持原导入面不变）：
+ * - transpile      主分派（replace/Chain/可选链入口/switch 路由 + dispatch bind）
+ * - short-circuit  $fork 短路协议（&&/||/??/三元/逻辑赋值）
+ * - optional-chain 可选链整链短路（flatten/emit/delete 链）
+ * - atom           字面量/标识符/模板/import()/JSX
+ * - operators      二元逻辑/条件/一元/更新/await/yield/序列
+ * - member         成员读（静态/计算/私有名/length/super 读）
+ * - call           调用/new/super 调用/require
+ * - object         对象/数组字面量与展开
+ * - assignment     赋值/复合赋值/逻辑赋值/解构赋值
+ * - function       函数/类表达式 + 参数模式名
  *
- * 不变量：
- * - 入口顺序：@nudo:replace 替换 → ChainExpression 剥壳 → 可选链整链短路
- *   （./optional-chain.ts）→ Super 接收者 → 按节点类别族路由；未 lowering
- *   的表达式统一 default unsupported（不得假精确 undefined）；
- * - positionRecordWrap 只包一次：内部递归一律经 transpileExpression 入口，
- *   族模块回环经 transpile-dispatch 别名（emitTranspileExpression）；
- * - SSR 加载序陷阱：模块体尾部的 dispatch bind 是加载期副作用——必须直接
- *   import leaf（transpile-dispatch）与定义模块（./short-circuit.ts），不经
- *   facade/barrel 中转（vite SSR 下 barrel 再导出不是实例化期绑定）。
+ * 本文件是**表达式入口**（公开面）：`transpileExpression` 在此补遮蔽判定
+ * （见下方函数注释）——主分派（./expr/transpile.ts）保持纯发射。
  */
 
 /**
- * 表达式发射入口（位置插桩包装层）。recordPositions 时把
- * Identifier 值读 / 静态成员读的转译输出包 `$nodoPos`——
- * 运行时记 (行, 列) → Abs 并原样返回（语义恒等；无收集
- * 器时直通）。内部递归经本包装——每个子表达式恰包一次。
+ * 表达式入口（公开面）：**遮蔽判定**补声明扫描。
+ *
+ * 宿主内建名（undefined / NaN / Infinity）的读点按遮蔽分态（未遮蔽 → 字面量
+ * 精确折叠；已遮蔽 → 标识符读点 `$absVal`，由 JS 词法绑定决定读值）。模块
+ * 入口（transpileFile / transpileBodyNode / body-fn）按**单元级**扫描声明
+ * 绑定名判定；表达式入口此前只信调用方给的 `opts.shadowedIntrinsics` ⇒ 表达
+ * 式**内部**的声明（形参名 undefined / 局部 let / const / var / catch 参数）
+ * 不可见 ⇒ 体折宿主内建（原生读的是绑定值 ⇒ 自信的错值）。
+ *
+ * 口径与模块入口同源（helpers.ts 的 shadowedIntrinsicsOf）：单元级**保守**
+ * 扫描（任意作用域出现同名绑定即计入）∪ 调用方已给的遮蔽集（注入名 / mock）。
+ * 无命中 → 不写 opts 字段 ⇒ 产物逐字节不变。
  */
 declare function transpileExpression(expr: Expression, opts?: TranspileOptions): string;
 
@@ -1156,7 +1375,7 @@ declare function transpileExpression(expr: Expression, opts?: TranspileOptions):
  * 值类型是 Abs；副作用与模块仍由 host mock/注入。
  *
  * 实现按语句/表达式/模式拆在 transpile/*.ts；本文件是 re-export facade，
- * 对外符号面保持不变（exec/index.ts `export * from "./transpile.ts"`）。
+ * 对外符号面保持不变（exec/index.ts 对公开符号做显式具名导出）。
  *
  * 不变量（解构临时名，Bug 181）：
  * - 模块级解构临时名计数器（`destrTmpSeq`）在**创建处**即预置避让：序号
@@ -1166,8 +1385,6 @@ declare function transpileExpression(expr: Expression, opts?: TranspileOptions):
  */
 
 declare function transpileSource(source: string, opts?: TranspileOptions): string;
-/** 运行时 import 行（body-fn 编译执行拼接用） */
-declare function runtimeImportOf(runtime: string): string;
 declare function transpileFile(file: File, opts?: TranspileOptions): string;
 /** 解析 + transpile */
 declare function transpile(source: string, opts?: TranspileOptions): string;
@@ -1260,7 +1477,7 @@ declare function getEvalClass(name: string): EvalClassSpec | undefined;
 declare function clearBClasses(): void;
 
 /**
- * 类声明/注册/构造：$class/$new/$staticInit + registry 辅助。
+ * 类声明/注册/构造：$class/$new + registry 辅助。
  *
  * Invariants:
  * - classImpl（WeakMap）是 spec 的唯一私有挂载点：Abs 对象身份 → 定义
@@ -1280,13 +1497,6 @@ declare function $class(name: string, spec: Omit<EvalClassSpec, "name"> & {
 }, displayName?: string): Abs;
 /** new C(...) → 空 brand 实例 + ctor 写字段；非类构造走 impl/$call */
 declare function $new(cls: Abs | ((...a: unknown[]) => unknown), args: Abs[]): Abs;
-/**
- * Bug 77：静态块在类定义期执行（原生 ClassDefinitionEvaluation 的
- * InitializeStaticElements）。transpile 在 `let C = $class(...)` 绑定完成
- * **之后**发射本调用——块体内类名按词法可见（原生 static 块内类绑定已
- * 初始化）；this 绑定类值；块内 throw 在定义点表面（NudoThrow 上浮）。
- */
-declare function $staticInit(cls: Abs, thunks: Array<(thisVal: Abs) => unknown>): void;
 
 /**
  * super 家族：$super/$invokeSuper/$getSuper/$setSuper + 对象超与静态超。
@@ -1376,18 +1586,15 @@ declare function $invokeKey(thisVal: Abs, key: Abs, args: Abs[] | (() => Abs[]),
 declare function $optionalInvokeKey(thisVal: Abs, key: Abs, args: Abs[]): Abs;
 
 /**
- * this/可选链/静态成员读写：$thisGet/$thisSet/$optionalGet/$staticInvoke/$setKey。
+ * this/可选链/静态成员读写：$optionalGet/$staticInvoke/$setKey。
  *
  * Invariants:
- * - 类方法体内 this 成员读经 $thisGet（内层 obj 槽优先）；可选链臂
- *   （?.）已过 nullish 排除——不重复记 may-throw。
+ * - 可选链臂（?.）已过 nullish 排除——不重复记 may-throw。
  * - $setKey 计算键写：非字面量 key → open + index join（不得写成字面
  *   槽 "?"）；对象字面量计算键 __proto__ 是自有数据属性（与 $set 的
  *   setter 语义分流）。
  */
 
-declare function $thisGet(thisVal: Abs, key: string): Abs;
-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 臂的属性读对
@@ -1399,8 +1606,6 @@ declare function $optionalGet(o: Abs, key: string, opts?: {
 }): Abs;
 /** 可选链 a?.m()：nullish 短路为 undefined */
 declare function $optionalInvoke(thisVal: Abs, method: string, args: Abs[]): Abs;
-/** 静态方法：cls.staticMethod(args) */
-declare function $staticInvoke(cls: Abs, method: string, args: Abs[]): Abs;
 /** 计算属性写：o[kAbs] = v。非字面量 key → open + index join（不得写成字面槽 "?"） */
 declare function $setKey(o: Abs, key: Abs, value: Abs): Abs;
 
@@ -1438,4 +1643,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, $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 };
+export { $absVal, $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $assumeAnchor, $async, $asyncGen, $await, $bitand, $bitnot, $bitor, $bitxor, $catchReturn, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnKindStamp, $fnVal, $for, $forInKeys, $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, $litTruth, $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, $staticSuperInvoke, $sub, $super, $switch, $throw, $throwConstAssign, $throwFreeArguments, $toNumber, $toNumeric, $tpl, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $whileSeq, $yield, $yieldStar, DEFAULT_MAX_LOOP_ITERS, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, RUNTIME_IMPORT_RE, 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 };