@nudojs/core 1.8.0 → 1.9.0

package/dist/{chunk-P6O5BXOA.js → chunk-3SLNJPNY.js}

@@ -7141,6 +7141,64 @@ function narrowTypeArmThunk(thunk, guard, arm, forkBindingNames) {
   const keep = arm === guard.arm;
   return `((${guard.name}) => ${thunk})($narrowTypeOf(${guard.name}, ${JSON.stringify(guard.typeOf)}, ${keep}))`;
 }
+var isPrimLitNode = (n) => {
+  const t = n;
+  if (t?.type === "StringLiteral") return typeof t.value === "string";
+  if (t?.type === "NumericLiteral") return typeof t.value === "number";
+  if (t?.type === "BooleanLiteral") return typeof t.value === "boolean";
+  return false;
+};
+function discriminantGuardOf(test) {
+  const t = test;
+  if (t?.type !== "BinaryExpression") return void 0;
+  if (t.operator !== "===" && t.operator !== "!==") return void 0;
+  const lm = memberGuardTarget(t.left);
+  const rm = memberGuardTarget(t.right);
+  const m = lm !== void 0 && isPrimLitNode(t.right) ? { target: lm, lit: t.right } : rm !== void 0 && isPrimLitNode(t.left) ? { target: rm, lit: t.left } : void 0;
+  if (!m) return void 0;
+  return {
+    name: m.target.name,
+    key: m.target.key,
+    value: m.lit.value,
+    arm: t.operator === "===" ? "cons" : "alt"
+  };
+}
+function discriminantGuardsOf(test) {
+  const t = test;
+  if (t?.type === "LogicalExpression" && (t.operator === "&&" || t.operator === "||")) {
+    const wantArm = t.operator === "&&" ? "cons" : "alt";
+    const out = [];
+    for (const g2 of [...discriminantGuardsOf(t.left), ...discriminantGuardsOf(t.right)]) {
+      if (g2.arm !== wantArm) continue;
+      if (out.some((x) => x.name === g2.name && x.key === g2.key && x.value === g2.value)) continue;
+      out.push(g2);
+    }
+    return out;
+  }
+  const g = discriminantGuardOf(test);
+  return g ? [g] : [];
+}
+function narrowDiscriminantArmThunks(thunk, guards, arm, forkBindingNames) {
+  if (!guards || guards.length === 0) return thunk;
+  const matching = guards.filter((g) => g.arm === arm);
+  if (matching.length === 0) return thunk;
+  const names = forkBindingNames instanceof Set ? forkBindingNames : new Set(forkBindingNames);
+  if (matching.some((g) => names.has(g.name))) return thunk;
+  const byName = /* @__PURE__ */ new Map();
+  for (const g of matching) {
+    const list = byName.get(g.name) ?? [];
+    if (!list.some((x) => x.key === g.key && x.value === g.value)) list.push(g);
+    byName.set(g.name, list);
+  }
+  const params = [...byName.keys()].join(", ");
+  const args = [...byName.entries()].map(
+    ([name, gs]) => gs.reduce(
+      (acc, g) => `$narrowMemberEq(${acc}, ${JSON.stringify(g.key)}, ${JSON.stringify(g.value)}, true)`,
+      name
+    )
+  ).join(", ");
+  return `((${params}) => ${thunk})(${args})`;
+}
 
 // src/algebra/exec/transpile/stmt.ts
 var switchBodySeq = 0;
@@ -7237,14 +7295,20 @@ function transpileFnBodyStmts(stmtsIn, depth, opts, varScope) {
     const testRebinds = testRecvs.size ? emitArrMutatorRebinds(stmt.test, scopedOpts, pad) : [];
     const earlyGuards = nullishGuardsOf(stmt.test);
     const earlyTGuard = typeGuardOf(stmt.test);
-    const consNarrowed = narrowTypeArmThunk(
-      narrowNullishArmThunks(
-        transpileBlockAsThunk(stmt.consequent, depth, scopedOpts),
-        earlyGuards,
+    const earlyDGuards = discriminantGuardsOf(stmt.test);
+    const consNarrowed = narrowDiscriminantArmThunks(
+      narrowTypeArmThunk(
+        narrowNullishArmThunks(
+          transpileBlockAsThunk(stmt.consequent, depth, scopedOpts),
+          earlyGuards,
+          "cons",
+          recvSet
+        ),
+        earlyTGuard,
         "cons",
         recvSet
       ),
-      earlyTGuard,
+      earlyDGuards,
       "cons",
       recvSet
     );
@@ -7253,9 +7317,14 @@ function transpileFnBodyStmts(stmtsIn, depth, opts, varScope) {
     const altThunk = `() => {
 ${altBody}
 ${pad}}`;
-    const altNarrowed = narrowTypeArmThunk(
-      narrowNullishArmThunks(altThunk, earlyGuards, "alt", recvSet),
-      earlyTGuard,
+    const altNarrowed = narrowDiscriminantArmThunks(
+      narrowTypeArmThunk(
+        narrowNullishArmThunks(altThunk, earlyGuards, "alt", recvSet),
+        earlyTGuard,
+        "alt",
+        recvSet
+      ),
+      earlyDGuards,
       "alt",
       recvSet
     );
@@ -7586,15 +7655,26 @@ ${pad}export default ${name};`;
       }) : null;
       const guards = nullishGuardsOf(stmt.test);
       const tguard = typeGuardOf(stmt.test);
-      const consNarrowed = narrowTypeArmThunk(
-        narrowNullishArmThunks(consRaw, guards, "cons", recvSet),
-        tguard,
+      const dguards = discriminantGuardsOf(stmt.test);
+      const consNarrowed = narrowDiscriminantArmThunks(
+        narrowTypeArmThunk(
+          narrowNullishArmThunks(consRaw, guards, "cons", recvSet),
+          tguard,
+          "cons",
+          recvSet
+        ),
+        dguards,
         "cons",
         recvSet
       );
-      const altNarrowed = altRaw === null ? null : narrowTypeArmThunk(
-        narrowNullishArmThunks(altRaw, guards, "alt", recvSet),
-        tguard,
+      const altNarrowed = altRaw === null ? null : narrowDiscriminantArmThunks(
+        narrowTypeArmThunk(
+          narrowNullishArmThunks(altRaw, guards, "alt", recvSet),
+          tguard,
+          "alt",
+          recvSet
+        ),
+        dguards,
         "alt",
         recvSet
       );
@@ -8528,14 +8608,27 @@ function transpileShortCircuitExpr(opts, parts) {
       consExpr = apply(consExpr, "cons");
       altExpr = apply(altExpr, "alt");
     }
+    const applyDisc = (src, arm) => narrowDiscriminantArmThunks(src, parts.discGuards, arm, []);
+    consExpr = applyDisc(consExpr, "cons");
+    altExpr = applyDisc(altExpr, "alt");
     return `$fork(${forkTest2}, () => ${consExpr}, () => ${altExpr})`;
   }
   const consLines = parts.consSrc === "__test" ? [`return __test;`] : consRebinds.length === 0 ? [`return (${parts.consSrc});`] : [`const __v = (${parts.consSrc});`, ...consRebinds, `return __v;`];
   const altLines = parts.altSrc === "__test" ? [`return __test;`] : altRebinds.length === 0 ? [`return (${parts.altSrc});`] : [`const __v = (${parts.altSrc});`, ...altRebinds, `return __v;`];
   const forkTest = parts.testSrc ?? "__test";
   const guards = parts.narrowGuards;
-  const consFinal = narrowNullishArmThunks(forkArmThunk(consLines, "fk1_", names), guards, "cons", names);
-  const altFinal = narrowNullishArmThunks(forkArmThunk(altLines, "fk2_", names), guards, "alt", names);
+  const consFinal = narrowDiscriminantArmThunks(
+    narrowNullishArmThunks(forkArmThunk(consLines, "fk1_", names), guards, "cons", names),
+    parts.discGuards,
+    "cons",
+    names
+  );
+  const altFinal = narrowDiscriminantArmThunks(
+    narrowNullishArmThunks(forkArmThunk(altLines, "fk2_", names), guards, "alt", names),
+    parts.discGuards,
+    "alt",
+    names
+  );
   return [
     `(() => {`,
     `  const __test = (${parts.alwaysSrc});`,
@@ -8759,6 +8852,7 @@ ${inner}
       }
       const leftGuards = nullishGuardsOf(expr.left);
       const andTypeGuard = typeGuardOf(expr.left);
+      const leftDiscGuards = discriminantGuardsOf(expr.left);
       return op === "&&" ? transpileShortCircuitExpr(opts, {
         alwaysNodes: [lNode],
         alwaysSrc: l,
@@ -8767,7 +8861,8 @@ ${inner}
         altSrc: "__test",
         altNodes: [],
         narrowGuards: leftGuards.filter((g) => g.arm === "cons"),
-        typeGuard: andTypeGuard
+        typeGuard: andTypeGuard,
+        discGuards: leftDiscGuards.filter((g) => g.arm === "cons")
       }) : transpileShortCircuitExpr(opts, {
         alwaysNodes: [lNode],
         alwaysSrc: l,
@@ -8776,7 +8871,8 @@ ${inner}
         altSrc: r,
         altNodes: [rNode],
         narrowGuards: leftGuards.filter((g) => g.arm === "alt"),
-        typeGuard: andTypeGuard
+        typeGuard: andTypeGuard,
+        discGuards: leftDiscGuards.filter((g) => g.arm === "alt")
       });
     }
     case "ConditionalExpression": {
@@ -8795,9 +8891,11 @@ ${inner}
         altNodes: [altNode],
         // 三元的 nullish/typeof 守卫臂收窄（issue #97：`p === null ? -1 : p.major`；
         // Bug 23：`typeof v === "string" ? v + "!" : 0`；#118 v3/#120：多名复合
-        // `obj == null || node.p == null ? … : node.p.name` 一臂多事实）
+        // `obj == null || node.p == null ? … : node.p.name` 一臂多事实）；
+        // 判别等值守卫（issue #126）：`node.type === 'TL' ? node.quasis[0] : null`
         narrowGuards: nullishGuardsOf(expr.test),
-        typeGuard: typeGuardOf(expr.test)
+        typeGuard: typeGuardOf(expr.test),
+        discGuards: discriminantGuardsOf(expr.test)
       });
     }
     case "RegExpLiteral": {
@@ -9540,7 +9638,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, $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)};`;
+  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, $narrowMemberEq, $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";
@@ -9561,7 +9659,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, $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)};`,
+    `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, $narrowMemberEq, $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);
@@ -9642,6 +9740,7 @@ __export(runtime_exports, {
   $lt: () => $lt,
   $mod: () => $mod,
   $mul: () => $mul,
+  $narrowMemberEq: () => $narrowMemberEq,
   $narrowTypeOf: () => $narrowTypeOf,
   $ne: () => $ne,
   $neLoose: () => $neLoose,
@@ -13455,6 +13554,58 @@ function $narrowTypeOf(a, typeOf, keep) {
   if (kept.length === 0) return a;
   return kept.length === 1 ? kept[0] : { ...a, shape: { k: "sum", members: kept } };
 }
+function litRefutesEq(other, v2) {
+  return other !== v2;
+}
+function memberEqClass(m, key, litAbs, value) {
+  const sh = m.shape;
+  if (sh.k === "obj") {
+    const slots = sh.slots;
+    if (!Object.prototype.hasOwnProperty.call(slots, key)) {
+      return sh.open ? "may" : "never";
+    }
+    const slotValue = slots[key].value;
+    if (slotValue.shape.k === "any" || slotValue.shape.k === "unknown") return "may";
+    const shapeOnly = (s) => abs(s, void 0, void 0, "exact");
+    if (!leqAbs(shapeOnly(litAbs.shape), shapeOnly(slotValue.shape)).ok) return "never";
+    const t = slotValue.term;
+    const p = slotValue.pred;
+    if (!t || !p || p.op === "true") return "may";
+    const litTerm = lit(value);
+    if (implies(p, { op: "eq", a: t, b: litTerm })) return "only";
+    if (implies(p, { op: "ne", a: t, b: litTerm })) return "never";
+    const conjuncts = [];
+    const visit = (c) => {
+      if (c.op === "and") {
+        c.args.forEach(visit);
+        return;
+      }
+      conjuncts.push(c);
+    };
+    visit(p);
+    for (const c of conjuncts) {
+      if (c.op !== "eq") continue;
+      const other = termEquals(c.a, t) && c.b.op === "lit" ? c.b.value : termEquals(c.b, t) && c.a.op === "lit" ? c.a.value : void 0;
+      if (other !== void 0 && litRefutesEq(other, value)) return "never";
+    }
+    return "may";
+  }
+  if (m.term?.op === "lit") return "never";
+  return "may";
+}
+function $narrowMemberEq(a, key, value, keep) {
+  if (!a || typeof a !== "object" || !("shape" in a)) return a;
+  if (a.shape.k !== "sum") return a;
+  const litAbs = typeof value === "string" ? strLit(value) : typeof value === "number" ? numLit(value) : boolLit(value);
+  const members = a.shape.members;
+  const kept = members.filter((m) => {
+    const c = memberEqClass(m, key, litAbs, value);
+    return keep ? c !== "never" : c !== "only";
+  });
+  if (kept.length === members.length) return a;
+  if (kept.length === 0) return a;
+  return kept.length === 1 ? kept[0] : { ...a, shape: { k: "sum", members: kept } };
+}
 function primShapeOfTypeOf(typeOf) {
   switch (typeOf) {
     case "string":
@@ -22262,6 +22413,7 @@ export {
   $removeUndefined,
   $removeMemberNullish,
   $narrowTypeOf,
+  $narrowMemberEq,
   $nullishTest,
   SELF,
   getTerm,

package/dist/{chunk-WT5J6QTZ.js → chunk-UDIJKTYG.js}

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

package/dist/exec.d.ts

@@ -485,6 +485,14 @@ declare function $removeMemberNullish(a: Abs, key: string): Abs;
  * 原样返回（臂不可达的保守近似，与 $removeNullish 空集口径一致）。
  */
 declare function $narrowTypeOf(a: Abs, typeOf: string, keep: boolean): Abs;
+/**
+ * 判别等值守卫臂剪影（issue #126）：`x.key === lit` 事实臂（keep=true）内把
+ * x 重绑为「key 值域可能等于 lit」的成员子集（剪 "never" 成员）；对偶补集臂
+ * （keep=false）剪 "only" 成员。单形态无可剪原样返回；全剪空 → 原样返回
+ * （臂不可达的保守近似，与 $removeNullish / $narrowTypeOf 同口径）；
+ * 单成员剪余直接返回该成员。
+ */
+declare function $narrowMemberEq(a: Abs, key: string, value: string | number | boolean, keep: boolean): Abs;
 /** `??` / `??=` 测试：确定非 nullish → false；lit nullish → true；否则抽象 boolean */
 declare function $nullishTest(v: Abs): Abs;
 
@@ -754,4 +762,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, $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 };
+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, $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

@@ -65,6 +65,7 @@ import {
   $lt,
   $mod,
   $mul,
+  $narrowMemberEq,
   $narrowTypeOf,
   $ne,
   $neLoose,
@@ -193,7 +194,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-P6O5BXOA.js";
+} from "./chunk-3SLNJPNY.js";
 export {
   $absVal,
   $add,
@@ -260,6 +261,7 @@ export {
   $lt,
   $mod,
   $mul,
+  $narrowMemberEq,
   $narrowTypeOf,
   $ne,
   $neLoose,

package/dist/index.js

@@ -63,7 +63,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-WT5J6QTZ.js";
+} from "./chunk-UDIJKTYG.js";
 import {
   $add,
   $arguments,
@@ -519,7 +519,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-P6O5BXOA.js";
+} from "./chunk-3SLNJPNY.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-WT5J6QTZ.js";
+} from "./chunk-UDIJKTYG.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-P6O5BXOA.js";
+} from "./chunk-3SLNJPNY.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/package.json

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