@nudojs/core 1.11.1 → 1.11.2

package/dist/{chunk-YRRR6AWI.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;
@@ -15197,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;
   }
@@ -15992,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);
   }
@@ -16081,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;
@@ -16144,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;
   }
@@ -17761,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) {
@@ -17776,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();
@@ -17801,7 +17851,7 @@ function enterEvalCallBudgetSession() {
     evalCallDepth = 0;
     evalTotalCalls = 0;
     evalActiveCallKeys = [];
-    resetEvalForkBudget();
+    resetEvalForkCount();
   }
   evalBudgetSessionDepth++;
 }
@@ -17825,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() {
@@ -26348,6 +26402,7 @@ export {
   $delRes,
   $del,
   DEFAULT_MAX_LOOP_ITERS,
+  LOOP_TRUNCATION_LABEL,
   defineClass,
   getClass,
   getClassChain,

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

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

package/dist/exec.js

@@ -202,7 +202,7 @@ import {
   withAssumePremises,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-YRRR6AWI.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-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-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';
+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-5VGO4YJT.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-YRRR6AWI.js";
+} from "./chunk-NEKTOZLJ.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -2210,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)
@@ -2691,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",
@@ -2739,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
     });
   }
@@ -2853,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) {
@@ -2990,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 [
@@ -2999,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" },
@@ -3052,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 } : {}
       };
     }),
@@ -3072,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;
@@ -3084,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",
@@ -3103,7 +3139,13 @@ function serializeCheckJsonMulti(reports) {
         calls,
         maxCalls,
         forks,
-        maxForks
+        maxForks,
+        evalCalls,
+        maxEvalCalls,
+        evalCallTruncated,
+        cycleTruncated,
+        loopTruncated,
+        reasons: [...reasons].sort()
       }
     } : {},
     reports
@@ -3125,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,5 +1,5 @@
-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 { 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-5VGO4YJT.js";
+} from "./chunk-SWG6PLYE.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-YRRR6AWI.js";
+} from "./chunk-NEKTOZLJ.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

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

@@ -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/package.json

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