@nudojs/core 1.7.8 → 1.7.10

package/dist/{chunk-5SAMWKI6.js → chunk-45WFXDZD.js}

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

package/dist/{chunk-YQIRU637.js → chunk-MJP4P5J3.js}

@@ -3361,7 +3361,12 @@ function isKnownNonBigintNumeric(a) {
   if (r.ok && r.value === void 0) return true;
   return a.shape.k === "prim" && (a.shape.type === "number" || a.shape.type === "boolean");
 }
+function isNullishLitOperand(a) {
+  const r = litValue(a);
+  return r.ok && (r.value === null || r.value === void 0);
+}
 function isMaybeBigintOperand(a) {
+  if (isNullishLitOperand(a)) return false;
   const k = a.shape.k;
   if (k === "sum") {
     const members = a.shape.members;
@@ -6971,15 +6976,32 @@ function mergeGrain(a, b) {
   if (a !== b) return "nullish";
   return a;
 }
+var memberGuardTarget = (n) => {
+  const t = n;
+  const m = t?.type === "ChainExpression" ? t.expression : t;
+  if (m?.type !== "MemberExpression" && m?.type !== "OptionalMemberExpression") return void 0;
+  if (m.computed) return void 0;
+  if (m.object?.type !== "Identifier" || !m.object.name) return void 0;
+  const p = m.property;
+  const key = p?.type === "Identifier" ? p.name : p?.type === "StringLiteral" && typeof p.value === "string" ? p.value : void 0;
+  if (key === void 0) return void 0;
+  return { name: m.object.name, key };
+};
 function nullishGuardOf(test) {
   const t = test;
   if (t?.type === "LogicalExpression") return compositeNullishGuardOf(t);
   if (t?.type === "UnaryExpression" && t.operator === "!" && t.argument?.type === "Identifier" && t.argument.name) {
     return { name: t.argument.name, arm: "alt", grain: "nullish" };
   }
+  if (t?.type === "UnaryExpression" && t.operator === "!") {
+    const m = memberGuardTarget(t.argument);
+    if (m) return { name: m.name, arm: "alt", grain: "nullish", memberKey: m.key };
+  }
   if (t?.type === "Identifier" && t.name) {
     return { name: t.name, arm: "cons", grain: "nullish" };
   }
+  const bare = memberGuardTarget(t);
+  if (bare) return { name: bare.name, arm: "cons", grain: "nullish", memberKey: bare.key };
   if (t?.type !== "BinaryExpression") return void 0;
   const op = t.operator;
   if (op !== "===" && op !== "!==" && op !== "==" && op !== "!=") return void 0;
@@ -7016,15 +7038,20 @@ function nullishGuardOf(test) {
 function compositeNullishGuardOf(test) {
   const t = test;
   if (t?.type !== "LogicalExpression" || t.operator !== "||" && t.operator !== "&&") return void 0;
+  const wantArm = t.operator === "||" ? "alt" : "cons";
   const l = nullishGuardOf(t.left);
   const r = nullishGuardOf(t.right);
-  if (!l || !r || l.name !== r.name) return void 0;
-  const wantArm = t.operator === "||" ? "alt" : "cons";
-  if (l.arm !== wantArm || r.arm !== wantArm) return void 0;
-  const g1 = l.grain === "null" || l.grain === "undefined" ? l.grain : null;
-  const g2 = r.grain === "null" || r.grain === "undefined" ? r.grain : null;
-  const grain = g1 === null || g2 === null ? "nullish" : mergeGrain(g1, g2);
-  return { name: l.name, arm: wantArm, grain };
+  const lg = l && l.arm === wantArm ? l : void 0;
+  const rg = r && r.arm === wantArm ? r : void 0;
+  if (lg && rg) {
+    if (lg.name !== rg.name) return void 0;
+    const g1 = lg.grain === "null" || lg.grain === "undefined" ? lg.grain : null;
+    const g2 = rg.grain === "null" || rg.grain === "undefined" ? rg.grain : null;
+    const grain = g1 === null || g2 === null ? "nullish" : mergeGrain(g1, g2);
+    const memberKey = lg.memberKey ?? rg.memberKey;
+    return { name: lg.name, arm: wantArm, grain, ...memberKey !== void 0 ? { memberKey } : {} };
+  }
+  return lg ?? rg;
 }
 function typeGuardOf(test) {
   const t = test;
@@ -7039,16 +7066,19 @@ function typeGuardOf(test) {
   if (litSide.value === "undefined" || !TYPEOF_NAMES2.has(litSide.value)) return void 0;
   return { name, typeOf: litSide.value, arm: op === "===" || op === "==" ? "cons" : "alt" };
 }
-function removeCallOf(grain) {
-  if (grain === "undefined") return "$removeUndefined";
-  if (grain === "null") return "$removeNull";
-  return "$removeNullish";
+function nullishRemoveCallOf(guard) {
+  if (guard.memberKey !== void 0) {
+    return `$removeMemberNullish($removeNullish(${guard.name}), ${JSON.stringify(guard.memberKey)})`;
+  }
+  if (guard.grain === "undefined") return `$removeUndefined(${guard.name})`;
+  if (guard.grain === "null") return `$removeNull(${guard.name})`;
+  return `$removeNullish(${guard.name})`;
 }
 function narrowNullishArmThunk(thunk, guard, arm, forkBindingNames) {
   if (!guard || guard.arm !== arm) return thunk;
   const names = forkBindingNames instanceof Set ? forkBindingNames : new Set(forkBindingNames);
   if (names.has(guard.name)) return thunk;
-  return `((${guard.name}) => ${thunk})(${removeCallOf(guard.grain)}(${guard.name}))`;
+  return `((${guard.name}) => ${thunk})(${nullishRemoveCallOf(guard)})`;
 }
 function narrowTypeArmThunk(thunk, guard, arm, forkBindingNames) {
   if (!guard) return thunk;
@@ -7151,13 +7181,24 @@ function transpileFnBodyStmts(stmtsIn, depth, opts, varScope) {
     };
     const testRecvs = collectArrMutatorReceivers(stmt.test);
     const testRebinds = testRecvs.size ? emitArrMutatorRebinds(stmt.test, scopedOpts, pad) : [];
-    const cons = wrapArm(transpileBlockAsThunk(stmt.consequent, depth, scopedOpts), "fk1_");
+    const earlyGuard = nullishGuardOf(stmt.test);
+    const earlyTGuard = typeGuardOf(stmt.test);
+    const consNarrowed = narrowTypeArmThunk(
+      narrowNullishArmThunk(
+        transpileBlockAsThunk(stmt.consequent, depth, scopedOpts),
+        earlyGuard,
+        "cons",
+        recvSet
+      ),
+      earlyTGuard,
+      "cons",
+      recvSet
+    );
+    const cons = wrapArm(consNarrowed, "fk1_");
     const altBody = transpileFnBodyStmts(rest, depth + 1, { ...scopedOpts, inLoop: opts.inLoop });
     const altThunk = `() => {
 ${altBody}
 ${pad}}`;
-    const earlyGuard = nullishGuardOf(stmt.test);
-    const earlyTGuard = typeGuardOf(stmt.test);
     const altNarrowed = narrowTypeArmThunk(
       narrowNullishArmThunk(altThunk, earlyGuard, "alt", recvSet),
       earlyTGuard,
@@ -8398,9 +8439,9 @@ function transpileShortCircuitExpr(opts, parts) {
     let altExpr = parts.altSrc === "__test" ? parts.alwaysSrc : parts.altSrc;
     if (parts.narrowGuard) {
       if (parts.narrowGuard.arm === "cons") {
-        consExpr = `((${parts.narrowGuard.name}) => (${consExpr}))($removeNullish(${parts.narrowGuard.name}))`;
+        consExpr = `((${parts.narrowGuard.name}) => (${consExpr}))(${nullishRemoveCallOf(parts.narrowGuard)})`;
       } else {
-        altExpr = `((${parts.narrowGuard.name}) => (${altExpr}))($removeNullish(${parts.narrowGuard.name}))`;
+        altExpr = `((${parts.narrowGuard.name}) => (${altExpr}))(${nullishRemoveCallOf(parts.narrowGuard)})`;
       }
     }
     if (parts.typeGuard) {
@@ -9420,7 +9461,7 @@ function transpileSource(source, opts = {}) {
   return transpileFile(file, { ...opts, source: opts.source ?? source });
 }
 function runtimeImportOf(runtime) {
-  return `import { $absVal, $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $objAccessorKey, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $invokeSuperObj, $invokeSuperKey, $getSuper, $getSuperObj, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $iterCheck, $catchVal, $switch, $staticInvoke, $setKey, $gen, $newTarget, $staticInit, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $removeNullish, $removeNull, $removeUndefined, $narrowTypeOf, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo, $yieldStar, $tpl } from ${JSON.stringify(runtime)};`;
+  return `import { $absVal, $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $objAccessorKey, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $invokeSuperObj, $invokeSuperKey, $getSuper, $getSuperObj, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $iterCheck, $catchVal, $switch, $staticInvoke, $setKey, $gen, $newTarget, $staticInit, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $removeNullish, $removeNull, $removeUndefined, $removeMemberNullish, $narrowTypeOf, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo, $yieldStar, $tpl } from ${JSON.stringify(runtime)};`;
 }
 function transpileFile(file, opts = {}) {
   const runtime = opts.runtimeImport ?? "@nudojs/core/exec";
@@ -9441,7 +9482,7 @@ function transpileFile(file, opts = {}) {
   };
   const lines = [
     `// nudo evaluator transpile \u2014 values are Abs; operators are overloaded calls`,
-    `import { $absVal, $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $objAccessorKey, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $invokeSuperObj, $invokeSuperKey, $getSuper, $getSuperObj, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $iterCheck, $catchVal, $switch, $staticInvoke, $setKey, $gen, $newTarget, $staticInit, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $removeNullish, $removeNull, $removeUndefined, $narrowTypeOf, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo, $yieldStar, $tpl } from ${JSON.stringify(runtime)};`,
+    `import { $absVal, $add, $sub, $mul, $div, $mod, $bitand, $bitor, $bitxor, $bitnot, $shl, $shr, $ushr, $pow, $toNumber, $toNumeric, $updateAdd, $updateSub, $in, $instanceof, $instanceofNonIdent, $classExpr, $del, $delRes, $objAccessor, $objAccessorKey, $neg, $typeof, $not, $eq, $ne, $eqLoose, $neLoose, $lt, $le, $gt, $ge, $join, $lit, $fork, $for, $forIter, $obj, $get, $set, $setProto, $while, $whileSeq, $arr, $arrWithHoles, $arrMutContainer, $idx, $idxSet, $len, $call, $throw, $loopReturn, $loopBreak, $loopContinue, $class, $new, $invoke, $invokeSuper, $invokeSuperObj, $invokeSuperKey, $getSuper, $getSuperObj, $super, $async, $copy, $await, $asyncReturn, $orDefault, $callNamed, $optionalGet, $optionalInvoke, $spread, $concat, $forOf, $forInKeys, $iterCheck, $catchVal, $switch, $staticInvoke, $setKey, $gen, $newTarget, $staticInit, $yield, $fnVal, $regex, $reStateCall, $rethrowIfNudoReturn, $nullishTest, $removeNullish, $removeNull, $removeUndefined, $removeMemberNullish, $narrowTypeOf, $tryMark, $assignRecord, $recordBinding, $unknown, $importMeta, $dynamicImport, $tryTakeSince, $tryCurrentMark, $tryPopMark, $tryDigestSoftCatch, $tryReleaseSoftOut, $tryDetachSoftCatch, $tryDiscardSoft, $tryOrphanSoft, $pushLoopExit, $objRest, $arrRest, $elems, $arguments, $isForkExit, $rawThis, $isBreakTo, $yieldStar, $tpl } from ${JSON.stringify(runtime)};`,
     ``
   ];
   if (varHoistLine) lines.push(varHoistLine);
@@ -9537,6 +9578,7 @@ __export(runtime_exports, {
   $pushLoopExit: () => $pushLoopExit,
   $rawThis: () => $rawThis,
   $regex: () => $regex,
+  $removeMemberNullish: () => $removeMemberNullish,
   $removeNull: () => $removeNull,
   $removeNullish: () => $removeNullish,
   $removeUndefined: () => $removeUndefined,
@@ -13282,6 +13324,28 @@ function $removeUndefined(a) {
   }
   return a;
 }
+function $removeMemberNullish(a, key) {
+  if (!a || typeof a !== "object" || !("shape" in a)) return a;
+  if (a.shape.k !== "obj") return a;
+  const slots = a.shape.slots;
+  if (!Object.prototype.hasOwnProperty.call(slots, key)) return a;
+  const slot = slots[key];
+  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));
+    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;
+  const next = { ...slot, value };
+  delete next.optional;
+  return { ...a, shape: { ...a.shape, slots: { ...slots, [key]: next } } };
+}
 function typeofOfMember(m) {
   const t = m.term;
   if (t?.op === "lit") {
@@ -20315,7 +20379,12 @@ function isKnownNonBigintNumeric2(a) {
   if (a.term?.op === "lit" && a.term.value === void 0) return true;
   return a.shape.k === "prim" && (a.shape.type === "number" || a.shape.type === "boolean");
 }
+function isNullishLitOperand2(a) {
+  const r = litValue(a);
+  return r.ok && (r.value === null || r.value === void 0);
+}
 function isMaybeBigintOperand2(a) {
+  if (isNullishLitOperand2(a)) return false;
   const k = a.shape.k;
   if (k === "sum") {
     const members = a.shape.members;
@@ -21332,6 +21401,7 @@ export {
   $removeNullish,
   $removeNull,
   $removeUndefined,
+  $removeMemberNullish,
   $narrowTypeOf,
   $nullishTest,
   clearPureCallMemo,

package/dist/exec.d.ts

@@ -466,6 +466,16 @@ declare function $removeNull(a: Abs): Abs;
  * null，`u.v` 对 null 仍原生抛 TypeError，不得剪）。
  */
 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) 随之消失）。槽值剥空（纯
+ * nullish）→ 保守原样（臂不可达近似，与 $removeNullish 空集口径一致）；
+ * 键缺席 / 非 obj / 裸宿主值 → 透传（同 $removeNullish 契约）。真值 ⇒ 非
+ * nullish 是 sound 下界：0/''/false 等 falsy-but-not-nullish 成员保留。
+ */
+declare function $removeMemberNullish(a: Abs, key: string): Abs;
 /**
  * typeof 类型守卫臂剪影（Bug 23）：`typeof v === "string"` 真臂把 v 重绑为
  * union 中 typeof 匹配的成员（keep=true）/ 假臂绑补集（keep=false）——臂内
@@ -744,4 +754,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, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $removeNull, $removeNullish, $removeUndefined, $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 };
+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, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $removeMemberNullish, $removeNull, $removeNullish, $removeUndefined, $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

@@ -86,6 +86,7 @@ import {
   $reStateCall,
   $recordBinding,
   $regex,
+  $removeMemberNullish,
   $removeNull,
   $removeNullish,
   $removeUndefined,
@@ -192,7 +193,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-YQIRU637.js";
+} from "./chunk-MJP4P5J3.js";
 export {
   $absVal,
   $add,
@@ -280,6 +281,7 @@ export {
   $reStateCall,
   $recordBinding,
   $regex,
+  $removeMemberNullish,
   $removeNull,
   $removeNullish,
   $removeUndefined,

package/dist/index.js

@@ -91,7 +91,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-5SAMWKI6.js";
+} from "./chunk-45WFXDZD.js";
 import {
   $add,
   $arguments,
@@ -513,7 +513,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-YQIRU637.js";
+} from "./chunk-MJP4P5J3.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -786,6 +786,15 @@ function flattenSumArms(ret) {
 function isWidenedSumArm(m, parent) {
   return parent.conf === "partial" && m.shape.k === "prim" && !m.term && (!m.pred || m.pred.op === "true");
 }
+function provesBarePrimDomain(arm, constraint) {
+  if (!constraint.prim || constraint.preds.length > 0 || isIntFlag(constraint)) {
+    return false;
+  }
+  if (constraint.fields || constraint.element || constraint.members || constraint.fn) {
+    return false;
+  }
+  return arm.shape.k === "prim" && arm.shape.type === constraint.prim;
+}
 function assertImplies(ret, constraint, opts) {
   const phi = opts?.phi ?? pTrue;
   if (ret.shape.k === "never") return proved();
@@ -820,6 +829,9 @@ function assertSumArms(arms, parent, constraint, opts, phi) {
       continue;
     }
     if (isValueSetUnknown(arm) || isWidenedSumArm(arm, parent)) {
+      if (isWidenedSumArm(arm, parent) && provesBarePrimDomain(arm, constraint)) {
+        continue;
+      }
       sawUnprovable = true;
       continue;
     }

package/dist/internal.js

@@ -21,7 +21,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-5SAMWKI6.js";
+} from "./chunk-45WFXDZD.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-YQIRU637.js";
+} from "./chunk-MJP4P5J3.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/package.json

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