nudojs 1.3.12 → 1.3.13

package/dist/index.js

@@ -21800,7 +21800,58 @@ function narrowTypeArmThunk(thunk, guard, arm, forkBindingNames) {
   const keep = arm === guard.arm;
   return `((${guard.name}) => ${thunk})($narrowTypeOf(${guard.name}, ${JSON.stringify(guard.typeOf)}, ${keep}))`;
 }
-var TYPEOF_NAMES2, isStrLitNode, typeofArgName, memberGuardTarget, assignGuardTarget;
+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 names2 = forkBindingNames instanceof Set ? forkBindingNames : new Set(forkBindingNames);
+  if (matching.some((g) => names2.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})`;
+}
+var TYPEOF_NAMES2, isStrLitNode, typeofArgName, memberGuardTarget, assignGuardTarget, isPrimLitNode;
 var init_stmt_predicates = __esm({
   "../core/src/algebra/exec/transpile/stmt-predicates.ts"() {
     "use strict";
@@ -21844,6 +21895,13 @@ var init_stmt_predicates = __esm({
       }
       return void 0;
     };
+    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;
+    };
   }
 });
 
@@ -21941,14 +21999,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
     );
@@ -21957,9 +22021,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
     );
@@ -22290,15 +22359,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
       );
@@ -23247,14 +23327,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_", names2), guards, "cons", names2);
-  const altFinal = narrowNullishArmThunks(forkArmThunk(altLines, "fk2_", names2), guards, "alt", names2);
+  const consFinal = narrowDiscriminantArmThunks(
+    narrowNullishArmThunks(forkArmThunk(consLines, "fk1_", names2), guards, "cons", names2),
+    parts.discGuards,
+    "cons",
+    names2
+  );
+  const altFinal = narrowDiscriminantArmThunks(
+    narrowNullishArmThunks(forkArmThunk(altLines, "fk2_", names2), guards, "alt", names2),
+    parts.discGuards,
+    "alt",
+    names2
+  );
   return [
     `(() => {`,
     `  const __test = (${parts.alwaysSrc});`,
@@ -23478,6 +23571,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,
@@ -23486,7 +23580,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,
@@ -23495,7 +23590,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": {
@@ -23514,9 +23610,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": {
@@ -24273,7 +24371,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";
@@ -24294,7 +24392,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);
@@ -28324,6 +28422,58 @@ function $narrowTypeOf(a, typeOf2, 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 visit2 = (c) => {
+      if (c.op === "and") {
+        c.args.forEach(visit2);
+        return;
+      }
+      conjuncts.push(c);
+    };
+    visit2(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(typeOf2) {
   switch (typeOf2) {
     case "string":
@@ -28348,7 +28498,10 @@ var init_async = __esm({
   "../core/src/algebra/exec/runtime/async.ts"() {
     "use strict";
     init_abs();
+    init_term();
+    init_pred();
     init_objects();
+    init_leq();
     init_abs_fn();
     init_surface();
     init_state();
@@ -28418,6 +28571,7 @@ __export(runtime_exports, {
   $lt: () => $lt,
   $mod: () => $mod,
   $mul: () => $mul,
+  $narrowMemberEq: () => $narrowMemberEq,
   $narrowTypeOf: () => $narrowTypeOf,
   $ne: () => $ne,
   $neLoose: () => $neLoose,
@@ -60590,7 +60744,7 @@ var require_typescript = __commonJS({
         affectsEmitOptionDeclarations: () => affectsEmitOptionDeclarations,
         allKeysStartWithDot: () => allKeysStartWithDot,
         altDirectorySeparator: () => altDirectorySeparator,
-        and: () => and7,
+        and: () => and8,
         append: () => append,
         appendIfUnique: () => appendIfUnique,
         arrayFrom: () => arrayFrom,
@@ -64045,7 +64199,7 @@ var require_typescript = __commonJS({
       function isPatternMatch({ prefix: prefix2, suffix }, candidate) {
         return candidate.length >= prefix2.length + suffix.length && startsWith(candidate, prefix2) && endsWith(candidate, suffix);
       }
-      function and7(f, g) {
+      function and8(f, g) {
         return (arg) => f(arg) && g(arg);
       }
       function or2(...fs) {
@@ -115131,7 +115285,7 @@ ${lanes.join("\n")}
         SignatureCheckMode3[SignatureCheckMode3["Callback"] = 3] = "Callback";
         return SignatureCheckMode3;
       })(SignatureCheckMode || {});
-      var isNotOverloadAndNotAccessor = and7(isNotOverload, isNotAccessor);
+      var isNotOverloadAndNotAccessor = and8(isNotOverload, isNotAccessor);
       var intrinsicTypeKinds = new Map(Object.entries({
         Uppercase: 0,
         Lowercase: 1,
@@ -158117,7 +158271,7 @@ ${lanes.join("\n")}
                 if (flags & (1920 | 384)) {
                   return;
                 }
-                const exportedDeclarationsCount = countWhere(declarations, and7(isNotOverloadAndNotAccessor, not2(isInterfaceDeclaration)));
+                const exportedDeclarationsCount = countWhere(declarations, and8(isNotOverloadAndNotAccessor, not2(isInterfaceDeclaration)));
                 if (flags & 524288 && exportedDeclarationsCount <= 2) {
                   return;
                 }
@@ -229474,7 +229628,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         const maybeHeritageClauseSymbol = getHeritageClauseSymbolTable(classDeclaration, checker);
         const implementedType = checker.getTypeAtLocation(implementedTypeNode);
         const implementedTypeSymbols = checker.getPropertiesOfType(implementedType);
-        const nonPrivateAndNotExistedInHeritageClauseMembers = implementedTypeSymbols.filter(and7(symbolPointsToNonPrivateMember, (symbol) => !maybeHeritageClauseSymbol.has(symbol.escapedName)));
+        const nonPrivateAndNotExistedInHeritageClauseMembers = implementedTypeSymbols.filter(and8(symbolPointsToNonPrivateMember, (symbol) => !maybeHeritageClauseSymbol.has(symbol.escapedName)));
         const classType = checker.getTypeAtLocation(classDeclaration);
         const constructor = find2(classDeclaration.members, (m) => isConstructorDeclaration(m));
         if (!classType.getNumberIndexType()) {
@@ -256847,7 +257001,7 @@ ${options.prefix}` : "\n" : options.prefix
         affectsEmitOptionDeclarations: () => affectsEmitOptionDeclarations,
         allKeysStartWithDot: () => allKeysStartWithDot,
         altDirectorySeparator: () => altDirectorySeparator,
-        and: () => and7,
+        and: () => and8,
         append: () => append,
         appendIfUnique: () => appendIfUnique,
         arrayFrom: () => arrayFrom,
@@ -288556,7 +288710,7 @@ function runTscBaseline(root, files) {
   }
 }
 async function migrateVerify(paths, opts = {}) {
-  const { checkSource: checkSource2, formatCheckReport: formatCheckReport2, pTrue: pTrue3 } = await Promise.resolve().then(() => (init_src(), src_exports));
+  const { checkSource: checkSource2, formatCheckReport: formatCheckReport2, pTrue: pTrue4 } = await Promise.resolve().then(() => (init_src(), src_exports));
   const { collectSkipReturns: collectSkipReturns2, defaultLoadModule: defaultLoadModule3, findProjectConfig: findProjectConfig3, interfaceConfig: interfaceConfig3, checkConfig: checkConfig2 } = await Promise.resolve().then(() => (init_src4(), src_exports3));
   const files = [];
   for (const p of paths) {
@@ -288581,7 +288735,7 @@ async function migrateVerify(paths, opts = {}) {
     const proj = findProjectConfig3(dirname29(file));
     const cCfg = checkConfig2(proj?.config);
     const autoBind = interfaceConfig3(proj?.config).autoBind;
-    const report = checkSource2(file, source, pTrue3, {
+    const report = checkSource2(file, source, pTrue4, {
       loadModule: defaultLoadModule3,
       fromFile: file,
       ...autoBind === false ? { autoBind: false } : {},
@@ -291010,7 +291164,7 @@ async function healthFile(filePath, records) {
   return report;
 }
 async function countInterfaceDrift(filePath) {
-  const { sidecarPathOf: sidecarPathOf2, checkSource: checkSource2, pTrue: pTrue3 } = await Promise.resolve().then(() => (init_src(), src_exports));
+  const { sidecarPathOf: sidecarPathOf2, checkSource: checkSource2, pTrue: pTrue4 } = await Promise.resolve().then(() => (init_src(), src_exports));
   const { defaultLoadModule: defaultLoadModule3 } = await Promise.resolve().then(() => (init_src4(), src_exports3));
   const { existsSync: ex, readFileSync: rf } = await import("fs");
   const abs2 = resolve18(filePath);
@@ -291028,7 +291182,7 @@ async function countInterfaceDrift(filePath) {
     const proj = findProjectConfig3(dirname28(abs2));
     const autoBind = interfaceConfig3(proj?.config).autoBind;
     const source = rf(abs2, "utf-8");
-    const r = checkSource2(abs2, source, pTrue3, {
+    const r = checkSource2(abs2, source, pTrue4, {
       loadModule: defaultLoadModule3,
       fromFile: abs2,
       ...autoBind === false ? { autoBind: false } : {},

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "nudojs",
-  "version": "1.3.12",
+  "version": "1.3.13",
   "engines": {
     "node": ">=20"
   },
@@ -46,11 +46,11 @@
   "dependencies": {
     "@babel/generator": "^8.0.6",
     "@babel/types": "^8.0.6",
-    "@nudojs/core": "1.8.0",
-    "@nudojs/env": "0.4.26",
-    "@nudojs/harvester": "0.3.12",
-    "@nudojs/parser": "1.4.8",
-    "@nudojs/service": "1.6.11",
+    "@nudojs/core": "1.9.0",
+    "@nudojs/env": "0.4.27",
+    "@nudojs/harvester": "0.3.13",
+    "@nudojs/parser": "1.4.9",
+    "@nudojs/service": "1.6.12",
     "commander": "^15.0.0"
   },
   "devDependencies": {