@nudojs/core 1.15.0 → 1.15.2

package/dist/exec.d.ts

@@ -69,6 +69,7 @@ declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs, opts?:
     length?: number;
     effectFree?: boolean;
     closed?: boolean;
+    kind?: string;
 }): Abs;
 /**
  * 宿主 this → Abs：函数体 prologue 用它承接 call/apply/bind 传入的 thisArg。
@@ -490,6 +491,11 @@ declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, ma
      *  即全量）；仅异步可迭代（无 @@iterator 槽）的接收者不折同步槽位投影，
      *  元素取抽象 unknown（原生由 next() 链驱动）。 */
     forAwait?: boolean;
+    /** for-in（Bug 98）：接收者重查 thunk——快照键进体前重查在场，体内
+     *  delete 的未访问键跳过该迭代（与原生 EnumerateObjectProperties 的
+     *  逐键 [[GetOwnProperty]] 回查一致）。thunk 每迭代重读当前绑定，
+     *  `delete o.k` 的写回（o = $del(o, k)）经闭包变量可见。 */
+    forInRecv?: () => Abs;
 }): void;
 /**
  * Map/Set forEach：条目表逐条调用回调（value, key, recv）。
@@ -1017,6 +1023,15 @@ declare function $setSuperStatic(thisVal: Abs, childName: string, key: Abs, valu
 
 /** 实例方法调用：沿继承链；类 Abs 上回落 staticMethods；obj 上回落属性函数 */
 declare function $invoke(thisVal: Abs, method: string, args: Abs[], loc?: [number, number]): Abs;
+/** obj[key]()：计算键成员调用（键运行时求值）。键折叠成槽名后走 $invoke
+ *  既有派发；@@iterator 键按接收者形态折迭代器对象。键不可折叠（抽象键 /
+ *  用户 symbol）→ 诚实 unknown（与 $call 对 unknown callee 同口径——
+ *  unknown 是 fail-closed 令牌，不记 may-throw）。 */
+declare function $invokeKey(thisVal: Abs, key: Abs, args: Abs[], loc?: [number, number]): Abs;
+/** 可选链计算键调用（a?.[k]() / a[k]?.() 的非链路径）：nullish 接收者
+ *  短路 undefined 字面量（$optionalInvoke 同口径）；键折叠与派发同
+ *  $invokeKey。 */
+declare function $optionalInvokeKey(thisVal: Abs, key: Abs, args: Abs[]): Abs;
 
 /**
  * this/可选链/静态成员读写：$thisGet/$thisSet/$optionalGet/$staticInvoke/$setKey。
@@ -1048,9 +1063,12 @@ declare function $setKey(o: Abs, key: Abs, value: Abs): Abs;
  */
 
 /**
- * 语句级 RegExp 状态写回（test/exec）：执行并把 lastIndex 更新后的 brand
+ * 语句级 RegExp 状态写回（test/exec/compile）：执行并把状态更新后的 brand
  * 返回给 transpile 重绑（$reStateCall 与 $arrMutContainer 同模式）。
  * 表达式位置不写回（$invoke 只读执行，调用方按 JS 语义先取值）。
+ * Bug 96：match/replace/replaceAll 臂是**参数位**消费的语句位写回（模式
+ * 作为 String 方法实参，spec @@match/@replace 对原正则 Set lastIndex）。
+ * Bug 126：compile 臂重建接收者（值通道 $invoke→execRegexBrand 同一助手）。
  */
 declare function $reStateCall(re: Abs, method: string, args: Abs[]): Abs;
 
@@ -1074,4 +1092,4 @@ declare class NudoUnsupportedError extends Error {
     detail?: string);
 }
 
-export { $absVal, $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $getSuper, $getSuperObj, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $invokeSuperKey, $invokeSuperObj, $isBreakTo, $isForkExit, $iterCheck, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $narrowMemberEq, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $refineRel, $regex, $removeMemberNullish, $removeNull, $removeNullish, $removeUndefined, $restBind, $rethrowIfNudoReturn, $set, $setKey, $setProto, $setSuper, $setSuperObj, $setSuperStatic, $shl, $shr, $spread, $staticInit, $staticInvoke, $staticSuperInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tpl, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, $yieldStar, DEFAULT_MAX_LOOP_ITERS, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentAssumePremises, currentExecPhi, fillTuple, foldRequireSpecArg, foldStaticStringExpr, getEvalClass, isArrMutator, isDefinitelyFalse, isDefinitelyTrue, isNudoBreak, isNudoContinue, isNudoReturn, isNudoThrow, litTruth, lookupObjAccessor, namespaceNameOf, pushLoopExit, pushThrowExit, registerEvalClass, runWithLoopExits, runtimeImportOf, takeLoopExits, takeThrowExits, transpile, transpileBodyNode, transpileExpression, transpileFile, transpileSource, withAssumePremises, withExecPhi };
+export { $absVal, $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $getSuper, $getSuperObj, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeKey, $invokeSuper, $invokeSuperKey, $invokeSuperObj, $isBreakTo, $isForkExit, $iterCheck, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $narrowMemberEq, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $optionalInvokeKey, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $refineRel, $regex, $removeMemberNullish, $removeNull, $removeNullish, $removeUndefined, $restBind, $rethrowIfNudoReturn, $set, $setKey, $setProto, $setSuper, $setSuperObj, $setSuperStatic, $shl, $shr, $spread, $staticInit, $staticInvoke, $staticSuperInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tpl, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, $yieldStar, DEFAULT_MAX_LOOP_ITERS, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentAssumePremises, currentExecPhi, fillTuple, foldRequireSpecArg, foldStaticStringExpr, getEvalClass, isArrMutator, isDefinitelyFalse, isDefinitelyTrue, isNudoBreak, isNudoContinue, isNudoReturn, isNudoThrow, litTruth, lookupObjAccessor, namespaceNameOf, pushLoopExit, pushThrowExit, registerEvalClass, runWithLoopExits, runtimeImportOf, takeLoopExits, takeThrowExits, transpile, transpileBodyNode, transpileExpression, transpileFile, transpileSource, withAssumePremises, withExecPhi };

package/dist/exec.js

@@ -49,6 +49,7 @@ import {
   $instanceof,
   $instanceofNonIdent,
   $invoke,
+  $invokeKey,
   $invokeSuper,
   $invokeSuperKey,
   $invokeSuperObj,
@@ -81,6 +82,7 @@ import {
   $objRest,
   $optionalGet,
   $optionalInvoke,
+  $optionalInvokeKey,
   $orDefault,
   $pow,
   $pushLoopExit,
@@ -206,7 +208,7 @@ import {
   withAssumePremises,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-NUTYUT3I.js";
+} from "./chunk-WKIRPUHZ.js";
 export {
   $absVal,
   $add,
@@ -257,6 +259,7 @@ export {
   $instanceof,
   $instanceofNonIdent,
   $invoke,
+  $invokeKey,
   $invokeSuper,
   $invokeSuperKey,
   $invokeSuperObj,
@@ -289,6 +292,7 @@ export {
   $objRest,
   $optionalGet,
   $optionalInvoke,
+  $optionalInvokeKey,
   $orDefault,
   $pow,
   $pushLoopExit,

package/dist/index.d.ts

@@ -408,8 +408,18 @@ declare function evalMathMethod(name: string, args: Abs[]): Abs | undefined;
  *   侧表派发（getter 读折返回体、setter 写走侧表不误抛 writable:false）；
  *   描述符字段语义 = 新建属性缺省 false、已有属性仅显式 false 收紧；
  *   open/index 标记与 invariants/accessor 侧表随不可变更新迁移。
+ * - Bug 86：tuple 接收者不再静默丢弃——下标键逐位装（增长段 hole、
+ *   空描述符清 hole）、length 键截断/延长（非法 RangeError）、
+ *   {writable:false} length 以 sealed 近似、frozen 相同值重定义放行。
+ * - Bug 117：opts.symbolKey 沿用键的 symbol 投影标记（"@@X"）；
+ *   wellKnownSymbolSlotKey 供 defineProperty/defineProperties 实参投影。
+ * - Bug 118：value 字段直取槽中 Abs 落槽（不经 litValue 往返——
+ *   fn/obj/tuple/bigint/symbol 值不再丢成「无 value 描述符」）。
  * - readProperty 是反射/枚举内建 [[Get]] 统一入口：accessorTable thunk
  *   优先（getter 求值）、数据槽兜底、setter-only 读 undefined。
+ * - classifyAssignSet（Bug 128）是 Object.assign 逐键 [[Set]] 单一分类：
+ *   自有访问器 setter / __proto__ 原型 setter（null|对象设原型、原始值
+ *   忽略、抽象 open）/ 自有·继承非可写定抛 / 其余建自有键。
  *
  * 兄弟模块边界：methods.ts（evalObjectMethod）经导出复用安装机器；
  * readProperty 供 json.ts（stringify 读值）。
@@ -808,6 +818,16 @@ type MapTable = {
     byLit: Map<LitKey, Abs>;
     /** 非字面量 key 写入的值（get 未知 key 时 join 用） */
     shadowValues: Abs[];
+    /**
+     * Bug 88：身份键条目（同一非字面量值——对象/函数/brand/any 绑定——
+     * 重复写不重复计数）。键不可字面量化但有可判身份（identKeyOf），
+     * size/keys/entries 仍可折 exact；无身份键的非字面量写入仍走
+     * shadowValues（size 保守）。
+     */
+    identEntries: Array<{
+        key: Abs;
+        value: Abs;
+    }>;
     /** 抽象分支并入后「可能不存在」的字面量键（get/has 需保守） */
     maybeAbsent?: Set<LitKey>;
 };
@@ -860,11 +880,14 @@ declare function makeMapAbs(iterable?: Abs): Abs;
 declare function makeSetAbs(iterable?: Abs): Abs;
 /** Map#set：fork 内写 overlay；否则原地。返回同一 Abs（JS 可变语义） */
 declare function mapSetEntry(mapAbs: Abs, key: Abs | undefined, value: Abs): Abs;
-/** Map#delete：fork overlay 内移除字面量键；未知 key 仅标 shadow 不确定 */
+/** Map#delete：fork overlay 内移除字面量键；未知 key 仅标 shadow 不确定。
+ * Bug 88：引用身份键删除可精确命中（同引用条目移除）/精确 miss（键域全
+ * 特定且无 shadow 时）。any/unknown 等无引用身份的抽象键删除 → 身份条目
+ * 降级 shadow（键可能就是任一身份键，size/get 回保守）。 */
 declare function mapDeleteEntry(mapAbs: Abs, key: Abs | undefined): Abs;
 /** Map#clear：清空条目；fork 下仍走 overlay */
 declare function mapClearEntries(mapAbs: Abs): Abs;
-/** Map#get：命中字面量 key → 精确；miss / 未知 key / maybeAbsent / shadow 并 undefined */
+/** Map#get：命中字面量/身份 key → 精确；miss / 未知 key / maybeAbsent / shadow 并 undefined */
 declare function mapGetEntry(mapAbs: Abs, key: Abs | undefined): Abs;
 /** Map#has：字面量 miss 折 exact false 时，get 必须是 undefined（不可再并 value） */
 declare function mapHasEntry(mapAbs: Abs, key: Abs | undefined): Abs;
@@ -877,9 +900,12 @@ declare function mapValuesAbs(mapAbs: Abs): Abs[];
 declare function mapEntriesAbs(mapAbs: Abs): Abs[];
 /** Set#add：fork 内写 overlay；返回同一 Abs */
 declare function setAddEntry(setAbs: Abs, value: Abs): Abs;
-/** Set#delete：按字面量元素移除；fork overlay 内生效。
+/** Set#delete：按字面量/身份元素移除；fork overlay 内生效。
  * 字面量删除且无残留非字面量元素 → 该臂可精确 miss；
- * 臂间分歧由 endCollectionFork 按元素数差标 maybeAbsent。 */
+ * 臂间分歧由 endCollectionFork 按元素数差标 maybeAbsent。
+ * Bug 88：身份删除按绑定级身份匹配（s.add(x); s.delete(x) 同绑定必命中）；
+ * 「无残留不确定元素」的精确 miss 判定用引用级身份——any/unknown 元素
+ * 原生可能恰为被删字面量/查询引用，不得当特定值。 */
 declare function setDeleteEntry(setAbs: Abs, value: Abs): Abs;
 /** Set#clear */
 declare function setClearEntries(setAbs: Abs): Abs;

package/dist/index.js

@@ -74,7 +74,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-47UPDZHE.js";
+} from "./chunk-NXZSRLCT.js";
 import {
   $add,
   $arguments,
@@ -536,7 +536,7 @@ import {
   withExecPhi,
   withInvariantSpecs,
   withVar
-} from "./chunk-NUTYUT3I.js";
+} from "./chunk-WKIRPUHZ.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {

package/dist/internal.js

@@ -22,7 +22,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-47UPDZHE.js";
+} from "./chunk-NXZSRLCT.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -172,7 +172,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-NUTYUT3I.js";
+} from "./chunk-WKIRPUHZ.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/core",
-  "version": "1.15.0",
+  "version": "1.15.2",
   "engines": {
     "node": ">=22"
   },