nudojs 1.3.9 → 1.3.10

package/README.md

@@ -21,6 +21,6 @@ nudojs <version>
 @nudojs/core <version>   # when resolvable
 ```
 
-> **Migration:** `@nudojs/cli` is a deprecated stub that forwards here. Install `nudojs` only.
+> **Migration:** the `@nudojs/cli` forward stub has been retired — install `nudojs` only.
 
 Full documentation: <https://nudojs.github.io/nudo/>

package/dist/index.js

@@ -40820,6 +40820,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 phi2 = opts?.phi ?? pTrue;
   if (ret.shape.k === "never") return proved();
@@ -40854,6 +40863,9 @@ function assertSumArms(arms, parent, constraint, opts, phi2) {
       continue;
     }
     if (isValueSetUnknown(arm) || isWidenedSumArm(arm, parent)) {
+      if (isWidenedSumArm(arm, parent) && provesBarePrimDomain(arm, constraint)) {
+        continue;
+      }
       sawUnprovable = true;
       continue;
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "nudojs",
-  "version": "1.3.9",
+  "version": "1.3.10",
   "engines": {
     "node": ">=20"
   },
@@ -46,11 +46,11 @@
   "dependencies": {
     "@babel/generator": "^8.0.6",
     "@babel/types": "^8.0.6",
-    "@nudojs/core": "1.7.8",
-    "@nudojs/env": "0.4.23",
-    "@nudojs/harvester": "0.3.9",
-    "@nudojs/parser": "1.4.5",
-    "@nudojs/service": "1.6.8",
+    "@nudojs/core": "1.7.9",
+    "@nudojs/env": "0.4.24",
+    "@nudojs/harvester": "0.3.10",
+    "@nudojs/parser": "1.4.6",
+    "@nudojs/service": "1.6.9",
     "commander": "^15.0.0"
   },
   "devDependencies": {