@nudojs/core 1.11.0 → 1.11.1

package/dist/{chunk-UTRLGWJL.js → chunk-5VGO4YJT.js}

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

package/dist/{chunk-OYQMVCUV.js → chunk-YRRR6AWI.js}

@@ -13857,6 +13857,10 @@ function leafGrew(acc, next) {
   if (aR.ok) return true;
   return !leqAbs(next, acc).ok;
 }
+function joinElems(t) {
+  const parts = t.holes?.length ? [...t.elements, oobUndef()] : t.elements;
+  return parts.length > 0 ? parts.reduce((x, y) => joinAbs(x, y)) : void 0;
+}
 function diffGrowth(acc, next) {
   const as = acc.shape;
   const ns = next.shape;
@@ -13874,7 +13878,10 @@ function diffGrowth(acc, next) {
     return any2 ? { slots } : null;
   }
   if (as.k === "tuple" && ns.k === "tuple") {
-    if (as.elements.length !== ns.elements.length) return true;
+    if (as.elements.length !== ns.elements.length) {
+      const g = diffGrowth(joinElems(as) ?? never, joinElems(ns) ?? never);
+      return { el: g };
+    }
     let any2 = false;
     const els = [];
     for (let i = 0; i < ns.elements.length; i++) {
@@ -13902,6 +13909,51 @@ function primTop(type) {
       return abs({ k: "prim", type }, void 0, void 0, "exact");
   }
 }
+function sumArrParts(s) {
+  const elems = [];
+  const lengths = /* @__PURE__ */ new Set();
+  let hasArr = false;
+  for (const m of s.members) {
+    const ms = m.shape;
+    if (ms.k === "tuple") {
+      lengths.add(ms.elements.length);
+      const e = joinElems(ms);
+      if (e) elems.push(e);
+    } else if (ms.k === "arr") {
+      hasArr = true;
+      elems.push(ms.element);
+    } else {
+      return { ok: false, collapse: false };
+    }
+  }
+  return {
+    ok: true,
+    collapse: hasArr || lengths.size > 1,
+    element: elems.length > 0 ? elems.reduce((x, y) => joinAbs(x, y)) : void 0
+  };
+}
+function arrify(v2) {
+  const s = v2.shape;
+  if (s.k === "tuple") {
+    return abs(
+      { k: "arr", element: joinElems(s) ?? unknown },
+      void 0,
+      void 0,
+      confJoin(v2.conf, "widened")
+    );
+  }
+  if (s.k === "sum") {
+    const p = sumArrParts(s);
+    if (!p.ok) return void 0;
+    return abs(
+      { k: "arr", element: p.element ?? unknown },
+      void 0,
+      void 0,
+      confJoin(v2.conf, "widened")
+    );
+  }
+  return void 0;
+}
 function domainTop(v2) {
   const s = v2.shape;
   if (s.k === "sum" && s.members.length === 2) {
@@ -13913,6 +13965,17 @@ function domainTop(v2) {
   }
   let top;
   if (s.k === "sum") {
+    const collapsed = arrify(v2);
+    if (collapsed) {
+      return confJoin22(
+        abs(
+          { k: "arr", element: domainTop(collapsed.shape.element) },
+          void 0,
+          void 0,
+          collapsed.conf
+        )
+      );
+    }
     let acc;
     for (const m of s.members) {
       const t = domainTop(m);
@@ -13922,15 +13985,9 @@ function domainTop(v2) {
   } else if (s.k === "prim") {
     top = primTop(s.type);
   } else if (s.k === "tuple") {
-    const els = s.elements.map((e) => domainTop(e));
-    const known = els.length ? els.reduce((x, y) => joinAbs(x, y)) : unknown;
-    top = abs(
-      { k: "arr", element: joinAbs(known, abs({ k: "unknown" }, { op: "lit", value: void 0 }, void 0, "partial")) },
-      void 0,
-      void 0,
-      "widened"
-    );
-    return top;
+    const parts = s.holes?.length ? [...s.elements, oobUndef()] : s.elements;
+    const known = parts.length > 0 ? parts.map((e) => domainTop(e)).reduce((x, y) => joinAbs(x, y)) : unknown;
+    return abs({ k: "arr", element: known }, void 0, void 0, "widened");
   } else if (s.k === "arr") {
     top = abs({ k: "arr", element: domainTop(s.element) }, void 0, void 0, v2.conf);
   } else if (s.k === "obj") {
@@ -13946,6 +14003,23 @@ function confJoin22(top) {
   const c = confJoin(top.conf, "widened");
   return c === top.conf ? top : { ...top, conf: c };
 }
+function normalizeForWiden(v2, g) {
+  if (g === null) return v2;
+  const s = v2.shape;
+  let target = v2;
+  if (s.k === "sum" && s.members.length > 0 && s.members.every((m) => m.shape.k === "obj")) {
+    target = s.members.reduce((x, y) => joinObjects(x, y));
+  }
+  if (g === true || !("slots" in g)) return target;
+  const ts = target.shape;
+  if (ts.k !== "obj") return target;
+  const slots = {};
+  for (const [k, slot] of Object.entries(ts.slots)) {
+    const gi = g.slots[k];
+    slots[k] = gi === void 0 ? slot : { ...slot, value: normalizeForWiden(slot.value, gi) };
+  }
+  return abs({ ...ts, slots }, void 0, void 0, target.conf);
+}
 function widenWithPath(v2, g) {
   if (g === null) return v2;
   if (g === true) return domainTop(v2);
@@ -13962,11 +14036,40 @@ function widenWithPath(v2, g) {
     const elements = s.elements.map((e, i) => widenWithPath(e, g.els[i] ?? null));
     return abs({ ...s, elements }, void 0, void 0, v2.conf);
   }
-  if ("el" in g && s.k === "arr") {
-    return abs({ k: "arr", element: widenWithPath(s.element, g.el) }, void 0, void 0, v2.conf);
+  if ("el" in g) {
+    const a = s.k === "arr" ? v2 : arrify(v2);
+    if (a && a.shape.k === "arr") {
+      return abs(
+        { k: "arr", element: widenWithPath(a.shape.element, g.el) },
+        void 0,
+        void 0,
+        a.conf
+      );
+    }
   }
   return domainTop(v2);
 }
+function collapseArrSums(v2) {
+  const s = v2.shape;
+  if (s.k === "sum") {
+    const p = sumArrParts(s);
+    if (p.ok && p.collapse && p.element) {
+      return abs({ k: "arr", element: p.element }, void 0, void 0, v2.conf);
+    }
+    return v2;
+  }
+  if (s.k === "obj") {
+    let changed = false;
+    const slots = {};
+    for (const [k, slot] of Object.entries(s.slots)) {
+      const w = collapseArrSums(slot.value);
+      if (w !== slot.value) changed = true;
+      slots[k] = { ...slot, value: w };
+    }
+    return changed ? abs({ ...s, slots }, void 0, void 0, v2.conf) : v2;
+  }
+  return v2;
+}
 function makeLoopWidener() {
   let acc;
   let growth = null;
@@ -13988,7 +14091,10 @@ function makeLoopWidener() {
       observe(final);
       const base = acc ?? final;
       const g = interrupted ? true : growth;
-      return g === null ? base : widenWithPath(base, g === true ? true : g);
+      if (g === null) {
+        return collapseArrSums(base);
+      }
+      return widenWithPath(normalizeForWiden(base, g), g);
     }
   };
 }
@@ -15918,7 +16024,7 @@ function widenLoopJoin(a) {
     const known = els.length ? els.reduce((x, y) => joinAbs(x, y)) : unknown;
     const element = undefArms.length ? undefArms.reduce((x, y) => joinAbs(x, y), known) : known;
     return abs(
-      { k: "arr", element: joinAbs(element, oobUndef()) },
+      { k: "arr", element },
       void 0,
       void 0,
       confJoin(v2.conf, "widened")
@@ -17379,6 +17485,7 @@ function argLacksInformation(a) {
   return false;
 }
 function adoptCallArgsToFaces(args, faces) {
+  if (currentAssumePremises() !== pTrue) return args;
   const n = Math.min(args.length, faces.paramFaces.length);
   let changed = false;
   const out = args.slice();
@@ -21633,9 +21740,7 @@ function callTranspiledExportFullInner(exports, name, args, opts) {
     return runWithLoopExits(() => {
       try {
         const invoke = () => withNewTargetReset(() => fn2(...callArgs));
-        const ap = opts?.assumePremises;
-        const seeded = ap !== void 0 ? () => withAssumePremises(ap, invoke) : invoke;
-        const r = opts?.phi ? withExecPhi(opts.phi, seeded) : seeded();
+        const r = opts?.phi ? withExecPhi(opts.phi, invoke) : invoke();
         drainPromiseMicros();
         if (!isAbsVal(r)) return joinControlExits(asAbsVal(r));
         return joinControlExits(r);

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-CDBM1fJZ.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, bI as $nodoPos, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, g as EvalFallbackStats, a8 as EvalPosRecord, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, ad as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, af as TranspiledCallResult, at as bindingsOf, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, aD as evalExprAbs, p as exitEvalCallBudgetSession, v as getEvalCallBudgetState, aG as getEvalCallCollector, w as getEvalFallbackStats, bJ as getPosCollector, aO as isAbsVal, aQ as isCjsMainRun, b5 as noteEvalCallRecord, b6 as noteEvalFallback, bn as resetEvalCallBudget, H as resetEvalFallbackStats, bK as routeApplyThrows, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bv as setPosCollector, bF as tryRunTranspiled, O as withEvalBudgetOverride } from './run-CDBM1fJZ.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-dg1bW60I.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, bI as $nodoPos, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, g as EvalFallbackStats, a8 as EvalPosRecord, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, ad as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, af as TranspiledCallResult, at as bindingsOf, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, aD as evalExprAbs, p as exitEvalCallBudgetSession, v as getEvalCallBudgetState, aG as getEvalCallCollector, w as getEvalFallbackStats, bJ as getPosCollector, aO as isAbsVal, aQ as isCjsMainRun, b5 as noteEvalCallRecord, b6 as noteEvalFallback, bn as resetEvalCallBudget, H as resetEvalFallbackStats, bK as routeApplyThrows, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bv as setPosCollector, bF as tryRunTranspiled, O as withEvalBudgetOverride } from './run-dg1bW60I.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**

package/dist/exec.js

@@ -202,7 +202,7 @@ import {
   withAssumePremises,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-OYQMVCUV.js";
+} from "./chunk-YRRR6AWI.js";
 export {
   $absVal,
   $add,

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { d as AstEnv, A as Abs, b as Phi, T as Term, Q as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, U as HofSite, c as AbsModuleExports, V as RunTranspiledOptions } from './run-CDBM1fJZ.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, _ as AbsApplyNoThrow, a0 as AbsApplyNoThrowFn, a1 as AbsApplyResult, a2 as AbsApplyReturn, a3 as AbsFnImpl, a4 as AbsSigImpl, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, a8 as EvalPosRecord, a9 as ImplicationOracle, aa as LitValueResult, L as LiteralValue, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, P as PrimName, ad as RUNTIME_IMPORT_RE, ae as TYPEOF_NAMES, af as TranspiledCallResult, ag as TypeofName, ah as abs, ai as absFunction, aj as absOnly, ak as absToString, al as and, am as anyAbs, an as anyVar, ao as app, ap as assumeFinite, aq as attachFnImpl, ar as bigintLit, as as bindImports, at as bindingsOf, au as bool, av as boolLit, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, az as collectAbsExports, aA as confJoin, aB as emptyPhi, aC as eq, aD as evalExprAbs, aE as ge, aF as geNum, aG as getEvalCallCollector, aH as getFnImpl, aI as getImplicationOracle, aJ as gt, aK as gtNum, aL as hostFnCtorFacet, aM as implies, aN as isAbsApplyResult, aO as isAbsVal, aP as isBigPrim, aQ as isCjsMainRun, aR as isExactLit, aS as isNumPrim, aT as isStrPrim, aU as le, aV as leNum, aW as lit, aX as litValue, aY as lt, aZ as ltNum, a_ as makeAbsApplyResult, a$ as markPureFn, b0 as namespaceAbsOf, b1 as ne, b2 as negatePred, b3 as never, b4 as not, b5 as noteEvalCallRecord, b6 as noteEvalFallback, b7 as num, b8 as numLit, b9 as numVar, ba as obj, bb as or, bc as pFalse, bd as pTrue, be as phiAnd, bf as predEquals, bg as predToString, bh as predVars, bi as primToTypeof, bj as ptypeof, bk as pureFnNameOf, bl as relationFingerprint, bm as relationFn, bn as resetEvalCallBudget, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bu as setImplicationOracle, bv as setPosCollector, bw as shapeOfTerm, bx as shapeOnlyFn, by as shapeToString, bz as simplifyTerm, bA as str, bB as strLit, bC as substPred, bD as termEquals, bE as termToString, bF as tryRunTranspiled, bG as unknown, bH as v } from './run-CDBM1fJZ.js';
+import { d as AstEnv, A as Abs, b as Phi, T as Term, Q as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, U as HofSite, c as AbsModuleExports, V as RunTranspiledOptions } from './run-dg1bW60I.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, _ as AbsApplyNoThrow, a0 as AbsApplyNoThrowFn, a1 as AbsApplyResult, a2 as AbsApplyReturn, a3 as AbsFnImpl, a4 as AbsSigImpl, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, a8 as EvalPosRecord, a9 as ImplicationOracle, aa as LitValueResult, L as LiteralValue, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, P as PrimName, ad as RUNTIME_IMPORT_RE, ae as TYPEOF_NAMES, af as TranspiledCallResult, ag as TypeofName, ah as abs, ai as absFunction, aj as absOnly, ak as absToString, al as and, am as anyAbs, an as anyVar, ao as app, ap as assumeFinite, aq as attachFnImpl, ar as bigintLit, as as bindImports, at as bindingsOf, au as bool, av as boolLit, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, az as collectAbsExports, aA as confJoin, aB as emptyPhi, aC as eq, aD as evalExprAbs, aE as ge, aF as geNum, aG as getEvalCallCollector, aH as getFnImpl, aI as getImplicationOracle, aJ as gt, aK as gtNum, aL as hostFnCtorFacet, aM as implies, aN as isAbsApplyResult, aO as isAbsVal, aP as isBigPrim, aQ as isCjsMainRun, aR as isExactLit, aS as isNumPrim, aT as isStrPrim, aU as le, aV as leNum, aW as lit, aX as litValue, aY as lt, aZ as ltNum, a_ as makeAbsApplyResult, a$ as markPureFn, b0 as namespaceAbsOf, b1 as ne, b2 as negatePred, b3 as never, b4 as not, b5 as noteEvalCallRecord, b6 as noteEvalFallback, b7 as num, b8 as numLit, b9 as numVar, ba as obj, bb as or, bc as pFalse, bd as pTrue, be as phiAnd, bf as predEquals, bg as predToString, bh as predVars, bi as primToTypeof, bj as ptypeof, bk as pureFnNameOf, bl as relationFingerprint, bm as relationFn, bn as resetEvalCallBudget, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bu as setImplicationOracle, bv as setPosCollector, bw as shapeOfTerm, bx as shapeOnlyFn, by as shapeToString, bz as simplifyTerm, bA as str, bB as strLit, bC as substPred, bD as termEquals, bE as termToString, bF as tryRunTranspiled, bG as unknown, bH as v } from './run-dg1bW60I.js';
 import { Node, File } from '@babel/types';
-import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-BB2U2rwC.js';
-export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as INTERFACE_SOURCE_ABBR, K as InterfaceDiag, I as InterfaceSource, O as InterfaceTierInfo, a as InterfaceTierOpts, Q as NamedImport, R as NudoField, S as NudoFnConstraint, T as NudoSidecarError, U as NudoSig, V as RefineDiag, W as RefineEntry, X as RefineResolveOpts, Y as SELF, Z as actionsForIssue, _ as andC, $ as any, a0 as array, a1 as boolean, a2 as checkArg, a3 as checkCall, a4 as constraintAdmitsNullish, a5 as constraintToEntryAbs, a6 as derefConstraint, a7 as drainPromiseMicros, a8 as effectiveInterface, a9 as enterPromiseExecutorScope, aa as evalPromiseCtor, ab as evalPromiseMethod, ac as evalPromiseStatic, ad as execNudoModule, ae as extractDeclaredThrows, af as extractFnBudget, ag as extractNudoImports, ah as extractRefineReturnFromSource, ai as extractRefinesFromSource, aj as fn, ak as fnConstraintToEntryReqs, al as formatCheckReport, am as formatConstraint, an as formatDiagnostics, ao as formatEffectiveInterfaceDisplay, ap as formatGithubAnnotations, aq as formatGitlabCodeQuality, ar as formatInterfaceTierLine, as as generatedExportNames, at as getParseSourceCacheSize, au as getTerm, av as instantiateConstraint, aw as interfaceDiagCount, ax as interfaceSourceOf, ay as interfaceTierOf, az as isIntFlag, aA as isNodeModulesPath, aB as isNudoConstraint, aC as lazy, aD as leavePromiseExecutorScope, aE as lenTerm, aF as litC, aG as localNamedExports, aH as notePromiseExecutorFork, aI as nullable, aJ as number, aK as omit, aL as partial, aM as pick, aN as queuePromiseMicro, aO as refineDiagCount, aP as refineToIndexedFull, aQ as resetNudoModuleExecCache, aR as resetParseSourceCache, aS as resetSidecarLoadFailureCache, aT as serializeCheckJson, aU as serializeCheckJsonMulti, aV as setInterfaceDiagCollector, aW as setRefineDiagCollector, aX as shape, aY as sidecarClosureFingerprint, aZ as sidecarPathOf, a_ as string, a$ as takeInterfaceDiags, b0 as takeInterfaceDiagsSince, b1 as takeRefineDiags, b2 as takeRefineDiagsSince, b3 as throwConstraintToKinds, b4 as union } from './projection-budget-BB2U2rwC.js';
+import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-B0c9KEhd.js';
+export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as INTERFACE_SOURCE_ABBR, K as InterfaceDiag, I as InterfaceSource, O as InterfaceTierInfo, a as InterfaceTierOpts, Q as NamedImport, R as NudoField, S as NudoFnConstraint, T as NudoSidecarError, U as NudoSig, V as RefineDiag, W as RefineEntry, X as RefineResolveOpts, Y as SELF, Z as actionsForIssue, _ as andC, $ as any, a0 as array, a1 as boolean, a2 as checkArg, a3 as checkCall, a4 as constraintAdmitsNullish, a5 as constraintToEntryAbs, a6 as derefConstraint, a7 as drainPromiseMicros, a8 as effectiveInterface, a9 as enterPromiseExecutorScope, aa as evalPromiseCtor, ab as evalPromiseMethod, ac as evalPromiseStatic, ad as execNudoModule, ae as extractDeclaredThrows, af as extractFnBudget, ag as extractNudoImports, ah as extractRefineReturnFromSource, ai as extractRefinesFromSource, aj as fn, ak as fnConstraintToEntryReqs, al as formatCheckReport, am as formatConstraint, an as formatDiagnostics, ao as formatEffectiveInterfaceDisplay, ap as formatGithubAnnotations, aq as formatGitlabCodeQuality, ar as formatInterfaceTierLine, as as generatedExportNames, at as getParseSourceCacheSize, au as getTerm, av as instantiateConstraint, aw as interfaceDiagCount, ax as interfaceSourceOf, ay as interfaceTierOf, az as isIntFlag, aA as isNodeModulesPath, aB as isNudoConstraint, aC as lazy, aD as leavePromiseExecutorScope, aE as lenTerm, aF as litC, aG as localNamedExports, aH as notePromiseExecutorFork, aI as nullable, aJ as number, aK as omit, aL as partial, aM as pick, aN as queuePromiseMicro, aO as refineDiagCount, aP as refineToIndexedFull, aQ as resetNudoModuleExecCache, aR as resetParseSourceCache, aS as resetSidecarLoadFailureCache, aT as serializeCheckJson, aU as serializeCheckJsonMulti, aV as setInterfaceDiagCollector, aW as setRefineDiagCollector, aX as shape, aY as sidecarClosureFingerprint, aZ as sidecarPathOf, a_ as string, a$ as takeInterfaceDiags, b0 as takeInterfaceDiagsSince, b1 as takeRefineDiags, b2 as takeRefineDiagsSince, b3 as throwConstraintToKinds, b4 as union } from './projection-budget-B0c9KEhd.js';
 export { $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $isBreakTo, $isForkExit, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $ne, $neLoose, $neg, $new, $not, $nullishTest, $obj, $objAccessor, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $rethrowIfNudoReturn, $set, $setKey, $shl, $shr, $spread, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, DEFAULT_MAX_LOOP_ITERS, EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentExecPhi, fillTuple, foldRequireSpecArg, foldStaticStringExpr, getEvalClass, isArrMutator, isDefinitelyFalse, isDefinitelyTrue, isNudoBreak, isNudoContinue, isNudoReturn, isNudoThrow, litTruth, lookupObjAccessor, namespaceNameOf, pushLoopExit, pushThrowExit, registerEvalClass, runWithLoopExits, runtimeImportOf, takeLoopExits, takeThrowExits, transpile, transpileBodyNode, transpileExpression, transpileFile, transpileSource, withExecPhi } from './exec.js';
 
 /**

package/dist/index.js

@@ -65,7 +65,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-UTRLGWJL.js";
+} from "./chunk-5VGO4YJT.js";
 import {
   $add,
   $arguments,
@@ -524,7 +524,7 @@ import {
   withAssumePremises,
   withExecPhi,
   withVar
-} from "./chunk-OYQMVCUV.js";
+} from "./chunk-YRRR6AWI.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -797,6 +797,17 @@ function flattenSumArms(ret) {
 function isWidenedSumArm(m, parent) {
   return (parent.conf === "partial" || m.conf === "widened") && m.shape.k === "prim" && !m.term && (!m.pred || m.pred.op === "true");
 }
+function constraintMatchesStructuralArm(arm, c) {
+  if (c.element) return arm.shape.k === "arr" || arm.shape.k === "tuple";
+  if (c.fields) return arm.shape.k === "obj";
+  if (c.members) {
+    return c.members.some((m) => constraintMatchesStructuralArm(arm, derefConstraint(m)));
+  }
+  return false;
+}
+function isWidenedStructuralArm(arm, constraint) {
+  return arm.conf === "widened" && constraintMatchesStructuralArm(arm, constraint);
+}
 function provesBarePrimDomain(arm, constraint) {
   if (constraint.members) {
     return constraint.members.some((m) => provesBarePrimDomain(arm, derefConstraint(m)));
@@ -855,6 +866,11 @@ function assertSumArms(arms, parent, constraint, opts, phi) {
       if (isWidenedSumArm(arm, parent) && provesBarePrimDomain(arm, constraint)) {
         continue;
       }
+      if (isWidenedStructuralArm(arm, constraint)) {
+        const r2 = assertImpliesSingle(arm, constraint, opts, phi);
+        if (r2.status !== "proved") sawUnprovable = true;
+        continue;
+      }
       sawUnprovable = true;
       continue;
     }
@@ -877,7 +893,7 @@ function assertImpliesSingle(arm, constraint, opts, phi) {
   if (isNullishLitAbs(arm)) {
     return constraintAdmitsNullish(constraint) ? proved() : disproved(`nullish return \u22AD ${formatConstraint(constraint)}`);
   }
-  if (isValueSetUnknown(arm)) {
+  if (isValueSetUnknown(arm) && !isWidenedStructuralArm(arm, constraint)) {
     if (arm.conf === "widened" && arm.shape.k === "prim" && !arm.term && (!arm.pred || arm.pred.op === "true") && provesBarePrimDomain(arm, constraint)) {
       return proved();
     }

package/dist/internal.d.ts

@@ -1,7 +1,7 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-BB2U2rwC.js';
-export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-BB2U2rwC.js';
-import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-CDBM1fJZ.js';
-export { $ as $tryDigestSoft, e as $tryMarkSoft, f as $tryReleaseSoft, E as ERROR_FAMILY, g as EvalFallbackStats, M as MayThrowEffect, h as absLit, i as absNumLit, j as absStrLit, k as allAbsStr, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, o as errorTypeAbs, p as exitEvalCallBudgetSession, q as filterDeclaredThrows, r as filterGateThrows, s as filterIgnoredThrows, t as flushMayThrowEffects, u as formatThrowsAbs, v as getEvalCallBudgetState, w as getEvalFallbackStats, x as getMayThrowCollector, y as isThrowsIgnored, z as mayThrowEffectsToAbs, B as orphanMayThrowEffects, D as popMayThrowFrame, F as pushMayThrowFrame, G as recordMayThrow, H as resetEvalFallbackStats, I as runWithMayThrowSession, J as setMayThrowCollector, K as throwAbsToKinds, N as throwsKindCovered, O as withEvalBudgetOverride } from './run-CDBM1fJZ.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-B0c9KEhd.js';
+export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-B0c9KEhd.js';
+import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-dg1bW60I.js';
+export { $ as $tryDigestSoft, e as $tryMarkSoft, f as $tryReleaseSoft, E as ERROR_FAMILY, g as EvalFallbackStats, M as MayThrowEffect, h as absLit, i as absNumLit, j as absStrLit, k as allAbsStr, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, o as errorTypeAbs, p as exitEvalCallBudgetSession, q as filterDeclaredThrows, r as filterGateThrows, s as filterIgnoredThrows, t as flushMayThrowEffects, u as formatThrowsAbs, v as getEvalCallBudgetState, w as getEvalFallbackStats, x as getMayThrowCollector, y as isThrowsIgnored, z as mayThrowEffectsToAbs, B as orphanMayThrowEffects, D as popMayThrowFrame, F as pushMayThrowFrame, G as recordMayThrow, H as resetEvalFallbackStats, I as runWithMayThrowSession, J as setMayThrowCollector, K as throwAbsToKinds, N as throwsKindCovered, O as withEvalBudgetOverride } from './run-dg1bW60I.js';
 import { File, Node } from '@babel/types';
 
 /**

package/dist/internal.js

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

package/dist/{projection-budget-BB2U2rwC.d.ts → projection-budget-B0c9KEhd.d.ts}

@@ -1,5 +1,5 @@
 import { File } from '@babel/types';
-import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-CDBM1fJZ.js';
+import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-dg1bW60I.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;

package/dist/{run-CDBM1fJZ.d.ts → run-dg1bW60I.d.ts}

@@ -840,12 +840,11 @@ type TranspiledCallResult = {
 declare function isAbsVal(v: unknown): v is Abs;
 /** 调用 runTranspiled 导出（捕获 $throw）。opts.phi：入口 Φ 种子
  *  （instantiate/symbolic 的约束入口——eval 侧路径条件收窄）。
- *  opts.assumePremises（#152 用户引理）：入口前提独立槽种子——与 phi 分槽
- *  （不随调用链继承），消费方经 currentAssumePremises() 读。
- *  嵌套进入（导出桥 apply）继承外层预算；仅最外层宿主入口重置。 */
+ *  嵌套进入（导出桥 apply）继承外层预算；仅最外层宿主入口重置。
+ *  #152 assume 前提不设选项位：播种统一走 withAssumePremises 动态域
+ *  包裹（check.ts 的 runSeeded extent），单一机制无第二路径。 */
 declare function callTranspiledExportFull(exports: Record<string, unknown>, name: string, args: Abs[], opts?: {
     phi?: Phi;
-    assumePremises?: Phi;
 }): TranspiledCallResult;
 /** 调用 runTranspiled 导出（仅结果） */
 declare function callTranspiledExport(exports: Record<string, unknown>, name: string, args: Abs[]): Abs;

package/package.json

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