@nudojs/core 1.12.0 → 1.13.0

package/dist/{chunk-56GO5HYS.js → chunk-A2PLG2QV.js}

@@ -13729,6 +13729,16 @@ function $assumeAnchor(v2, name) {
   if (!mentions) return v2;
   const a = v2;
   if (typeof a !== "object" || a === null || a.term === void 0 || a.term.op === "lit" || a.term.op === "var" && a.term.id === name) {
+    if (a && typeof a === "object" && a.shape?.k === "sum") {
+      const members = a.shape.members.map((m) => {
+        if (m.term === void 0 || m.term.op === "lit" || m.term.op === "var" && m.term.id === name) {
+          return m;
+        }
+        const nt2 = { op: "var", id: name };
+        return { ...m, term: nt2, pred: rewritePred(m.pred, m.term, nt2) };
+      });
+      return { ...a, shape: { ...a.shape, members } };
+    }
     return v2;
   }
   const nt = { op: "var", id: name };
@@ -13808,11 +13818,13 @@ function $not(a) {
 }
 function $eq(a, b) {
   const r = strictEqAbs(a, b);
-  return r === void 0 ? bool() : boolLit(r);
+  if (r !== void 0) return boolLit(r);
+  return cmp("eq", a, b, currentExecPhi());
 }
 function $ne(a, b) {
   const r = strictEqAbs(a, b);
-  return r === void 0 ? bool() : boolLit(!r);
+  if (r !== void 0) return boolLit(!r);
+  return cmp("ne", a, b, currentExecPhi());
 }
 function $eqLoose(a, b) {
   const r = looseEqAbs(a, b);
@@ -27909,6 +27921,12 @@ function numericBounds(a, phi2 = pTrue) {
   if (a.term?.op === "var") {
     collectBoundsFromPhi(phi2, a.term.id, result);
   }
+  if (a.pred && a.term) {
+    collectExclusionsFromPred(a.pred, a.term, result);
+  }
+  if (a.term?.op === "var") {
+    collectExclusionsFromPhi(phi2, a.term.id, result);
+  }
   if (a.term?.op === "lit" && typeof a.term.value === "number" && !Number.isNaN(a.term.value)) {
     result.lo = { value: a.term.value, strict: false };
     result.hi = { value: a.term.value, strict: false };
@@ -27962,6 +27980,44 @@ function collectBoundsFromPhi(phi2, id, acc) {
     noteBoundFromRel(p, isTarget, acc);
   }
 }
+function noteStrictExclusion(p, isTarget, acc) {
+  if (p.op !== "ne") return;
+  const num2 = exclusionLitOf(p, isTarget);
+  if (num2 === void 0) return;
+  if (acc.lo !== void 0 && acc.lo.value === num2 && !acc.lo.strict) {
+    acc.lo = { value: num2, strict: true };
+  }
+  if (acc.hi !== void 0 && acc.hi.value === num2 && !acc.hi.strict) {
+    acc.hi = { value: num2, strict: true };
+  }
+}
+function exclusionLitOf(p, isTarget) {
+  if (isTarget(p.a) && p.b.op === "lit" && typeof p.b.value === "number" && !Number.isNaN(p.b.value)) {
+    return p.b.value;
+  }
+  if (isTarget(p.b) && p.a.op === "lit" && typeof p.a.value === "number" && !Number.isNaN(p.a.value)) {
+    return p.a.value;
+  }
+  return void 0;
+}
+function collectExclusionsFromPred(pred, term, acc) {
+  const isTarget = (t) => termToString(t) === termToString(term);
+  const apply = (p) => {
+    if (p.op === "and") {
+      p.args.forEach(apply);
+      return;
+    }
+    noteStrictExclusion(p, isTarget, acc);
+  };
+  apply(pred);
+}
+function collectExclusionsFromPhi(phi2, id, acc) {
+  const isTarget = (t) => t.op === "var" && t.id === id;
+  const conjs = phi2.op === "and" ? phi2.args : [phi2];
+  for (const p of conjs) {
+    noteStrictExclusion(p, isTarget, acc);
+  }
+}
 function sub(a, b, phi2 = pTrue) {
   {
     const fa = builtinBrandToPrimitive(a, "number");
@@ -28170,6 +28226,11 @@ function div(a, b, phi2 = pTrue, assume) {
     }
     return numLit(va / vb);
   }
+  if (va === 0 && !Object.is(va, -0)) {
+    const bb = numericBounds(b, phi2);
+    const excludesZero = bb !== void 0 && (bb.lo !== void 0 && (bb.lo.value > 0 || bb.lo.value === 0 && bb.lo.strict) || bb.hi !== void 0 && (bb.hi.value < 0 || bb.hi.value === 0 && bb.hi.strict));
+    if (excludesZero) return numLit(0);
+  }
   if (ra.ok && rb.ok && coercibleLit(ra.value) && coercibleLit(rb.value)) {
     return numLit(Number(va) / Number(vb));
   }
@@ -28285,7 +28346,7 @@ function mod(a, b, phi2 = pTrue) {
   return abs({ k: "unknown" }, void 0, void 0, "partial");
 }
 function cmp(op, a, b, phi2 = pTrue) {
-  {
+  if (op !== "eq" && op !== "ne") {
     const fa = builtinBrandToPrimitive(a, "number");
     const fb = builtinBrandToPrimitive(b, "number");
     if (fa || fb) return cmp(op, fa ?? a, fb ?? b, phi2);

package/dist/{chunk-JI2XDARI.js → chunk-V2XC3V72.js}

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

package/dist/exec.js

@@ -206,7 +206,7 @@ import {
   withAssumePremises,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-56GO5HYS.js";
+} from "./chunk-A2PLG2QV.js";
 export {
   $absVal,
   $add,

package/dist/index.js

@@ -66,7 +66,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-JI2XDARI.js";
+} from "./chunk-V2XC3V72.js";
 import {
   $add,
   $arguments,
@@ -526,7 +526,7 @@ import {
   withAssumePremises,
   withExecPhi,
   withVar
-} from "./chunk-56GO5HYS.js";
+} from "./chunk-A2PLG2QV.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-JI2XDARI.js";
+} from "./chunk-V2XC3V72.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-56GO5HYS.js";
+} from "./chunk-A2PLG2QV.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/package.json

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