@nudojs/core 1.7.4 → 1.7.5

package/dist/{chunk-76KJ3D4D.js → chunk-C4JAYZKA.js}

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

package/dist/{chunk-EFOHREUZ.js → chunk-KYUSY6BH.js}

@@ -20240,6 +20240,7 @@ export {
   litTruth,
   isDefinitelyTrue,
   isDefinitelyFalse,
+  isOobUndef,
   runWithLoopExits,
   takeLoopExits,
   takeThrowExits,

package/dist/exec.js

@@ -184,7 +184,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-EFOHREUZ.js";
+} from "./chunk-KYUSY6BH.js";
 export {
   $absVal,
   $add,

package/dist/index.js

@@ -91,7 +91,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-76KJ3D4D.js";
+} from "./chunk-C4JAYZKA.js";
 import {
   $add,
   $arguments,
@@ -351,6 +351,7 @@ import {
   isNumPrim,
   isObj,
   isObjectProtoBrand,
+  isOobUndef,
   isRelFn,
   isSetAbs,
   isStrPrim,
@@ -512,7 +513,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-EFOHREUZ.js";
+} from "./chunk-KYUSY6BH.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -806,6 +807,10 @@ function assertSumArms(arms, parent, constraint, opts, phi) {
   );
   let sawUnprovable = false;
   for (const arm of arms) {
+    if (isOobUndef(arm)) {
+      if (!constraintAdmitsNullish(constraint)) sawUnprovable = true;
+      continue;
+    }
     if (isNullishLitAbs(arm)) {
       if (!constraintAdmitsNullish(constraint)) {
         return disproved(
@@ -831,6 +836,9 @@ function assertSumArms(arms, parent, constraint, opts, phi) {
   return sawUnprovable ? unprovable("sum: some arms unprovable") : proved();
 }
 function assertImpliesSingle(arm, constraint, opts, phi) {
+  if (isOobUndef(arm)) {
+    return constraintAdmitsNullish(constraint) ? proved() : unprovable("out-of-bounds marker arm (abstract index may miss) \u2014 length fact lost");
+  }
   if (isNullishLitAbs(arm)) {
     return constraintAdmitsNullish(constraint) ? proved() : disproved(`nullish return \u22AD ${formatConstraint(constraint)}`);
   }

package/dist/internal.js

@@ -21,7 +21,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-76KJ3D4D.js";
+} from "./chunk-C4JAYZKA.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-EFOHREUZ.js";
+} from "./chunk-KYUSY6BH.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/package.json

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