@rulvar/cli 1.6.0 → 1.8.0

package/dist/cli.js

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import { r as runCli, t as processIo } from "./io-CizJX0rK.js";
+import { r as runCli, t as processIo } from "./io-CmDfbnun.js";
 //#region src/cli.ts
 /**
 * The `rulvar` bin entry: thin wrapper over runCli with process io.

package/dist/{dist-DIqBj4U-.js → dist-A5zLp_kr.js}

@@ -1,4 +1,4 @@
-import { CURRENT_HASH_VERSION, ConfigError, DedupIndex, InMemoryStore, LEGACY_LTID_PREFIX, LEGACY_SIGNATURE_INPUTS, LineageIndex, PlanInvariantError, ROOT_ACCOUNT, ReplayPlanHashMismatch, TerminationAccount, approachSigCoarse, buildTerminationInitValue, canonicalIsolationTag, canonicalizeLadder, checkpointRefFor, countsAgainstLimit, createEngine, defineWorkflow, deriverV2, evaluateReuse, foldTermination, kMaxOf, knowledgeHash, ladderLengthOf, ladderRungChoice, makeOrchestratorWorkflow, nodeLinkKey, normalizeApproachTag, orchestrate, planNodeScope, profileRegistrySnapshotHash, tool, validateTerminationLimits } from "@rulvar/core";
+import { AdmissionRejectedError, BudgetExhaustedError, CURRENT_HASH_VERSION, ConfigError, DedupIndex, InMemoryStore, LEGACY_LTID_PREFIX, LEGACY_SIGNATURE_INPUTS, LineageIndex, PlanInvariantError, ROOT_ACCOUNT, ReplayPlanHashMismatch, TerminationAccount, approachSigCoarse, buildTerminationInitValue, canonicalIsolationTag, canonicalizeLadder, checkpointRefFor, countsAgainstLimit, createEngine, defineWorkflow, deriverV2, evaluateReuse, foldTermination, kMaxOf, knowledgeHash, ladderLengthOf, ladderRungChoice, makeOrchestratorWorkflow, nodeLinkKey, normalizeApproachTag, orchestrate, planNodeScope, profileRegistrySnapshotHash, tool, validateTerminationLimits } from "@rulvar/core";
 //#region ../plan/dist/index.js
 /**
 * Plan scope substrate (M7-T01): TaskPlan as engine-owned typed data, the
@@ -3053,17 +3053,51 @@ function planRunner(options) {
 			...ladder === void 0 ? {} : ladderDispatchFields(node, spec, ladder)
 		};
 	};
+	/**
+	* A dispatch refused by budget/admission facts that changed AFTER the
+	* op was admitted (another child consumed the shared parent between
+	* turns, a rung ceiling re-resolved differently) lands as a terminal
+	* plan decision: the node fails loudly instead of sitting ready
+	* forever, the other ready nodes still dispatch, and the wake digest
+	* carries the failure to the orchestrator (the v1.7.0 follow-up
+	* review's P1: no stranded node without a dispatch root or terminal
+	* decision). Everything else (engine bugs) still propagates.
+	*/
+	const landDispatchRejection = async (node, from, thrown) => {
+		const message = thrown instanceof Error ? thrown.message : String(thrown);
+		io.emit({
+			type: "log",
+			level: "warn",
+			msg: `plan node ${node.nodeId} failed dispatch admission and lands terminally failed: ${message}`,
+			data: {
+				nodeId: node.nodeId,
+				logicalTaskId: node.logicalTaskId
+			}
+		});
+		await appendPlanDecision("dispatch-rejected", [{
+			kind: "set_node_status",
+			nodeId: node.nodeId,
+			from,
+			to: "failed",
+			cause: "dispatch-rejected",
+			causeRef: Math.max(planCursor, 0)
+		}], Math.max(planCursor, 0));
+	};
+	const isDispatchRejection = (thrown) => thrown instanceof AdmissionRejectedError || thrown instanceof BudgetExhaustedError;
 	/** Dispatches every ready node under its plan/NodeId scope. */
 	const scheduleReady = async () => {
 		for (const node of Object.values(fold.plan.nodes)) {
 			if (node.status === "running" && !dispatched.has(node.nodeId)) {
 				const spec = fold.specs[node.nodeId];
-				if (spec !== void 0) {
+				if (spec !== void 0) try {
 					const { handle } = await io.dispatch(buildDispatchSpec(node, spec), nodeScopeOf(node.nodeId), {
 						nodeId: node.nodeId,
 						logicalTaskId: node.logicalTaskId
 					});
 					dispatched.set(node.nodeId, handle);
+				} catch (thrown) {
+					if (!isDispatchRejection(thrown)) throw thrown;
+					await landDispatchRejection(node, "running", thrown);
 				}
 				continue;
 			}
@@ -3090,10 +3124,17 @@ function planRunner(options) {
 			}
 			const spec = fold.specs[node.nodeId];
 			if (spec === void 0) continue;
-			const { handle } = await io.dispatch(buildDispatchSpec(node, spec), nodeScopeOf(node.nodeId), {
-				nodeId: node.nodeId,
-				logicalTaskId: node.logicalTaskId
-			});
+			let handle;
+			try {
+				({handle} = await io.dispatch(buildDispatchSpec(node, spec), nodeScopeOf(node.nodeId), {
+					nodeId: node.nodeId,
+					logicalTaskId: node.logicalTaskId
+				}));
+			} catch (thrown) {
+				if (!isDispatchRejection(thrown)) throw thrown;
+				await landDispatchRejection(node, "ready", thrown);
+				continue;
+			}
 			dispatched.set(node.nodeId, handle);
 			await appendPlanDecision("child-result", [{
 				kind: "set_node_status",
@@ -3174,6 +3215,14 @@ function planRunner(options) {
 			return { entryRef: entry.seq };
 		},
 		planRevise: async (request) => writeLock.runExclusive(async () => {
+			const withVerdictDetail = (outcomes, admissions) => outcomes.map((outcome, opIndex) => {
+				if (outcome.kind !== "dropped" || outcome.reason !== "admission_denied") return outcome;
+				const verdict = admissions.find((admission) => admission.opIndex === opIndex)?.decision.verdict;
+				return verdict !== void 0 && verdict.kind === "reject" ? {
+					...outcome,
+					verdictReason: verdict.reason
+				} : outcome;
+			});
 			await io.flush();
 			absorbPlan();
 			absorbGuardVerdicts();
@@ -3203,7 +3252,7 @@ function planRunner(options) {
 				}
 				await scheduleReady();
 				return {
-					outcomes: value.outcomes,
+					outcomes: withVerdictDetail(value.outcomes, value.admissions),
 					assignedNodeIds: value.assignedNodeIds,
 					planHashAfter: value.planHashAfter,
 					droppedAll: value.outcomes.every((outcome) => outcome.kind === "dropped"),
@@ -3217,6 +3266,7 @@ function planRunner(options) {
 			const freshNotes = /* @__PURE__ */ new Map();
 			const frozen = io.snapshot().some((candidate) => candidate.kind === "decision" && candidate.value?.decisionType === "orchestrator_budget_cap");
 			const claimedThisRevision = /* @__PURE__ */ new Set();
+			let pendingReserveUsd = 0;
 			const evaluation = rebasePlanRevision(request, {
 				state: fold,
 				frozen,
@@ -3283,13 +3333,47 @@ function planRunner(options) {
 							depth: 1
 						}
 					};
+					const profile = io.profiles[op.spec.agentType];
+					const childAccount = rootScope === "" ? planNodeScope(nodeId) : `${rootScope}/${planNodeScope(nodeId)}`;
+					const ladder = canonicalLadderOf(profile);
+					const dispatchCeilingUsd = (() => {
+						if (ladder !== void 0) {
+							const startTier = clampStartTier(ladder, op.spec.model_hint?.startTier);
+							const raises = op.lineage === void 0 ? 0 : requireAccount().rungIndexOf(op.lineage.continues);
+							const rung = ladder.rungs[executingRungOf(ladder, startTier, raises)];
+							if (rung?.maxCostUsd !== void 0) return rung.maxCostUsd;
+						}
+						return op.spec.budgetUsd;
+					})();
+					if (profile?.estCost !== void 0 && dispatchCeilingUsd !== void 0 && profile.estCost > dispatchCeilingUsd) return {
+						verdict: {
+							kind: "reject",
+							reason: {
+								code: "reserve_exceeds_budget",
+								agentType: op.spec.agentType,
+								childAccount,
+								estCostUsd: profile.estCost,
+								resolvedReserveUsd: Math.min(profile.estCost, dispatchCeilingUsd),
+								childCeilingUsd: dispatchCeilingUsd,
+								minimumBudgetUsd: profile.estCost,
+								message: `agent profile '${op.spec.agentType}' declares estCost ${profile.estCost.toFixed(4)} USD, which cannot fit the child ceiling ${dispatchCeilingUsd.toFixed(4)} USD of account '${childAccount}'; raise budgetUsd to at least ${profile.estCost.toFixed(4)} or pick a cheaper profile`
+							}
+						},
+						statsBefore: {
+							spawnsBefore: 0,
+							childrenOfParentBefore: 0,
+							depth: 1
+						}
+					};
 					const admitted = io.admission.admit({
 						origin: "spawn_agent",
 						name: op.spec.agentType,
-						childScope: rootScope === "" ? planNodeScope(nodeId) : `${rootScope}/${planNodeScope(nodeId)}`,
+						childScope: childAccount,
 						parentAccountScope: ROOT_ACCOUNT,
 						nodeKey: planScope,
 						...op.spec.budgetUsd === void 0 ? {} : { budgetUsd: op.spec.budgetUsd },
+						...profile?.estCost === void 0 ? {} : { estCostUsd: profile.estCost },
+						...pendingReserveUsd === 0 ? {} : { pendingReserveUsd },
 						...op.lineage === void 0 ? {} : { lineage: op.lineage },
 						...(op.approach ?? op.spec.approach) === void 0 ? {} : { approach: op.approach ?? op.spec.approach },
 						signature: {
@@ -3298,6 +3382,10 @@ function planRunner(options) {
 						},
 						ladderLength: ladderLengthOf(io.profiles[op.spec.agentType])
 					}, { commitReserve: false });
+					if (admitted.verdict.kind === "admit") pendingReserveUsd += io.admission.projectedDispatchReserveUsd({
+						...profile?.estCost === void 0 ? {} : { estCostUsd: profile.estCost },
+						...op.spec.budgetUsd === void 0 ? {} : { budgetUsd: op.spec.budgetUsd }
+					});
 					const note = freshNotes.get(opIndex);
 					if (note !== void 0 && admitted.verdict.kind === "admit") return {
 						...admitted,
@@ -3311,12 +3399,13 @@ function planRunner(options) {
 				admitUnpark: (op, node) => {
 					const spec = fold.specs[op.nodeId];
 					const wasDispatched = nodeRootOf(op.nodeId) !== void 0;
-					return io.admission.admit({
+					const unparkAdmitted = io.admission.admit({
 						origin: "spawn_agent",
 						name: spec?.agentType ?? "unknown",
 						childScope: nodeScopeOf(op.nodeId),
 						parentAccountScope: ROOT_ACCOUNT,
 						nodeKey: planScope,
+						...pendingReserveUsd === 0 ? {} : { pendingReserveUsd },
 						...wasDispatched ? { lineage: {
 							continues: node.logicalTaskId,
 							causeRef: node.checkpointRef ?? Math.max(planCursor, 1),
@@ -3328,6 +3417,8 @@ function planRunner(options) {
 						},
 						ladderLength: ladderLengthOf(io.profiles[spec?.agentType ?? ""])
 					}, { commitReserve: false });
+					if (unparkAdmitted.verdict.kind === "admit") pendingReserveUsd += io.admission.projectedDispatchReserveUsd({});
+					return unparkAdmitted;
 				},
 				lineageCheck: (continues) => {
 					const index = io.admission.lineage();
@@ -3362,19 +3453,6 @@ function planRunner(options) {
 			consumedRevisionSeqs.add(entry.seq);
 			await io.flush();
 			absorbPlan();
-			await drainGuardVerdicts();
-			await landReuseLinks(entry);
-			await landCancelAbandons(value, entry.seq);
-			await landRevisionEscalations(value);
-			for (const outcome of evaluation.outcomes) {
-				if (outcome.kind === "dropped") continue;
-				const applied = outcome.kind === "applied" ? outcome.op : outcome.applied;
-				if ((applied.op === "cancel_task" || applied.op === "park_task") && applied.requestOnly === true) {
-					const handle = dispatched.get(applied.nodeId);
-					if (handle !== void 0) io.cancel(handle, applied.op === "cancel_task" ? applied.reason : "park_task");
-				}
-			}
-			await scheduleReady();
 			const appliedCount = evaluation.outcomes.filter((o) => o.kind !== "dropped").length;
 			io.emit({
 				type: "plan:revised",
@@ -3391,8 +3469,21 @@ function planRunner(options) {
 				remaining: debit.balanceAfter,
 				phi: requireAccount().phi()
 			});
+			await drainGuardVerdicts();
+			await landReuseLinks(entry);
+			await landCancelAbandons(value, entry.seq);
+			await landRevisionEscalations(value);
+			for (const outcome of evaluation.outcomes) {
+				if (outcome.kind === "dropped") continue;
+				const applied = outcome.kind === "applied" ? outcome.op : outcome.applied;
+				if ((applied.op === "cancel_task" || applied.op === "park_task") && applied.requestOnly === true) {
+					const handle = dispatched.get(applied.nodeId);
+					if (handle !== void 0) io.cancel(handle, applied.op === "cancel_task" ? applied.reason : "park_task");
+				}
+			}
+			await scheduleReady();
 			return {
-				outcomes: evaluation.outcomes,
+				outcomes: withVerdictDetail(evaluation.outcomes, evaluation.admissions),
 				assignedNodeIds: evaluation.assignedNodeIds,
 				planHashAfter: evaluation.planHashAfter,
 				droppedAll: evaluation.droppedAll,
@@ -3486,8 +3577,8 @@ function planRunner(options) {
 					maxDepth: options?.limits?.maxDepth ?? 1,
 					kMax: kMaxOf(io.profiles),
 					runBudgetUsdCeiling: io.runCeilingUsd ?? 0,
-					orchestratorCapUsd: 0,
-					finalizeReserveUsd: 0
+					orchestratorCapUsd: io.orchestratorCapUsd ?? 0,
+					finalizeReserveUsd: io.finalizeReserveUsd ?? 0
 				});
 				const value = buildTerminationInitValue(limits, profileRegistrySnapshotHash(io.profiles));
 				await io.append({

package/dist/index.js

@@ -1,4 +1,4 @@
-import { a as resumeCommand, c as driveRun, d as renderEventLine, f as DEFAULT_STORE_DIR, g as looksLikeFile, h as loadWorkflowModule, i as inspectCommand, l as reportOutcome, m as loadCliConfig, n as HELP, o as runCommand, p as assembleEngine, r as runCli, s as runsLsCommand, t as processIo, u as attachProgress } from "./io-CizJX0rK.js";
+import { a as resumeCommand, c as driveRun, d as renderEventLine, f as DEFAULT_STORE_DIR, g as looksLikeFile, h as loadWorkflowModule, i as inspectCommand, l as reportOutcome, m as loadCliConfig, n as HELP, o as runCommand, p as assembleEngine, r as runCli, s as runsLsCommand, t as processIo, u as attachProgress } from "./io-CmDfbnun.js";
 import { ConfigError, InvalidResolutionError, JournalCompatibilityError, LeaseHeldError, Replayer, RulvarError, buildDeriverRegistry, costReportFromJournal, maskSecrets, normalizeEntry, scanJournalCompatibility, validateSchemaSpec } from "@rulvar/core";
 //#region src/server.ts
 /**

package/dist/{io-CizJX0rK.js → io-CmDfbnun.js}

@@ -557,7 +557,7 @@ async function kbInboxCommand(argv, context) {
 	if (flags.positionals.length > 0) throw new ConfigError("usage: rulvar kb inbox [--store PATH]");
 	let plan;
 	try {
-		plan = await import("./dist-DIqBj4U-.js");
+		plan = await import("./dist-A5zLp_kr.js");
 	} catch {
 		throw new ConfigError("rulvar kb inbox requires @rulvar/plan (the RunLedger fold behind the LedgerExport seam)");
 	}
@@ -700,7 +700,7 @@ async function kbGateCommand(argv, context) {
 	].includes(confidence)) throw new ConfigError(`--confidence must be high, medium or low, got '${String(values.confidence)}'`);
 	let plan;
 	try {
-		plan = await import("./dist-DIqBj4U-.js");
+		plan = await import("./dist-A5zLp_kr.js");
 	} catch {
 		throw new ConfigError("rulvar kb gate requires @rulvar/plan (the RunLedger fold behind the LedgerExport seam)");
 	}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rulvar/cli",
-  "version": "1.6.0",
+  "version": "1.8.0",
   "description": "Rulvar shell: run/resume/runs/inspect/plan/kb commands, TUI progress, createServer, createWorker, OTel exporter.",
   "type": "module",
   "license": "Apache-2.0",
@@ -22,17 +22,17 @@
     "access": "public"
   },
   "dependencies": {
-    "@rulvar/core": "1.6.0"
+    "@rulvar/core": "1.8.0"
   },
   "devDependencies": {
     "@types/node": "^22.20.0",
     "tsdown": "^0.22.3",
     "typescript": "~6.0.3",
-    "@rulvar/testing": "1.6.0",
-    "@rulvar/store-sqlite": "1.6.0",
-    "@rulvar/planner": "1.6.0",
-    "@rulvar/plan": "1.6.0",
-    "@rulvar/evals": "1.6.0"
+    "@rulvar/testing": "1.8.0",
+    "@rulvar/store-sqlite": "1.8.0",
+    "@rulvar/planner": "1.8.0",
+    "@rulvar/plan": "1.8.0",
+    "@rulvar/evals": "1.8.0"
   },
   "bin": {
     "rulvar": "./dist/cli.js"