@nudojs/core 1.7.0 → 1.7.1

package/dist/{chunk-LZJC7X5J.js → chunk-BM3UPEA7.js}

@@ -3128,6 +3128,29 @@ function filterDeclaredThrows(effects, declared) {
 }
 
 // src/algebra/arithmetic.ts
+function distributeSumBinOp(op, a, b, phi2, eval2) {
+  if (a.shape.k !== "sum" && b.shape.k !== "sum") return void 0;
+  const parts = [];
+  const as = a.shape.k === "sum" ? a.shape.members : [a];
+  const bs = b.shape.k === "sum" ? b.shape.members : [b];
+  for (const x of as) {
+    for (const y of bs) {
+      const r = eval2(x, y, phi2);
+      if (r.shape.k === "never") continue;
+      if (r.shape.k === "sum") parts.push(...r.shape.members);
+      else parts.push(r);
+    }
+  }
+  const uniq = dedupAbsMembers(parts);
+  const term = a.term && b.term ? simplifyTerm(app(op, [a.term, b.term])) : void 0;
+  if (uniq.length === 0) {
+    return abs({ k: "unknown" }, term, void 0, "partial");
+  }
+  if (uniq.length === 1) {
+    return abs(uniq[0].shape, term, uniq[0].pred, confJoin(a.conf, b.conf));
+  }
+  return abs({ k: "sum", members: uniq }, term, void 0, "partial");
+}
 function add(a, b, phi2 = pTrue) {
   if (isSymbolAbs(a) || isSymbolAbs(b)) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
@@ -3185,28 +3208,8 @@ function add(a, b, phi2 = pTrue) {
       "partial"
     );
   }
-  if (a.shape.k === "sum" || b.shape.k === "sum") {
-    const parts = [];
-    const as = a.shape.k === "sum" ? a.shape.members : [a];
-    const bs = b.shape.k === "sum" ? b.shape.members : [b];
-    for (const x of as) {
-      for (const y of bs) {
-        const r = add(x, y, phi2);
-        if (r.shape.k === "never") continue;
-        if (r.shape.k === "sum") parts.push(...r.shape.members);
-        else parts.push(r);
-      }
-    }
-    const uniq = dedupAbsMembers(parts);
-    const term = a.term && b.term ? simplifyTerm(app("+", [a.term, b.term])) : void 0;
-    if (uniq.length === 0) {
-      return abs({ k: "unknown" }, term, void 0, "partial");
-    }
-    if (uniq.length === 1) {
-      return abs(uniq[0].shape, term, uniq[0].pred, confJoin(a.conf, b.conf));
-    }
-    return abs({ k: "sum", members: uniq }, term, void 0, "partial");
-  }
+  const distributed = distributeSumBinOp("+", a, b, phi2, add);
+  if (distributed) return distributed;
   if (isNumPrim(a) || isNumPrim(b) || isBigPrim(a) || isBigPrim(b) || a.shape.k === "unknown" || b.shape.k === "unknown" || a.shape.k === "obj" || b.shape.k === "obj" || a.shape.k === "fn" || b.shape.k === "fn" || a.shape.k === "brand" || b.shape.k === "brand") {
     return abs({ k: "sum", members: [num(), str()] }, void 0, void 0, "partial");
   }
@@ -3323,6 +3326,35 @@ function addPred(a, b, sumTerm, phi2) {
   return and(...facts);
 }
 function numericBounds(a, phi2 = pTrue) {
+  if (a.shape.k === "sum") {
+    const members = a.shape.members;
+    let lo;
+    let hi;
+    let loOpen = false;
+    let hiOpen = false;
+    for (const m of members) {
+      const mb = numericBounds(m, phi2);
+      if (!mb) return void 0;
+      if (mb.lo === void 0) {
+        loOpen = true;
+      } else if (!loOpen) {
+        if (lo === void 0 || mb.lo.value < lo.value || mb.lo.value === lo.value && !mb.lo.strict && lo.strict) {
+          lo = mb.lo;
+        }
+      }
+      if (mb.hi === void 0) {
+        hiOpen = true;
+      } else if (!hiOpen) {
+        if (hi === void 0 || mb.hi.value > hi.value || mb.hi.value === hi.value && !mb.hi.strict && hi.strict) {
+          hi = mb.hi;
+        }
+      }
+    }
+    if (loOpen) lo = void 0;
+    if (hiOpen) hi = void 0;
+    if (lo === void 0 && hi === void 0) return void 0;
+    return { lo, hi };
+  }
   if (!isNumPrim(a)) return void 0;
   const result = {};
   if (a.pred && a.term) {
@@ -3429,6 +3461,8 @@ function sub(a, b, phi2 = pTrue) {
   if (isAnyLike(a) || isAnyLike(b)) {
     return toNumberResult(a, b, "-");
   }
+  const distributed = distributeSumBinOp("-", a, b, phi2, sub);
+  if (distributed) return distributed;
   return abs({ k: "unknown" }, void 0, void 0, "partial");
 }
 function mul(a, b, phi2 = pTrue) {
@@ -3501,6 +3535,8 @@ function mul(a, b, phi2 = pTrue) {
   if (isAnyLike(a) || isAnyLike(b)) {
     return toNumberResult(a, b, "*");
   }
+  const distributed = distributeSumBinOp("*", a, b, phi2, mul);
+  if (distributed) return distributed;
   return abs({ k: "unknown" }, void 0, void 0, "partial");
 }
 function div(a, b, phi2 = pTrue) {
@@ -3561,6 +3597,8 @@ function div(a, b, phi2 = pTrue) {
   if (isAnyLike(a) || isAnyLike(b)) {
     return toNumberResult(a, b, "/");
   }
+  const distributed = distributeSumBinOp("/", a, b, phi2, div);
+  if (distributed) return distributed;
   return abs({ k: "unknown" }, void 0, void 0, "partial");
 }
 function mod(a, b, phi2 = pTrue) {
@@ -3611,6 +3649,8 @@ function mod(a, b, phi2 = pTrue) {
   if (isAnyLike(a) || isAnyLike(b)) {
     return toNumberResult(a, b, "%");
   }
+  const distributed = distributeSumBinOp("%", a, b, phi2, mod);
+  if (distributed) return distributed;
   return abs({ k: "unknown" }, void 0, void 0, "partial");
 }
 function cmp(op, a, b, phi2 = pTrue) {
@@ -4156,6 +4196,11 @@ function isNonNaN(a, phi2) {
   if (a.term?.op === "lit") {
     return typeof a.term.value === "number" && !Number.isNaN(a.term.value);
   }
+  if (a.shape.k === "sum") {
+    return a.shape.members.every(
+      (m) => isNonNaN(m, phi2)
+    );
+  }
   const hasNonNaNFact = (p) => {
     if (!p) return false;
     if (p.op === "and") return p.args.some(hasNonNaNFact);
@@ -4277,7 +4322,9 @@ function roundingAbs(name, arg) {
   const impl = name === "round" ? Math.round : name === "floor" ? Math.floor : name === "ceil" ? Math.ceil : Math.trunc;
   const b = numericBounds(arg, phi2);
   const mayNaN = !isNonNaN(arg, phi2);
-  const term = arg.term ? simplifyTerm(app(`Math.${name}`, [arg.term])) : void 0;
+  const term = simplifyTerm(
+    app(`Math.${name}`, [arg.term ?? app("arg0", [])])
+  );
   let out = {};
   if (b) {
     if (b.lo !== void 0) {
@@ -4289,7 +4336,7 @@ function roundingAbs(name, arg) {
       out.hi = Number.isNaN(v2) ? void 0 : { value: v2, strict: false };
     }
   }
-  const pred = term ? boundsToPred(term, out) : void 0;
+  const pred = boundsToPred(term, out);
   const bounded = abs({ k: "prim", type: "number" }, term, pred, "path");
   if (!mayNaN) return bounded;
   return makeSum(numLit(NaN), bounded);

package/dist/{chunk-CEYNHXFC.js → chunk-GC7VNUCB.js}

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

package/dist/exec.js

@@ -177,7 +177,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-LZJC7X5J.js";
+} from "./chunk-BM3UPEA7.js";
 export {
   $add,
   $arguments,

package/dist/index.js

@@ -91,7 +91,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-CEYNHXFC.js";
+} from "./chunk-GC7VNUCB.js";
 import {
   $add,
   $arguments,
@@ -509,7 +509,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-LZJC7X5J.js";
+} from "./chunk-BM3UPEA7.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {

package/dist/internal.js

@@ -19,7 +19,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-CEYNHXFC.js";
+} from "./chunk-GC7VNUCB.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -160,7 +160,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-LZJC7X5J.js";
+} from "./chunk-BM3UPEA7.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/package.json

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