@nudojs/core 1.7.7 → 1.7.9

package/dist/{chunk-4WVYY2KS.js → chunk-5SAMWKI6.js}

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

package/dist/{chunk-JVUHIUFN.js → chunk-YQIRU637.js}

@@ -14694,7 +14694,20 @@ function applyInstanceFields(spec, thisVal) {
 }
 function constructClass(className, thisVal, args) {
   const spec = getEvalClass(className);
-  if (!spec) return thisVal;
+  if (!spec) {
+    if (isErrorCtorName(className)) {
+      const eb = errorBrandAbs(className, args);
+      const instName = thisVal.shape.k === "brand" ? thisVal.shape.name : className;
+      const inner = eb.shape.k === "brand" ? eb.shape.shape : objOf({});
+      return abs(
+        { k: "brand", name: instName, shape: inner },
+        eb.term,
+        eb.pred,
+        eb.conf
+      );
+    }
+    return thisVal;
+  }
   if (spec.ctor) {
     let tv = thisVal;
     if (!spec.superName && !spec.superNull) tv = applyInstanceFields(spec, tv);

package/dist/exec.js

@@ -192,7 +192,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-JVUHIUFN.js";
+} from "./chunk-YQIRU637.js";
 export {
   $absVal,
   $add,

package/dist/index.js

@@ -91,7 +91,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-4WVYY2KS.js";
+} from "./chunk-5SAMWKI6.js";
 import {
   $add,
   $arguments,
@@ -513,7 +513,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-JVUHIUFN.js";
+} from "./chunk-YQIRU637.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -786,6 +786,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 phi = opts?.phi ?? pTrue;
   if (ret.shape.k === "never") return proved();
@@ -820,6 +829,9 @@ function assertSumArms(arms, parent, constraint, opts, phi) {
       continue;
     }
     if (isValueSetUnknown(arm) || isWidenedSumArm(arm, parent)) {
+      if (isWidenedSumArm(arm, parent) && provesBarePrimDomain(arm, constraint)) {
+        continue;
+      }
       sawUnprovable = true;
       continue;
     }

package/dist/internal.js

@@ -21,7 +21,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-4WVYY2KS.js";
+} from "./chunk-5SAMWKI6.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-JVUHIUFN.js";
+} from "./chunk-YQIRU637.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/package.json

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