@nudojs/core 1.14.0 → 1.15.0

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-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 { 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 { Node, Expression, File } from '@babel/types';
 
 /**
@@ -308,7 +308,53 @@ declare function $isForkExit(e: unknown): boolean;
 declare function $catchVal(e: unknown): Abs;
 
 /**
- * 数组 / 对象运行时：$arr/$idx/$len/$arrMutContainer 与 $obj/$get/$set/$spread。
+ * 对象构造/展开/rest 与容器快照：$obj/$setProto/$spread/$objRest/$copy。
+ *
+ * Invariants:
+ * - $copy 是 fork/switch/循环 pack 的状态分离机制：所有可挂侧表的形状
+ *   （extState/propFlags/accessorTable/nullProto/matchIter）必须随快照
+ *   迁移，副本丢失侧表 = 臂内写不再硬抛 / 延迟异常静默丢弃。
+ * - $spread 原生语义会**调用**源对象 getter 并把结果拷为数据槽——必须
+ *   用 getter 求值后的副本（accessorTable 求值，抛/失败折 unknown）。
+ */
+
+/**
+ * 深拷贝可变容器（fork/switch 快照与循环 pack 用）。
+ * 容器写就地进行后（引用语义），分析分支/迭代的状态分离必须靠拷贝——
+ * 浅引用快照会让臂间/迭代间互相污染。
+ */
+declare function $copy(a: Abs): Abs;
+/** 对象字面量 → Abs obj（槽位写走 setSlot，`__proto__` 不踩宿主 setter） */
+declare function $obj(slots: Record<string, Abs>): Abs;
+/**
+ * 对象字面量非计算 `__proto__: v` 的特殊原型设定（ES PropertyDefinition）。
+ * - v 为 null → null-proto（无 Object.prototype 回退）
+ * - v 为 object → 保守 open（继承读不折 exact undefined；细节不建模）
+ * - v 为 primitive → 原生忽略（无自有键、不改原型）
+ */
+declare function $setProto(o: Abs, proto: Abs): Abs;
+/** 对象展开 { ...a, b } */
+declare function $spread(a: Abs, b: Abs): Abs;
+/**
+ * 解构 rest：`const { a, ...rest } = o` → rest = o 去掉 named keys。
+ * closed obj：剩余槽 closed；open / optional 键：rest 仍 open（可能有未知键）。
+ */
+declare function $objRest(o: Abs, keys: string[]): Abs;
+
+/**
+ * 元组/数组构造与宽化。
+ *
+ * Invariants:
+ * - 容器策略单点：≤cap → tuple（逐元素精确）；>cap → arr（元素 join）。
+ *   cap 只约束字面量/拼接的类型面；生成器 drain 的 exact 权威序列越过
+ *   cap 仍出 exact 元组（drainTupleOrWiden，TUPLE_MATERIALIZE_CAP 上界）。
+ * - arr.element 只描述**真实元素值域**——OOB undefined 是读位事实
+ *   （$idx 抽象下标自行 join oobUndef marker），任何构造/宽化路径都
+ *   不得把 OOB undefined 烘焙进元素域（issue #156：烘焙会让「循环+push」
+ *   对任何元素契约不可证）。
+ * - 空 tuple 宽化只在零观测元素（interrupted 等整值宽化）时取 unknown
+ *   元素顶；正常增长路径元素域 = 全部观测元素域 join（joinAbs(unknown,E)
+ *   会吸收污染，空成员贡献空不贡献 unknown 顶）。
  */
 
 /** 数组字面量 → ≤cap tuple（逐元素精确）/ >cap arr；策略与 containers.ts 同源 */
@@ -327,12 +373,27 @@ declare function $arguments(items: ArrayLike<unknown>): Abs;
  * 超 cap 退化 arr 时丢弃 hole 精度（元素 join，长度语义已由 arr 承接）。
  */
 declare function $arrWithHoles(items: Abs[], holes: number[]): Abs;
-declare function isArrMutator(name: string): boolean;
 /**
  * rest 形参绑定（Bug 44）：收集 namedCount 之后的实参包 $arr（长度保持
  * 原生——真调用面）；唯一元素是符号注入哨兵时直通开放数组（签名面）。
  */
 declare function $restBind(list: ArrayLike<unknown>, namedCount: number): Abs;
+
+/**
+ * 数组就地 mutator 族（push/unshift/pop/shift/splice/reverse/sort/
+ * copyWithin/fill）。
+ *
+ * Invariants:
+ * - 就地写回：shape/conf 替换但 Abs 身份不变（JS 引用语义——
+ *   `const b = a; b.push(4)` 对 a 可见）；旧 term/pred 不再描述新
+ *   shape，一并清除（writeInPlace/clearStaleTermPred）。
+ * - 下标/边界实参经 ToIntegerOrInfinity：symbol/bigint 确定 TypeError；
+ *   抽象 → may（空接收者同样先校验）；values 实参不校验（原生存储不转换）。
+ * - mutator 降 arr（splice 等）的元素域 = 全部观测元素 join——不并入
+ *   OOB undefined（issue #156 元素域约定）。
+ */
+
+declare function isArrMutator(name: string): boolean;
 declare function fillTuple(shape: {
     k: "tuple";
     elements: Abs[];
@@ -341,17 +402,26 @@ declare function fillTuple(shape: {
     k: "arr";
     element: Abs;
 }, vals: Abs[], arr: Abs): Abs;
-/**
- * 深拷贝可变容器（fork/switch 快照与循环 pack 用）。
- * 容器写就地进行后（引用语义），分析分支/迭代的状态分离必须靠拷贝——
- * 浅引用快照会让臂间/迭代间互相污染。
- */
-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
  *  可见）。$invoke 的 mutator 分支在**调用点**即刻执行本函数（表达式求值
  *  顺序正确，Bug 49/51），别名 / 成员槽 / Map 条目经共享 Abs 同步可见。 */
 declare function $arrMutContainer(arr: Abs, method: string, args: Abs[]): Abs;
+
+/**
+ * 下标读写与长度：$idx/$idxSet/$len + abstractLen。
+ *
+ * Invariants:
+ * - 抽象下标可能 miss → 元素 ∪ oobUndef marker（越界是引擎精度产物，
+ *   下游嵌套读写不记 may-throw，issue #98）；已知规范下标仍按元素投影
+ *   （split()[0] 等非空序列链不断）。
+ * - arr 的具体下标读是**域分发**（xs[0]/xs[1] 同一 element Abs、不同
+ *   具体值）——markDomainShared 标记后 abstractLen 不 memo 共享 len#N
+ *   （issue #175：否则 xs[0].length - xs[1].length 假折 0）。
+ * - abstractLen memo 只对**绑定接收者**合法（跨读同 term sound）；
+ *   lenVarSeq 单调递增，len#N term 全局唯一。
+ */
+
 /** 下标读 a[i]；规范数组下标走精确投影，确定非下标键 → undefined，否则并所有元素；string[i] → 单字符 */
 declare function $idx(a: Abs, i: Abs, opts?: {
     silent?: boolean;
@@ -363,22 +433,21 @@ declare function $idxSet(a: Abs, i: Abs, value: Abs): Abs;
 declare function $len(a: Abs, opts?: {
     silent?: boolean;
 }): Abs;
-/** 对象字面量 → Abs obj（槽位写走 setSlot，`__proto__` 不踩宿主 setter） */
-declare function $obj(slots: Record<string, Abs>): Abs;
-/**
- * 对象字面量非计算 `__proto__: v` 的特殊原型设定（ES PropertyDefinition）。
- * - v 为 null → null-proto（无 Object.prototype 回退）
- * - v 为 object → 保守 open（继承读不折 exact undefined；细节不建模）
- * - v 为 primitive → 原生忽略（无自有键、不改原型）
- */
-declare function $setProto(o: Abs, proto: Abs): Abs;
-/** 对象展开 { ...a, b } */
-declare function $spread(a: Abs, b: Abs): Abs;
+
 /**
- * 解构 rest：`const { a, ...rest } = o` → rest = o 去掉 named keys。
- * closed obj：剩余槽 closed；open / optional 键：rest 仍 open（可能有未知键）。
+ * 迭代协议与 spread/rest 投影：$elems/$forOf/$concat/$arrRest/$iterCheck。
+ *
+ * Invariants:
+ * - brand 只是名义标签，结构面在内层（issue #147）：内层 total → total；
+ *   否则 may——**绝不下 definite 非可迭代结论**（TypedArray/Buffer 等
+ *   内层空 obj，原型链 @@iterator 不在内层建模）。
+ * - 生成器/模板标签/matchAll 迭代物挂对象侧表：迭代 = 消费（从当前位
+ *   取剩余），体内延迟异常在消费点重放（不得静默截断成前缀，Bug 34）。
+ * - unbounded（长度未知）单代表迭代只跑一次：0 次/出口臂由 fork-arm +
+ *   snapExit join 承接；break/continue 打断代表体 → widen.markInterrupted
+ *   （完整迭代效应不可观测，累加器域整体宽化）。
  */
-declare function $objRest(o: Abs, keys: string[]): Abs;
+
 /** 数组 rest：`const [a, ...rest] = arr` → rest = 从 start 起的尾段 */
 declare function $arrRest(a: Abs, start: number): Abs;
 /** 数组连接 [...a, ...b] / [...a, x]；结果超 cap 时与字面量同策略降 arr */
@@ -422,6 +491,28 @@ declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, ma
      *  元素取抽象 unknown（原生由 next() 链驱动）。 */
     forAwait?: boolean;
 }): void;
+/**
+ * Map/Set forEach：条目表逐条调用回调（value, key, recv）。
+ * 回调是 求值引擎 JS 函数（transpile 内联箭头）直接调用；Abs fn 走 $call。
+ * 回调返回值丢弃；forEach 表达式值恒 undefined。
+ */
+declare function $collectionForEach(recv: Abs, cb: unknown): Abs | undefined;
+
+/**
+ * 成员读写与派发：$get/$set + 命名空间身份路由 + 原型方法值读。
+ *
+ * Invariants:
+ * - protoMethodDispatch 是 `var`（非 let）：exec/class 模块加载期经循环
+ *   import 回调 setProtoMethodDispatch 时提升为 undefined 也安全（let
+ *   会 TDZ 崩加载序）。
+ * - 类方法一等值按（定义类 spec, kind, 键）驻留：同条目重复读返回同一
+ *   Abs 引用（=== 折 true）；跨 run last-wins 重注册换新 spec 对象，
+ *   驻留随旧 spec 回收失效。
+ * - 闭 shape 字面量 key miss → 精确 undefined（键确定不存在）；open
+ *   shape / 抽象键 → 并 unknown（键可能存在）；已知原型访问器名槽面
+ *   未建模 → 诚实 unknown（不得 wrong-exact undefined）。
+ */
+
 declare function namespaceNameOf(v: unknown): string | undefined;
 /** 正则字面量 → RegExp brand（source/flags/lastIndex 进 slots，供 exec/test 精确执行） */
 declare function $regex(pattern: string, flags?: string): Abs;
@@ -429,12 +520,6 @@ declare function $regex(pattern: string, flags?: string): Abs;
 declare function $get(o: Abs, key: string, opts?: {
     silent?: boolean;
 }): Abs;
-/**
- * Map/Set forEach：条目表逐条调用回调（value, key, recv）。
- * 回调是 求值引擎 JS 函数（transpile 内联箭头）直接调用；Abs fn 走 $call。
- * 回调返回值丢弃；forEach 表达式值恒 undefined。
- */
-declare function $collectionForEach(recv: Abs, cb: unknown): Abs | undefined;
 /** 成员写：返回新 obj/brand（不可变更新）；frozen/sealed/只读目标按 sloppy 静默失败。
  *  opts.internal（Bug 84）：私有字段落地——槽打 Slot.internal 标记；后续覆写
  *  保留既有标记（this.#x = v 不丢失 internal）。
@@ -702,13 +787,35 @@ declare function foldStaticStringExpr(node: unknown): string | undefined;
 declare function foldRequireSpecArg(arg: unknown): string | undefined;
 
 /**
- * 语句 / 块 / class 发射：transpileStatement、transpileBodyNode、transpileClass。
+ * 方法/函数体统一发射（stmt 按域拆分之一；语句 switch 在 ./statement.ts）。
+ *
+ * 不变量：
+ * - ObjectMethod / ClassMethod / 属性位 FunctionExpression 体必须走本入口
+ *   （emitFnBlockBody / transpileFnBodyStmts）——逐语句 map(transpileStatement)
+ *   会绕过早退 if 提升，`if (c) return X; return Y` 的早退值被语句级 $fork
+ *   thunk 吞掉（假精确）；
+ * - 函数体边界 var 提升（Bug 21）：skip = 参数模式名；嵌套块不传
+ *   varScope（var 已在函数级提升，块内改发赋值）；
+ * - P4b 参数遮蔽：继承 constNames 被本函数参数模式名遮蔽时扣除（假
+ *   TypeError 是 wrong-definite）；
+ * - generator/async 函数声明的 __nudoNonCtor 标记提升到语句列表顶部
+ *   （Bug 9：先用后声明时 new g() 不误判）。
  */
 
 declare function transpileBodyNode(node: Node, opts: TranspileOptions): string;
 
 /**
- * 表达式发射：transpileExpression / transpileShortCircuitExpr。
+ * 表达式发射主分派（expr 按域拆分之一；各节点类别族在兄弟模块）。
+ *
+ * 不变量：
+ * - 入口顺序：@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 再导出不是实例化期绑定）。
  */
 
 /**
@@ -814,19 +921,15 @@ declare function getEvalClass(name: string): EvalClassSpec | undefined;
 declare function clearBClasses(): void;
 
 /**
- * RegExp brand 执行面（leaf-ish）：从 class.ts 拆出，避免巨型文件。
- */
-
-/**
- * 语句级 RegExp 状态写回（test/exec）：执行并把 lastIndex 更新后的 brand
- * 返回给 transpile 重绑（$reStateCall 与 $arrMutContainer 同模式）。
- * 表达式位置不写回（$invoke 只读执行，调用方按 JS 语义先取值）。
- */
-declare function $reStateCall(re: Abs, method: string, args: Abs[]): Abs;
-
-/**
- * 求值引擎 class：brand 实例 + ctor/method 闭包 + 继承链。
- * 方法内 this 由 transpile 改写为 thisVal 参数。
+ * 类声明/注册/构造：$class/$new/$staticInit + registry 辅助。
+ *
+ * Invariants:
+ * - classImpl（WeakMap）是 spec 的唯一私有挂载点：Abs 对象身份 → 定义
+ *   spec；同名类跨 run last-wins 重注册换新 spec（驻留侧表随旧 spec 回收）。
+ * - 实例字段就地突变（applyInstanceFields 落 inner obj 槽）：原生引用共享
+ *   语义——方法内 this.x = v 对调用点持有的同一实例 Abs 可见。
+ * - new 的 ctor 帧走 pushCtorFrame/popCtorFrame；new.target 通道由
+ *   withNewTargetReset 包裹（嵌套 new 不串帧）。
  */
 
 /** 定义类 → 可 new 的 Abs（brand 标记；静态字段挂在 slots） */
@@ -843,14 +946,22 @@ declare function $new(cls: Abs | ((...a: unknown[]) => unknown), args: Abs[]): A
  * 初始化）；this 绑定类值；块内 throw 在定义点表面（NudoThrow 上浮）。
  */
 declare function $staticInit(cls: Abs, thunks: Array<(thisVal: Abs) => unknown>): void;
+
+/**
+ * super 家族：$super/$invokeSuper/$getSuper/$setSuper + 对象超与静态超。
+ *
+ * Invariants:
+ * - super 解析沿注册表继承链（evalClassChain）；链洞（未注册父名）→
+ *   sound unknown（不得闭 obj miss 折 wrong-exact undefined）。
+ * - SUPER_PROTO_CHAIN_LIMIT 封顶 superProtoOf 递归（防原型环栈溢出）。
+ * - 宿主内建父构造器（superBuiltinHost 标记）才放行宿主静态通道。
+ */
+
 /**
  * super(...)：父类构造写入字段（this 保持子类 brand）。
  * transpile: super(a,b) → __this = $super(__this, "Child", [a,b])
  */
 declare function $super(thisVal: Abs, childName: string, args: Abs[]): Abs;
-
-/** 实例方法调用：沿继承链；类 Abs 上回落 staticMethods；obj 上回落属性函数 */
-declare function $invoke(thisVal: Abs, method: string, args: Abs[], loc?: [number, number]): Abs;
 /** super.method()：从父类起找（跳过自身覆盖） */
 declare function $invokeSuper(thisVal: Abs, childName: string, method: string, args: Abs[]): Abs;
 /** 类实例方法内 super.p / super[k] 属性读（Bug 14）：父类原型链上的
@@ -882,6 +993,42 @@ declare function $getSuperObj(thisVal: Abs, key: Abs): Abs;
  *  （运行时侧表）上找访问器 setter（以接收者调用）；getter-only →
  *  strict TypeError；数据槽/缺槽 → 原生折接收者自有写（$set）。 */
 declare function $setSuperObj(thisVal: Abs, key: Abs, value: 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;
+
+/**
+ * 调用派发总入口：$invoke(recv, method, args)。
+ *
+ * Invariants:
+ * - protoMethodDispatch 注册语句在本模块体**加载期**执行且必须直连
+ *   containers/member.ts（不经 barrel——vite SSR 下 re-export 不是
+ *   实例化期可用绑定；原单文件拓扑中 setter 是提升函数声明）。
+ * - 数组方法（map/filter/reduce/…）委派 invokeArrMethod（invoke-arr.ts）；
+ *   mutator 语句快路径在 transpile 层（emitArrMutatorRebinds），两条路径
+ *   的元素域语义必须同口径（issue #153：SpreadElement 折 $unknown 的教训）。
+ */
+
+/** 实例方法调用：沿继承链；类 Abs 上回落 staticMethods；obj 上回落属性函数 */
+declare function $invoke(thisVal: Abs, method: string, args: Abs[], loc?: [number, number]): Abs;
+
+/**
+ * this/可选链/静态成员读写：$thisGet/$thisSet/$optionalGet/$staticInvoke/$setKey。
+ *
+ * Invariants:
+ * - 类方法体内 this 成员读经 $thisGet（内层 obj 槽优先）；可选链臂
+ *   （?.）已过 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 部分 */
@@ -893,18 +1040,20 @@ 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;
 
+/**
+ * RegExp brand 执行面（leaf-ish）：从 class.ts 拆出，避免巨型文件。
+ */
+
+/**
+ * 语句级 RegExp 状态写回（test/exec）：执行并把 lastIndex 更新后的 brand
+ * 返回给 transpile 重绑（$reStateCall 与 $arrMutContainer 同模式）。
+ * 表达式位置不写回（$invoke 只读执行，调用方按 JS 语义先取值）。
+ */
+declare function $reStateCall(re: Abs, method: string, args: Abs[]): Abs;
+
 /**
  * 转译器无法正确 lowering 的构造：抛此错误（替代静默降级注释）。
  * 消费方（tryRunTranspiled / body-fn）捕获后记录并 fail-closed

package/dist/exec.js

@@ -206,7 +206,7 @@ import {
   withAssumePremises,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-W3Z77Y2I.js";
+} from "./chunk-NUTYUT3I.js";
 export {
   $absVal,
   $add,

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-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 { 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-DfloWX6i.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-DfloWX6i.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-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';
+import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, w as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-07VnMktV.js';
+export { x as CONSTRAINT_BUILDERS, y as CONSTRAINT_BUILDER_NAMES, z as CONSTRAINT_EXPR_RE, A as CheckAction, C as CheckIssue, B as CheckJson, D as CheckJsonMulti, F as ConstraintBuilder, G as Diagnostic, H as EffectiveInterface, J as GitlabCodeQualityIssue, K as INTERFACE_SOURCE_ABBR, O as InterfaceDiag, I as InterfaceSource, Q as InterfaceTierInfo, a as InterfaceTierOpts, R as NamedImport, S as NudoField, T as NudoFnConstraint, U as NudoSidecarError, V as NudoSig, W as RefineDiag, X as RefineEntry, Y as RefineResolveOpts, Z as SELF, _ as actionsForIssue, $ as andC, a0 as any, a1 as array, a2 as boolean, a3 as checkArg, a4 as checkCall, a5 as constraintAdmitsNullish, a6 as constraintToEntryAbs, a7 as derefConstraint, a8 as drainPromiseMicros, a9 as effectiveInterface, aa as enterPromiseExecutorScope, ab as evalPromiseCtor, ac as evalPromiseMethod, ad as evalPromiseStatic, ae as execNudoModule, af as extractDeclaredThrows, ag as extractFnBudget, ah as extractNudoImports, ai as extractRefineReturnFromSource, aj as extractRefinesFromSource, ak as fn, al as fnConstraintToEntryReqs, am as formatCheckReport, an as formatConstraint, ao as formatDiagnostics, ap as formatEffectiveInterfaceDisplay, aq as formatGithubAnnotations, ar as formatGitlabCodeQuality, as as formatInterfaceTierLine, at as generatedExportNames, au as getParseSourceCacheSize, av as getTerm, aw as instantiateConstraint, ax as interfaceDiagCount, ay as interfaceSourceOf, az as interfaceTierOf, aA as isIntFlag, aB as isNodeModulesPath, aC as isNudoConstraint, aD as lazy, aE as leavePromiseExecutorScope, aF as lenTerm, aG as litC, aH as localNamedExports, aI as notePromiseExecutorFork, aJ as nullable, aK as number, aL as omit, aM as partial, aN as pick, aO as queuePromiseMicro, aP as refineDiagCount, aQ as refineToIndexedFull, aR as resetNudoModuleExecCache, aS as resetParseSourceCache, aT as resetSidecarLoadFailureCache, aU as serializeCheckJson, aV as serializeCheckJsonMulti, aW as setInterfaceDiagCollector, aX as setRefineDiagCollector, aY as shape, aZ as sidecarClosureFingerprint, a_ as sidecarPathOf, a$ as string, b0 as takeInterfaceDiags, b1 as takeInterfaceDiagsSince, b2 as takeRefineDiags, b3 as takeRefineDiagsSince, b4 as throwConstraintToKinds, b5 as union } from './projection-budget-07VnMktV.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';
 
 /**
@@ -249,13 +249,26 @@ declare function projectFlatMapResult(arrConf: Confidence, mapped: Abs[]): Abs;
 declare function asAbs(v: unknown): Abs | undefined;
 
 /**
- * 算术核：单调性 + 常量折叠 + 约束传播。
- * 这是「类型即计算」的主武器——x>0 时 x+1 必须得到 >1。
+ * 加减域：add（拼接/数值单调性/any 并集/sum 分发）与 sub（#175 自反
+ * 折叠 x−x→0 + subAssumeBounds 同名相关性引理）。
+ *
+ * 依赖方向不变量：只 import 叶子（shared/coerce/bounds）与 algebra 其它
+ * 既有模块；不得 import 兄弟域（muldiv/cmp）或 facade——运算族之间
+ * 零互调（sum 分发经 shared 的 eval2 回调自递归，不跨域）。
  */
 
 declare function add(a: Abs, b: Abs, phi?: Phi): Abs;
 /** 减法：a - b = a + (-b)，数值上做单调性 */
 declare function sub(a: Abs, b: Abs, phi?: Phi, assume?: Phi): Abs;
+
+/**
+ * 乘除模域：mul/div/mod 的区间单调性折叠；divAssumeBounds（issue #152
+ * 同名相关性除法界）与 div 的 0/x 字面量折叠（#170）在此消费。
+ *
+ * 依赖方向不变量：只 import 叶子（shared/coerce/bounds）；不得 import
+ * 兄弟域（addsub/cmp）或 facade。
+ */
+
 /** 乘法：字面量直接求值；×正数同向缩放；×负数翻转不等式；×0 归零 */
 declare function mul(a: Abs, b: Abs, phi?: Phi): Abs;
 /**
@@ -269,6 +282,16 @@ declare function div(a: Abs, b: Abs, phi?: Phi, assume?: Phi): Abs;
  * `n % 0` / `x % 0` / `x % NaN` 恒为 NaN（JS）。
  */
 declare function mod(a: Abs, b: Abs, phi?: Phi): Abs;
+
+/**
+ * 比较折叠域：cmp（双字面量/pred 蕴含/界判定 + eq/ne 符号面）、
+ * trueConstraint/falseConstraint（if 分支约束提取）、refineAbsForRelTrue、
+ * matchRelIdentLit。
+ *
+ * 依赖方向不变量：只 import 叶子（coerce/bounds）；不得 import 兄弟域
+ * （addsub/muldiv）或 facade。
+ */
+
 /** 比较：返回 boolean Abs；若双字面量则 exact */
 declare function cmp(op: "lt" | "le" | "gt" | "ge" | "eq" | "ne", a: Abs, b: Abs, phi?: Phi): Abs;
 /** 从比较结果 Abs 提取「若为真」的额外约束（供 if 使用） */
@@ -366,12 +389,55 @@ declare function migrateInvariants(from: Abs, to: Abs): void;
 declare function evalMathMethod(name: string, args: Abs[]): Abs | undefined;
 
 /**
- * Object.assign 非 obj 源键投影 + Object.* 静态方法
+ * Object 静态面的 assign/描述符机器：assignSourceSlots（assign 源键投影）、
+ * primTargetAssignThrows（装箱 prim target 抛错域）、ToPropertyDescriptor
+ * 与安装（validateDefineTarget/validateDescriptorObject/
+ * applyPropertyDescriptor）、描述符形态（mkPropDescAbs/maybePropDescAbs）
+ * 与 [[Get]] 收口（readProperty）。
+ *
+ * Invariants:
+ * - 键投影只取自有可枚举字符串键（enumerable:false / Slot.internal 槽剔除；
+ *   boxed String 的 length 不复制、[[PrimitiveValue]] 内部槽已标不可枚举）；
+ *   键集未知（open 空箱/arr/brand/sum/fn）→ undefined 保守降级。
+ * - prim target 抛错域三档（M5 node 实测）：bigint 恒定抛；string 字面量
+ *  （长 L）遇 canonical 下标 < L 的源键定抛、下标 ≥ L/非下标键安全、键集
+ *   未知 → may；number/boolean wrapper expando 合法恒安全。
+ * - applyPropertyDescriptor 是 DefineOwnProperty 单一实现（create/
+ *   defineProperty/defineProperties 共用，不复制）：get/set 非函数且非
+ *   undefined → 定抛；value × 访问器共存 → 定抛；访问器经 accessorTable
+ *   侧表派发（getter 读折返回体、setter 写走侧表不误抛 writable:false）；
+ *   描述符字段语义 = 新建属性缺省 false、已有属性仅显式 false 收紧；
+ *   open/index 标记与 invariants/accessor 侧表随不可变更新迁移。
+ * - readProperty 是反射/枚举内建 [[Get]] 统一入口：accessorTable thunk
+ *   优先（getter 求值）、数据槽兜底、setter-only 读 undefined。
+ *
+ * 兄弟模块边界：methods.ts（evalObjectMethod）经导出复用安装机器；
+ * readProperty 供 json.ts（stringify 读值）。
  */
 
 declare function assignSourceSlots(src: Abs): Record<string, {
     value: Abs;
 }> | undefined;
+
+/**
+ * evalObjectMethod：Object.* 静态面大分派（create/keys/values/entries/
+ * hasOwn/getPrototypeOf/setPrototypeOf/assign/is/freeze 族/defineProperty
+ * 族/getOwnPropertyDescriptor(s)/getOwnPropertyNames/getOwnPropertySymbols/
+ * fromEntries/groupBy）。
+ *
+ * Invariants:
+ * - 枚举/读值/描述符机器复用 descriptor.ts 与 enum-entries.ts（单一实现不
+ *   复制）；Error 家族判定经 error.ts facade（isErrorCtorName）。
+ * - 抽象接收者 may-nullish 只记 throws 效果、值域不变（Bug 27/35/61：仅
+ *   any/unknown/含 nullish 臂 union 才记；prim/obj/tuple/fn/brand 形态
+ *   原生全定不假 may）。
+ * - create：null 原型走 nullProto 标记（in 不回退 Object.prototype）；
+ *   Abs 对象原型进 protoTable（[[Prototype]] 事实，Bug 67——instanceof 链
+ *   终止判定不得把 null 终止链折 true）；第二实参 propertiesObject 逐可
+ *   枚举键过 ToPropertyDescriptor 安装自有属性（Bug 32/23）。
+ * - 未建模方法 → undefined 走通用回退。
+ */
+
 /** Object.keys/values/entries/assign + 不变性方法 */
 declare function evalObjectMethod(name: string, args: Abs[]): Abs | undefined;
 
@@ -470,10 +536,51 @@ declare function objectProtoBrand(): Abs;
 declare function isObjectProtoBrand(a: Abs | undefined): boolean;
 
 /**
- * Error 家族 + evalBuiltinNew / evalBuiltinInstanceMethod + namespace 分派
+ * 命名空间静态分派：evalNamespaceCall 总入口 + 本地静态面（Map.groupBy /
+ * URL.canParse / ArrayBuffer.isView / BigInt.asIntN·asUintN）。
+ *
+ * Invariants:
+ * - 静态面只走「纯静态」（无接收者）调用；未建模方法返回 undefined 交通用
+ *   回退，不得折精确值。
+ * - Map.groupBy 与 Object.groupBy 共用 foldGroupBy（object 域单一折叠口径，
+ *   键模式 "map" 原始键 SameValueZero 字面量合并，不 ToPropertyKey）；键
+ *   不可判组并入 shadow（get 未知键 → 元素域数组 join undefined）。
+ * - ArrayBuffer.isView 是纯谓词恒不抛（Invalid → false 非抛的口径只属于
+ *   canParse）：DV/TA brand → true、确定非视图闭形态 → false、不可判
+ *  （any/unknown/未知 brand/mock 面）→ boolean 域不折字面量。
+ * - BigInt.asIntN/asUintN：bits 过 ToIndex（负数 → RangeError、bigint/
+ *   symbol → TypeError）、value 过 ToBigInt（number/nullish → TypeError、
+ *   非法 string → SyntaxError），字面量可折时宿主真调用兜底。
+ *
+ * 兄弟模块边界：Intl/TypedArray 尾分派落在 intl.ts / binary.ts；实例方法
+ * 与 new 分派在 dispatch.ts。
  */
 
 declare function evalNamespaceCall(ns: string, method: string, args: Abs[]): Abs | undefined;
+
+/**
+ * Error 家族（ERROR_CTOR_NAMES/isErrorCtorName/errorBrandAbs）+ 宿主构造器
+ * 实参校验谓词（sumHasPrimMember/isNullishLit/enforceCanBeHeldWeakly/
+ * isDefinitelyUndefinedArg）+ Proxy 构造（makeProxyAbs）。
+ *
+ * Invariants:
+ * - errorBrandAbs 槽插入序 = 原生 gOPN 观察序（stack→message→cause→
+ *   errors）；name 槽打 Slot.inherited（原型链槽：hasOwnProperty/gOPN 自有
+ *   面折 false，$set 覆写落地转自有）；家族自有槽全 enumerable:false
+ *  （Bug 84 枚举视图剔除，extends Error 内层公有槽展开同口径）。
+ * - message 过 ToString：symbol prim 定抛 TypeError、any/含 symbol 臂
+ *   union → may（Bug 54）；stack 恒 string 域不可精确折叠（Bug 59）。
+ * - 实参校验三档口径（Bug 37/41/53/63/85，两个派发点共用：exec/class $new
+ *   宿主分支与 dispatch.ts evalBuiltinNew）：definite 原生 throw（prim 字面
+ *   量/缺省）→ NudoThrow；any/unknown/含坏成员 union → recordMayThrow（值
+ *   域不变）；obj/fn/brand/tuple/arr 对象形态 → 原生全定。
+ * - isNullishLit 与 surface.isNullishLitAbs 同判定但**不引 surface**（避免
+ *   builtins↔surface 新环）；弱键分类本体在 collections.ts
+ *  （classifyCanBeHeldWeakly，Bug 8 集合条目键单一口径），此处只落校验。
+ * - Proxy brand inner = target Abs（无陷阱读写走靶语义、isArray 剥 brand 看
+ *   靶形态）；target/handler 引用挂 match-iter 侧表（Bug 57/71 陷阱派发）。
+ */
+
 declare function isErrorCtorName(name: string | undefined): boolean;
 /**
  * Error brand：shape 带 name/message（字面量 message 保精确）。
@@ -483,6 +590,32 @@ declare function isErrorCtorName(name: string | undefined): boolean;
  * $new 的 new Error 路径共用——catch 形参成员访问可解。
  */
 declare function errorBrandAbs(name: string, args: Abs[]): Abs;
+
+/**
+ * 品牌总分派：evalBuiltinNew（new X(...)）与 evalBuiltinInstanceMethod
+ * （brand 实例方法）+ DataView/TypedArray 实例方法族（evalDataViewMethod /
+ * taLengthSlotLit / taSetSourceLength / brandObjSlots）。
+ *
+ * Invariants:
+ * - 两入口是内建构造/实例方法的总分派（exec $new 宿主分支与 Abs 面
+ *   evalBuiltinNew 共用各域 builder；未建模名/方法 → undefined 走通用
+ *   回退，不得折精确值）。
+ * - TA set 三段校验（Bug 38）：ToIndex(offset) + ToObject(source) +
+ *   off+srcLen > tgtLen 越界——长度读 binary 域构造入槽的 length 槽
+ *  （makeTypedArrayAbs 数字形态）/ taSetSourceLength（tuple 元数/字符串
+ *   长度/TA 源槽/装箱折 0）；成功恒返 undefined，元素拷贝值域不建模。
+ * - ArrayBuffer.resize（Bug 39）：resizable 槽 false 字面量定抛
+ *   TypeError；成功臂 byteLength 槽**原地更新**（$set 引用语义惯例——
+ *   别名同步）；transfer/grow/slice 不在此扩 scope。
+ * - DataView get/set 族（Bug 35）：byteOffset 过 ToIndex + off+bits/8 >
+ *   viewLen 定抛 RangeError；读返回域按元素类型（bigint 家族 → bigint）。
+ * - Error 家族 toString/toLocaleString = `${name}: ${message}`（槽已
+ *   建模，空 message 只返 name）；Map/Set 方法族落 collections 条目机，
+ *   迭代三件套经 iterator.ts 协议对象（mapEntryKey/setEntryTuple 条目
+ *   投影），Set ES2025 方法族先过 binary 域 set-like 校验再 setMethodFold
+ *  （不可折 → 集合运算诚实 unknown / is* 抽象 boolean）。
+ */
+
 /** new X(...) */
 declare function evalBuiltinNew(className: string, args: Abs[]): Abs | undefined;
 /** brand 实例方法（Date/RegExp/Map/Set/Error 家族/装箱拆箱后的 prim 面在外层） */