@nudojs/core 1.11.0 → 1.11.2

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

@@ -4792,17 +4792,35 @@ var _activeCallKeys = [];
 var _fnCallIds = /* @__PURE__ */ new WeakMap();
 var _fnCallIdSeq = 0;
 var _callTruncated = false;
+var _cycleTruncated = false;
+var _loopTruncated = false;
+var _truncReasons = /* @__PURE__ */ new Set();
+function noteLoopTruncation(label) {
+  _loopTruncated = true;
+  noteAbsTruncation(label);
+}
 var _callDepthLimit = MAX_CALL_DEPTH;
 var _totalCallsLimit = MAX_TOTAL_CALLS;
+var _evalCallProbe = null;
+function registerEvalCallBudgetProbe(probe) {
+  _evalCallProbe = probe;
+}
 function getAbsCallBudgetStats() {
+  const b = _evalCallProbe?.stats();
   return {
     calls: _absTotalCalls,
     maxCalls: _totalCallsLimit,
-    forks: _evalForkCount,
+    forks: _evalForkObsCount,
     maxForks: _evalForkBudgetLimit,
     callTruncated: _callTruncated,
     forkTruncated: _evalForkTruncNoted,
-    truncated: _callTruncated || _evalForkTruncNoted
+    truncated: _callTruncated || (b?.callTruncated ?? false) || _evalForkTruncNoted || _loopTruncated,
+    evalCalls: b?.calls ?? 0,
+    maxEvalCalls: b?.maxCalls ?? MAX_TOTAL_CALLS,
+    evalCallTruncated: b?.callTruncated ?? false,
+    cycleTruncated: _cycleTruncated || (b?.cycleTruncated ?? false),
+    loopTruncated: _loopTruncated,
+    reasons: [..._truncReasons].sort()
   };
 }
 function resetAbsCallBudget() {
@@ -4810,8 +4828,12 @@ function resetAbsCallBudget() {
   _absTotalCalls = 0;
   _activeCallKeys = [];
   _callTruncated = false;
+  _cycleTruncated = false;
+  _loopTruncated = false;
+  _truncReasons = /* @__PURE__ */ new Set();
   _callDepthLimit = MAX_CALL_DEPTH;
   _totalCallsLimit = MAX_TOTAL_CALLS;
+  _evalCallProbe?.resetObservability();
   resetEvalForkBudget();
 }
 function withFnBudgetOverride(budget, run) {
@@ -4862,18 +4884,21 @@ function setAbsTruncationCollector(collector) {
   absTruncCollectorSlot.set(collector);
   return prev;
 }
-function noteAbsTruncation(label) {
+function noteAbsTruncation(label, reason) {
+  if (reason) _truncReasons.add(reason);
   const absTruncCollector = absTruncCollectorSlot.get();
   if (!absTruncCollector) return;
   try {
-    absTruncCollector(label);
+    absTruncCollector(label, reason);
   } catch {
   }
 }
 function enterCall(key, label) {
-  if (_activeCallKeys.includes(key) || _absCallDepth >= _callDepthLimit || _absTotalCalls >= _totalCallsLimit) {
+  const reason = _activeCallKeys.includes(key) ? "cycle" : _absCallDepth >= _callDepthLimit ? "depth" : _absTotalCalls >= _totalCallsLimit ? "calls" : void 0;
+  if (reason) {
     _callTruncated = true;
-    noteAbsTruncation(label);
+    if (reason === "cycle") _cycleTruncated = true;
+    noteAbsTruncation(label, reason);
     return false;
   }
   _activeCallKeys.push(key);
@@ -4888,6 +4913,7 @@ function exitCall() {
 var MAX_EVAL_TOTAL_FORKS = 5e3;
 var _evalForkBudgetLimit = MAX_EVAL_TOTAL_FORKS;
 var _evalForkCount = 0;
+var _evalForkObsCount = 0;
 var _evalForkTruncNoted = false;
 var FORK_TRUNCATION_LABEL = "#fork-budget";
 var HOST_EFFECT_LABEL_PREFIX = "#host-effect:";
@@ -4914,11 +4940,16 @@ function getEvalForkBudgetLimit() {
 function getEvalForkCount() {
   return _evalForkCount;
 }
-function resetEvalForkBudget() {
+function resetEvalForkCount() {
   _evalForkCount = 0;
+}
+function resetEvalForkBudget() {
+  resetEvalForkCount();
   _evalForkTruncNoted = false;
+  _evalForkObsCount = 0;
 }
 function bumpEvalForkBudget() {
+  _evalForkObsCount++;
   if (++_evalForkCount <= _evalForkBudgetLimit) return true;
   if (!_evalForkTruncNoted) {
     _evalForkTruncNoted = true;
@@ -13857,6 +13888,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 +13909,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 +13940,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 +13996,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 +14016,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 +14034,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 +14067,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 +14122,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);
     }
   };
 }
@@ -15091,7 +15228,7 @@ function $forOf(iterable, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
   }
   if (unbounded && n === 0) snapExit();
   if (concreteOverrun) {
-    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    noteLoopTruncation(LOOP_TRUNCATION_LABEL);
     if (pack && unpack) unpack(confPartialPacked(pack()));
     return;
   }
@@ -15886,7 +16023,7 @@ function $for(init, test, step, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
   snapCounter();
   snapExt();
   if (concreteExhausted) {
-    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    noteLoopTruncation(LOOP_TRUNCATION_LABEL);
     if (extJoin && pack && unpack) unpack(confPartialPacked(widenLoopJoin(joinAbs(extJoin, pack()))));
     return confPartial(exitJoin ?? state);
   }
@@ -15918,7 +16055,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")
@@ -15975,7 +16112,7 @@ function $while(init, test, step, maxIters = DEFAULT_MAX_LOOP_ITERS) {
     }
   }
   if (concreteExhausted) {
-    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    noteLoopTruncation(LOOP_TRUNCATION_LABEL);
     return confPartial(exitJoin ? joinAbs(exitJoin, state) : state);
   }
   return exitJoin ? widen.widenFinal(joinAbs(exitJoin, state)) : state;
@@ -16038,7 +16175,7 @@ function $whileSeq(test, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
   }
   snapExit();
   if (concreteExhausted) {
-    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    noteLoopTruncation(LOOP_TRUNCATION_LABEL);
     if (exitJoin && pack && unpack) unpack(confPartialPacked(joinAbs(exitJoin, pack())));
     return;
   }
@@ -17379,6 +17516,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();
@@ -17654,6 +17792,22 @@ var evalCallDepthLimit = MAX_EVAL_CALL_DEPTH;
 var evalTotalCallsLimit = MAX_EVAL_TOTAL_CALLS;
 var evalFnCallIds = /* @__PURE__ */ new WeakMap();
 var evalFnCallIdSeq = 0;
+var evalObsCalls = 0;
+var evalObsCallTruncated = false;
+var evalObsCycleTruncated = false;
+registerEvalCallBudgetProbe({
+  stats: () => ({
+    calls: evalObsCalls,
+    maxCalls: evalTotalCallsLimit,
+    callTruncated: evalObsCallTruncated,
+    cycleTruncated: evalObsCycleTruncated
+  }),
+  resetObservability: () => {
+    evalObsCalls = 0;
+    evalObsCallTruncated = false;
+    evalObsCycleTruncated = false;
+  }
+});
 function evalStableId(obj2) {
   let id = evalFnCallIds.get(obj2);
   if (id === void 0) {
@@ -17669,6 +17823,9 @@ function resetEvalCallBudget() {
   evalBudgetSessionDepth = 0;
   evalCallDepthLimit = MAX_EVAL_CALL_DEPTH;
   evalTotalCallsLimit = MAX_EVAL_TOTAL_CALLS;
+  evalObsCalls = 0;
+  evalObsCallTruncated = false;
+  evalObsCycleTruncated = false;
   resetEvalForkBudget();
   clearPureMemo();
   clearPureCallMemo();
@@ -17694,7 +17851,7 @@ function enterEvalCallBudgetSession() {
     evalCallDepth = 0;
     evalTotalCalls = 0;
     evalActiveCallKeys = [];
-    resetEvalForkBudget();
+    resetEvalForkCount();
   }
   evalBudgetSessionDepth++;
 }
@@ -17718,13 +17875,17 @@ function evalCallBudgetKey(name, fn2, args) {
 }
 function evalEnterCall(name, fn2, args) {
   const key = evalCallBudgetKey(name, fn2, args);
-  if (evalActiveCallKeys.includes(key) || evalCallDepth >= evalCallDepthLimit || evalTotalCalls >= evalTotalCallsLimit) {
-    noteAbsTruncation(name);
+  const reason = evalActiveCallKeys.includes(key) ? "cycle" : evalCallDepth >= evalCallDepthLimit ? "depth" : evalTotalCalls >= evalTotalCallsLimit ? "calls" : void 0;
+  if (reason) {
+    evalObsCallTruncated = true;
+    if (reason === "cycle") evalObsCycleTruncated = true;
+    noteAbsTruncation(name, reason);
     return { ok: false };
   }
   evalActiveCallKeys.push(key);
   evalCallDepth++;
   evalTotalCalls++;
+  evalObsCalls++;
   return { ok: true, key };
 }
 function evalExitCall() {
@@ -21633,9 +21794,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);
@@ -26243,6 +26402,7 @@ export {
   $delRes,
   $del,
   DEFAULT_MAX_LOOP_ITERS,
+  LOOP_TRUNCATION_LABEL,
   defineClass,
   getClass,
   getClassChain,

package/dist/{chunk-UTRLGWJL.js → chunk-SWG6PLYE.js}

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

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-NEKTOZLJ.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-PN_0_9D3.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-PN_0_9D3.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-SWG6PLYE.js";
 import {
   $add,
   $arguments,
@@ -183,6 +183,7 @@ import {
   DEFAULT_MAX_LOOP_ITERS,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
+  LOOP_TRUNCATION_LABEL,
   MATH_FOLD_ERROR_LABEL,
   MAX_EVAL_CALL_DEPTH,
   MAX_EVAL_TOTAL_CALLS,
@@ -524,7 +525,7 @@ import {
   withAssumePremises,
   withExecPhi,
   withVar
-} from "./chunk-OYQMVCUV.js";
+} from "./chunk-NEKTOZLJ.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -797,6 +798,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 +867,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 +894,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();
     }
@@ -2194,9 +2211,13 @@ function checkSourceInScope(filePath, source, phi, opts) {
   const file = parseSource(source);
   const names = listTopFunctions(source, file);
   const memoPaths = sidecarFp !== void 0 && callOpts.fromFile ? [.../* @__PURE__ */ new Set([...depsFp.paths, normPath(sidecarPathOf(callOpts.fromFile))])] : depsFp.paths;
-  const truncated = /* @__PURE__ */ new Set();
+  const truncated = /* @__PURE__ */ new Map();
   resetAbsCallBudget();
-  const prevTrunc = setAbsTruncationCollector((label) => truncated.add(label));
+  const prevTrunc = setAbsTruncationCollector((label, reason) => {
+    const reasons = truncated.get(label) ?? /* @__PURE__ */ new Set();
+    if (reason) reasons.add(reason);
+    truncated.set(label, reasons);
+  });
   try {
     const prevFaceResolver = setContractFaceResolver(
       makeSameFileFaceResolver(callOpts, filePath, source, file)
@@ -2675,7 +2696,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       });
     }
   }
-  for (const label of truncated) {
+  for (const [label, reasons] of truncated) {
     if (label === FORK_TRUNCATION_LABEL) {
       issues.push({
         severity: "info",
@@ -2723,11 +2744,24 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       });
       continue;
     }
+    if (label === LOOP_TRUNCATION_LABEL) {
+      issues.push({
+        severity: "info",
+        code: "nudo:loop-truncated",
+        message: `A loop did not terminate within its iteration budget (abstract unroll cap reached and the exit condition stayed concrete-true); affected loop state was widened (bounded, not exact)`,
+        suggestion: "optional: restructure so the exit condition becomes abstract (data-dependent) within a few iterations, or pin the result with @nudo:case / @nudo:contract \u2014 non-blocking"
+      });
+      continue;
+    }
+    const allCycle = reasons.size > 0 && [...reasons].every((r) => r === "cycle");
+    const depth = reasons.has("depth");
+    const calls = reasons.has("calls");
     issues.push({
       severity: "info",
       code: "nudo:recursion-truncated",
-      message: `Recursive evaluation of '${label}' was truncated (depth/size budget); result widened to unknown#opaque (budget \u2014 not inference debt)`,
-      suggestion: "raise the function budget with @nudo:budget calls=\u2026 depth=\u2026 (or narrow the recursion base case / declare @nudo:contract return)",
+      message: allCycle ? `Recursive evaluation of '${label}' hit a call cycle (same abstract arguments already on the stack); result widened to unknown#opaque (cycle \u2014 budget cannot lift this)` : `Recursive evaluation of '${label}' was truncated (${depth && calls ? "depth/size budget" : depth ? "call-depth budget" : calls ? "total-calls budget" : "depth/size budget"}); result widened to unknown#opaque (budget \u2014 not inference debt)`,
+      suggestion: allCycle ? "a call cycle is not a budget: make the recursion arguments vary per level, narrow the base case, or declare @nudo:contract \u2014 raising @nudo:budget will not change this" : depth && !calls ? "raise the function budget with @nudo:budget depth=\u2026 (or narrow the recursion base case / declare @nudo:contract return)" : calls && !depth ? "raise the function budget with @nudo:budget calls=\u2026 (or narrow the recursion base case / declare @nudo:contract return)" : "raise the function budget with @nudo:budget calls=\u2026 depth=\u2026 (or narrow the recursion base case / declare @nudo:contract return)",
+      reason: allCycle ? "cycle" : depth && calls ? "budget" : depth ? "depth" : calls ? "calls" : "budget",
       fn: label
     });
   }
@@ -2837,15 +2871,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     ok: errors === 0,
     signatures,
     summary: { errors, warnings, infos, functions: signatures.length },
-    budget: {
-      truncated: budget.truncated,
-      callTruncated: budget.callTruncated,
-      forkTruncated: budget.forkTruncated,
-      calls: budget.calls,
-      maxCalls: budget.maxCalls,
-      forks: budget.forks,
-      maxForks: budget.maxForks
-    }
+    budget: { ...budget }
   };
 }
 function checkReturnConstraint(fnName, cName, constraint, ret, assumeDisplay) {
@@ -2974,7 +3000,6 @@ function actionsForIssue(i) {
         { kind: "info", label: "add a call site or @nudo:case" }
       ];
     case "nudo:fork-truncated":
-    case "nudo:recursion-truncated":
     case "nudo:promise-micro-truncated":
     case "nudo:promise-micro-error":
       return [
@@ -2983,6 +3008,20 @@ function actionsForIssue(i) {
           label: "results widened to unknown \u2014 raise budget (@nudo:budget forks/calls/depth on the function) or narrow control flow"
         }
       ];
+    case "nudo:loop-truncated":
+      return [
+        {
+          kind: "info",
+          label: "loop state widened \u2014 the exit condition stayed concrete-true past the iteration cap; make the bound data-dependent (abstract) or pin the result with @nudo:case / @nudo:contract"
+        }
+      ];
+    case "nudo:recursion-truncated":
+      return [
+        {
+          kind: "info",
+          label: i.reason === "cycle" ? "call cycle: same abstract arguments already on the stack \u2014 raising @nudo:budget cannot lift it; make the arguments vary per recursion level or declare @nudo:contract" : i.reason === "depth" || i.reason === "calls" || i.reason === "budget" ? `results widened to unknown \u2014 raise budget (@nudo:budget ${i.reason === "depth" ? "depth" : i.reason === "calls" ? "calls" : "calls/depth"} on the function) or narrow the recursion` : "results widened to unknown \u2014 raise budget (@nudo:budget calls/depth on the function) or narrow control flow"
+        }
+      ];
     case "nudo:host-effect-blocked":
       return [
         { kind: "mock", label: "pin the host API with @nudo:mock / @nudo:env" },
@@ -3036,6 +3075,7 @@ function serializeCheckJson(r) {
         ...i.actual !== void 0 ? { actual: i.actual } : {},
         ...i.expected !== void 0 ? { expected: i.expected } : {},
         ...i.suggestion !== void 0 ? { suggestion: i.suggestion } : {},
+        ...i.reason !== void 0 ? { reason: i.reason } : {},
         ...acts.length > 0 ? { actions: acts } : {}
       };
     }),
@@ -3056,6 +3096,12 @@ function serializeCheckJsonMulti(reports) {
   let maxForks = 0;
   let callTruncated = false;
   let forkTruncated = false;
+  let evalCalls = 0;
+  let maxEvalCalls = 0;
+  let evalCallTruncated = false;
+  let cycleTruncated = false;
+  let loopTruncated = false;
+  const reasons = /* @__PURE__ */ new Set();
   for (const r of reports) {
     summary.errors += r.summary.errors;
     summary.warnings += r.summary.warnings;
@@ -3068,9 +3114,15 @@ function serializeCheckJsonMulti(reports) {
       maxForks = Math.max(maxForks, r.budget.maxForks);
       callTruncated = callTruncated || r.budget.callTruncated;
       forkTruncated = forkTruncated || r.budget.forkTruncated;
+      evalCalls += r.budget.evalCalls ?? 0;
+      maxEvalCalls = Math.max(maxEvalCalls, r.budget.maxEvalCalls ?? 0);
+      evalCallTruncated = evalCallTruncated || (r.budget.evalCallTruncated ?? false);
+      cycleTruncated = cycleTruncated || (r.budget.cycleTruncated ?? false);
+      loopTruncated = loopTruncated || (r.budget.loopTruncated ?? false);
+      for (const x of r.budget.reasons ?? []) reasons.add(x);
     }
   }
-  const budgetTruncated = callTruncated || forkTruncated;
+  const budgetTruncated = callTruncated || evalCallTruncated || forkTruncated || loopTruncated;
   return {
     version: 1,
     kind: "multi",
@@ -3087,7 +3139,13 @@ function serializeCheckJsonMulti(reports) {
         calls,
         maxCalls,
         forks,
-        maxForks
+        maxForks,
+        evalCalls,
+        maxEvalCalls,
+        evalCallTruncated,
+        cycleTruncated,
+        loopTruncated,
+        reasons: [...reasons].sort()
       }
     } : {},
     reports
@@ -3109,13 +3167,14 @@ function formatCheckReport(r, opts = {}) {
     `  ${r.summary.errors} error \xB7 ${r.summary.warnings} warning \xB7 ${r.summary.infos} info \xB7 ${r.summary.functions} fn`
   );
   if (r.budget?.truncated) {
+    const onlyLoop = r.budget.loopTruncated && !r.budget.callTruncated && !r.budget.evalCallTruncated && !r.budget.forkTruncated;
     lines.push("");
     lines.push("budget");
     lines.push(
-      `  truncated  calls ${r.budget.calls}/${r.budget.maxCalls} \xB7 forks ${r.budget.forks}/${r.budget.maxForks}${r.budget.callTruncated ? "  (calls)" : ""}${r.budget.forkTruncated ? "  (forks)" : ""}`
+      `  truncated  calls ${r.budget.calls}/${r.budget.maxCalls} \xB7 eval calls ${r.budget.evalCalls}/${r.budget.maxEvalCalls} \xB7 forks ${r.budget.forks}/${r.budget.maxForks}${r.budget.callTruncated ? "  (calls)" : ""}${r.budget.evalCallTruncated ? "  (eval calls)" : ""}${r.budget.forkTruncated ? "  (forks)" : ""}${r.budget.loopTruncated ? "  (loop iters)" : ""}`
     );
     lines.push(
-      `  \u2192 some results widened to unknown (not a contract failure) \u2014 raise nudo.analysis.maxForks / simplify recursion`
+      r.budget.cycleTruncated ? `  \u2192 some results widened to unknown (not a contract failure) \u2014 includes call cycles (same abstract args; a budget cannot lift them)` : onlyLoop ? `  \u2192 loop state widened (iteration budget, not a contract failure) \u2014 @nudo:budget does not apply; make the bound data-dependent or pin with @nudo:case / @nudo:contract` : `  \u2192 some results widened to unknown (not a contract failure) \u2014 raise @nudo:budget / nudo.analysis.maxForks or simplify recursion`
     );
   }
   if (r.signatures.length > 0) {

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-PN_0_9D3.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-PN_0_9D3.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';
 
 /**
@@ -60,6 +60,13 @@ declare function sourceHasCjsExports(source: string): boolean;
 declare const MAX_CALL_DEPTH = 64;
 /** 与 B 命名调用（calls.ts MAX_EVAL_TOTAL_CALLS）同阀：病态展开下 200k 级不可接受 */
 declare const MAX_TOTAL_CALLS = 20000;
+/**
+ * 调用截断归因（issue #158）：
+ * - `cycle`：同 name+arg 指纹的调用已在栈上——**不是预算**，抬高
+ *   `@nudo:budget` 永远解不开（数据依赖自递归在抽象层就是不动点）；
+ * - `depth` / `calls`：真预算超限，`@nudo:budget` 可抬。
+ */
+type AbsTruncationReason = "cycle" | "depth" | "calls";
 /** A2：预算/截断快照（check --json / health 上屏） */
 type AbsBudgetStats = {
     calls: number;
@@ -70,6 +77,18 @@ type AbsBudgetStats = {
     forkTruncated: boolean;
     /** 任一预算截断 → true（结果可能已 widen 成 unknown） */
     truncated: boolean;
+    /** B 命名调用（exec $callNamed）累计进入次数——宿主入口内跨执行会话累计 */
+    evalCalls: number;
+    /** B 命名调用当前生效上限 */
+    maxEvalCalls: number;
+    /** B 命名调用发生截断（cycle/depth/calls 任一） */
+    evalCallTruncated: boolean;
+    /** 任一路径的 cycle 截断（预算抬不动的那类；issue #158） */
+    cycleTruncated: boolean;
+    /** 循环迭代预算截断（#loop-iterations；maxIters/硬上限，非调用预算） */
+    loopTruncated: boolean;
+    /** 调用截断原因集合（A+B；稳定排序，进 JSON） */
+    reasons: AbsTruncationReason[];
 };
 declare function getAbsCallBudgetStats(): AbsBudgetStats;
 /** 宿主入口（runTranspiled / callTranspiledExportFull / check）前重置 */
@@ -95,9 +114,11 @@ declare function truncatedAbs(): Abs;
 declare function callBudgetKey(kind: string, id: string, args: unknown[]): string;
 /** 记录被截断的递归（service 可映射为 nudo:recursion-truncated）。
  *  返回先前 collector，便于嵌套 save/restore。 */
-declare function setAbsTruncationCollector(collector: ((fnLabel: string) => void) | null): ((fnLabel: string) => void) | null;
-declare function noteAbsTruncation(label: string): void;
-/** 进入调用：超限/cycle 则不执行 body，返回 opaque */
+declare function setAbsTruncationCollector(collector: ((fnLabel: string, reason?: AbsTruncationReason) => void) | null): ((fnLabel: string, reason?: AbsTruncationReason) => void) | null;
+declare function noteAbsTruncation(label: string, reason?: AbsTruncationReason): void;
+/** 进入调用：cycle/超限则不执行 body，返回 opaque。
+ *  归因顺序 = 守卫顺序（cycle 先于 depth 先于 calls）：同指纹调用已在栈上
+ *  时无论预算多深都会立即截断——报 cycle 而不是预算（#158）。 */
 declare function enterCall(key: string, label: string): boolean;
 declare function exitCall(): void;
 /**

package/dist/internal.js

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

package/dist/{projection-budget-BB2U2rwC.d.ts → projection-budget-PN_0_9D3.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;
@@ -670,6 +670,12 @@ type CheckIssue = Diagnostic & {
     actual?: string;
     /** 期望约束（Pred 或 Abs 展示） */
     expected?: string;
+    /**
+     * 截断归因（`nudo:recursion-truncated`，issue #158）：
+     * `cycle`=同抽象实参调用环（抬预算无效）；`depth`/`calls`=真预算超限；
+     * `budget`=混合（cycle+预算或 depth+calls 同报）。
+     */
+    reason?: "cycle" | "depth" | "calls" | "budget";
     /**
      * AI1：结构化下一步（additive）。agent 优先消费 `actions`，
      * 不必解析 `suggestion` 散文；`command` 可直接执行。
@@ -703,6 +709,8 @@ type CheckReport = {
     /**
      * A2 预算/截断可观测（additive）。`truncated=true` 时部分结果可能已
      * widen 成 unknown——不是契约失败，是引擎预算。
+     * evalCalls/evalCallTruncated = B 命名调用（$callNamed）路径；
+     * cycleTruncated/reasons = 归因（#158）：cycle 抬 @nudo:budget 无效。
      */
     budget?: {
         truncated: boolean;
@@ -712,6 +720,13 @@ type CheckReport = {
         maxCalls: number;
         forks: number;
         maxForks: number;
+        evalCalls: number;
+        maxEvalCalls: number;
+        evalCallTruncated: boolean;
+        cycleTruncated: boolean;
+        /** 循环迭代预算截断（#loop-iterations；maxIters/硬上限，非调用预算） */
+        loopTruncated: boolean;
+        reasons: string[];
     };
 };
 /**
@@ -744,6 +759,8 @@ type CheckJson = {
         actual?: string;
         expected?: string;
         suggestion?: string;
+        /** 截断归因（nudo:recursion-truncated；issue #158，additive） */
+        reason?: CheckIssue["reason"];
         /** AI1：结构化 next-action（只增字段） */
         actions?: CheckAction[];
     }>;
@@ -756,6 +773,7 @@ declare function actionsForIssue(i: {
     expected?: string;
     suggestion?: string;
     fn?: string;
+    reason?: string;
 }): CheckAction[];
 /** 多文件 `check --json` 信封（CI / monorepo）。单文件仍输出裸 CheckJson。 */
 type CheckJsonMulti = {

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.2",
   "engines": {
     "node": ">=20"
   },