@nudojs/core 1.0.1 → 2.0.1

package/dist/exec.d.ts

@@ -1,2 +1,2 @@
-export { $ as $add, e as $arr, f as $async, g as $asyncReturn, h as $await, i as $call, j as $callNamed, k as $catchVal, l as $class, m as $concat, n as $div, o as $elems, p as $eq, q as $fnVal, r as $for, s as $forIter, t as $forOf, u as $fork, v as $ge, w as $gen, x as $get, y as $gt, z as $idx, B as $idxSet, D as $invoke, E as $invokeSuper, F as $join, G as $le, I as $len, J as $lit, K as $lt, L as $mod, M as $mul, N as $ne, O as $neg, Q as $new, U as $not, V as $obj, W as $optionalGet, X as $optionalInvoke, Y as $orDefault, Z as $regex, _ as $set, a0 as $setKey, a1 as $spread, a2 as $staticInvoke, a3 as $sub, a4 as $super, a5 as $switch, a6 as $thisGet, a7 as $thisSet, a8 as $throw, a9 as $typeof, aa as $while, ab as $whileSeq, ac as $yield, ad as BCallRecord, ae as BClassSpec, af as BMemberDiag, ag as DEFAULT_MAX_LOOP_ITERS, aj as NudoThrow, ak as RunTranspiledOptions, al as TranspileOptions, am as TranspiledCallResult, av as asAbsVal, aA as callTranspiledExport, aB as callTranspiledExportFull, aC as clearBClasses, aG as currentExecPhi, aL as getAbsOrigin, aM as getBCallCollector, aN as getBClass, aS as isDefinitelyFalse, aT as isDefinitelyTrue, aV as isNudoThrow, b0 as litTruth, b5 as namespaceNameOf, b9 as noteMemberDispatchMiss, ba as notePrimMemberMissing, bb as noteUnknownMemberMissing, bq as recordMemberDiag, br as registerBClass, bs as runTranspiled, bu as setBCallCollector, bv as setMemberDiagCollector, bF as tagAbsOrigin, bI as transpile, bJ as transpileExpression, bK as transpileFile, bL as transpileSource, bT as withExecPhi } from './index-FITqyJ8v.js';
+export { $ as $add, e as $arr, f as $arrMutContainer, g as $arrRest, h as $async, i as $asyncReturn, j as $await, k as $call, l as $callNamed, m as $catchVal, n as $class, o as $concat, p as $div, q as $elems, r as $eq, s as $eqLoose, t as $fnVal, u as $for, v as $forIter, w as $forOf, x as $fork, y as $ge, z as $gen, B as $get, D as $gt, E as $idx, F as $idxSet, G as $invoke, I as $invokeSuper, J as $isForkExit, K as $join, L as $le, M as $len, N as $lit, O as $loopReturn, Q as $lt, U as $mod, V as $mul, W as $ne, X as $neLoose, Y as $neg, Z as $new, _ as $not, a0 as $nullishTest, a1 as $obj, a2 as $objRest, a3 as $optionalGet, a4 as $optionalInvoke, a5 as $orDefault, a6 as $pushLoopExit, a7 as $regex, a8 as $rethrowIfNudoReturn, a9 as $set, aa as $setKey, ab as $spread, ac as $staticInvoke, ad as $sub, ae as $super, af as $switch, ag as $thisGet, ah as $thisSet, ai as $throw, aj as $tryCurrentMark, ak as $tryMark, al as $tryPopMark, am as $tryTakeSince, an as $typeof, ao as $while, ap as $whileSeq, aq as $yield, ar as BCallRecord, as as BClassSpec, at as BMemberDiag, au as DEFAULT_MAX_LOOP_ITERS, ax as NudoReturn, ay as NudoThrow, az as RunTranspiledOptions, aA as TranspileOptions, aB as TranspiledCallResult, aK as asAbsVal, aP as callAtFunctionBoundary, aQ as callTranspiledExport, aR as callTranspiledExportFull, aS as clearBClasses, aW as currentExecPhi, a$ as getAbsOrigin, b0 as getBCallCollector, b1 as getBClass, b6 as isArrMutator, b7 as isDefinitelyFalse, b8 as isDefinitelyTrue, b9 as isEvalMissingSlotEnabled, bb as isNudoReturn, bc as isNudoThrow, bj as litTruth, bo as namespaceNameOf, bs as noteMemberDispatchMiss, bt as noteObjSlotMissing, bu as notePrimMemberMissing, bv as noteUnknownMemberMissing, bK as pushLoopExit, bL as pushThrowExit, bM as recordMemberDiag, bN as registerBClass, bO as runTranspiled, bP as runWithEvalMissingSlot, bQ as runWithLoopExits, bS as setBCallCollector, bT as setEvalMissingSlotEnabled, bU as setMemberDiagCollector, c2 as tagAbsOrigin, c3 as takeLoopExits, c4 as takeThrowExits, c7 as transpile, c8 as transpileExpression, c9 as transpileFile, ca as transpileSource, ci as withExecPhi } from './index-DxjxtxOJ.js';
 import '@babel/types';

package/dist/exec.js

@@ -1,6 +1,8 @@
 import {
   $add,
   $arr,
+  $arrMutContainer,
+  $arrRest,
   $async,
   $asyncReturn,
   $await,
@@ -12,6 +14,7 @@ import {
   $div,
   $elems,
   $eq,
+  $eqLoose,
   $fnVal,
   $for,
   $forIter,
@@ -25,22 +28,29 @@ import {
   $idxSet,
   $invoke,
   $invokeSuper,
+  $isForkExit,
   $join,
   $le,
   $len,
   $lit,
+  $loopReturn,
   $lt,
   $mod,
   $mul,
   $ne,
+  $neLoose,
   $neg,
   $new,
   $not,
+  $nullishTest,
   $obj,
+  $objRest,
   $optionalGet,
   $optionalInvoke,
   $orDefault,
+  $pushLoopExit,
   $regex,
+  $rethrowIfNudoReturn,
   $set,
   $setKey,
   $spread,
@@ -51,13 +61,19 @@ import {
   $thisGet,
   $thisSet,
   $throw,
+  $tryCurrentMark,
+  $tryMark,
+  $tryPopMark,
+  $tryTakeSince,
   $typeof,
   $while,
   $whileSeq,
   $yield,
   DEFAULT_MAX_LOOP_ITERS,
+  NudoReturn,
   NudoThrow,
   asAbsVal,
+  callAtFunctionBoundary,
   callTranspiledExport,
   callTranspiledExportFull,
   clearBClasses,
@@ -65,29 +81,42 @@ import {
   getAbsOrigin,
   getBCallCollector,
   getBClass,
+  isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,
+  isEvalMissingSlotEnabled,
+  isNudoReturn,
   isNudoThrow,
   litTruth,
   namespaceNameOf,
   noteMemberDispatchMiss,
+  noteObjSlotMissing,
   notePrimMemberMissing,
   noteUnknownMemberMissing,
+  pushLoopExit,
+  pushThrowExit,
   recordMemberDiag,
   registerBClass,
   runTranspiled,
+  runWithEvalMissingSlot,
+  runWithLoopExits,
   setBCallCollector,
+  setEvalMissingSlotEnabled,
   setMemberDiagCollector,
   tagAbsOrigin,
+  takeLoopExits,
+  takeThrowExits,
   transpile,
   transpileExpression,
   transpileFile,
   transpileSource,
   withExecPhi
-} from "./chunk-P3G2TODS.js";
+} from "./chunk-6REHMIAE.js";
 export {
   $add,
   $arr,
+  $arrMutContainer,
+  $arrRest,
   $async,
   $asyncReturn,
   $await,
@@ -99,6 +128,7 @@ export {
   $div,
   $elems,
   $eq,
+  $eqLoose,
   $fnVal,
   $for,
   $forIter,
@@ -112,22 +142,29 @@ export {
   $idxSet,
   $invoke,
   $invokeSuper,
+  $isForkExit,
   $join,
   $le,
   $len,
   $lit,
+  $loopReturn,
   $lt,
   $mod,
   $mul,
   $ne,
+  $neLoose,
   $neg,
   $new,
   $not,
+  $nullishTest,
   $obj,
+  $objRest,
   $optionalGet,
   $optionalInvoke,
   $orDefault,
+  $pushLoopExit,
   $regex,
+  $rethrowIfNudoReturn,
   $set,
   $setKey,
   $spread,
@@ -138,13 +175,19 @@ export {
   $thisGet,
   $thisSet,
   $throw,
+  $tryCurrentMark,
+  $tryMark,
+  $tryPopMark,
+  $tryTakeSince,
   $typeof,
   $while,
   $whileSeq,
   $yield,
   DEFAULT_MAX_LOOP_ITERS,
+  NudoReturn,
   NudoThrow,
   asAbsVal,
+  callAtFunctionBoundary,
   callTranspiledExport,
   callTranspiledExportFull,
   clearBClasses,
@@ -152,20 +195,31 @@ export {
   getAbsOrigin,
   getBCallCollector,
   getBClass,
+  isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,
+  isEvalMissingSlotEnabled,
+  isNudoReturn,
   isNudoThrow,
   litTruth,
   namespaceNameOf,
   noteMemberDispatchMiss,
+  noteObjSlotMissing,
   notePrimMemberMissing,
   noteUnknownMemberMissing,
+  pushLoopExit,
+  pushThrowExit,
   recordMemberDiag,
   registerBClass,
   runTranspiled,
+  runWithEvalMissingSlot,
+  runWithLoopExits,
   setBCallCollector,
+  setEvalMissingSlotEnabled,
   setMemberDiagCollector,
   tagAbsOrigin,
+  takeLoopExits,
+  takeThrowExits,
   transpile,
   transpileExpression,
   transpileFile,

package/dist/{index-FITqyJ8v.d.ts → index-DxjxtxOJ.d.ts}

@@ -157,6 +157,11 @@ type Abs = {
     term?: Term;
     pred?: Pred;
     conf: Confidence;
+    /**
+     * C2.4：分支 join 可解释标注（如 `join(number | string)`）。
+     * 仅展示用：不进 leq / 指纹 / check 等价；formatAbs 读取。
+     */
+    pathNote?: string;
 };
 declare const never: Abs;
 /** 分析无信息 */
@@ -426,6 +431,9 @@ declare function $typeof(a: Abs): Abs;
 declare function $not(a: Abs): Abs;
 declare function $eq(a: Abs, b: Abs): Abs;
 declare function $ne(a: Abs, b: Abs): Abs;
+/** `==` / `!=`（C2.3）：双字面量 Abstract Equality，否则回落严格判定 */
+declare function $eqLoose(a: Abs, b: Abs): Abs;
+declare function $neLoose(a: Abs, b: Abs): Abs;
 declare function $lt(a: Abs, b: Abs): Abs;
 declare function $le(a: Abs, b: Abs): Abs;
 declare function $gt(a: Abs, b: Abs): Abs;
@@ -439,17 +447,37 @@ declare function $join(a: Abs, b: Abs): Abs;
  * extractParamNames 回退口径一致）；带真实参数名走 $fnVal（transpile 侧）。
  */
 declare function asAbsVal(v: unknown): Abs;
-/** 函数表达式 → 一等 fn Abs（transpile 侧带真实参数名；异步 body 包 $async） */
-declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs): Abs;
+/**
+ * 函数调用边界：callee 的 loop/early-return 不得冒泡成 caller 结果。
+ * 每个 B 路径调用帧独立 ALS；NudoReturn 收成该调用的返回值。
+ */
+declare function callAtFunctionBoundary<T>(body: () => T): T;
+/** 函数表达式 → 一等 fn Abs（transpile 侧带真实参数名；异步 body 包 $async）
+ *  opts.bindThis：对象方法——$invoke 会把 receiver 作为 impl 首参注入。 */
+declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs, opts?: {
+    bindThis?: boolean;
+}): Abs;
 /** 字面量 → Abs（transpile 侧数字/字符串/布尔/null/undefined） */
 declare function $lit(v: unknown): Abs;
 /** JS 真值：字面量按 Boolean(v)；对象形恒真；不可判 → undefined */
 declare function litTruth(a: Abs): boolean | undefined;
 declare function isDefinitelyTrue(a: Abs): boolean;
 declare function isDefinitelyFalse(a: Abs): boolean;
-/**
- * if：两侧都探索（抽象条件），具体条件短路。
- */
+/** 函数求值作用域：收集抽象分支上的 early-return / throw 值；try 标记栈同边界 */
+declare function runWithLoopExits<T>(body: () => T): T;
+declare function takeLoopExits(): Abs[];
+declare function takeThrowExits(): Abs[];
+declare function pushLoopExit(v: Abs): void;
+declare function pushThrowExit(v: Abs): void;
+/** transpile 生成代码用：`$pushLoopExit` */
+declare function $pushLoopExit(v: Abs): void;
+/** try 块开始：压栈并返回当前 throwExits 长度 */
+declare function $tryMark(): number;
+/** 当前最内层 try 的 mark（return 时 drain 用；嵌套调用不串栈） */
+declare function $tryCurrentMark(): number;
+declare function $tryPopMark(): void;
+/** 取出 mark 之后新记录的 throw（try 吸收 / catch 合并） */
+declare function $tryTakeSince(mark: number): Abs[];
 declare function $fork(test: Abs, consequent: () => Abs, alternate?: () => Abs): Abs;
 declare const DEFAULT_MAX_LOOP_ITERS = 8;
 /**
@@ -465,9 +493,18 @@ declare function $forIter(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Ab
  * 有界 for：unroll ≤ maxIters，每步「可能退出」的态 join；
  * 相邻态 leq 视为不动点提前停。
  */
-declare function $for(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, body: (s: Abs) => Abs, maxIters?: number): Abs;
+declare function $for(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, body: (s: Abs) => Abs, maxIters?: number, opts?: {
+    pack?: () => Abs;
+    unpack?: (s: Abs) => void;
+}): Abs;
 /** 数组字面量 → ≤cap tuple（逐元素精确）/ >cap arr；策略与 ast-eval 同源（containers.ts） */
 declare function $arr(items: Abs[]): Abs;
+declare function isArrMutator(name: string): boolean;
+/**
+ * C1.4 语句重绑：返回**变更后容器** Abs（不是 JS 返回值）。
+ * `a.pop()` 语句应把 `a` 绑成去掉末元的 tuple，而不是被移除的元素。
+ */
+declare function $arrMutContainer(arr: Abs, method: string, args: Abs[]): Abs;
 /** 下标读 a[i]；字面量 i 走 tuple 精确投影，否则并所有元素；string[i] → 单字符 */
 declare function $idx(a: Abs, i: Abs): Abs;
 /** 下标写 a[i]=v → 新 tuple（越界写按 JS 语义增长，空洞为 undefined） */
@@ -478,15 +515,28 @@ declare function $len(a: Abs): Abs;
 declare function $obj(slots: Record<string, 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;
+/** 数组 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;
-/** 元素列表（tuple 展开；arr 抽象） */
+/** 元素列表（tuple 展开；arr 抽象；C1 Set/Map 逐条目）。
+ *  Map 迭代语义是 entry `[key, value]` 元组，不是裸 value。 */
 declare function $elems(a: Abs): Abs[];
 /**
  * for-of：对 iterable 每个元素跑 body；有界展开。
  * body(item, i) 可返回 void；状态由外部 JS 变量承接。
+ * - 具体空 tuple：体 0 次（不得用 `length || maxIters` 展开成 maxIters）
+ * - 抽象 arr / 未知长度：0..maxIters 出口与 pack 状态 join
  */
-declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, maxIters?: number): void;
+declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, maxIters?: number, opts?: {
+    pack?: () => Abs;
+    unpack?: (s: Abs) => void;
+}): void;
 /**
  * 命名空间身份表：transpile 后 `Math.max(0, x)` 的接收者是宿主 JS 全局对象
  * （非 Abs）。按对象身份识别命名空间，路由到 Abs builtin 表。
@@ -507,10 +557,25 @@ declare function $set(o: Abs, key: string, value: Abs): Abs;
 declare function $while(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, maxIters?: number): Abs;
 /**
  * 顺序 while（具体/可变闭包）：body 内对 JS 变量赋值。
- * 适合 transpile `let i; while (…) { i = … }`；抽象条件仍靠预算截断，
- * 不保证 exit-join 健全——健全路径用 $while/$for + 状态对象。
- */
-declare function $whileSeq(test: () => Abs, body: () => void, maxIters?: number): void;
+ * 提供 pack/unpack 时，抽象条件的可能出口会 join 回绑定（P0 健全）；
+ * 未 instrument 的调用保持旧语义（预算截断，文档已声明）。
+ */
+declare function $whileSeq(test: () => Abs, body: () => void, maxIters?: number, opts?: {
+    /** 把当前绑定收成 Abs 状态（transpile 注入） */
+    pack?: () => Abs;
+    /** 把 join 后的状态写回绑定 */
+    unpack?: (s: Abs) => void;
+}): void;
+/** B 路径「函数提前 return」信号（区别于 throw） */
+declare class NudoReturn extends Error {
+    readonly absValue: Abs;
+    constructor(absValue: Abs);
+}
+/** transpile `return x` inside for/while → `$loopReturn(x)` */
+declare function $loopReturn(v: Abs): never;
+declare function isNudoReturn(e: unknown): e is NudoReturn;
+/** catch 转译辅助：控制流信号透传（生成代码只注入 `$` 前缀符号） */
+declare function $rethrowIfNudoReturn(e: unknown): void;
 /** B 路径 throw 载荷：携带 Abs 抛出值 */
 declare class NudoThrow extends Error {
     readonly absValue: Abs;
@@ -519,7 +584,13 @@ declare class NudoThrow extends Error {
 /** transpile `throw x` → `$throw(x)` */
 declare function $throw(v: Abs): never;
 declare function isNudoThrow(e: unknown): e is NudoThrow;
-/** catch 参数：从 NudoThrow 取出 Abs，否则 unknown */
+/**
+ * fork 臂是否以控制流退出（return / throw）。
+ * 生成代码用此决定 continue-path free-write 标志：退出臂的写
+ * 不得污染 join 后的 continue 绑定。
+ */
+declare function $isForkExit(e: unknown): boolean;
+/** catch 参数：从 NudoThrow 取出 Abs；宿主 Error 补 name/message；否则 unknown */
 declare function $catchVal(e: unknown): Abs;
 /**
  * async 函数体包进 thunk，返回值经 wrapPromise。
@@ -529,17 +600,22 @@ declare function $async(thunk: () => Abs): Abs;
 declare function $await(v: Abs): Abs;
 /** async 直接 return 的 coerce */
 declare function $asyncReturn(v: Abs): Abs;
-/** function* 体：收集所有 yield 值为 tuple Abs */
+/** function* 体：收集所有 yield 值为 tuple Abs；抽象分支时降 conf（P0-6） */
 declare function $gen(body: () => void): Abs;
 /** yield v：压入当前生成器收集器；表达式值用 unknown */
 declare function $yield(v: Abs): Abs;
 /**
  * switch：具体 disc 选中匹配 case；抽象 disc 并所有分支。
+ * 抽象路径与 $fork 同构：集合 side-table 按臂 overlay，共享 body 只跑一次；
+ * 臂内 NudoReturn/NudoThrow 不冒泡污染兄弟臂。
+ * **无 default 时必须隐式 fall-through 臂（undef）**，否则无匹配路径被丢掉（P0-2）。
  */
 declare function $switch(disc: Abs, cases: Array<{
     test: Abs;
     run: () => Abs;
 }>, dflt?: () => Abs): Abs;
+/** `??` / `??=` 测试：确定非 nullish → false；lit nullish → true；否则抽象 boolean */
+declare function $nullishTest(v: Abs): Abs;
 
 /**
  * B 路径 transpile：JS AST → 可在 Node 上执行的抽象值程序（源码字符串）。
@@ -571,6 +647,12 @@ type TranspileOptions = {
         stmtStart: number;
         stmtEnd: number;
     }>;
+    /** 循环嵌套深度（>0 时 return → $loopReturn，C2.1） */
+    inLoop?: number;
+    /** try 嵌套深度（>0 时 return 前 drain throwExits，使 catch 能吸收抽象 throw） */
+    inTry?: number;
+    /** 当前 try 的 mark 变量名（return drain 用；避免全局栈顶污染） */
+    tryMarkName?: string;
 };
 declare function transpileSource(source: string, opts?: TranspileOptions): string;
 declare function transpileFile(file: File, opts?: TranspileOptions): string;
@@ -630,7 +712,7 @@ declare function $invoke(thisVal: Abs, method: string, args: Abs[], loc?: [numbe
 declare function $invokeSuper(thisVal: Abs, childName: string, method: string, args: Abs[]): Abs;
 declare function $thisGet(thisVal: Abs, key: string): Abs;
 declare function $thisSet(thisVal: Abs, key: string, value: Abs): Abs;
-/** 解构默认值：undefined 时用 default */
+/** 解构默认值：undefined（含 sum 成员 / 可能缺失）时用 default 并入非 undefined 部分 */
 declare function $orDefault(v: Abs, dflt: () => Abs): Abs;
 /** 可选链 a?.b：nullish 短路为 undefined 字面量 */
 declare function $optionalGet(o: Abs, key: string): Abs;
@@ -638,7 +720,7 @@ 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;
-/** 计算属性写：o[kAbs] = v */
+/** 计算属性写：o[kAbs] = v。非字面量 key → open + index join（不得写成字面槽 "?"） */
 declare function $setKey(o: Abs, key: Abs, value: Abs): Abs;
 
 /**
@@ -649,7 +731,7 @@ declare function $setKey(o: Abs, key: Abs, value: Abs): Abs;
 type BMemberDiag = {
     kind: "method" | "property";
     name: string;
-    /** 接收者 prim 类型名，或 "unknown" */
+    /** 接收者 prim 类型名，或 "unknown" / "object"（C0.5 闭 shape 缺槽） */
     receiver: string;
     line?: number;
     column?: number;
@@ -658,6 +740,8 @@ type BMemberDiag = {
         line: number;
         column: number;
     };
+    /** 覆盖默认 no-method 码；C0.5 用 nudo:missing-slot */
+    code?: string;
 };
 /** 给实参 Abs 打 provenance（调用点参数字面量） */
 declare function tagAbsOrigin(a: Abs, loc: {
@@ -682,6 +766,16 @@ declare function notePrimMemberMissing(recv: Abs | undefined, name: string, kind
 declare function noteUnknownMemberMissing(recv: Abs | undefined, name: string, kind: "method" | "property", loc?: [number, number]): boolean;
 /** 方法分派失败时的统一记账（prim / unknown；obj/brand/promise 静默） */
 declare function noteMemberDispatchMiss(recv: Abs | undefined, name: string, kind: "method" | "property", loc?: [number, number]): void;
+/** host（service analysisConfig）在 B-path 前设置；默认 false */
+declare function setEvalMissingSlotEnabled(enabled: boolean): void;
+declare function isEvalMissingSlotEnabled(): boolean;
+/** per-analysis 作用域：body 内 flag 隔离，结束后自动恢复外层值 */
+declare function runWithEvalMissingSlot<T>(enabled: boolean, body: () => T): T;
+/**
+ * 闭对象 shape 上缺失字段且**求值真实走到**该读取 → `nudo:missing-slot`。
+ * 仅展示/草稿提示；不参与 handwritten check 义务（C0：禁止 body AST 预扫）。
+ */
+declare function noteObjSlotMissing(recv: Abs | undefined, name: string, loc?: [number, number]): boolean;
 
 /**
  * B 路径调用点记录：transpile 把 `f(args)` 改成 $callNamed，
@@ -758,4 +852,4 @@ declare function callTranspiledExportFull(exports: Record<string, unknown>, name
 /** 调用 runTranspiled 导出（仅结果） */
 declare function callTranspiledExport(exports: Record<string, unknown>, name: string, args: Abs[]): Abs;
 
-export { $add as $, type Abs as A, $idxSet as B, type Confidence as C, $invoke as D, $invokeSuper as E, $join as F, $le as G, type HofSite as H, $len as I, $lit as J, $lt as K, $mod as L, $mul as M, $ne as N, $neg as O, type Phi as P, $new as Q, type RelSource as R, type Shape as S, type Term as T, $not as U, $obj as V, $optionalGet as W, $optionalInvoke as X, $orDefault as Y, $regex as Z, $set as _, type AstEnv as a, lit as a$, $setKey as a0, $spread as a1, $staticInvoke as a2, $sub as a3, $super as a4, $switch as a5, $thisGet as a6, $thisSet as a7, $throw as a8, $typeof as a9, callTranspiledExport as aA, callTranspiledExportFull as aB, clearBClasses as aC, collectAbsExports as aD, confJoin as aE, createHofCollectCtx as aF, currentExecPhi as aG, emptyPhi as aH, eq as aI, ge as aJ, geNum as aK, getAbsOrigin as aL, getBCallCollector as aM, getBClass as aN, gt as aO, gtNum as aP, implies as aQ, instantiateReturn as aR, isDefinitelyFalse as aS, isDefinitelyTrue as aT, isExactLit as aU, isNudoThrow as aV, isNumPrim as aW, isRelFn as aX, isStrPrim as aY, le as aZ, leNum as a_, $while as aa, $whileSeq as ab, $yield as ac, type BCallRecord as ad, type BClassSpec as ae, type BMemberDiag as af, DEFAULT_MAX_LOOP_ITERS as ag, type HofCollectCtx as ah, type LiteralValue as ai, NudoThrow as aj, type RunTranspiledOptions as ak, type TranspileOptions as al, type TranspiledCallResult as am, abs as an, absToString as ao, alphaOf as ap, and as aq, anyVar as ar, app as as, applyCallbackAbs as at, asAbs as au, asAbsVal as av, betaOf as aw, bindImports as ax, bool as ay, boolLit as az, type Pred as b, litTruth as b0, litValue as b1, lt as b2, ltNum as b3, mapElementFallback as b4, namespaceNameOf as b5, ne as b6, never as b7, not as b8, noteMemberDispatchMiss as b9, str as bA, strLit as bB, substAbs as bC, substPred as bD, substPredAbs as bE, tagAbsOrigin as bF, termEquals as bG, termToString as bH, transpile as bI, transpileExpression as bJ, transpileFile as bK, transpileSource as bL, tryPromoteDirectCall as bM, tryPromoteForOfIteratee as bN, tryPromoteHofCallback as bO, tryPromoteReceiverAsArr as bP, undefAbs as bQ, unknown as bR, v as bS, withExecPhi as bT, notePrimMemberMissing as ba, noteUnknownMemberMissing as bb, num as bc, numLit as bd, numVar as be, obj as bf, or as bg, pFalse as bh, pTrue as bi, phiAnd as bj, predEquals as bk, predToString as bl, predVars as bm, projectFlatMapResult as bn, promoteParamShape as bo, ptypeof as bp, recordMemberDiag as bq, registerBClass as br, runTranspiled as bs, setApplyCallbackHost as bt, setBCallCollector as bu, setMemberDiagCollector as bv, shapeOfTerm as bw, shapeToString as bx, simplifyTerm as by, snapshotAbs as bz, type AbsModuleExports as c, type PrimName as d, $arr as e, $async as f, $asyncReturn as g, $await as h, $call as i, $callNamed as j, $catchVal as k, $class as l, $concat as m, $div as n, $elems as o, $eq as p, $fnVal as q, $for as r, $forIter as s, $forOf as t, $fork as u, $ge as v, $gen as w, $get as x, $gt as y, $idx as z };
+export { $add as $, type Abs as A, $get as B, type Confidence as C, $gt as D, $idx as E, $idxSet as F, $invoke as G, type HofSite as H, $invokeSuper as I, $isForkExit as J, $join as K, $le as L, $len as M, $lit as N, $loopReturn as O, type Phi as P, $lt as Q, type RelSource as R, type Shape as S, type Term as T, $mod as U, $mul as V, $ne as W, $neLoose as X, $neg as Y, $new as Z, $not as _, type AstEnv as a, getAbsOrigin as a$, $nullishTest as a0, $obj as a1, $objRest as a2, $optionalGet as a3, $optionalInvoke as a4, $orDefault as a5, $pushLoopExit as a6, $regex as a7, $rethrowIfNudoReturn as a8, $set as a9, type TranspileOptions as aA, type TranspiledCallResult as aB, abs as aC, absToString as aD, alphaOf as aE, and as aF, anyVar as aG, app as aH, applyCallbackAbs as aI, asAbs as aJ, asAbsVal as aK, betaOf as aL, bindImports as aM, bool as aN, boolLit as aO, callAtFunctionBoundary as aP, callTranspiledExport as aQ, callTranspiledExportFull as aR, clearBClasses as aS, collectAbsExports as aT, confJoin as aU, createHofCollectCtx as aV, currentExecPhi as aW, emptyPhi as aX, eq as aY, ge as aZ, geNum as a_, $setKey as aa, $spread as ab, $staticInvoke as ac, $sub as ad, $super as ae, $switch as af, $thisGet as ag, $thisSet as ah, $throw as ai, $tryCurrentMark as aj, $tryMark as ak, $tryPopMark as al, $tryTakeSince as am, $typeof as an, $while as ao, $whileSeq as ap, $yield as aq, type BCallRecord as ar, type BClassSpec as as, type BMemberDiag as at, DEFAULT_MAX_LOOP_ITERS as au, type HofCollectCtx as av, type LiteralValue as aw, NudoReturn as ax, NudoThrow as ay, type RunTranspiledOptions as az, type Pred as b, substAbs as b$, getBCallCollector as b0, getBClass as b1, gt as b2, gtNum as b3, implies as b4, instantiateReturn as b5, isArrMutator as b6, isDefinitelyFalse as b7, isDefinitelyTrue as b8, isEvalMissingSlotEnabled as b9, or as bA, pFalse as bB, pTrue as bC, phiAnd as bD, predEquals as bE, predToString as bF, predVars as bG, projectFlatMapResult as bH, promoteParamShape as bI, ptypeof as bJ, pushLoopExit as bK, pushThrowExit as bL, recordMemberDiag as bM, registerBClass as bN, runTranspiled as bO, runWithEvalMissingSlot as bP, runWithLoopExits as bQ, setApplyCallbackHost as bR, setBCallCollector as bS, setEvalMissingSlotEnabled as bT, setMemberDiagCollector as bU, shapeOfTerm as bV, shapeToString as bW, simplifyTerm as bX, snapshotAbs as bY, str as bZ, strLit as b_, isExactLit as ba, isNudoReturn as bb, isNudoThrow as bc, isNumPrim as bd, isRelFn as be, isStrPrim as bf, le as bg, leNum as bh, lit as bi, litTruth as bj, litValue as bk, lt as bl, ltNum as bm, mapElementFallback as bn, namespaceNameOf as bo, ne as bp, never as bq, not as br, noteMemberDispatchMiss as bs, noteObjSlotMissing as bt, notePrimMemberMissing as bu, noteUnknownMemberMissing as bv, num as bw, numLit as bx, numVar as by, obj as bz, type AbsModuleExports as c, substPred as c0, substPredAbs as c1, tagAbsOrigin as c2, takeLoopExits as c3, takeThrowExits as c4, termEquals as c5, termToString as c6, transpile as c7, transpileExpression as c8, transpileFile as c9, transpileSource as ca, tryPromoteDirectCall as cb, tryPromoteForOfIteratee as cc, tryPromoteHofCallback as cd, tryPromoteReceiverAsArr as ce, undefAbs as cf, unknown as cg, v as ch, withExecPhi as ci, type PrimName as d, $arr as e, $arrMutContainer as f, $arrRest as g, $async as h, $asyncReturn as i, $await as j, $call as k, $callNamed as l, $catchVal as m, $class as n, $concat as o, $div as p, $elems as q, $eq as r, $eqLoose as s, $fnVal as t, $for as u, $forIter as v, $forOf as w, $fork as x, $ge as y, $gen as z };