@nudojs/core 1.7.2 → 1.7.4

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-BuTz_p4k.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, f as EvalFallbackStats, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, ac as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, ae as TranspiledCallResult, as as bindingsOf, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, aC as evalExprAbs, o as exitEvalCallBudgetSession, u as getEvalCallBudgetState, aF as getEvalCallCollector, v as getEvalFallbackStats, aM as isAbsVal, b2 as noteEvalCallRecord, b3 as noteEvalFallback, bk as resetEvalCallBudget, G as resetEvalFallbackStats, bE as routeApplyThrows, bl as runTranspiled, bm as runTranspiledOptionsMemoKey, bn as setEvalAssignCollector, bo as setEvalBindingSink, bp as setEvalCallCollector, bq as setEvalFallbackCollector, bB as tryRunTranspiled, N as withEvalBudgetOverride } from './run-BuTz_p4k.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-CDaGIWH_.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, f as EvalFallbackStats, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, ac as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, ae as TranspiledCallResult, as as bindingsOf, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, aC as evalExprAbs, o as exitEvalCallBudgetSession, u as getEvalCallBudgetState, aF as getEvalCallCollector, v as getEvalFallbackStats, aN as isAbsVal, b3 as noteEvalCallRecord, b4 as noteEvalFallback, bl as resetEvalCallBudget, G as resetEvalFallbackStats, bF as routeApplyThrows, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bC as tryRunTranspiled, N as withEvalBudgetOverride } from './run-CDaGIWH_.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**
@@ -37,6 +37,9 @@ declare function withExecPhi<T>(p: Phi, body: () => T): T;
  * extractParamNames 回退口径一致）；带真实参数名走 $fnVal（transpile 侧）。
  */
 declare function asAbsVal(v: unknown): Abs;
+/** transpile 侧收形入口（instanceof RHS 值等）：host 裸值 / Abs → Abs。
+ *  `$` 前缀是运行时绑定表（runtimeArgNames）的注入约定。 */
+declare function $absVal(v: unknown): Abs;
 /**
  * 函数调用边界：callee 的 loop/early-return 不得冒泡成 caller 结果。
  * 每个 求值引擎调用帧独立 ALS；NudoReturn 收成该调用的返回值。
@@ -47,10 +50,14 @@ declare function asAbsVal(v: unknown): Abs;
  * always-throw 走 NudoThrow 异常原样 rethrow（不经此转发）。
  */
 declare function callAtFunctionBoundary<T>(body: () => T): T;
-/** 函数表达式 → 一等 fn Abs（transpile 侧带真实参数名；异步 body 包 $async）
- *  opts.bindThis：对象方法——$invoke 会把 receiver 作为 impl 首参注入。 */
+/**
+ * 函数表达式 → 一等 fn Abs（transpile 侧带真实参数名；异步 body 包 $async）
+ *  opts.bindThis：对象方法——$invoke 会把 receiver 作为 impl 的首参注入。
+ *  opts.ctor：Bug 9 可构造性 facet（箭头/方法/async/generator → false；
+ *  函数表达式/类表达式值 → true）。 */
 declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs, opts?: {
     bindThis?: boolean;
+    ctor?: boolean;
 }): Abs;
 /**
  * 宿主 this → Abs：函数体 prologue 用它承接 call/apply/bind 传入的 thisArg。
@@ -59,6 +66,8 @@ declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs, opts?:
  * globalThis——归一到 $lit(undefined)（strict 模块语义下的 this）。
  */
 declare function $rawThis(v: unknown): Abs;
+/** `new.target` 读：栈顶类值；普通调用面已清空 → undefined 字面量 */
+declare function $newTarget(): Abs;
 /** 字面量 → Abs（transpile 侧数字/字符串/布尔/null/undefined） */
 declare function $lit(v: unknown): Abs;
 /** JS 真值：字面量按 Boolean(v)；对象形恒真；不可判 → undefined */
@@ -188,18 +197,23 @@ declare function lookupObjAccessor(o: Abs, key: string): {
 declare function $in(key: Abs, o: Abs): Abs;
 /**
  * `x instanceof Right`（Right 为标识符名）：按左值形状精确判定。
- * nullish 左侧原生抛 TypeError → unknown；未知用户构造器名 → boolean（不得 exact false）。
+ * RHS 非对象 → 原生 definite TypeError；nullish 左侧原生**不抛**（无装箱、
+ * OrdinaryHasInstance 恒 false）→ 精确 boolLit(false)；未知用户构造器名 →
+ * boolean（不得 exact false）。
  */
 declare function $instanceof(left: Abs, rightName: string, rightVal?: Abs): Abs;
-/** instanceof 右操作数非标识符（表达式/成员路径）：构造器值未知 → 抽象 boolean */
-declare function $instanceofNonIdent(_left: Abs): Abs;
+/** instanceof 右操作数非标识符（表达式/成员路径）：RHS 值传入时先做原生
+ *  非对象校验（definite / may TypeError）；构造器值未知 → 抽象 boolean */
+declare function $instanceofNonIdent(left: Abs, right?: Abs): Abs;
 /** ClassExpression 值：构造器函数形状，不得折成精确 undefined */
 declare function $classExpr(): Abs;
 /**
  * `delete obj[key]` 的结果判定（只读，不写回）。
  * frozen/sealed 或 configurable:false 键 → false；preventExtensions 可删；
  * closed 目标恒 true（其余 non-configurable 形态不建模）；
- * prim/nullish 接收者原生抛 TypeError → unknown。
+ * nullish 接收者原生 definite TypeError（ToObject(null) 抛）→ hard NudoThrow；
+ * 非 nullish prim 接收者原生不抛（装箱临时对象上 delete 恒 true，strict 亦然）
+ * → 保持 unknown 折叠；any/unknown 接收者可能 nullish → may TypeError。
  */
 declare function $delRes(o: Abs, _key: Abs): Abs;
 /**
@@ -312,7 +326,9 @@ declare function $copy(a: Abs): Abs;
  *  可见）；transpile 重绑 `a = $arrMutContainer(a, …)` 仍写回同一对象。 */
 declare function $arrMutContainer(arr: Abs, method: string, args: Abs[]): Abs;
 /** 下标读 a[i]；规范数组下标走精确投影，确定非下标键 → undefined，否则并所有元素；string[i] → 单字符 */
-declare function $idx(a: Abs, i: Abs): Abs;
+declare function $idx(a: Abs, i: Abs, opts?: {
+    silent?: boolean;
+}): Abs;
 /** 下标写 a[i]=v → 新 tuple（越界写按 JS 语义增长，空洞为 undefined） */
 declare function $idxSet(a: Abs, i: Abs, value: Abs): Abs;
 /** 数组/字符串长度 */
@@ -337,9 +353,22 @@ declare function $objRest(o: Abs, keys: string[]): Abs;
 declare function $arrRest(a: Abs, start: number): Abs;
 /** 数组连接 [...a, ...b] / [...a, x]；结果超 cap 时与字面量同策略降 arr */
 declare function $concat(a: Abs, b: Abs): Abs;
+/** 数组解构模式接收者守卫：原生数组解构 = GetIterator + IteratorNext，
+ *  非可迭代接收者抛 TypeError。emitDestructure 的 ArrayPattern 分支在逐项
+ *  $idx / $arrRest 投影前调用；值域投影不变（字符串/元组等可迭代接收者
+ *  不受影响）。 */
+declare function $iterCheck(a: unknown): void;
 /** 元素列表（tuple 展开；arr 抽象；C1 Set/Map 逐条目；matchAll 迭代器逐匹配项；
- *  字符串按 code points）。Map 迭代语义是 entry `[key, value]` 元组，不是裸 value。 */
+ *  字符串按 code points）。Map 迭代语义是 entry `[key, value]` 元组，不是裸 value。
+ *  消费前先过可迭代性守卫（Bug 6）：prim 字面量接收者 → 原生 definite
+ *  TypeError；any/unknown → may。$forOf 与 call/new spread 实参路径继承。 */
 declare function $elems(a: Abs): Abs[];
+/** 模板标签对象（GetTemplateObject，Bug 34）：冻结的类数组 obj——数字槽
+ *  为 cooked 字符串（无效转义序列时 cooked 是 undefined，原生实测）、
+ *  length 精确、.raw 为 raw 字符串数组；@@iterator 槽给函数形状
+ * （`[...s]` / `for..of` / `Symbol.iterator in s` 均按可迭代面判定，
+ *  不得把冻结数组误判 definite 不可迭代）。 */
+declare function $tpl(cooked: Array<string | undefined>, raw: string[]): Abs;
 /**
  * for-of：对 iterable 每个元素跑 body；有界展开。
  * body(item, i) 可返回 void；状态由外部 JS 变量承接。
@@ -356,6 +385,10 @@ declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, ma
     unpack?: (s: Abs) => void;
     /** 标签循环：仅吸收同标签 break/continue 信号 */
     label?: string;
+    /** for await：接收者按 GetIterator(hint=async) 校验（@@asyncIterator 槽
+     *  即全量）；仅异步可迭代（无 @@iterator 槽）的接收者不折同步槽位投影，
+     *  元素取抽象 unknown（原生由 next() 链驱动）。 */
+    forAwait?: boolean;
 }): void;
 declare function namespaceNameOf(v: unknown): string | undefined;
 /** 正则字面量 → RegExp brand（source/flags/lastIndex 进 slots，供 exec/test 精确执行） */
@@ -385,10 +418,24 @@ 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；抽象分支时降 conf（P0-6） */
+/** function* 体：收集所有 yield 值为 tuple Abs；抽象分支时降 conf（P0-6）
+ *
+ * Bug 58：调用生成器是原生全操作——体只在首个 next() 执行。此前 body()
+ * eager 执行把体内 may-throw（成员读 any）/显式 throw 折进**调用方** throws
+ * 域（每生成器入口假 entry-may-throw）。现以丢弃式 may-throw 帧包裹：
+ * soft 效果进帧后丢弃、NudoThrow/宿主异常吞掉（迭代期语义，调用期不表面）。
+ * yield 收集保持 eager（既有值域建模，注释口径不变）。 */
 declare function $gen(body: () => void): Abs;
 /** yield v：压入当前生成器收集器；表达式值用 unknown */
 declare function $yield(v: Abs): 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): Abs;
 /**
  * `??` 非 nullish 臂：从左值 Abs 剥离 nullish 部分（$nullishTest 判 true
  * 的成员）。索引访问 `M[k]` 对抽象键产出 joinAbs(element, undef())，
@@ -514,6 +561,12 @@ type EvalClassAccessor = {
 type EvalClassSpec = {
     name: string;
     superName?: string;
+    /**
+     * Bug 11：`class C extends null`（合法——原型链无 super，但构造受限）。
+     * 隐式 ctor 等价 super(...args)，原生 new C() 抛 TypeError
+     * （Super constructor null … is not a constructor）；显式 super() 同抛（$super）。
+     */
+    superNull?: boolean;
     ctor?: (thisVal: Abs, ...args: Abs[]) => Abs;
     methods?: Record<string, (thisVal: Abs, ...args: Abs[]) => Abs>;
     /** 实例方法形参展示名（AST 形参名；未调用方法槽 `shape.params` 用） */
@@ -522,6 +575,23 @@ type EvalClassSpec = {
     /** 静态方法形参展示名 */
     staticMethodParams?: Record<string, string[]>;
     statics?: Record<string, Abs>;
+    /**
+     * Bug 59：实例字段——每次 $new 以新实例为 this 按源序求值（原生
+     * InitializeInstanceElements）。name 为字面量键；key 为计算键的
+     * 每次构造求值 thunk（原生计算键逐实例求值）；抽象键不可静态命名
+     * → 跳过（不假精确挂名）。
+     */
+    instanceFields?: Array<{
+        name?: string;
+        key?: (thisVal: Abs) => Abs;
+        init: (thisVal: Abs) => Abs;
+    }>;
+    /**
+     * Bug 60：计算键成员——synth 名 → 键 Abs（定义期求值，求值本身即
+     * 记录 throws）。$class 折叠字面量 string/number 键为真名重挂；
+     * 抽象键（any/symbol/…）不可静态列举 → 成员不挂名（不静默错名）。
+     */
+    computedKeys?: Record<string, unknown>;
     /** 实例 get/set：get 无参返回 Abs；set 收到 (thisVal, v) 返回更新后的 thisVal */
     accessors?: Record<string, EvalClassAccessor>;
     /** 静态 get/set：挂在类构造器上，不在实例原型链 */
@@ -550,9 +620,17 @@ declare function $reStateCall(re: Abs, method: string, args: Abs[]): Abs;
 /** 定义类 → 可 new 的 Abs（brand 标记；静态字段挂在 slots） */
 declare function $class(name: string, spec: Omit<EvalClassSpec, "name"> & {
     extends?: string | Abs | unknown;
+    hasExtends?: boolean;
 }): 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(...)：父类构造写入字段（this 保持子类 brand）。
  * transpile: super(a,b) → __this = $super(__this, "Child", [a,b])
@@ -567,7 +645,8 @@ 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 字面量 */
+/** 可选链 a?.b：nullish 短路为 undefined 字面量。非 nullish 臂的属性读对
+ *  非 nullish 值原生不抛 → silent（不记 any may-throw，Bug 3） */
 declare function $optionalGet(o: Abs, key: string): Abs;
 /** 可选链 a?.m()：nullish 短路为 undefined */
 declare function $optionalInvoke(thisVal: Abs, method: string, args: Abs[]): Abs;
@@ -596,4 +675,4 @@ declare class NudoUnsupportedError extends Error {
     detail?: string);
 }
 
-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, $removeNullish, $rethrowIfNudoReturn, $set, $setKey, $setProto, $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, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type 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 };
+export { $absVal, $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $isBreakTo, $isForkExit, $iterCheck, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $removeNullish, $rethrowIfNudoReturn, $set, $setKey, $setProto, $shl, $shr, $spread, $staticInit, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tpl, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, $yieldStar, DEFAULT_MAX_LOOP_ITERS, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, 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 };

package/dist/exec.js

@@ -1,5 +1,6 @@
 import "./chunk-US532PZA.js";
 import {
+  $absVal,
   $add,
   $arguments,
   $arr,
@@ -49,6 +50,7 @@ import {
   $invokeSuper,
   $isBreakTo,
   $isForkExit,
+  $iterCheck,
   $join,
   $le,
   $len,
@@ -63,6 +65,7 @@ import {
   $neLoose,
   $neg,
   $new,
+  $newTarget,
   $not,
   $nullishTest,
   $obj,
@@ -85,6 +88,7 @@ import {
   $shl,
   $shr,
   $spread,
+  $staticInit,
   $staticInvoke,
   $sub,
   $super,
@@ -94,6 +98,7 @@ import {
   $throw,
   $toNumber,
   $toNumeric,
+  $tpl,
   $tryCurrentMark,
   $tryDetachSoftCatch,
   $tryDigestSoftCatch,
@@ -112,6 +117,7 @@ import {
   $while,
   $whileSeq,
   $yield,
+  $yieldStar,
   DEFAULT_MAX_LOOP_ITERS,
   MAX_EVAL_CALL_DEPTH,
   MAX_EVAL_TOTAL_CALLS,
@@ -178,8 +184,9 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-TO2W45NU.js";
+} from "./chunk-EFOHREUZ.js";
 export {
+  $absVal,
   $add,
   $arguments,
   $arr,
@@ -229,6 +236,7 @@ export {
   $invokeSuper,
   $isBreakTo,
   $isForkExit,
+  $iterCheck,
   $join,
   $le,
   $len,
@@ -243,6 +251,7 @@ export {
   $neLoose,
   $neg,
   $new,
+  $newTarget,
   $not,
   $nullishTest,
   $obj,
@@ -265,6 +274,7 @@ export {
   $shl,
   $shr,
   $spread,
+  $staticInit,
   $staticInvoke,
   $sub,
   $super,
@@ -274,6 +284,7 @@ export {
   $throw,
   $toNumber,
   $toNumeric,
+  $tpl,
   $tryCurrentMark,
   $tryDetachSoftCatch,
   $tryDigestSoftCatch,
@@ -292,6 +303,7 @@ export {
   $while,
   $whileSeq,
   $yield,
+  $yieldStar,
   DEFAULT_MAX_LOOP_ITERS,
   MAX_EVAL_CALL_DEPTH,
   MAX_EVAL_TOTAL_CALLS,

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { c as AstEnv, A as Abs, b as Phi, T as Term, O as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, Q as HofSite, U as AbsModuleExports, V as RunTranspiledOptions } from './run-BuTz_p4k.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 ImplicationOracle, a9 as LitValueResult, L as LiteralValue, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, P as PrimName, ac as RUNTIME_IMPORT_RE, ad as TYPEOF_NAMES, ae as TranspiledCallResult, af as TypeofName, ag as abs, ah as absFunction, ai as absOnly, aj as absToString, ak as and, al as anyAbs, am as anyVar, an as app, ao as assumeFinite, ap as attachFnImpl, aq as bigintLit, ar as bindImports, as as bindingsOf, at as bool, au as boolLit, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, ay as collectAbsExports, az as confJoin, aA as emptyPhi, aB as eq, aC as evalExprAbs, aD as ge, aE as geNum, aF as getEvalCallCollector, aG as getFnImpl, aH as getImplicationOracle, aI as gt, aJ as gtNum, aK as implies, aL as isAbsApplyResult, aM as isAbsVal, aN as isBigPrim, aO as isExactLit, aP as isNumPrim, aQ as isStrPrim, aR as le, aS as leNum, aT as lit, aU as litValue, aV as lt, aW as ltNum, aX as makeAbsApplyResult, aY as markPureFn, aZ as namespaceAbsOf, a_ as ne, a$ as negatePred, b0 as never, b1 as not, b2 as noteEvalCallRecord, b3 as noteEvalFallback, b4 as num, b5 as numLit, b6 as numVar, b7 as obj, b8 as or, b9 as pFalse, ba as pTrue, bb as phiAnd, bc as predEquals, bd as predToString, be as predVars, bf as primToTypeof, bg as ptypeof, bh as pureFnNameOf, bi as relationFingerprint, bj as relationFn, bk as resetEvalCallBudget, bl as runTranspiled, bm as runTranspiledOptionsMemoKey, bn as setEvalAssignCollector, bo as setEvalBindingSink, bp as setEvalCallCollector, bq as setEvalFallbackCollector, br as setImplicationOracle, bs as shapeOfTerm, bt as shapeOnlyFn, bu as shapeToString, bv as simplifyTerm, bw as str, bx as strLit, by as substPred, bz as termEquals, bA as termToString, bB as tryRunTranspiled, bC as unknown, bD as v } from './run-BuTz_p4k.js';
+import { c as AstEnv, A as Abs, b as Phi, T as Term, O as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, Q as HofSite, U as AbsModuleExports, V as RunTranspiledOptions } from './run-CDaGIWH_.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 ImplicationOracle, a9 as LitValueResult, L as LiteralValue, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, P as PrimName, ac as RUNTIME_IMPORT_RE, ad as TYPEOF_NAMES, ae as TranspiledCallResult, af as TypeofName, ag as abs, ah as absFunction, ai as absOnly, aj as absToString, ak as and, al as anyAbs, am as anyVar, an as app, ao as assumeFinite, ap as attachFnImpl, aq as bigintLit, ar as bindImports, as as bindingsOf, at as bool, au as boolLit, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, ay as collectAbsExports, az as confJoin, aA as emptyPhi, aB as eq, aC as evalExprAbs, aD as ge, aE as geNum, aF as getEvalCallCollector, aG as getFnImpl, aH as getImplicationOracle, aI as gt, aJ as gtNum, aK as hostFnCtorFacet, aL as implies, aM as isAbsApplyResult, aN as isAbsVal, aO as isBigPrim, aP as isExactLit, aQ as isNumPrim, aR as isStrPrim, aS as le, aT as leNum, aU as lit, aV as litValue, aW as lt, aX as ltNum, aY as makeAbsApplyResult, aZ as markPureFn, a_ as namespaceAbsOf, a$ as ne, b0 as negatePred, b1 as never, b2 as not, b3 as noteEvalCallRecord, b4 as noteEvalFallback, b5 as num, b6 as numLit, b7 as numVar, b8 as obj, b9 as or, ba as pFalse, bb as pTrue, bc as phiAnd, bd as predEquals, be as predToString, bf as predVars, bg as primToTypeof, bh as ptypeof, bi as pureFnNameOf, bj as relationFingerprint, bk as relationFn, bl as resetEvalCallBudget, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bs as setImplicationOracle, bt as shapeOfTerm, bu as shapeOnlyFn, bv as shapeToString, bw as simplifyTerm, bx as str, by as strLit, bz as substPred, bA as termEquals, bB as termToString, bC as tryRunTranspiled, bD as unknown, bE as v } from './run-CDaGIWH_.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-CWlRVYgL.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 InterfaceDiag, I as InterfaceSource, K as InterfaceTierInfo, a as InterfaceTierOpts, O as NamedImport, Q as NudoField, R as NudoFnConstraint, S as NudoSidecarError, T as NudoSig, U as RefineDiag, V as RefineEntry, W as RefineResolveOpts, X as SELF, Y as actionsForIssue, Z as andC, _ as any, $ as array, a0 as boolean, a1 as checkArg, a2 as checkCall, a3 as constraintAdmitsNullish, a4 as constraintToEntryAbs, a5 as drainPromiseMicros, a6 as effectiveInterface, a7 as enterPromiseExecutorScope, a8 as evalPromiseCtor, a9 as evalPromiseMethod, aa as evalPromiseStatic, ab as execNudoModule, ac as extractDeclaredThrows, ad as extractFnBudget, ae as extractNudoImports, af as extractRefineReturnFromSource, ag as extractRefinesFromSource, ah as fn, ai as fnConstraintToEntryReqs, aj as formatCheckReport, ak as formatConstraint, al as formatDiagnostics, am as formatEffectiveInterfaceDisplay, an as formatGithubAnnotations, ao as formatGitlabCodeQuality, ap as formatInterfaceTierLine, aq as generatedExportNames, ar as getParseSourceCacheSize, as as getTerm, at as instantiateConstraint, au as interfaceDiagCount, av as interfaceSourceOf, aw as interfaceTierOf, ax as isIntFlag, ay as isNodeModulesPath, az as isNudoConstraint, aA as leavePromiseExecutorScope, aB as lenTerm, aC as litC, aD as localNamedExports, aE as notePromiseExecutorFork, aF as nullable, aG as number, aH as omit, aI as partial, aJ as pick, aK as queuePromiseMicro, aL as refineDiagCount, aM as refineToIndexedFull, aN as resetNudoModuleExecCache, aO as resetParseSourceCache, aP as resetSidecarLoadFailureCache, aQ as serializeCheckJson, aR as serializeCheckJsonMulti, aS as setInterfaceDiagCollector, aT as setRefineDiagCollector, aU as shape, aV as sidecarClosureFingerprint, aW as sidecarPathOf, aX as string, aY as takeInterfaceDiags, aZ as takeInterfaceDiagsSince, a_ as takeRefineDiags, a$ as takeRefineDiagsSince, b0 as throwConstraintToKinds, b1 as union } from './projection-budget-CWlRVYgL.js';
+import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-CTpsYz6K.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 InterfaceDiag, I as InterfaceSource, K as InterfaceTierInfo, a as InterfaceTierOpts, O as NamedImport, Q as NudoField, R as NudoFnConstraint, S as NudoSidecarError, T as NudoSig, U as RefineDiag, V as RefineEntry, W as RefineResolveOpts, X as SELF, Y as actionsForIssue, Z as andC, _ as any, $ as array, a0 as boolean, a1 as checkArg, a2 as checkCall, a3 as constraintAdmitsNullish, a4 as constraintToEntryAbs, a5 as drainPromiseMicros, a6 as effectiveInterface, a7 as enterPromiseExecutorScope, a8 as evalPromiseCtor, a9 as evalPromiseMethod, aa as evalPromiseStatic, ab as execNudoModule, ac as extractDeclaredThrows, ad as extractFnBudget, ae as extractNudoImports, af as extractRefineReturnFromSource, ag as extractRefinesFromSource, ah as fn, ai as fnConstraintToEntryReqs, aj as formatCheckReport, ak as formatConstraint, al as formatDiagnostics, am as formatEffectiveInterfaceDisplay, an as formatGithubAnnotations, ao as formatGitlabCodeQuality, ap as formatInterfaceTierLine, aq as generatedExportNames, ar as getParseSourceCacheSize, as as getTerm, at as instantiateConstraint, au as interfaceDiagCount, av as interfaceSourceOf, aw as interfaceTierOf, ax as isIntFlag, ay as isNodeModulesPath, az as isNudoConstraint, aA as leavePromiseExecutorScope, aB as lenTerm, aC as litC, aD as localNamedExports, aE as notePromiseExecutorFork, aF as nullable, aG as number, aH as omit, aI as partial, aJ as pick, aK as queuePromiseMicro, aL as refineDiagCount, aM as refineToIndexedFull, aN as resetNudoModuleExecCache, aO as resetParseSourceCache, aP as resetSidecarLoadFailureCache, aQ as serializeCheckJson, aR as serializeCheckJsonMulti, aS as setInterfaceDiagCollector, aT as setRefineDiagCollector, aU as shape, aV as sidecarClosureFingerprint, aW as sidecarPathOf, aX as string, aY as takeInterfaceDiags, aZ as takeInterfaceDiagsSince, a_ as takeRefineDiags, a$ as takeRefineDiagsSince, b0 as throwConstraintToKinds, b1 as union } from './projection-budget-CTpsYz6K.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';
 
 /**
@@ -242,7 +242,7 @@ declare function mapElementFallback(cbAbs: Abs | undefined, elem: Abs, out: Abs)
 /**
  * flatMap 统一结果：展开后的元素 join 成 arr(γ)。
  * JS flatMap 永远返回 Array；双路径共用此投影，禁止一边 tuple 一边 arr。
- * 同 term 元素 first-wins（joinAbs 会丢 β 身份，见 design §5.1）。
+ * 同 lit/var term 元素 first-wins（joinAbs 会丢 β 身份，见 design §5.1）。
  */
 declare function projectFlatMapResult(arrConf: Confidence, mapped: Abs[]): Abs;
 /** 从 map/filter/reduce 回调实参里取出 Abs（Identifier 已绑定或直接 Abs） */
@@ -415,12 +415,18 @@ declare function makeArrayCtorAbs(args: Abs[]): Abs;
 declare function evalArrayStatic(name: string, args: Abs[]): Abs | undefined;
 
 /**
- * Date 构造 / Date.* / Date 实例方法（保守未建模）
+ * Date 构造 / Date.* / Date 实例方法。
+ * Bug 24：构造器实参强转校验——单参形式 ToPrimitive(number)→ToNumber：
+ * symbol/bigint 值（prim 或字面量）确定 TypeError（node 实测 new Date(1n) 抛，
+ * 与 bug 文本一致）；Date brand 豁免（读 [[TimeValue]]）；闭 obj 字面量无自有
+ * coercer 槽 total（ToPrimitive 恒得 "[object Object]" → Invalid Date）；其余
+ * 抽象 may（coercer 可能产 Symbol/BigInt）。多参形式每个实参直接 ToNumber。
+ * Bug 62：setter 实参逐个 ToNumber 校验；getter/toString 族值域建模。
  */
 
 declare function evalDateCtor(args: Abs[]): Abs;
 declare function evalDateStatic(name: string, _args: Abs[]): Abs | undefined;
-declare function evalDateMethod(name: string, _recv: Abs, _args: Abs[]): Abs | undefined;
+declare function evalDateMethod(name: string, recv: Abs, args: Abs[]): Abs | undefined;
 
 /**
  * RegExp 构造 / brand / 实例方法
@@ -432,10 +438,16 @@ declare function regexBrandAbsFrom(pattern: string, flags: string): Abs;
 /**
  * new RegExp(pattern, flags) 字面量真构造验证（$new 与 evalRegExpCtor 共用）：
  * - 无参 → /(?:)/（原生 source 归一）
- * - pattern 非字面量（抽象/RegExp 实例）→ undefined（调用方保守）
- * - symbol pattern / flags → TypeError（ToString 抛）
+ * - symbol pattern/flags → 确定 TypeError（ToString 抛；shape 判定——Symbol()
+ *   无 lit 项，原先的 lit 分支内检查是死代码，Bug 29/52）
  * - 非法 pattern / 非法 flags（含 number/null/boolean flags 的 ToString）
  *   → SyntaxError；合法 → 精确 brand（source/flags 取真构造结果）
+ * - 抽象 pattern/flags → undefined（调用方保守）+ 档位打点（见各分支）：
+ *   obj/fn/brand/sum/any → may TypeError（自定义 coercer 可能产 Symbol）；
+ *   抽象 prim string pattern → ToString total（非法 pattern 的 SyntaxError
+ *   面不计）；抽象 prim string flags → may SyntaxError；抽象 prim
+ *   number/bool/bigint flags → ToString 恒非法 flags → 确定 SyntaxError
+ *   （node 实测 new RegExp('a', 1n) → SyntaxError）
  */
 declare function tryMakeRegexAbs(args: Abs[]): Abs | undefined;
 declare function evalRegExpMethod(name: string, recv: Abs, args: Abs[]): Abs | undefined;
@@ -491,10 +503,16 @@ declare function evalBuiltinInstanceMethod(brandName: string, method: string, re
  */
 
 /**
- * String.fromCharCode(...)：
- * - 全部字面量 → 按 ToUint16 折成精确字符串（含越界/非整数/数字字符串）
- * - symbol 字面量 → TypeError（ToNumber 抛）
- * - 任一抽象实参 → 抽象 string（不假精确）
+ * String.fromCharCode / String.fromCodePoint：
+ * - fromCharCode：全部字面量 → 按 ToUint16 折成精确字符串（含越界/非整数/
+ *   数字字符串）；symbol 字面量 → TypeError（ToNumber 抛）；任一抽象实参 →
+ *   抽象 string（不假精确）
+ * - fromCodePoint（Bug 38）：字面量过 ToNumber 后 IsValidCodePoint 校验
+ *   （node v26 实测：非整数/NaN/±∞/<0/>0x10FFFF → RangeError "Invalid
+ *   code point"；null/""/false → 0 合法；"65" → 65；surrogate 0xD800 合法）；
+ *   symbol/bigint 的 ToNumber → TypeError（fromCodePoint(1n) 原生抛，区别
+ *   于 fromCharCode 的 ToUint16 面——bigint ToString 合法但 ToNumber 抛）；
+ *   抽象实参 → may RangeError（+ symbol 载体 may TypeError）+ str("path")
  */
 declare function evalStringStatic(name: string, args: Abs[]): Abs | undefined;
 
@@ -680,12 +698,15 @@ declare function isMapAbs(a: Abs | undefined): boolean;
 declare function isSetAbs(a: Abs | undefined): boolean;
 /**
  * 构造器实参**确定**非法（原生 TypeError 域）：
- * - 非可迭代字面量（number/boolean/symbol/bigint、闭对象字面量）→ Set/Map 都抛
- * - Map 条目必须是对象：外层 iterable 出现 lit prim 条目（含字符串实参的
- *   每个字符、tuple/Set 元素）→ TypeError（空串例外：零条目合法）
+ * - 非可迭代字面量（number/boolean/symbol/bigint、闭对象字面量）→ 四个集合构造器都抛
+ * - Map/WeakMap 条目必须是对象：外层 iterable 出现 lit prim 条目（含字符串实参的
+ *   每个字符、tuple/Set 元素）→ TypeError（空串例外：零条目合法）；
+ *   WeakMap 键还必须可弱持有——tuple 条目首元素（键）为 prim → TypeError
+ *   （Map 键可以是 prim，仅 WeakMap 抛 "Invalid value used as weak map key"）
+ * - WeakSet 元素必须可弱持有：prim 元素（含字符串字符）→ TypeError
  * 抽象形态不确定 → false（保守）。
  */
-declare function ctorArgDefinitelyInvalid(name: "Map" | "Set", iterable: Abs | undefined): boolean;
+declare function ctorArgDefinitelyInvalid(name: "Map" | "Set" | "WeakMap" | "WeakSet", iterable: Abs | undefined): boolean;
 declare function makeMapAbs(iterable?: Abs): Abs;
 declare function makeSetAbs(iterable?: Abs): Abs;
 /** Map#set：fork 内写 overlay；否则原地。返回同一 Abs（JS 可变语义） */

package/dist/index.js

@@ -91,7 +91,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-XVU2O6VF.js";
+} from "./chunk-76KJ3D4D.js";
 import {
   $add,
   $arguments,
@@ -329,6 +329,7 @@ import {
   gt,
   gtNum,
   hostBuiltinCtorName,
+  hostFnCtorFacet,
   identBoundaryRegex,
   implies,
   instantiateReturn,
@@ -511,7 +512,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-TO2W45NU.js";
+} from "./chunk-EFOHREUZ.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -2017,6 +2018,19 @@ function scanCaseInconsistency(source, knownFns, opts) {
         continue;
       }
       if (typeof argLit !== "number") continue;
+      if (isIntFlag(entry.constraint) && !Number.isInteger(argLit)) {
+        const paramName = entry.param || paramNames[idx] || `arg${idx}`;
+        out.push({
+          severity: "error",
+          code: "nudo:case-inconsistency",
+          message: `${fnName} case "${caseName}": witness \u22AD contract`,
+          actual: formatAbs(arg),
+          expected: formatConstraint(entry.constraint),
+          suggestion: `change the case argument, or relax the refine on ${paramName}`,
+          fn: fnName,
+          line
+        });
+      }
       const flatten = (p) => p.op === "and" ? p.args.flatMap(flatten) : p.op === "true" ? [] : [p];
       for (const p of flatten(entry.pred)) {
         if ((p.op === "gt" || p.op === "ge" || p.op === "lt" || p.op === "le") && p.b.op === "lit" && typeof p.b.value === "number") {
@@ -2346,8 +2360,9 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       (t) => t.value && t.value.shape.k === "unknown"
     );
     const budgetExplained = truncated.has(name) || g.symbolic?.conf === "opaque" || g.symbolic?.shape?.k === "sum" && g.symbolic.shape.members.every((m) => m.shape.k === "unknown" || m.shape.k === "any");
-    if ((g.symbolic?.shape?.k === "unknown" || unknownParamIdx >= 0) && !budgetExplained) {
-      const where = g.symbolic?.shape?.k === "unknown" ? `${name} => unknown` : `${name} param ${g.params[unknownParamIdx] ?? `#${unknownParamIdx}`}: unknown`;
+    const symbolicTrueUnknown = g.symbolic?.shape?.k === "unknown" && g.symbolic.term?.op !== "lit";
+    if ((symbolicTrueUnknown || unknownParamIdx >= 0) && !budgetExplained) {
+      const where = symbolicTrueUnknown ? `${name} => unknown` : `${name} param ${g.params[unknownParamIdx] ?? `#${unknownParamIdx}`}: unknown`;
       issues.push({
         severity: "warning",
         code: "nudo:unknown-inference",
@@ -3236,6 +3251,7 @@ export {
   gt,
   gtNum,
   hostBuiltinCtorName,
+  hostFnCtorFacet,
   implies,
   instantiateConstraint,
   instantiateReturn,

package/dist/internal.d.ts

@@ -1,7 +1,7 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-CWlRVYgL.js';
-export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-CWlRVYgL.js';
-import { A as Abs, T as Term, c as AstEnv } from './run-BuTz_p4k.js';
-export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, f as EvalFallbackStats, M as MayThrowEffect, g as absLit, h as absNumLit, i as absStrLit, j as allAbsStr, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, n as errorTypeAbs, o as exitEvalCallBudgetSession, p as filterDeclaredThrows, q as filterGateThrows, r as filterIgnoredThrows, s as flushMayThrowEffects, t as formatThrowsAbs, u as getEvalCallBudgetState, v as getEvalFallbackStats, w as getMayThrowCollector, x as isThrowsIgnored, y as mayThrowEffectsToAbs, z as orphanMayThrowEffects, B as popMayThrowFrame, D as pushMayThrowFrame, F as recordMayThrow, G as resetEvalFallbackStats, H as runWithMayThrowSession, I as setMayThrowCollector, J as throwAbsToKinds, K as throwsKindCovered, N as withEvalBudgetOverride } from './run-BuTz_p4k.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-CTpsYz6K.js';
+export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-CTpsYz6K.js';
+import { A as Abs, T as Term, c as AstEnv } from './run-CDaGIWH_.js';
+export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, f as EvalFallbackStats, M as MayThrowEffect, g as absLit, h as absNumLit, i as absStrLit, j as allAbsStr, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, n as errorTypeAbs, o as exitEvalCallBudgetSession, p as filterDeclaredThrows, q as filterGateThrows, r as filterIgnoredThrows, s as flushMayThrowEffects, t as formatThrowsAbs, u as getEvalCallBudgetState, v as getEvalFallbackStats, w as getMayThrowCollector, x as isThrowsIgnored, y as mayThrowEffectsToAbs, z as orphanMayThrowEffects, B as popMayThrowFrame, D as pushMayThrowFrame, F as recordMayThrow, G as resetEvalFallbackStats, H as runWithMayThrowSession, I as setMayThrowCollector, J as throwAbsToKinds, K as throwsKindCovered, N as withEvalBudgetOverride } from './run-CDaGIWH_.js';
 import { File, Node } from '@babel/types';
 
 /**
@@ -697,7 +697,10 @@ declare function popCallLoc(): void;
 declare function recordMemberDiag(d: EvalMemberDiag): void;
 /**
  * prim 接收者上的未知成员 → 诊断。
- * 返回 true 表示确定缺失（number 上任意方法；string 上表外方法）。
+ * 返回 true 表示确定缺失（原型方法表外；Object.prototype 名经装箱恒存在，
+ * 不算缺失）。kind === "method" 且确定缺失时，原生调用 undefined 成员是
+ * definite TypeError → 记入 throws 域（Bug 70；soft，与 noteNullishMemberThrows
+ * 同形，catch 可吸收），nudo:no-method 展示诊断保留。
  */
 declare function notePrimMemberMissing(recv: Abs | undefined, name: string, kind: "method" | "property", loc?: [number, number]): boolean;
 /** null / undefined（term lit null/undefined；shape unknown 兜底） */

package/dist/internal.js

@@ -21,7 +21,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-XVU2O6VF.js";
+} from "./chunk-76KJ3D4D.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-TO2W45NU.js";
+} from "./chunk-EFOHREUZ.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/dist/{projection-budget-CWlRVYgL.d.ts → projection-budget-CTpsYz6K.d.ts}

@@ -1,5 +1,5 @@
 import { File } from '@babel/types';
-import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-BuTz_p4k.js';
+import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-CDaGIWH_.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;

package/dist/{run-BuTz_p4k.d.ts → run-CDaGIWH_.d.ts}

@@ -189,10 +189,19 @@ type Shape = {
         optional?: boolean;
         readonly?: boolean;
     }>;
+    /**
+     * 可构造性 facet（Bug 9）：true = 可 new（函数声明/表达式、类表达式值）；
+     * false = 不可 new（箭头/方法/generator/async）。缺省 = 未知
+     * （mock/relation/桥接/宿主包装）→ `$new` 记 may-throw。
+     * 与 pathNote 同纪律：展示/非值信息，不进 leq / 指纹 / check 等价。
+     */
+    ctor?: boolean;
 } | {
     k: "brand";
     name: string;
     shape: Abs;
+    ctor?: true;
+    tv?: number;
 } | {
     k: "eff";
     eff: "promise" | "generator";
@@ -624,7 +633,16 @@ declare function absFunction(params: string[], impl: Omit<AbsFnImpl, "params">,
         readonly?: boolean;
     }>;
     conf?: Confidence;
+    /** Bug 9 可构造性 facet：true/false 已知，缺省未知（见 Shape k:"fn".ctor） */
+    ctor?: boolean;
 }): Abs;
+/**
+ * 宿主 JS 函数的可构造性（Bug 9）：generator/async/async-generator 声明、
+ * 箭头、内建方法（无 .prototype）不可 new；bind 产物取决于目标（未知）。
+ * 函数声明/宿主构造器 → 可构造。求值引擎的函数声明编译成真实宿主函数，
+ * `$new` / `$class(extends)` / 桥接包装按此 stamping。
+ */
+declare function hostFnCtorFacet(v: Function): boolean | undefined;
 /** relationFn 稳定 fingerprint（同签名共享，见 §3.3 已知限制） */
 declare function relationFingerprint(paramTypes: Abs[], returnType: Abs): string;
 /**
@@ -786,4 +804,4 @@ declare function callTranspiledExport(exports: Record<string, unknown>, name: st
  */
 declare function callTranspiledExportApply(exports: Record<string, unknown> | (() => Record<string, unknown>), name: string): (args: Abs[], thisVal?: Abs) => AbsApplyResult;
 
-export { $tryDigestSoft as $, type Abs as A, popMayThrowFrame as B, type Confidence as C, pushMayThrowFrame as D, ERROR_FAMILY as E, recordMayThrow as F, resetEvalFallbackStats as G, runWithMayThrowSession as H, setMayThrowCollector as I, throwAbsToKinds as J, throwsKindCovered as K, type LiteralValue as L, type MayThrowEffect as M, withEvalBudgetOverride as N, type HofCollectCtx as O, type PrimName as P, type HofSite as Q, type RelSource as R, type Shape as S, type Term as T, type AbsModuleExports as U, type RunTranspiledOptions as V, $assignRecord as W, $call as X, $callNamed as Y, $recordBinding as Z, type AbsApplyNoThrow as _, type Pred as a, negatePred as a$, type AbsApplyNoThrowFn as a0, type AbsApplyResult as a1, type AbsApplyReturn as a2, type AbsFnImpl as a3, type AbsSigImpl as a4, type EvalAbsAssignRecord as a5, type EvalCallRecord as a6, type EvalFallback as a7, type ImplicationOracle as a8, type LitValueResult as a9, emptyPhi as aA, eq as aB, evalExprAbs as aC, ge as aD, geNum as aE, getEvalCallCollector as aF, getFnImpl as aG, getImplicationOracle as aH, gt as aI, gtNum as aJ, implies as aK, isAbsApplyResult as aL, isAbsVal as aM, isBigPrim as aN, isExactLit as aO, isNumPrim as aP, isStrPrim as aQ, le as aR, leNum as aS, lit as aT, litValue as aU, lt as aV, ltNum as aW, makeAbsApplyResult as aX, markPureFn as aY, namespaceAbsOf as aZ, ne as a_, MAX_EVAL_CALL_DEPTH as aa, MAX_EVAL_TOTAL_CALLS as ab, RUNTIME_IMPORT_RE as ac, TYPEOF_NAMES as ad, type TranspiledCallResult as ae, type TypeofName as af, abs as ag, absFunction as ah, absOnly as ai, absToString as aj, and as ak, anyAbs as al, anyVar as am, app as an, assumeFinite as ao, attachFnImpl as ap, bigintLit as aq, bindImports as ar, bindingsOf as as, bool as at, boolLit as au, callTranspiledExport as av, callTranspiledExportApply as aw, callTranspiledExportFull as ax, collectAbsExports as ay, confJoin as az, type Phi as b, never as b0, not as b1, noteEvalCallRecord as b2, noteEvalFallback as b3, num as b4, numLit as b5, numVar as b6, obj as b7, or as b8, pFalse as b9, termToString as bA, tryRunTranspiled as bB, unknown as bC, v as bD, routeApplyThrows as bE, pTrue as ba, phiAnd as bb, predEquals as bc, predToString as bd, predVars as be, primToTypeof as bf, ptypeof as bg, pureFnNameOf as bh, relationFingerprint as bi, relationFn as bj, resetEvalCallBudget as bk, runTranspiled as bl, runTranspiledOptionsMemoKey as bm, setEvalAssignCollector as bn, setEvalBindingSink as bo, setEvalCallCollector as bp, setEvalFallbackCollector as bq, setImplicationOracle as br, shapeOfTerm as bs, shapeOnlyFn as bt, shapeToString as bu, simplifyTerm as bv, str as bw, strLit as bx, substPred as by, termEquals as bz, type AstEnv as c, $tryMarkSoft as d, $tryReleaseSoft as e, type EvalFallbackStats as f, absLit as g, absNumLit as h, absStrLit as i, allAbsStr as j, clearPureCallMemo as k, clearPureMemo as l, enterEvalCallBudgetSession as m, errorTypeAbs as n, exitEvalCallBudgetSession as o, filterDeclaredThrows as p, filterGateThrows as q, filterIgnoredThrows as r, flushMayThrowEffects as s, formatThrowsAbs as t, getEvalCallBudgetState as u, getEvalFallbackStats as v, getMayThrowCollector as w, isThrowsIgnored as x, mayThrowEffectsToAbs as y, orphanMayThrowEffects as z };
+export { $tryDigestSoft as $, type Abs as A, popMayThrowFrame as B, type Confidence as C, pushMayThrowFrame as D, ERROR_FAMILY as E, recordMayThrow as F, resetEvalFallbackStats as G, runWithMayThrowSession as H, setMayThrowCollector as I, throwAbsToKinds as J, throwsKindCovered as K, type LiteralValue as L, type MayThrowEffect as M, withEvalBudgetOverride as N, type HofCollectCtx as O, type PrimName as P, type HofSite as Q, type RelSource as R, type Shape as S, type Term as T, type AbsModuleExports as U, type RunTranspiledOptions as V, $assignRecord as W, $call as X, $callNamed as Y, $recordBinding as Z, type AbsApplyNoThrow as _, type Pred as a, ne as a$, type AbsApplyNoThrowFn as a0, type AbsApplyResult as a1, type AbsApplyReturn as a2, type AbsFnImpl as a3, type AbsSigImpl as a4, type EvalAbsAssignRecord as a5, type EvalCallRecord as a6, type EvalFallback as a7, type ImplicationOracle as a8, type LitValueResult as a9, emptyPhi as aA, eq as aB, evalExprAbs as aC, ge as aD, geNum as aE, getEvalCallCollector as aF, getFnImpl as aG, getImplicationOracle as aH, gt as aI, gtNum as aJ, hostFnCtorFacet as aK, implies as aL, isAbsApplyResult as aM, isAbsVal as aN, isBigPrim as aO, isExactLit as aP, isNumPrim as aQ, isStrPrim as aR, le as aS, leNum as aT, lit as aU, litValue as aV, lt as aW, ltNum as aX, makeAbsApplyResult as aY, markPureFn as aZ, namespaceAbsOf as a_, MAX_EVAL_CALL_DEPTH as aa, MAX_EVAL_TOTAL_CALLS as ab, RUNTIME_IMPORT_RE as ac, TYPEOF_NAMES as ad, type TranspiledCallResult as ae, type TypeofName as af, abs as ag, absFunction as ah, absOnly as ai, absToString as aj, and as ak, anyAbs as al, anyVar as am, app as an, assumeFinite as ao, attachFnImpl as ap, bigintLit as aq, bindImports as ar, bindingsOf as as, bool as at, boolLit as au, callTranspiledExport as av, callTranspiledExportApply as aw, callTranspiledExportFull as ax, collectAbsExports as ay, confJoin as az, type Phi as b, negatePred as b0, never as b1, not as b2, noteEvalCallRecord as b3, noteEvalFallback as b4, num as b5, numLit as b6, numVar as b7, obj as b8, or as b9, termEquals as bA, termToString as bB, tryRunTranspiled as bC, unknown as bD, v as bE, routeApplyThrows as bF, pFalse as ba, pTrue as bb, phiAnd as bc, predEquals as bd, predToString as be, predVars as bf, primToTypeof as bg, ptypeof as bh, pureFnNameOf as bi, relationFingerprint as bj, relationFn as bk, resetEvalCallBudget as bl, runTranspiled as bm, runTranspiledOptionsMemoKey as bn, setEvalAssignCollector as bo, setEvalBindingSink as bp, setEvalCallCollector as bq, setEvalFallbackCollector as br, setImplicationOracle as bs, shapeOfTerm as bt, shapeOnlyFn as bu, shapeToString as bv, simplifyTerm as bw, str as bx, strLit as by, substPred as bz, type AstEnv as c, $tryMarkSoft as d, $tryReleaseSoft as e, type EvalFallbackStats as f, absLit as g, absNumLit as h, absStrLit as i, allAbsStr as j, clearPureCallMemo as k, clearPureMemo as l, enterEvalCallBudgetSession as m, errorTypeAbs as n, exitEvalCallBudgetSession as o, filterDeclaredThrows as p, filterGateThrows as q, filterIgnoredThrows as r, flushMayThrowEffects as s, formatThrowsAbs as t, getEvalCallBudgetState as u, getEvalFallbackStats as v, getMayThrowCollector as w, isThrowsIgnored as x, mayThrowEffectsToAbs as y, orphanMayThrowEffects as z };

package/package.json

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