@nudojs/core 1.9.1 → 1.9.2

package/dist/{chunk-3BRXCIVZ.js → chunk-PNCDILAV.js}

@@ -46,7 +46,7 @@ import {
   withEvalBudgetOverride,
   withExecPhi,
   withFnBudgetOverride
-} from "./chunk-733OATC3.js";
+} from "./chunk-XR3TE4C2.js";
 
 // src/algebra/directive-scan.ts
 function cleanDirectiveLine(raw, kind) {

package/dist/{chunk-733OATC3.js → chunk-XR3TE4C2.js}

@@ -15421,25 +15421,75 @@ function $removeUndefined(a) {
 }
 function $removeMemberNullish(a, key) {
   if (!a || typeof a !== "object" || !("shape" in a)) return a;
+  if (a.shape.k === "sum") {
+    const members = a.shape.members;
+    const kept = [];
+    let changed = false;
+    for (const m of members) {
+      const r2 = memberSlotTruthyRefine(m, key);
+      if (r2.kind === "prune") {
+        changed = true;
+        continue;
+      }
+      if (r2.kind === "keep") {
+        kept.push(m);
+        continue;
+      }
+      changed = true;
+      const sh = m.shape;
+      const next2 = { ...m, shape: { ...sh, slots: { ...sh.slots, [key]: r2.slot } } };
+      migrateAccessors(m, next2);
+      migrateInvariants(m, next2);
+      migrateNullProto(m, next2);
+      kept.push(next2);
+    }
+    if (!changed || kept.length === 0) return a;
+    return kept.length === 1 ? kept[0] : { ...a, shape: { k: "sum", members: kept } };
+  }
   if (a.shape.k !== "obj") return a;
   const slots = a.shape.slots;
   if (!Object.prototype.hasOwnProperty.call(slots, key)) return a;
+  const r = memberSlotTruthyRefine(a, key);
+  if (r.kind !== "refine") return a;
+  const next = { ...a, shape: { ...a.shape, slots: { ...slots, [key]: r.slot } } };
+  migrateAccessors(a, next);
+  migrateInvariants(a, next);
+  migrateNullProto(a, next);
+  return next;
+}
+function definitelyNullishAbs(a) {
+  if (isNullishLitAbs(a)) return true;
+  if (a.shape.k === "sum") {
+    const members = a.shape.members;
+    return members.length > 0 && members.every((m) => isNullishLitAbs(m));
+  }
+  return false;
+}
+function memberSlotTruthyRefine(m, key) {
+  if (m.shape.k !== "obj") return { kind: "keep" };
+  const slots = m.shape.slots;
+  if (!Object.prototype.hasOwnProperty.call(slots, key)) {
+    const sh = m.shape;
+    if (sh.open || sh.index) return { kind: "keep" };
+    if (OBJECT_PROTO_METHOD_NAMES2.has(key) || key === "constructor") return { kind: "keep" };
+    if (accessorTable.get(m)?.has(key)) return { kind: "keep" };
+    return { kind: "prune" };
+  }
+  if (accessorTable.get(m)?.get(key)?.get) return { kind: "keep" };
   const slot = slots[key];
+  if (definitelyNullishAbs(slot.value)) return { kind: "prune" };
   let value = slot.value;
-  let changed = false;
   if (!definitelyNotNullishShape(value.shape) && value.shape.k === "sum") {
     const members = value.shape.members;
-    const kept = members.filter((m) => !isNullishLitAbs(m));
+    const kept = members.filter((x) => !isNullishLitAbs(x));
     if (kept.length > 0 && kept.length < members.length) {
       value = kept.length === 1 ? kept[0] : { ...value, shape: { k: "sum", members: kept } };
-      changed = true;
     }
   }
-  if (slot.optional) changed = true;
-  if (!changed) return a;
+  if (value === slot.value && !slot.optional) return { kind: "keep" };
   const next = { ...slot, value };
   delete next.optional;
-  return { ...a, shape: { ...a.shape, slots: { ...slots, [key]: next } } };
+  return { kind: "refine", slot: next };
 }
 function typeofOfMember(m) {
   const t = m.term;

package/dist/exec.d.ts

@@ -468,13 +468,23 @@ declare function $removeNull(a: Abs): Abs;
  */
 declare function $removeUndefined(a: Abs): Abs;
 /**
- * 成员真值守卫臂剪影（issue #118）：`if (o.p)` 真值臂 / `if (!o.p)` 假值臂 /
- * `o?.p` 真值守卫里，槽 p 的值必为真值 ⇒ 非 nullish 且槽必在场——重建 obj
- * slots：槽值过与 $removeNullish 同款成员剥离，并摘除 optional 标记
- * （真值 ⇒ 在场；$get 的 join(value, undef) 随之消失）。槽值剥空（纯
+ * 成员真值守卫臂剪影（issue #118 / #129）：`if (o.p)` 真值臂 / `if (!o.p)`
+ * 假值臂 / `o?.p` 真值守卫里，槽 p 的值必为真值 ⇒ 非 nullish 且槽必在场——
+ * 重建 obj slots：槽值过与 $removeNullish 同款成员剥离，并摘除 optional
+ * 标记（真值 ⇒ 在场；$get 的 join(value, undef) 随之消失）。槽值剥空（纯
  * nullish）→ 保守原样（臂不可达近似，与 $removeNullish 空集口径一致）；
  * 键缺席 / 非 obj / 裸宿主值 → 透传（同 $removeNullish 契约）。真值 ⇒ 非
  * nullish 是 sound 下界：0/''/false 等 falsy-but-not-nullish 成员保留。
+ *
+ * sum 容器（issue #129）：判别窄化后参数常为多臂 union——守卫事实按成员
+ * 分发：key 槽确定 nullish 的成员（闭 shape 槽缺席且缺席读确定 undefined
+ * ——open/index/proto 方法名/getter 均不在场；或槽值整体 nullish）在真值
+ * 守卫下必走早退 → 剪除；其余成员按 obj 分支同款重建（重建迁移
+ * accessor/propFlags/nullProto 侧表）。open/index 缺席（读 unknown 不可
+ * 判）/ proto 方法名与 constructor 缺席（原型链读出函数）/ getter-only
+ * 缺席（读 getter 结果）/ any / unknown 槽值 / 非对象成员不可判保留（宁
+ * 缺毋假，与 $get 缺席读同口径）。全剪空 → 原样；单成员剪余塌缩（与
+ * $narrowMemberEq 同口径）。
  */
 declare function $removeMemberNullish(a: Abs, key: string): Abs;
 /**

package/dist/exec.js

@@ -195,7 +195,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-733OATC3.js";
+} from "./chunk-XR3TE4C2.js";
 export {
   $absVal,
   $add,

package/dist/index.js

@@ -63,7 +63,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-3BRXCIVZ.js";
+} from "./chunk-PNCDILAV.js";
 import {
   $add,
   $arguments,
@@ -519,7 +519,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-733OATC3.js";
+} from "./chunk-XR3TE4C2.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {

package/dist/internal.js

@@ -21,7 +21,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-3BRXCIVZ.js";
+} from "./chunk-PNCDILAV.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-733OATC3.js";
+} from "./chunk-XR3TE4C2.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/package.json

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