@nudojs/core 1.3.0 → 1.4.0

package/dist/{chunk-CKH6GQAI.js → chunk-LFCF6BLE.js}

@@ -1097,7 +1097,7 @@ function isExactLit(a) {
   return a.conf === "exact" && a.term?.op === "lit";
 }
 function litValue(a) {
-  return a?.term?.op === "lit" ? a.term.value : void 0;
+  return a?.term?.op === "lit" ? { ok: true, value: a.term.value } : { ok: false };
 }
 
 // src/strip-types.ts
@@ -1307,6 +1307,15 @@ function parseSource(source, opts) {
 }
 
 // src/algebra/abs-fn.ts
+function makeAbsApplyResult(abs2, throws) {
+  return { abs: abs2, throws, applyResult: true };
+}
+function isAbsApplyResult(v2) {
+  return !!v2 && typeof v2 === "object" && v2.applyResult === true;
+}
+function absOnly(r) {
+  return isAbsApplyResult(r) ? r.abs : r;
+}
 var implByAbs = /* @__PURE__ */ new WeakMap();
 function attachFnImpl(a, impl) {
   if (a && typeof a === "object") implByAbs.set(a, impl);
@@ -1520,8 +1529,10 @@ function derivationChain(node) {
 }
 function noteDerivationAdd(a, b, result) {
   if (!sessionNodes) return;
-  const vb = litValue(b);
-  const va = litValue(a);
+  const vbR = litValue(b);
+  const vb = vbR.ok ? vbR.value : void 0;
+  const vaR = litValue(a);
+  const va = vaR.ok ? vaR.value : void 0;
   let parent;
   let offset;
   if (typeof vb === "number" && Number.isFinite(vb)) {
@@ -1629,7 +1640,8 @@ function setSlot(slots, key, slot) {
   });
 }
 function setProtoAbs(o, proto) {
-  const pv = litValue(proto);
+  const pvR = litValue(proto);
+  const pv = pvR.ok ? pvR.value : void 0;
   if (pv === null) return markNullProtoObj(o);
   if (proto.term?.op === "lit" && (pv === void 0 || typeof pv !== "object")) {
     return o;
@@ -1731,11 +1743,13 @@ function joinObjects(a, b) {
 function joinValues(a, b) {
   if (a.shape.k === "never") return b;
   if (b.shape.k === "never") return a;
-  const va = litValue(a);
-  const vb = litValue(b);
-  if (va !== void 0 && Object.is(va, vb)) return a;
+  const vaR = litValue(a);
+  const vbR = litValue(b);
+  if (vaR.ok && vbR.ok && Object.is(vaR.value, vbR.value)) return a;
   if (a.shape.k === "prim" && b.shape.k === "prim" && a.shape.type === b.shape.type) {
-    if (va !== void 0 && vb !== void 0) {
+    if (vaR.ok && vbR.ok) {
+      const va = vaR.value;
+      const vb = vbR.value;
       const nanA = typeof va === "number" && Number.isNaN(va);
       const nanB = typeof vb === "number" && Number.isNaN(vb);
       if (nanA || nanB) {
@@ -1749,11 +1763,13 @@ function joinValues(a, b) {
 }
 function makeSum(a, b) {
   const members = flattenSum([a, b]);
+  if (members.length === 0) return never;
   if (members.length === 1) return members[0];
   if (members.length > 16) {
     const first = members[0];
     const samePrimLit = first.shape.k === "prim" && members.every(
-      (m) => m.shape.k === "prim" && m.shape.type === first.shape.type && litValue(m) !== void 0
+      (m) => m.shape.k === "prim" && m.shape.type === first.shape.type && // litValue 哨兵对 lit(undefined) 折成 undefined，须看 term
+      m.term?.op === "lit"
     );
     if (samePrimLit) {
       return abs(first.shape, void 0, void 0, "path");
@@ -1786,8 +1802,7 @@ function absShapeKey(a, seen = /* @__PURE__ */ new Set()) {
   try {
     const s = a.shape;
     if (s.k === "prim") {
-      const lv = litValue(a);
-      if (lv !== void 0) return `prim:${s.type}:${String(lv)}`;
+      if (a.term?.op === "lit") return `prim:${s.type}:${String(a.term.value)}`;
       const t = a.term ? termToString(a.term) : "";
       const p = a.pred && a.pred.op !== "true" ? predToString(a.pred) : "";
       return `prim:${s.type}:${t}:${p}`;
@@ -2597,6 +2612,10 @@ function asAbs(v2) {
 }
 
 // src/algebra/template.ts
+function litStrOf(a) {
+  const r = litValue(a);
+  return r.ok ? String(r.value) : "";
+}
 function viewTemplateParts(parts, describe) {
   return parts.map((p) => {
     const d = describe(p);
@@ -2725,7 +2744,10 @@ function isTemplateAbs(a) {
   return a.shape.k === "prim" && a.shape.type === "string" && !!a.pred && a.pred.name?.startsWith("`") === true && Array.isArray(a.pred.meta?.templateParts);
 }
 function describeAbsPart(p) {
-  if (isStrLit(p)) return { fixed: String(litValue(p)) };
+  if (isStrLit(p)) {
+    const r = litValue(p);
+    return { fixed: r.ok ? String(r.value) : "" };
+  }
   return { render: p.term ? termToString(p.term) : "string" };
 }
 function absTemplateViews(parts) {
@@ -2778,7 +2800,7 @@ function concatString(a, b) {
   if (isStrLit(a) && isStrLit(b)) {
     return abs(
       { k: "prim", type: "string" },
-      lit(String(litValue(a)) + String(litValue(b))),
+      lit(String(litStrOf(a)) + String(litStrOf(b))),
       void 0,
       "exact"
     );
@@ -3045,9 +3067,11 @@ function add(a, b, phi2 = pTrue) {
   if (isSymbolAbs(a) || isSymbolAbs(b)) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
-  const va = litValue(a);
-  const vb = litValue(b);
-  if (va !== void 0 && vb !== void 0) {
+  const ra = litValue(a);
+  const rb = litValue(b);
+  if (ra.ok && rb.ok) {
+    const va = ra.value;
+    const vb = rb.value;
     if (typeof va === "number" && typeof vb === "number") {
       return numLit(va + vb);
     }
@@ -3061,8 +3085,8 @@ function add(a, b, phi2 = pTrue) {
   if (isStrPrim(a) || isStrPrim(b) || isTemplateLike(a) || isTemplateLike(b)) {
     return concatString(a, b);
   }
-  if (coercibleLit(va) && coercibleLit(vb)) {
-    return numLit(Number(va) + Number(vb));
+  if (ra.ok && rb.ok && coercibleLit(ra.value) && coercibleLit(rb.value)) {
+    return numLit(Number(ra.value) + Number(rb.value));
   }
   const big = foldBigintBinOp(a, b, (x, y) => x + y);
   if (big) return big;
@@ -3124,17 +3148,19 @@ function add(a, b, phi2 = pTrue) {
   return abs({ k: "unknown" }, void 0, void 0, "partial");
 }
 function isKnownNonBigintNumeric(a) {
-  const va = litValue(a);
-  if (typeof va === "number" || typeof va === "boolean" || va === null) return true;
-  if (a.term?.op === "lit" && a.term.value === void 0) return true;
+  const r = litValue(a);
+  if (r.ok && (typeof r.value === "number" || typeof r.value === "boolean" || r.value === null)) return true;
+  if (r.ok && r.value === void 0) return true;
   return a.shape.k === "prim" && (a.shape.type === "number" || a.shape.type === "boolean");
 }
 function isMaybeBigintOperand(a) {
   return a.shape.k === "any" || a.shape.k === "unknown" || a.shape.k === "obj" || a.shape.k === "fn" || a.shape.k === "brand" || a.shape.k === "sum";
 }
 function foldBigintBinOp(a, b, op) {
-  const va = litValue(a);
-  const vb = litValue(b);
+  const ra = litValue(a);
+  const rb = litValue(b);
+  const va = ra.ok ? ra.value : void 0;
+  const vb = rb.ok ? rb.value : void 0;
   if (typeof va !== "bigint" && typeof vb !== "bigint") return void 0;
   if (typeof va === "bigint" && typeof vb === "bigint") {
     try {
@@ -3194,7 +3220,7 @@ function isAnyLike(a) {
   return false;
 }
 function coercibleLit(v2) {
-  return v2 !== void 0 && (typeof v2 === "number" || typeof v2 === "string" || typeof v2 === "boolean" || v2 === null);
+  return typeof v2 === "number" || typeof v2 === "string" || typeof v2 === "boolean" || v2 === null;
 }
 function toNumberResult(a, b, op) {
   const term = a.term && b.term ? app(op, [a.term, b.term]) : void 0;
@@ -3297,18 +3323,18 @@ function sub(a, b, phi2 = pTrue) {
   if (isSymbolAbs(a) || isSymbolAbs(b)) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
-  const va = litValue(a);
-  const vb = litValue(b);
+  const ra = litValue(a);
+  const rb = litValue(b);
   const big = foldBigintBinOp(a, b, (x, y) => x - y);
   if (big) return big;
   if (isBigPrim(a) && isBigPrim(b)) {
     return abs({ k: "prim", type: "bigint" }, void 0, void 0, confJoin(a.conf, b.conf));
   }
-  if (typeof va === "number" && typeof vb === "number") {
-    return numLit(va - vb);
+  if (ra.ok && rb.ok && typeof ra.value === "number" && typeof rb.value === "number") {
+    return numLit(ra.value - rb.value);
   }
-  if (coercibleLit(va) && coercibleLit(vb)) {
-    return numLit(Number(va) - Number(vb));
+  if (ra.ok && rb.ok && coercibleLit(ra.value) && coercibleLit(rb.value)) {
+    return numLit(Number(ra.value) - Number(rb.value));
   }
   if (isNumericLike(a) && isNumericLike(b) && a.term && b.term) {
     const term = simplifyTerm(app("-", [a.term, b.term]));
@@ -3344,18 +3370,18 @@ function mul(a, b, phi2 = pTrue) {
   if (isSymbolAbs(a) || isSymbolAbs(b)) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
-  const va = litValue(a);
-  const vb = litValue(b);
+  const ra = litValue(a);
+  const rb = litValue(b);
   const big = foldBigintBinOp(a, b, (x, y) => x * y);
   if (big) return big;
   if (isBigPrim(a) && isBigPrim(b)) {
     return abs({ k: "prim", type: "bigint" }, void 0, void 0, confJoin(a.conf, b.conf));
   }
-  if (typeof va === "number" && typeof vb === "number") {
-    return numLit(va * vb);
+  if (ra.ok && rb.ok && typeof ra.value === "number" && typeof rb.value === "number") {
+    return numLit(ra.value * rb.value);
   }
-  if (coercibleLit(va) && coercibleLit(vb)) {
-    return numLit(Number(va) * Number(vb));
+  if (ra.ok && rb.ok && coercibleLit(ra.value) && coercibleLit(rb.value)) {
+    return numLit(Number(ra.value) * Number(rb.value));
   }
   if (isNumericLike(a) && isNumericLike(b) && a.term && b.term) {
     const term = simplifyTerm(app("*", [a.term, b.term]));
@@ -3416,8 +3442,10 @@ function div(a, b, phi2 = pTrue) {
   if (isSymbolAbs(a) || isSymbolAbs(b)) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
-  const va = litValue(a);
-  const vb = litValue(b);
+  const ra = litValue(a);
+  const rb = litValue(b);
+  const va = ra.ok ? ra.value : void 0;
+  const vb = rb.ok ? rb.value : void 0;
   const big = foldBigintBinOp(a, b, (x, y) => x / y);
   if (big) return big;
   if (isBigPrim(a) && isBigPrim(b)) {
@@ -3429,7 +3457,7 @@ function div(a, b, phi2 = pTrue) {
     }
     return numLit(va / vb);
   }
-  if (coercibleLit(va) && coercibleLit(vb)) {
+  if (ra.ok && rb.ok && coercibleLit(ra.value) && coercibleLit(rb.value)) {
     return numLit(Number(va) / Number(vb));
   }
   if (isNumericLike(a) && isNumericLike(b) && a.term && b.term) {
@@ -3474,8 +3502,10 @@ function mod(a, b, phi2 = pTrue) {
   if (isSymbolAbs(a) || isSymbolAbs(b)) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
-  const va = litValue(a);
-  const vb = litValue(b);
+  const ra = litValue(a);
+  const rb = litValue(b);
+  const va = ra.ok ? ra.value : void 0;
+  const vb = rb.ok ? rb.value : void 0;
   const big = foldBigintBinOp(a, b, (x, y) => x % y);
   if (big) return big;
   if (isBigPrim(a) && isBigPrim(b)) {
@@ -3484,7 +3514,7 @@ function mod(a, b, phi2 = pTrue) {
   if (typeof va === "number" && typeof vb === "number") {
     return numLit(va % vb);
   }
-  if (coercibleLit(va) && coercibleLit(vb)) {
+  if (ra.ok && rb.ok && coercibleLit(ra.value) && coercibleLit(rb.value)) {
     return numLit(Number(va) % Number(vb));
   }
   if (isNumericLike(a) && isNumericLike(b) && a.term && b.term) {
@@ -3519,16 +3549,19 @@ 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" && (isSymbolAbs(a) || isSymbolAbs(b))) {
+    throw new NudoThrow(errorTypeAbs("TypeError"));
+  }
   const ta = a.term;
   const tb = b.term;
   if (ta?.op === "lit" && tb?.op === "lit") {
     const result = compareLits(op, ta.value, tb.value);
     if (result !== void 0) return boolLit(result);
   } else {
-    const va = litValue(a);
-    const vb = litValue(b);
-    if (va !== void 0 && vb !== void 0) {
-      const result = compareLits(op, va, vb);
+    const ra = litValue(a);
+    const rb = litValue(b);
+    if (ra.ok && rb.ok) {
+      const result = compareLits(op, ra.value, rb.value);
       if (result !== void 0) return boolLit(result);
     }
   }
@@ -3975,7 +4008,8 @@ function evalObjectMethod(name, args) {
       if (a0 === void 0 || a0.term?.op === "lit" && a0.term.value === void 0) {
         throw new NudoThrow(errorTypeAbs("TypeError"));
       }
-      const protoV = litValue(a0);
+      const protoVR = litValue(a0);
+      const protoV = protoVR.ok ? protoVR.value : void 0;
       if (protoV === null) return markNullProtoObj(abs({ k: "obj", slots: {} }, void 0, void 0, "exact"));
       if (typeof protoV === "object") {
         return abs({ k: "obj", slots: {} }, void 0, void 0, "path");
@@ -4096,7 +4130,8 @@ function evalObjectMethod(name, args) {
       if (a0.term?.op === "lit" && (a0.term.value === null || a0.term.value === void 0)) {
         throw new NudoThrow(errorTypeAbs("TypeError"));
       }
-      const key = args[1] ? litValue(args[1]) : void 0;
+      const keyR = args[1] ? litValue(args[1]) : void 0;
+      const key = keyR?.ok ? keyR.value : void 0;
       if (typeof key !== "string") return boolPrim();
       if (a0.shape.k === "obj") {
         const shape = a0.shape;
@@ -4122,7 +4157,8 @@ function evalObjectMethod(name, args) {
       if (!t0 || !p0) {
         throw new NudoThrow(errorTypeAbs("TypeError"));
       }
-      const pv = litValue(p0);
+      const pvR = litValue(p0);
+      const pv = pvR.ok ? pvR.value : void 0;
       if (p0.term?.op === "lit" && (pv === void 0 || pv !== null && typeof pv !== "object")) {
         throw new NudoThrow(errorTypeAbs("TypeError"));
       }
@@ -4268,7 +4304,8 @@ function evalObjectMethod(name, args) {
       return boolLit(extStateOf(t) === void 0);
     }
     case "defineProperty": {
-      const kv = args[1] ? litValue(args[1]) : void 0;
+      const kvR = args[1] ? litValue(args[1]) : void 0;
+      const kv = kvR?.ok ? kvR.value : void 0;
       if (!a0 || typeof kv !== "string" && typeof kv !== "number") return a0;
       if (a0.term?.op === "lit") throw new NudoThrow(errorTypeAbs("TypeError"));
       const key = String(kv);
@@ -4278,9 +4315,8 @@ function evalObjectMethod(name, args) {
       const field = (k) => {
         const s = dslots[k]?.value;
         if (!s) return { present: false, v: void 0 };
-        const lv = litValue(s);
-        if (lv !== void 0) return { present: true, v: lv };
-        if (s.term?.op === "lit" && s.term.value === void 0) return { present: true, v: void 0 };
+        const lvR = litValue(s);
+        if (lvR.ok) return { present: true, v: lvR.value };
         return { present: true, v: "fn-or-abstract" };
       };
       const getF = field("get");
@@ -4292,7 +4328,9 @@ function evalObjectMethod(name, args) {
       if (accessorPresent && valueF.present && valueF.v !== void 0) return unknown;
       const dv = (k) => {
         const s = dslots[k]?.value;
-        return s ? litValue(s) : void 0;
+        if (!s) return void 0;
+        const r = litValue(s);
+        return r.ok ? r.value : void 0;
       };
       const value = dv("value");
       const toBool = (k) => {
@@ -4497,7 +4535,8 @@ function radixLitArg(a) {
 }
 function evalNumberStatic(name, args) {
   const a0Arg = args[0];
-  const a0 = a0Arg ? litValue(a0Arg) : void 0;
+  const a0R = a0Arg ? litValue(a0Arg) : void 0;
+  const a0 = a0R?.ok ? a0R.value : void 0;
   const foldStrictNumberPred = (pred) => {
     if (!a0Arg) return boolLit(false);
     if (a0Arg.term?.op !== "lit") return void 0;
@@ -4759,7 +4798,8 @@ function elementsFrom(iterable) {
   if (iterable.shape.k === "sum") {
     return iterable.shape.members.flatMap(elementsFrom);
   }
-  const sv = litValue(iterable);
+  const svR = litValue(iterable);
+  const sv = svR.ok && typeof svR.value === "string" ? svR.value : void 0;
   if (typeof sv === "string") {
     return [...sv].map((c) => strLit(c));
   }
@@ -4773,7 +4813,8 @@ function ctorArgDefinitelyInvalid(name, iterable) {
   if (iterable.term?.op === "lit" && iterable.term.value === void 0) return false;
   const nonIterableLit = (a) => {
     if (a.shape.k === "prim") {
-      const v2 = litValue(a);
+      const vR = litValue(a);
+      const v2 = vR.ok ? vR.value : void 0;
       if (typeof v2 === "string") return false;
       return true;
     }
@@ -4783,7 +4824,8 @@ function ctorArgDefinitelyInvalid(name, iterable) {
   if (nonIterableLit(iterable)) return true;
   if (name !== "Map") return false;
   const primEntry = (a) => a.shape.k === "prim";
-  const sv = litValue(iterable);
+  const svR = litValue(iterable);
+  const sv = svR.ok && typeof svR.value === "string" ? svR.value : void 0;
   if (typeof sv === "string") return sv.length > 0;
   if (iterable.shape.k === "tuple") return iterable.shape.elements.some(primEntry);
   if (isSetAbs(iterable)) return setElementsAbs(iterable).some(primEntry);
@@ -5179,7 +5221,8 @@ function makeSymbolAbs(descArg) {
 var isSymbolAbs2 = isSymbolAbs;
 function symbolDescriptiveString(a) {
   const d = symbolDescriptionAbs(a);
-  const dv = d ? litValue(d) : void 0;
+  const dvR = d ? litValue(d) : void 0;
+  const dv = dvR?.ok ? dvR.value : void 0;
   if (typeof dv === "string") return dv.length > 0 ? `Symbol(${dv})` : "Symbol()";
   return "Symbol()";
 }
@@ -5223,7 +5266,8 @@ function makeArrayCtorAbs(args) {
   if (a0.term?.op !== "lit") {
     return abs({ k: "arr", element: unknown }, void 0, void 0, "partial");
   }
-  const n = litValue(a0);
+  const nR = litValue(a0);
+  const n = nR.ok ? nR.value : void 0;
   if (typeof n === "number") {
     if (!Number.isInteger(n) || n < 0 || n > 4294967295) {
       throw new NudoThrow(errorTypeAbs("RangeError"));
@@ -5301,8 +5345,9 @@ function evalArrayStatic(name, args) {
         return abs({ k: "arr", element: el }, void 0, void 0, "path");
       }
       if (k === "prim" && a0.shape.type === "string") {
-        const sv = litValue(a0);
-        if (typeof sv === "string" && hasMapFn && sv.length > 0) {
+        const svR = litValue(a0);
+        const sv = svR.ok && typeof svR.value === "string" ? svR.value : void 0;
+        if (sv !== void 0 && hasMapFn && sv.length > 0) {
           const cps = [...sv];
           let el = mapOne(strLit(cps[0]), numLit(0));
           for (let i = 1; i < cps.length; i++) el = joinAbs(el, mapOne(strLit(cps[i]), numLit(i)));
@@ -5318,7 +5363,8 @@ function evalArrayStatic(name, args) {
       if (k === "obj") {
         const slots = a0.shape.slots ?? {};
         const lenSlot = slots["length"]?.value;
-        const n = lenSlot ? litValue(lenSlot) : void 0;
+        const nR = lenSlot ? litValue(lenSlot) : void 0;
+        const n = nR?.ok ? nR.value : void 0;
         if (typeof n === "number" && Number.isInteger(n) && n >= 0 && n <= 4096) {
           if (n === 0) return abs({ k: "arr", element: unknown }, void 0, void 0, "path");
           let el = mapOne(undefAbs(), numLit(0));
@@ -5457,7 +5503,8 @@ function tryMakeRegexAbs(args) {
   if (typeof pv === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
   const fAbs = args[1];
   if (fAbs && fAbs.term?.op !== "lit") return void 0;
-  const fv = fAbs ? litValue(fAbs) : void 0;
+  const fvR = fAbs ? litValue(fAbs) : void 0;
+  const fv = fvR?.ok ? fvR.value : void 0;
   if (typeof fv === "symbol") throw new NudoThrow(errorTypeAbs("TypeError"));
   const flags = fv === void 0 ? "" : String(fv);
   try {
@@ -5472,9 +5519,12 @@ function evalRegExpMethod(name, recv, args) {
   if (name === "test" || name === "exec") {
     const inner = recv.shape.k === "brand" && recv.shape.name === "RegExp" ? recv.shape.shape : void 0;
     const slots = inner && inner.shape.k === "obj" ? inner.shape.slots : void 0;
-    const pat = slots ? litValue(slots["source"]?.value) : void 0;
-    const flagsV = slots ? litValue(slots["flags"]?.value) : void 0;
-    const subject = args[0] ? litValue(args[0]) : void 0;
+    const patR = slots ? litValue(slots["source"]?.value) : void 0;
+    const pat = patR?.ok ? patR.value : void 0;
+    const flagsVR = slots ? litValue(slots["flags"]?.value) : void 0;
+    const flagsV = flagsVR?.ok ? flagsVR.value : void 0;
+    const subjectR = args[0] ? litValue(args[0]) : void 0;
+    const subject = subjectR?.ok ? subjectR.value : void 0;
     if (typeof pat === "string" && typeof subject === "string") {
       try {
         const re = new RegExp(pat, typeof flagsV === "string" ? flagsV : "");
@@ -5955,7 +6005,8 @@ function evalBuiltinNew(className, args) {
         "path"
       );
     case "String": {
-      const a0 = args[0] ? litValue(args[0]) : void 0;
+      const a0R = args[0] ? litValue(args[0]) : void 0;
+      const a0 = a0R?.ok && typeof a0R.value === "string" ? a0R.value : void 0;
       if (typeof a0 === "string") {
         const slots = {
           length: { value: numLit(a0.length) }
@@ -6070,7 +6121,8 @@ function toBigIntAbs(args) {
   );
 }
 function evalGlobalFn(name, args) {
-  const a0 = args[0] ? litValue(args[0]) : void 0;
+  const a0R = args[0] ? litValue(args[0]) : void 0;
+  const a0 = a0R?.ok ? a0R.value : void 0;
   const a0Lit = litTermOf(args[0]);
   switch (name) {
     case "eval":
@@ -6246,7 +6298,8 @@ function hasOwnDecision(recv, key) {
       if (key === "length") return boolLit(true);
       const idx = canonicalArrayIndex(key);
       if (idx !== void 0) {
-        const lit3 = litValue(recv);
+        const litR = litValue(recv);
+        const lit3 = litR.ok && typeof litR.value === "string" ? litR.value : void 0;
         if (typeof lit3 === "string") return boolLit(idx < lit3.length);
         return boolPrimB();
       }
@@ -6262,7 +6315,8 @@ function hasOwnDecision(recv, key) {
 }
 function propertyIsEnumerableDecision(recv, key) {
   const own = hasOwnDecision(recv, key);
-  const ownV = litValue(own);
+  const ownR = litValue(own);
+  const ownV = ownR.ok ? ownR.value : void 0;
   if (ownV === false) return boolLit(false);
   if (key === "length") {
     const s = recv.shape;
@@ -6324,7 +6378,8 @@ function typeTagOf(recv) {
     if (inner.shape.k === "obj") {
       const tag = getSlot(inner.shape.slots, "@@toStringTag");
       if (tag) {
-        const v2 = litValue(tag.value);
+        const vR = litValue(tag.value);
+        const v2 = vR.ok ? vR.value : void 0;
         if (typeof v2 === "string") return v2;
       }
     }
@@ -6336,7 +6391,8 @@ function typeTagOf(recv) {
   if (s.k === "obj") {
     const tag = getSlot(s.slots, "@@toStringTag");
     if (tag) {
-      const v2 = litValue(tag.value);
+      const vR = litValue(tag.value);
+      const v2 = vR.ok ? vR.value : void 0;
       if (typeof v2 === "string") return v2;
     }
     return "Object";
@@ -6411,7 +6467,8 @@ function coercibleNumberLit(v2) {
   return typeof v2 === "number" || typeof v2 === "string" || typeof v2 === "boolean" || v2 === null;
 }
 function isKnownNonBigintNumeric2(a) {
-  const va = litValue(a);
+  const vaR = litValue(a);
+  const va = vaR.ok ? vaR.value : void 0;
   if (typeof va === "number" || typeof va === "boolean" || va === null) return true;
   if (a.term?.op === "lit" && a.term.value === void 0) return true;
   return a.shape.k === "prim" && (a.shape.type === "number" || a.shape.type === "boolean");
@@ -6423,8 +6480,10 @@ function foldNumericBinOp(a, b, numOp, bigOp) {
   if (isSymbolAbs(a) || isSymbolAbs(b)) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
-  const va = litValue(a);
-  const vb = litValue(b);
+  const ra = litValue(a);
+  const rb = litValue(b);
+  const va = ra.ok ? ra.value : void 0;
+  const vb = rb.ok ? rb.value : void 0;
   if (!bigOp && (typeof va === "bigint" || typeof vb === "bigint" || isBigPrim(a) || isBigPrim(b))) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
@@ -6458,10 +6517,10 @@ function foldNumericBinOp(a, b, numOp, bigOp) {
     }
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
-  if (coercibleNumberLit(va) && coercibleNumberLit(vb)) {
+  if (ra.ok && rb.ok && coercibleNumberLit(ra.value) && coercibleNumberLit(rb.value)) {
     return abs(
       { k: "prim", type: "number" },
-      lit(numOp(Number(va), Number(vb))),
+      lit(numOp(Number(ra.value), Number(rb.value))),
       pTrue,
       "exact"
     );
@@ -6472,7 +6531,8 @@ function foldNumericUnOp(a, numOp, bigOp) {
   if (isSymbolAbs(a)) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
-  const v2 = litValue(a);
+  const r = litValue(a);
+  const v2 = r.ok ? r.value : void 0;
   if (typeof v2 === "bigint") {
     if (!bigOp) throw new NudoThrow(errorTypeAbs("TypeError"));
     try {
@@ -6482,8 +6542,8 @@ function foldNumericUnOp(a, numOp, bigOp) {
       throw new NudoThrow(errorTypeAbs("TypeError"));
     }
   }
-  if (coercibleNumberLit(v2)) {
-    return abs({ k: "prim", type: "number" }, lit(numOp(Number(v2))), pTrue, "exact");
+  if (r.ok && coercibleNumberLit(r.value)) {
+    return abs({ k: "prim", type: "number" }, lit(numOp(Number(r.value))), pTrue, "exact");
   }
   return void 0;
 }
@@ -6533,7 +6593,8 @@ function powAbs(a, b) {
   return foldNumericBinOp(a, b, (x, y) => x ** y, (x, y) => x ** y) ?? bitwiseResultShape(a, b);
 }
 function toNumericAbs(a) {
-  const v2 = litValue(a);
+  const vR = litValue(a);
+  const v2 = vR.ok ? vR.value : void 0;
   if (typeof v2 === "bigint") return bigintLit(v2);
   if (isBigPrim(a)) return a;
   if (a.term?.op === "lit" && a.term.value === void 0) {
@@ -6562,8 +6623,10 @@ function updateSubAbs(a) {
   return subNumeric(n, one);
 }
 function addNumeric(a, b) {
-  const va = litValue(a);
-  const vb = litValue(b);
+  const ra = litValue(a);
+  const rb = litValue(b);
+  const va = ra.ok ? ra.value : void 0;
+  const vb = rb.ok ? rb.value : void 0;
   if (typeof va === "bigint" && typeof vb === "bigint") return bigintLit(va + vb);
   if (typeof va === "number" && typeof vb === "number") return numLit(va + vb);
   const big = a.shape.k === "prim" && a.shape.type === "bigint" || typeof va === "bigint";
@@ -6575,8 +6638,10 @@ function addNumeric(a, b) {
   );
 }
 function subNumeric(a, b) {
-  const va = litValue(a);
-  const vb = litValue(b);
+  const ra = litValue(a);
+  const rb = litValue(b);
+  const va = ra.ok ? ra.value : void 0;
+  const vb = rb.ok ? rb.value : void 0;
   if (typeof va === "bigint" && typeof vb === "bigint") return bigintLit(va - vb);
   if (typeof va === "number" && typeof vb === "number") return numLit(va - vb);
   const big = a.shape.k === "prim" && a.shape.type === "bigint" || typeof va === "bigint";
@@ -6591,12 +6656,13 @@ function toNumberAbs(a) {
   if (isSymbolAbs(a)) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
-  const v2 = litValue(a);
+  const r = litValue(a);
+  const v2 = r.ok ? r.value : void 0;
   if (typeof v2 === "bigint" || isBigPrim(a)) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
-  if (coercibleNumberLit(v2)) {
-    return abs({ k: "prim", type: "number" }, lit(Number(v2)), pTrue, "exact");
+  if (r.ok && coercibleNumberLit(r.value)) {
+    return abs({ k: "prim", type: "number" }, lit(Number(r.value)), pTrue, "exact");
   }
   if (a.shape.k === "prim") {
     if (a.shape.type === "number") return a;
@@ -6613,7 +6679,8 @@ function typeofAbs(a) {
   if (!a || typeof a !== "object" || !("shape" in a)) {
     return abs({ k: "prim", type: "string" }, void 0, void 0, "partial");
   }
-  const v2 = litValue(a);
+  const vR = litValue(a);
+  const v2 = vR.ok ? vR.value : void 0;
   if (v2 === null) return strLit("object");
   if (a.term?.op === "lit" && a.term.value === void 0) {
     return strLit("undefined");
@@ -6663,7 +6730,8 @@ function negAbs(a, _phi = pTrue) {
   if (isSymbolAbs(a)) {
     throw new NudoThrow(errorTypeAbs("TypeError"));
   }
-  const v2 = litValue(a);
+  const vR = litValue(a);
+  const v2 = vR.ok ? vR.value : void 0;
   if (typeof v2 === "number") return numLitAbs(-v2);
   if (typeof v2 === "bigint") return bigintLit(-v2);
   if (a.term?.op === "lit") {
@@ -6797,11 +6865,11 @@ function strictEqAbs(a, b) {
     if (ia !== void 0 && ib !== void 0) return ia === ib;
     return void 0;
   }
-  const va = litValue(a);
-  const vb = litValue(b);
-  if (va !== void 0 && vb !== void 0) return va === vb;
-  const aNullish = va === null || a.term?.op === "lit" && a.term.value === void 0;
-  const evalNullish = vb === null || b.term?.op === "lit" && b.term.value === void 0;
+  const vaR = litValue(a);
+  const vbR = litValue(b);
+  if (vaR.ok && vbR.ok) return vaR.value === vbR.value;
+  const aNullish = vaR.ok && (vaR.value === null || vaR.value === void 0);
+  const evalNullish = vbR.ok && (vbR.value === null || vbR.value === void 0);
   if (evalNullish && definitelyNotNullishShape(a.shape)) return false;
   if (aNullish && definitelyNotNullishShape(b.shape)) return false;
   if (a.term && b.term && a.term.op === "var" && b.term.op === "var" && a.term.id === b.term.id) {
@@ -6912,7 +6980,8 @@ function toUint32Limit(v2) {
 }
 function callAbsMethod(recv, name, args) {
   if (!isStrRecv(recv)) return void 0;
-  const a0 = args[0] ? litValue(args[0]) : void 0;
+  const a0R = args[0] ? litValue(args[0]) : void 0;
+  const a0 = a0R?.ok ? a0R.value : void 0;
   const a0Str = toStringArg(args[0]);
   const lit3 = recv.term?.op === "lit" && typeof recv.term.value === "string" ? recv.term.value : void 0;
   if (isTemplateLike(recv)) {
@@ -6952,7 +7021,8 @@ function callAbsMethod(recv, name, args) {
     case "endsWith":
     case "includes": {
       const a1Abs = args[1];
-      const a1 = a1Abs ? litValue(a1Abs) : void 0;
+      const a1R = a1Abs ? litValue(a1Abs) : void 0;
+      const a1 = a1R?.ok ? a1R.value : void 0;
       const a1Unknown = a1Abs !== void 0 && a1Abs.term?.op !== "lit";
       if (a1Unknown) return boolPrim5();
       if (lit3 !== void 0 && a0Str !== void 0) {
@@ -6972,7 +7042,8 @@ function callAbsMethod(recv, name, args) {
     case "substring":
       if (lit3 !== void 0) {
         if (!isFoldableIndexArg(args[0]) || !isFoldableIndexArg(args[1])) return strPrim("path");
-        const a1 = args[1] ? litValue(args[1]) : void 0;
+        const a1R = args[1] ? litValue(args[1]) : void 0;
+        const a1 = a1R?.ok ? a1R.value : void 0;
         if (name === "slice") {
           return strLit(lit3.slice(a0, a1));
         }
@@ -7014,7 +7085,8 @@ function callAbsMethod(recv, name, args) {
       const search = toStringArg(args[0]);
       if (search === void 0) return numPrim5("path");
       if (!isFoldableIndexArg(args[1])) return numPrim5("path");
-      const from = args[1] ? litValue(args[1]) : void 0;
+      const fromR = args[1] ? litValue(args[1]) : void 0;
+      const from = fromR?.ok ? fromR.value : void 0;
       return numLit(
         name === "indexOf" ? lit3.indexOf(search, from) : lit3.lastIndexOf(search, from)
       );
@@ -7027,7 +7099,8 @@ function callAbsMethod(recv, name, args) {
     case "split": {
       if (lit3 !== void 0) {
         const limAbs = args[1];
-        const lim = limAbs ? litValue(limAbs) : void 0;
+        const limR = limAbs ? litValue(limAbs) : void 0;
+        const lim = limR?.ok ? limR.value : void 0;
         if (limAbs !== void 0 && limAbs.term?.op !== "lit") return strArr("path");
         if (isUndefinedArg(args[0])) {
           const one = abs({ k: "tuple", elements: [strLit(lit3)] }, void 0, void 0, "exact");
@@ -7064,8 +7137,10 @@ function callAbsMethod(recv, name, args) {
           } else if (patAbs.shape.k === "brand" && patAbs.shape.name === "RegExp") {
             const inner = patAbs.shape.shape;
             const slots = inner.shape.k === "obj" ? inner.shape.slots : void 0;
-            const src = slots ? litValue(slots["source"]?.value) : void 0;
-            const flags = slots ? litValue(slots["flags"]?.value) : void 0;
+            const srcR = slots ? litValue(slots["source"]?.value) : void 0;
+            const src = srcR?.ok ? srcR.value : void 0;
+            const flagsR = slots ? litValue(slots["flags"]?.value) : void 0;
+            const flags = flagsR?.ok ? flagsR.value : void 0;
             if (typeof src === "string" && (flags === void 0 || typeof flags === "string")) {
               try {
                 patRe = new RegExp(src, flags ?? "");
@@ -7099,12 +7174,11 @@ function callAbsMethod(recv, name, args) {
                 typeof whole === "string" ? strLit(whole) : unknown
               ];
               const r = applyCallbackAbs(repAbs, callArgs, callbackEnv(), pTrue, defaultLeakBudget);
-              const lv = litValue(r);
-              if (lv === void 0) {
+              if (r.term?.op !== "lit") {
                 anyUnknown = true;
                 return "";
               }
-              return String(lv);
+              return String(r.term.value);
             };
             try {
               const out = name === "replaceAll" ? lit3.replaceAll(pat, replWrapper) : lit3.replace(pat, replWrapper);
@@ -7125,8 +7199,10 @@ function callAbsMethod(recv, name, args) {
       const a1Abs = args[1];
       if (a0Abs !== void 0 && a0Abs.term?.op !== "lit") return strPrim("path");
       if (a1Abs !== void 0 && a1Abs.term?.op !== "lit") return strPrim("path");
-      const a02 = a0Abs === void 0 ? void 0 : litValue(a0Abs);
-      const a1 = a1Abs === void 0 ? " " : litValue(a1Abs);
+      const a0R2 = a0Abs === void 0 ? void 0 : litValue(a0Abs);
+      const a02 = a0R2?.ok ? a0R2.value : void 0;
+      const a1R = a1Abs === void 0 ? void 0 : litValue(a1Abs);
+      const a1 = a1Abs === void 0 ? " " : a1R?.ok ? a1R.value : void 0;
       try {
         const impl = String.prototype;
         return strLit(impl[name].call(lit3, a02, a1));
@@ -7300,7 +7376,8 @@ var BUILTIN_CTOR_NAMES = /* @__PURE__ */ new Set([
   "DataView"
 ]);
 function instanceOf(left, rightClassName, env) {
-  if (litValue(left) === null || isNullishLitAbs(left)) {
+  const leftLit = litValue(left);
+  if ((leftLit.ok ? leftLit.value : void 0) === null || isNullishLitAbs(left)) {
     return { shape: { k: "prim", type: "boolean" }, conf: "partial" };
   }
   const t = (v2) => ({
@@ -7597,9 +7674,9 @@ function leqShape(src, tgt, phi2, env, depth) {
       if (srcSlot.optional && !slot.optional) {
         return fail(`slot ${key}: optional \u22AD required`);
       }
-      const ssv = litValue(srcSlot.value);
-      const stv = litValue(slot.value);
-      if (ssv !== void 0 && stv !== void 0 && primOf(srcSlot.value) !== void 0 && primOf(srcSlot.value) === primOf(slot.value)) {
+      const ssvR = litValue(srcSlot.value);
+      const stvR = litValue(slot.value);
+      if (ssvR.ok && stvR.ok && primOf(srcSlot.value) !== void 0 && primOf(srcSlot.value) === primOf(slot.value)) {
         continue;
       }
       const r = leqWithPred(srcSlot.value, slot.value, phi2, env, depth + 1);
@@ -7676,7 +7753,8 @@ function leqShape(src, tgt, phi2, env, depth) {
 }
 function primOf(a) {
   if (a.shape.k === "prim") return a.shape.type;
-  const lv = litValue(a);
+  const lvR = litValue(a);
+  const lv = lvR.ok ? lvR.value : void 0;
   if (typeof lv === "number") return "number";
   if (typeof lv === "string") return "string";
   if (typeof lv === "boolean") return "boolean";
@@ -7724,11 +7802,12 @@ function formatShape(a) {
       return "unknown";
     }
     case "prim": {
-      const lv = litValue(a);
+      const lvR = litValue(a);
+      const lv = lvR.ok ? lvR.value : void 0;
       if (typeof lv === "number" && !Number.isFinite(lv)) return String(lv);
       if (typeof lv === "number" && Object.is(lv, -0)) return "-0";
       if (typeof lv === "bigint") return `${String(lv)}n`;
-      if (lv !== void 0) return JSON.stringify(lv);
+      if (lvR.ok) return JSON.stringify(lv);
       return s.type;
     }
     case "obj": {
@@ -11435,14 +11514,22 @@ function asAbsVal(v2) {
   return $lit(v2);
 }
 function callAtFunctionBoundary(body) {
-  return runWithLoopExits(() => {
-    try {
-      return body();
-    } catch (e) {
-      if (isNudoReturn(e)) return e.absValue;
-      throw e;
-    }
-  });
+  let forwarded = [];
+  try {
+    return runWithLoopExits(() => {
+      try {
+        const r = body();
+        forwarded = takeThrowExits();
+        return r;
+      } catch (e) {
+        forwarded = takeThrowExits();
+        if (isNudoReturn(e)) return e.absValue;
+        throw e;
+      }
+    });
+  } finally {
+    for (const x of forwarded) pushThrowExit(x);
+  }
 }
 function $fnVal(params, impl, opts) {
   return absFunction(params, {
@@ -11602,6 +11689,14 @@ function $tryTakeSince(mark) {
   if (!store) return [];
   return store.splice(Math.min(mark, store.length));
 }
+function peekThrowExitsSince(mark) {
+  const store = throwExitsAls.getStore();
+  if (!store) return [];
+  return store.slice(Math.min(mark, store.length));
+}
+function throwExitsMark() {
+  return throwExitsAls.getStore()?.length ?? 0;
+}
 function $tryDigestSoftCatch() {
   const soft = softFrameActiveAls.getStore();
   if (!soft || soft.length === 0 || !soft[soft.length - 1]) return;
@@ -12181,7 +12276,8 @@ function isArrMutator(name) {
 }
 function toIOI(v2) {
   if (v2 === void 0) return void 0;
-  const lv = litValue(v2);
+  const lvR = litValue(v2);
+  const lv = lvR.ok ? lvR.value : void 0;
   if (lv === void 0) {
     return v2.term?.op === "lit" ? void 0 : null;
   }
@@ -12485,7 +12581,8 @@ function $idx(a, i) {
     return a.shape.element;
   }
   if (a.shape.k === "sum") {
-    return a.shape.members.map((m) => $idx(m, i)).reduce((x, y) => joinAbs(x, y));
+    const parts = a.shape.members.map((m) => $idx(m, i));
+    return parts.length ? parts.reduce((x, y) => joinAbs(x, y)) : unknown;
   }
   if (a.shape.k === "obj" || a.shape.k === "brand" && a.shape.shape.shape.k === "obj") {
     const objShape = a.shape.k === "obj" ? a.shape : a.shape.shape.shape;
@@ -12503,7 +12600,8 @@ function $idx(a, i) {
     }
     return joinSlotsWithUndef();
   }
-  const sv = litValue(a);
+  const svR = litValue(a);
+  const sv = svR.ok && typeof svR.value === "string" ? svR.value : void 0;
   if (typeof sv === "string") {
     if (i.term?.op !== "lit") return unknown;
     const idx2 = canonicalArrayIndex(i.term.value);
@@ -12608,12 +12706,13 @@ function $len(a) {
   if (a.shape.k === "sum") {
     const lens = a.shape.members.map((m) => $len(m));
     const lits = lens.map(litValue);
-    if (lits.length > 0 && lits.every((v2) => v2 !== void 0 && v2 === lits[0])) {
+    if (lits.length > 0 && lits.every((v2) => v2.ok && lits[0].ok && Object.is(v2.value, lits[0].value))) {
       return lens[0];
     }
     return abs({ k: "prim", type: "number" }, void 0, void 0, "path");
   }
-  const sv = litValue(a);
+  const svR = litValue(a);
+  const sv = svR.ok && typeof svR.value === "string" ? svR.value : void 0;
   if (typeof sv === "string") {
     return abs(
       { k: "prim", type: "number" },
@@ -12679,7 +12778,8 @@ function $spread(a, b) {
 function $objRest(o, keys) {
   o = asAbsVal(o);
   if (o.shape.k === "sum") {
-    return o.shape.members.map((m) => $objRest(m, keys)).reduce((a, b) => joinAbs(a, b));
+    const parts = o.shape.members.map((m) => $objRest(m, keys));
+    return parts.length ? parts.reduce((a, b) => joinAbs(a, b)) : unknown;
   }
   if (!isObj(o)) {
     if (o.shape.k === "any") {
@@ -12703,7 +12803,8 @@ function $objRest(o, keys) {
 function $arrRest(a, start) {
   a = asAbsVal(a);
   if (a.shape.k === "sum") {
-    return a.shape.members.map((m) => $arrRest(m, start)).reduce((x, y) => joinAbs(x, y));
+    const parts = a.shape.members.map((m) => $arrRest(m, start));
+    return parts.length ? parts.reduce((x, y) => joinAbs(x, y)) : unknown;
   }
   if (a.shape.k === "tuple") {
     return tupleOrWiden(a.shape.elements.slice(start), a.conf);
@@ -12715,11 +12816,13 @@ function $arrRest(a, start) {
 function $concat(a, b) {
   a = asAbsVal(a);
   b = asAbsVal(b);
-  const av = litValue(a);
+  const avR = litValue(a);
+  const av = avR.ok ? avR.value : void 0;
   if (typeof av === "string") {
     return $concat($arr([...av].map((c) => $lit(c))), b);
   }
-  const bv = litValue(b);
+  const bvR = litValue(b);
+  const bv = bvR.ok ? bvR.value : void 0;
   if (typeof bv === "string") {
     return $concat(a, $arr([...bv].map((c) => $lit(c))));
   }
@@ -12767,7 +12870,9 @@ function $concat(a, b) {
     return tupleOrWiden([...ae, ...bs.elements], confJoin(a.conf, b.conf));
   }
   const sideEl = (x, expanded) => {
-    if (expanded) return expanded.reduce((u, y) => joinAbs(u, y));
+    if (expanded) {
+      return expanded.length ? expanded.reduce((u, y) => joinAbs(u, y)) : abs({ k: "never" }, void 0, void 0, "exact");
+    }
     if (x?.shape?.k === "any") return anyMemberResult();
     if (x?.shape?.k === "tuple") {
       const els = x.shape.elements;
@@ -12789,7 +12894,8 @@ function $elems(a) {
   if (isMapAbs(a)) return mapEntriesAbs(a);
   const mi = matchIterElements(a);
   if (mi) return mi;
-  const sv = litValue(a);
+  const svR = litValue(a);
+  const sv = svR.ok ? svR.value : void 0;
   if (typeof sv === "string") return [...sv].map((c) => $lit(c));
   return [unknown];
 }
@@ -12797,7 +12903,7 @@ function $forInKeys(o) {
   const shape = o.shape;
   if (shape.k === "sum") {
     const members = shape.members.map((m) => $forInKeys(m));
-    return members.reduce((a, b) => joinAbs(a, b));
+    return members.length ? members.reduce((a, b) => joinAbs(a, b)) : unknown;
   }
   const isArrayIndexKey = (k) => {
     const n = Number(k);
@@ -12820,7 +12926,8 @@ function $forInKeys(o) {
   if (shape.k === "arr") {
     return abs({ k: "arr", element: $lit("0") }, void 0, void 0, "partial");
   }
-  const sv = litValue(o);
+  const svR = litValue(o);
+  const sv = svR.ok && typeof svR.value === "string" ? svR.value : void 0;
   if (typeof sv === "string") {
     return $arr(Array.from({ length: sv.length }, (_, i) => $lit(String(i))));
   }
@@ -12841,7 +12948,8 @@ function $forOf(iterable, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
   };
   const shape = iterable.shape;
   const items = $elems(iterable);
-  const sv = litValue(iterable);
+  const svR = litValue(iterable);
+  const sv = svR.ok ? svR.value : void 0;
   const knownLen = shape.k === "tuple" ? shape.elements.length : typeof sv === "string" ? [...sv].length : collectionExactLen(iterable);
   const unbounded = knownLen === void 0;
   if (unbounded) snapExit();
@@ -13034,7 +13142,8 @@ function $get(o, key, opts) {
   }
   if (o.shape.k === "prim" && o.shape.type === "string") {
     const idx = canonicalArrayIndex(key);
-    const sv = litValue(o);
+    const svR = litValue(o);
+    const sv = svR.ok && typeof svR.value === "string" ? svR.value : void 0;
     if (idx !== void 0) {
       if (typeof sv === "string") return idx < sv.length ? $lit(sv[idx]) : undef();
       return abs({ k: "prim", type: "string" }, void 0, void 0, "path");
@@ -13078,7 +13187,7 @@ function $get(o, key, opts) {
   }
   if (o.shape.k === "sum") {
     const parts = o.shape.members.map((m) => $get(m, key, opts));
-    return parts.reduce((a, b) => joinAbs(a, b));
+    return parts.length ? parts.reduce((a, b) => joinAbs(a, b)) : unknown;
   }
   if (key === "constructor") {
     const cn = ctorNameOfRecv(o);
@@ -13168,7 +13277,8 @@ function $set(o, key, value) {
   }
   if (o.shape.k === "tuple" && key === "length") {
     if (extStateOf(o) === "frozen") throwStrictWrite();
-    const v2 = litValue(value);
+    const vR = litValue(value);
+    const v2 = vR.ok ? vR.value : void 0;
     if (typeof v2 === "number") {
       if (!Number.isInteger(v2) || v2 < 0 || v2 > 4294967295) {
         throw new NudoThrow(errorTypeAbs("RangeError"));
@@ -13199,7 +13309,8 @@ function $set(o, key, value) {
     return o;
   }
   if (o.shape.k === "arr" && key === "length") {
-    const v2 = litValue(value);
+    const vR = litValue(value);
+    const v2 = vR.ok ? vR.value : void 0;
     if (typeof v2 === "number" && (!Number.isInteger(v2) || v2 < 0 || v2 > 4294967295)) {
       throw new NudoThrow(errorTypeAbs("RangeError"));
     }
@@ -13498,9 +13609,9 @@ function $for(init, test, step, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
       snapExt();
     }
     if (i > 0) {
-      const nv = litValue(next);
-      const sv = litValue(state);
-      const stuck = nv !== void 0 && sv !== void 0 && nv === sv || nv === void 0 && sv === void 0 && leqAbs(next, state).ok;
+      const nvR = litValue(next);
+      const svR = litValue(state);
+      const stuck = nvR.ok && svR.ok && nvR.value === svR.value || (!nvR.ok || nvR.value === void 0) && (!svR.ok || svR.value === void 0) && leqAbs(next, state).ok;
       if (stuck) {
         state = next;
         snapCounter();
@@ -13529,9 +13640,9 @@ function $while(init, test, step, maxIters = DEFAULT_MAX_LOOP_ITERS) {
     }
     const next = step(state);
     if (i > 0) {
-      const nv = litValue(next);
-      const sv = litValue(state);
-      const stuck = nv !== void 0 && sv !== void 0 && nv === sv || nv === void 0 && sv === void 0 && leqAbs(next, state).ok;
+      const nvR = litValue(next);
+      const svR = litValue(state);
+      const stuck = nvR.ok && svR.ok && nvR.value === svR.value || (!nvR.ok || nvR.value === void 0) && (!svR.ok || svR.value === void 0) && leqAbs(next, state).ok;
       if (stuck) {
         return exitJoin ? joinAbs(exitJoin, next) : next;
       }
@@ -13576,11 +13687,11 @@ function $whileSeq(test, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
   applyExitJoin();
 }
 function $switch(disc, cases, dflt) {
-  const dv = litValue(disc);
-  if (dv !== void 0) {
+  const dvR = litValue(disc);
+  if (dvR.ok) {
     for (const c of cases) {
-      const tv = litValue(c.test);
-      if (tv !== void 0 && tv === dv) return asAbsVal(c.run());
+      const tvR = litValue(c.test);
+      if (tvR.ok && tvR.value === dvR.value) return asAbsVal(c.run());
     }
     return dflt ? asAbsVal(dflt()) : undef();
   }
@@ -13769,6 +13880,7 @@ __export(calls_exports, {
   MAX_EVAL_CALL_DEPTH: () => MAX_EVAL_CALL_DEPTH,
   MAX_EVAL_TOTAL_CALLS: () => MAX_EVAL_TOTAL_CALLS,
   blockHostSideEffect: () => blockHostSideEffect,
+  clearPureCallMemo: () => clearPureCallMemo,
   enterEvalCallBudgetSession: () => enterEvalCallBudgetSession,
   exitEvalCallBudgetSession: () => exitEvalCallBudgetSession,
   getEvalCallBudgetState: () => getEvalCallBudgetState,
@@ -13781,7 +13893,71 @@ __export(calls_exports, {
   setEvalCallCollector: () => setEvalCallCollector,
   withEvalBudgetOverride: () => withEvalBudgetOverride
 });
+
+// src/algebra/lru-map.ts
+var BoundedLruMap = class {
+  map = /* @__PURE__ */ new Map();
+  max;
+  constructor(max) {
+    this.max = max;
+  }
+  get size() {
+    return this.map.size;
+  }
+  getMax() {
+    return this.max;
+  }
+  setMax(max) {
+    this.max = max;
+    this.trim();
+  }
+  has(key) {
+    return this.map.has(key);
+  }
+  get(key) {
+    const hit = this.map.get(key);
+    if (hit === void 0) return void 0;
+    this.map.delete(key);
+    this.map.set(key, hit);
+    return hit;
+  }
+  set(key, value) {
+    if (this.max <= 0) return;
+    while (this.map.size >= this.max && !this.map.has(key)) {
+      const oldest = this.map.keys().next().value;
+      if (oldest === void 0) break;
+      this.map.delete(oldest);
+    }
+    this.map.delete(key);
+    this.map.set(key, value);
+  }
+  delete(key) {
+    return this.map.delete(key);
+  }
+  clear() {
+    this.map.clear();
+  }
+  trim() {
+    while (this.map.size > this.max) {
+      const oldest = this.map.keys().next().value;
+      if (oldest === void 0) break;
+      this.map.delete(oldest);
+    }
+  }
+};
+
+// src/algebra/exec/calls.ts
+var PURE_CALL_MEMO_MAX = 256;
 var pureCallMemo = /* @__PURE__ */ new WeakMap();
+function clearPureCallMemo() {
+  pureCallMemo = /* @__PURE__ */ new WeakMap();
+}
+function joinThrowsSince(mark) {
+  const items = peekThrowExitsSince(mark);
+  if (items.length === 0) return never;
+  if (items.length === 1) return items[0];
+  return items.reduce((a, b) => joinAbs(a, b));
+}
 var evalCallCollector = null;
 var evalAssignCollector = null;
 function setEvalAssignCollector(collector2) {
@@ -13906,6 +14082,8 @@ function resetEvalCallBudget() {
   evalCallDepthLimit = MAX_EVAL_CALL_DEPTH;
   evalTotalCallsLimit = MAX_EVAL_TOTAL_CALLS;
   resetEvalForkBudget();
+  clearPureMemo();
+  clearPureCallMemo();
 }
 function withEvalBudgetOverride(budget, run) {
   const prevDepth = evalCallDepthLimit;
@@ -13971,10 +14149,11 @@ function $callNamed(name, fn, args, loc, argLocs) {
   const pk = pureName && fnObj ? callBudgetKey("pure", "", args) : void 0;
   if (fnObj && pk !== void 0) {
     const hit = pureCallMemo.get(fnObj)?.get(pk);
-    if (hit !== void 0) return hit;
+    if (hit !== void 0) return routeApplyThrows(hit.abs, hit.throws);
   }
   let result = unknown;
   let threw = false;
+  const throwMark = throwExitsMark();
   if (argLocs) {
     for (let i = 0; i < args.length; i++) {
       const al = argLocs[i];
@@ -14034,10 +14213,10 @@ function $callNamed(name, fn, args, loc, argLocs) {
     if (fnObj && pk !== void 0 && !threw) {
       let m = pureCallMemo.get(fnObj);
       if (!m) {
-        m = /* @__PURE__ */ new Map();
+        m = new BoundedLruMap(PURE_CALL_MEMO_MAX);
         pureCallMemo.set(fnObj, m);
       }
-      m.set(pk, result);
+      m.set(pk, makeAbsApplyResult(result, joinThrowsSince(throwMark)));
     }
     if (evalCallCollector) {
       try {
@@ -14064,11 +14243,14 @@ function regexParts(re) {
   const patAbs = slots["source"]?.value;
   const flagsAbs = slots["flags"]?.value;
   const lastAbs = slots["lastIndex"]?.value;
-  const pat = patAbs ? litValue(patAbs) : void 0;
+  const patR = patAbs ? litValue(patAbs) : void 0;
+  const pat = patR?.ok ? patR.value : void 0;
   if (typeof pat !== "string") return void 0;
-  const flagsV = flagsAbs ? litValue(flagsAbs) : void 0;
+  const flagsR = flagsAbs ? litValue(flagsAbs) : void 0;
+  const flagsV = flagsR?.ok ? flagsR.value : void 0;
   const flags = typeof flagsV === "string" ? flagsV : "";
-  const lv = lastAbs ? litValue(lastAbs) : void 0;
+  const lvR = lastAbs ? litValue(lastAbs) : void 0;
+  const lv = lvR?.ok ? lvR.value : void 0;
   const lastIndex = typeof lv === "number" ? lv : 0;
   return { pat, flags, lastIndex };
 }
@@ -14098,7 +14280,8 @@ function execRegexBrand(re, method, args) {
   const parts = regexParts(re);
   if (!parts) return void 0;
   if (method === "toString") return strLit(`/${parts.pat}/${parts.flags}`);
-  const subject = args[0] ? litValue(args[0]) : void 0;
+  const subjectR = args[0] ? litValue(args[0]) : void 0;
+  const subject = subjectR?.ok ? subjectR.value : void 0;
   if (typeof subject !== "string") {
     if (method === "test") {
       return abs({ k: "prim", type: "boolean" }, void 0, void 0, "partial");
@@ -14117,7 +14300,8 @@ function execRegexBrand(re, method, args) {
 function $reStateCall(re, method, args) {
   const parts = regexParts(re);
   if (!parts || method !== "test" && method !== "exec") return re;
-  const subject = args[0] ? litValue(args[0]) : void 0;
+  const subjectR = args[0] ? litValue(args[0]) : void 0;
+  const subject = subjectR?.ok ? subjectR.value : void 0;
   if (typeof subject !== "string") return re;
   try {
     const { lastIndex } = regexExecWithState(re, method, subject);
@@ -14141,10 +14325,13 @@ function stringRegexMethod(recv, method, args) {
   const inner = reBrand?.shape.shape;
   const patAbs = inner && inner.shape.k === "obj" ? inner.shape.slots["source"]?.value : void 0;
   const flagsAbs = inner && inner.shape.k === "obj" ? inner.shape.slots["flags"]?.value : void 0;
-  const pat = patAbs ? litValue(patAbs) : void 0;
-  const sv = litValue(recv);
+  const patR = patAbs ? litValue(patAbs) : void 0;
+  const pat = patR?.ok ? patR.value : void 0;
+  const svR = litValue(recv);
+  const sv = svR.ok && typeof svR.value === "string" ? svR.value : void 0;
   if (typeof pat !== "string" || typeof sv !== "string") return void 0;
-  const flagsV = flagsAbs ? litValue(flagsAbs) : void 0;
+  const flagsR = flagsAbs ? litValue(flagsAbs) : void 0;
+  const flagsV = flagsR?.ok ? flagsR.value : void 0;
   const flags = typeof flagsV === "string" ? flagsV : "";
   let reReal;
   try {
@@ -14302,7 +14489,8 @@ function $new(cls, args) {
       return evalPromiseCtor(args);
     }
     if (clsName === "String") {
-      const a0 = args[0] ? litValue(args[0]) : void 0;
+      const a0R = args[0] ? litValue(args[0]) : void 0;
+      const a0 = a0R?.ok ? a0R.value : void 0;
       if (typeof a0 === "string") {
         const slots = {
           length: { value: numLit(a0.length) }
@@ -14618,13 +14806,15 @@ function $invoke(thisVal, method, args, loc) {
     }
   }
   if (thisVal.shape.k === "prim" && thisVal.shape.type === "bigint") {
-    const bv = litValue(thisVal);
+    const bvR = litValue(thisVal);
+    const bv = bvR.ok ? bvR.value : void 0;
     if (typeof bv === "bigint") {
       if (method === "valueOf") return thisVal;
       if (method === "toString") {
         const argAbs = args[0];
         if (argAbs !== void 0 && argAbs.term?.op !== "lit") return unknown;
-        const av = argAbs === void 0 ? void 0 : litValue(argAbs);
+        const avR = argAbs === void 0 ? void 0 : litValue(argAbs);
+        const av = avR?.ok ? avR.value : void 0;
         try {
           return strLit(bv.toString(av));
         } catch (e) {
@@ -14639,13 +14829,15 @@ function $invoke(thisVal, method, args, loc) {
   if (thisVal.shape.k === "prim" && thisVal.shape.type === "number") {
     if (method === "valueOf") return thisVal;
     if (method === "toString" || method === "toLocaleString") {
-      const nv = litValue(thisVal);
+      const nvR = litValue(thisVal);
+      const nv = nvR.ok ? nvR.value : void 0;
       if (typeof nv !== "number") return abs({ k: "prim", type: "string" }, void 0, void 0, "path");
       const argAbs = args[0];
       if (argAbs !== void 0 && argAbs.term?.op !== "lit") {
         return abs({ k: "prim", type: "string" }, void 0, void 0, "path");
       }
-      const av = argAbs === void 0 ? void 0 : litValue(argAbs);
+      const avR = argAbs === void 0 ? void 0 : litValue(argAbs);
+      const av = avR?.ok ? avR.value : void 0;
       try {
         const impl2 = Number.prototype;
         return strLit(impl2[method === "toLocaleString" ? "toString" : method].call(nv, av));
@@ -14656,13 +14848,15 @@ function $invoke(thisVal, method, args, loc) {
       }
     }
     if (method === "toFixed" || method === "toExponential" || method === "toPrecision") {
-      const nv = litValue(thisVal);
+      const nvR = litValue(thisVal);
+      const nv = nvR.ok ? nvR.value : void 0;
       if (typeof nv !== "number") return abs({ k: "prim", type: "string" }, void 0, void 0, "path");
       const argAbs = args[0];
       if (argAbs !== void 0 && argAbs.term?.op !== "lit") {
         return abs({ k: "prim", type: "string" }, void 0, void 0, "path");
       }
-      const av = argAbs === void 0 ? void 0 : litValue(argAbs);
+      const avR = argAbs === void 0 ? void 0 : litValue(argAbs);
+      const av = avR?.ok ? avR.value : void 0;
       try {
         const impl2 = Number.prototype;
         return strLit(impl2[method].call(nv, av));
@@ -14676,7 +14870,8 @@ function $invoke(thisVal, method, args, loc) {
   if (thisVal.shape.k === "prim" && thisVal.shape.type === "boolean") {
     if (method === "valueOf") return thisVal;
     if (method === "toString" || method === "toLocaleString") {
-      const bv = litValue(thisVal);
+      const bvR = litValue(thisVal);
+      const bv = bvR.ok ? bvR.value : void 0;
       if (typeof bv === "boolean") return strLit(String(bv));
       return abs({ k: "prim", type: "string" }, void 0, void 0, "path");
     }
@@ -14763,7 +14958,8 @@ function invokeArrMethod(arr, method, args) {
   const unknownIdx = () => abs({ k: "prim", type: "number" }, void 0, void 0, "path");
   const callbackTruth = (r) => {
     if (r.term?.op !== "lit") return void 0;
-    const v2 = litValue(r);
+    const vR = litValue(r);
+    const v2 = vR.ok ? vR.value : void 0;
     if (v2 === void 0 || v2 === null || v2 === false || v2 === "" || v2 === 0n) return false;
     if (typeof v2 === "number" && (v2 === 0 || Number.isNaN(v2))) return false;
     return true;
@@ -15116,7 +15312,8 @@ function $orDefault(v2, dflt) {
 function isDefinitelyUndefinedAbs(v2) {
   if (!v2) return false;
   if (v2.term?.op === "lit" && v2.term.value === void 0) return true;
-  if (v2.shape.k === "unknown" && v2.term?.op === "lit" && litValue(v2) === void 0) return true;
+  const r = litValue(v2);
+  if (v2.shape.k === "unknown" && r.ok && r.value === void 0) return true;
   return false;
 }
 function isNullishAbs2(v2) {
@@ -15272,6 +15469,7 @@ function lookupExport(env, name) {
 function collectAbsExports(file, env, modules) {
   const named = {};
   let defaultExport;
+  const explicitNames = /* @__PURE__ */ new Set();
   for (const stmt of file.program.body) {
     if (stmt.type === "ExportNamedDeclaration") {
       if (stmt.source && modules) {
@@ -15281,6 +15479,7 @@ function collectAbsExports(file, env, modules) {
             if (spec.type === "ExportNamespaceSpecifier") {
               const exported2 = spec.exported.type === "Identifier" ? spec.exported.name : spec.exported.value;
               named[exported2] = namespaceAbsOf(mod2);
+              explicitNames.add(exported2);
               continue;
             }
             if (spec.type !== "ExportSpecifier") continue;
@@ -15289,7 +15488,10 @@ function collectAbsExports(file, env, modules) {
             const v2 = local === "default" ? mod2.default : mod2.named[local];
             const slot = v2 ?? unknown;
             if (exported === "default") defaultExport = slot;
-            else named[exported] = slot;
+            else {
+              named[exported] = slot;
+              explicitNames.add(exported);
+            }
           }
         }
         continue;
@@ -15298,12 +15500,15 @@ function collectAbsExports(file, env, modules) {
       if (decl) {
         if (decl.type === "FunctionDeclaration" && decl.id) {
           named[decl.id.name] = lookupExport(env, decl.id.name) ?? unknown;
+          explicitNames.add(decl.id.name);
         } else if (decl.type === "ClassDeclaration" && decl.id) {
           named[decl.id.name] = lookupExport(env, decl.id.name) ?? unknown;
+          explicitNames.add(decl.id.name);
         } else if (decl.type === "VariableDeclaration") {
           for (const d of decl.declarations) {
             if (d.id.type === "Identifier") {
               named[d.id.name] = lookupExport(env, d.id.name) ?? unknown;
+              explicitNames.add(d.id.name);
             }
           }
         }
@@ -15312,6 +15517,7 @@ function collectAbsExports(file, env, modules) {
         if (spec.type === "ExportNamespaceSpecifier") {
           const exported2 = spec.exported.type === "Identifier" ? spec.exported.name : spec.exported.value;
           named[exported2] ??= unknown;
+          explicitNames.add(exported2);
           continue;
         }
         if (spec.type !== "ExportSpecifier") continue;
@@ -15319,12 +15525,17 @@ function collectAbsExports(file, env, modules) {
         const exported = spec.exported.type === "Identifier" ? spec.exported.name : spec.exported.value;
         const v2 = lookupExport(env, local) ?? unknown;
         if (exported === "default") defaultExport = v2;
-        else named[exported] = v2;
+        else {
+          named[exported] = v2;
+          explicitNames.add(exported);
+        }
       }
     } else if (stmt.type === "ExportAllDeclaration" && stmt.source && modules) {
       const mod2 = modules[stmt.source.value];
       if (mod2?.named) {
-        for (const [k, v2] of Object.entries(mod2.named)) named[k] = v2;
+        for (const [k, v2] of Object.entries(mod2.named)) {
+          if (!explicitNames.has(k)) named[k] = v2;
+        }
       }
     } else if (stmt.type === "ExportDefaultDeclaration") {
       const d = stmt.declaration;
@@ -15594,6 +15805,7 @@ ${js}`;
   const { names, js: stripped } = stripStaticExportDecls(js);
   js = stripped;
   const dynExports = {};
+  const explicitExportNames = new Set(names);
   const bindings = /* @__PURE__ */ new Map();
   const argNames = [
     ...runtimeArgNames(),
@@ -15627,6 +15839,7 @@ ${js}`;
     if (n === "__nudoExport") {
       return (name, value) => {
         dynExports[name] = value;
+        explicitExportNames.add(name);
       };
     }
     if (n === "__nudoExportStar") {
@@ -15634,7 +15847,7 @@ ${js}`;
         const mod2 = modules?.[spec];
         if (mod2 && "named" in mod2) {
           for (const [k, v2] of Object.entries(mod2.named)) {
-            dynExports[k] = v2;
+            if (!explicitExportNames.has(k)) dynExports[k] = v2;
           }
         }
       };
@@ -15820,6 +16033,13 @@ function joinControlExits(normal) {
 function callTranspiledExport(exports, name, args) {
   return callTranspiledExportFull(exports, name, args).result;
 }
+function callTranspiledExportApply(exports, name) {
+  const resolve = typeof exports === "function" ? exports : () => exports;
+  return (args) => {
+    const full = callTranspiledExportFull(resolve(), name, args);
+    return makeAbsApplyResult(full.result, full.throws);
+  };
+}
 
 // src/algebra/exec/body-fn.ts
 var RUNTIME_IMPORT_RE2 = /^import\s*\{[^}]+\}\s*from\s*"[^"]+";\s*$/m;
@@ -15951,10 +16171,30 @@ function compiledBodyOf(impl) {
 }
 
 // src/algebra/exec/call.ts
+var PURE_MEMO_MAX = 256;
 var pureMemo = /* @__PURE__ */ new WeakMap();
+function clearPureMemo() {
+  pureMemo = /* @__PURE__ */ new WeakMap();
+}
 function pureMemoKey(args) {
   return callBudgetKey("pure", "", args);
 }
+function routeApplyThrows(r, throws) {
+  if (throws && throws.shape.k !== "never") {
+    if (r.shape.k === "never") throw new NudoThrow(throws);
+    pushThrowExit(throws);
+  }
+  return r;
+}
+function normalizeApplyReturn(raw) {
+  return isAbsApplyResult(raw) ? raw : makeAbsApplyResult(raw, never);
+}
+function joinThrowsSince2(mark) {
+  const items = peekThrowExitsSince(mark);
+  if (items.length === 0) return never;
+  if (items.length === 1) return items[0];
+  return items.reduce((a, b) => joinAbs(a, b));
+}
 function $call(fn, args, thisVal) {
   if (fn?.shape?.k === "sum") {
     const results = fn.shape.members.map((m) => $call(m, args, thisVal));
@@ -15966,7 +16206,7 @@ function $call(fn, args, thisVal) {
   const pk = pureName && fnObj ? pureMemoKey(args) : void 0;
   if (fnObj && pk !== void 0) {
     const hit = pureMemo.get(fnObj)?.get(pk);
-    if (hit !== void 0) return hit;
+    if (hit !== void 0) return routeApplyThrows(hit.abs, hit.throws);
   }
   const impl = getFnImpl(fn);
   if (!impl?.body && !impl?.apply) {
@@ -15979,16 +16219,16 @@ function $call(fn, args, thisVal) {
     if (!enterCall(key, label)) return truncatedAbs();
     try {
       try {
-        const r = impl.apply(args, thisVal);
+        const full = normalizeApplyReturn(impl.apply(args, thisVal));
         if (fnObj && pk !== void 0) {
           let m = pureMemo.get(fnObj);
           if (!m) {
-            m = /* @__PURE__ */ new Map();
+            m = new BoundedLruMap(PURE_MEMO_MAX);
             pureMemo.set(fnObj, m);
           }
-          m.set(pk, r);
+          m.set(pk, full);
         }
-        return r;
+        return routeApplyThrows(full.abs, full.throws);
       } catch (e) {
         if (e && typeof e === "object" && e.name === "NudoReturn") {
           return e.absValue;
@@ -16005,14 +16245,15 @@ function $call(fn, args, thisVal) {
     const label = fn.shape.name ?? "anonymous";
     if (!enterCall(key, label)) return truncatedAbs();
     try {
+      const throwMark = throwExitsMark();
       const r = compiled(args);
       if (fnObj && pk !== void 0) {
         let m = pureMemo.get(fnObj);
         if (!m) {
-          m = /* @__PURE__ */ new Map();
+          m = new BoundedLruMap(PURE_MEMO_MAX);
           pureMemo.set(fnObj, m);
         }
-        m.set(pk, r);
+        m.set(pk, makeAbsApplyResult(r, joinThrowsSince2(throwMark)));
       }
       return r;
     } finally {
@@ -16094,7 +16335,8 @@ function findStaticClassAccessor(startName, key) {
 }
 function $in2(key, o) {
   if (o.shape.k === "sum") {
-    return o.shape.members.map((m) => $in2(key, m)).reduce((a, b) => joinAbs(a, b));
+    const parts = o.shape.members.map((m) => $in2(key, m));
+    return parts.length ? parts.reduce((a, b) => joinAbs(a, b)) : unknown;
   }
   if (o.shape.k === "prim" || o.shape.k === "never" || isNullishLitAbs(o)) {
     return unknown;
@@ -16222,8 +16464,8 @@ function $instanceof2(left, rightName, rightVal) {
           return bool();
         }
         const r = $call(slot.value, [rv, left]);
-        const bv = litValue(r);
-        if (bv !== void 0) return boolLit(Boolean(bv));
+        const bvR = litValue(r);
+        if (bvR.ok) return boolLit(Boolean(bvR.value));
         return bool();
       }
     }
@@ -16272,7 +16514,8 @@ function $instanceof2(left, rightName, rightVal) {
       let decided;
       let undecided = false;
       for (const p of parts) {
-        const pv = litValue(p);
+        const pvR = litValue(p);
+        const pv = pvR.ok ? pvR.value : void 0;
         if (typeof pv !== "boolean") {
           undecided = true;
           continue;
@@ -16301,10 +16544,12 @@ function $delRes(o, _key) {
     return unknown;
   }
   if (o.shape.k === "sum") {
-    return o.shape.members.map((m) => $delRes(m, _key)).reduce((a, b) => joinAbs(a, b));
+    const parts = o.shape.members.map((m) => $delRes(m, _key));
+    return parts.length ? parts.reduce((a, b) => joinAbs(a, b)) : unknown;
   }
   const st = extStateOf(o);
-  const kv = litValue(_key);
+  const kvR = litValue(_key);
+  const kv = kvR.ok ? kvR.value : void 0;
   const flags = kv !== void 0 ? getPropFlags(o)?.get(String(kv)) : void 0;
   if (st === "frozen" || st === "sealed") throwStrictWrite();
   if (flags?.configurable === false) throwStrictWrite();
@@ -16436,6 +16681,9 @@ export {
   resetParseSourceCache,
   getParseSourceCacheSize,
   parseSource,
+  makeAbsApplyResult,
+  isAbsApplyResult,
+  absOnly,
   attachFnImpl,
   getFnImpl,
   markPureFn,
@@ -16884,8 +17132,12 @@ export {
   tryRunTranspiled,
   callTranspiledExportFull,
   callTranspiledExport,
+  callTranspiledExportApply,
   freeIdentifiers,
+  clearPureMemo,
+  routeApplyThrows,
   $call,
+  clearPureCallMemo,
   setEvalAssignCollector,
   $assignRecord,
   setEvalBindingSink,