@rulvar/core 1.64.0 → 1.66.0

package/dist/index.d.ts

@@ -5577,7 +5577,31 @@ interface CostReport {
 type RunOutcome<R> = {
   status: "ok" | "error" | "cancelled" | "exhausted" | "suspended";
   value?: R;
-  error?: WireError; /** Pipeline drops and onError:'null' losses; silent losses are forbidden. */
+  error?: WireError;
+  /**
+  * The semantic completion lift, mirrored from `run:end` (RV-207 tail;
+  * the 1.65.0 experiment review, P0.5): present when the workflow
+  * reported semantic completion through the completion envelope
+  * contract, an `ok`/`exhausted` run whose result value is an object
+  * carrying a valid `completion` literal, or an `error` run whose typed
+  * error data carries one (the orchestrator acceptance path emits
+  * both). Transport status says whether the run ran; completion says
+  * whether the work is COMPLETE: an accepted degraded run is `status:
+  * 'ok'` with `completion: 'partial'`. The engine computes the lift
+  * ONCE and both surfaces spread the same object, so the outcome and
+  * the event can never disagree; a host reads completeness here
+  * without parsing workflow-specific value shapes on the accepted path
+  * or digging typed error data on the rejected one. Absent when the
+  * workflow makes no completion claim.
+  */
+  completion?: "complete" | "partial" | "rejected";
+  /**
+  * Settled child statuses by status name, lifted from the same
+  * envelope (or typed error data) when it carries a valid record of
+  * nonnegative integers; the mirror of the `run:end` field. Absent
+  * otherwise.
+  */
+  childStatusCounts?: Record<string, number>; /** Pipeline drops and onError:'null' losses; silent losses are forbidden. */
   dropped: DroppedItem[]; /** Suspensions open at settle time (M2). */
   pending: PendingExternal[];
   usage: Usage;
@@ -6169,6 +6193,16 @@ interface FinishValidationChild {
   * same serialization the child result evidence tools page.
   */
   readonly text: string;
+  /**
+  * Present and true ONLY when acceptance.acceptValidatedTerminalOutputOnLimit
+  * is configured and this child settled 'limit' CARRYING a terminal
+  * output (the finalization reserve summary that, for a schema child,
+  * already validated against the declared output schema). Acceptance
+  * will count such a child as a success, so evidencePreservedValidator
+  * treats its text as part of the cited evidence pool. Absent in every
+  * other configuration, keeping the old pool exactly.
+  */
+  readonly salvageableOutput?: boolean;
 }
 /** What a {@link FinishValidator} judges. */
 interface FinishValidationInput {
@@ -6790,6 +6824,29 @@ interface OrchestrateAcceptance {
   * decision, so a resume rolls the same verdict forward.
   */
   acceptPartialChildren?: boolean;
+  /**
+  * The terminal-output salvage switch (the 1.64.0 experiment review,
+  * P0.4 + P1.1; default false). When true, a child that settled
+  * 'limit' CARRYING a terminal output counts as a successful child for
+  * the policy, exactly like acceptPartialChildren counts a
+  * partial-bearing one. A limit terminal carries an output ONLY when
+  * the child's limits.finalizationReserve summary turn produced one
+  * AND, for a schema child, that summary already validated against the
+  * declared output schema (an invalid summary keeps output null and is
+  * never salvaged), so validation runs BEFORE acceptance by
+  * construction. The verdict then reports completion 'partial' (never
+  * 'complete'), lists the children in `salvagedTerminalOutputChildren`
+  * on the result envelope, and keeps a per-child note in
+  * degradedReasons. A child carrying BOTH an output and a progress
+  * partial salvages by its output. The child's digest and
+  * get_child_result surface the output unconditionally (paid, journaled
+  * evidence is never withheld); this option gates only the acceptance
+  * fold, the evidencePreservedValidator cited pool (via
+  * FinishValidationChild.salvageableOutput), and the coordination
+  * prompt line. The whole fold is journaled in the single acceptance
+  * decision, so a resume rolls the same verdict forward.
+  */
+  acceptValidatedTerminalOutputOnLimit?: boolean;
 }
 /** How many rejected finishes are repaired by default: the plan's repair once. */
 declare const DEFAULT_FINISH_MAX_REPAIRS = 1;

package/dist/index.js

@@ -14689,6 +14689,10 @@ function summarizeOutput(result) {
 	if (result.status === "ok") raw = typeof result.output === "string" ? result.output : JSON.stringify(result.output ?? null);
 	else {
 		raw = result.errorMessage ?? `terminal status ${result.status}`;
+		if (result.status === "limit" && result.output !== null && result.output !== void 0) {
+			const final = typeof result.output === "string" ? result.output : JSON.stringify(result.output);
+			raw = `${raw}; final: ${final}`;
+		}
 		if (result.partial !== void 0) raw = `${raw}; partial: ${JSON.stringify(result.partial)}`;
 	}
 	return truncateToBudget(raw, 400);
@@ -15075,9 +15079,11 @@ function pageOf(content, rawOffset, rawMaxChars) {
 function serializeChildOutput(result) {
 	if (result.status !== "ok") {
 		const base = result.errorMessage ?? `terminal status ${result.status}`;
-		if (result.partial !== void 0) return JSON.stringify({
+		const limitOutput = result.status === "limit" && result.output !== null && result.output !== void 0;
+		if (limitOutput || result.partial !== void 0) return JSON.stringify({
 			error: base,
-			partial: result.partial
+			...limitOutput ? { output: result.output } : {},
+			...result.partial === void 0 ? {} : { partial: result.partial }
 		});
 		return base;
 	}
@@ -15104,6 +15110,8 @@ function validateOrchestrateOptions(opts) {
 		if (policy !== "all-ok") requirePositiveInteger(minSuccessful, "orchestrate acceptance.childPolicy.minSuccessful");
 		const acceptPartial = opts.acceptance.acceptPartialChildren;
 		if (acceptPartial !== void 0 && typeof acceptPartial !== "boolean") throw new ConfigError(`orchestrate acceptance.acceptPartialChildren must be a boolean; got ${typeof acceptPartial}`);
+		const acceptOutput = opts.acceptance.acceptValidatedTerminalOutputOnLimit;
+		if (acceptOutput !== void 0 && typeof acceptOutput !== "boolean") throw new ConfigError("orchestrate acceptance.acceptValidatedTerminalOutputOnLimit must be a boolean; got " + typeof acceptOutput);
 	}
 	if (opts.finishValidation !== void 0) {
 		const fv = opts.finishValidation;
@@ -15174,8 +15182,10 @@ function finishValidationPromptLines(spec) {
 * keeps byte-identical coordination prompts.
 */
 function acceptancePromptLines(acceptance) {
-	if (acceptance?.acceptPartialChildren !== true) return [];
-	return ["Partial salvage is on: a child that ends at its limit AFTER recording progress with report_progress counts as a partial success for acceptance; its digest carries the partial and get_child_result (when enabled) pages the full report. When the gap matters, respawn a NARROWED child carrying the partial instead of repeating the task."];
+	const lines = [];
+	if (acceptance?.acceptPartialChildren === true) lines.push("Partial salvage is on: a child that ends at its limit AFTER recording progress with report_progress counts as a partial success for acceptance; its digest carries the partial and get_child_result (when enabled) pages the full report. When the gap matters, respawn a NARROWED child carrying the partial instead of repeating the task.");
+	if (acceptance?.acceptValidatedTerminalOutputOnLimit === true) lines.push("Terminal-output salvage is on: a child that ends at its limit WITH a final answer (its finalization reserve summary, already validated against the declared output schema) counts as a successful child for acceptance; its digest carries it after the 'final:' marker and get_child_result (when enabled) pages it in full.");
+	return lines;
 }
 /**
 * Resolves per-spawn dispatch options against the engine registries
@@ -16080,11 +16090,13 @@ function makeOrchestratorWorkflow(goal, opts) {
 			let decision = known.find((candidate) => candidate.callId === call.id);
 			if (decision === void 0) {
 				const result = call.result ?? null;
+				const salvageOutputOn = opts?.acceptance?.acceptValidatedTerminalOutputOnLimit === true;
 				const children = [...records.values()].sort((a, b) => a.spawnOrdinal - b.spawnOrdinal).map((record) => ({
 					handle: record.handle,
 					nodeId: record.nodeId,
 					status: record.settled?.status ?? "running",
-					text: record.settled === void 0 ? "" : serializeChildOutput(record.settled)
+					text: record.settled === void 0 ? "" : serializeChildOutput(record.settled),
+					...salvageOutputOn && record.settled?.status === "limit" && record.settled.output !== null && record.settled.output !== void 0 ? { salvageableOutput: true } : {}
 				}));
 				const input = {
 					result,
@@ -16542,13 +16554,20 @@ function makeOrchestratorWorkflow(goal, opts) {
 			const childStatusCounts = {};
 			const degradedReasons = [];
 			const salvaged = [];
+			const salvagedOutput = [];
 			let hardDegraded = 0;
 			const acceptPartial = opts.acceptance.acceptPartialChildren === true;
+			const acceptOutput = opts.acceptance.acceptValidatedTerminalOutputOnLimit === true;
 			const sortedRecords = [...records.values()].sort((a, b) => a.spawnOrdinal - b.spawnOrdinal);
 			for (const record of sortedRecords) {
 				const status = record.settled?.status ?? "running";
 				childStatusCounts[status] = (childStatusCounts[status] ?? 0) + 1;
 				if (status === "ok") continue;
+				if (acceptOutput && status === "limit" && record.settled?.output !== null && record.settled?.output !== void 0) {
+					salvagedOutput.push(record.nodeId);
+					degradedReasons.push(`child ${record.nodeId} accepted with its validated terminal output (settled 'limit' after the finalization reserve summary)`);
+					continue;
+				}
 				if (acceptPartial && status === "limit" && record.settled?.partial !== void 0) {
 					salvaged.push(record.nodeId);
 					degradedReasons.push(`child ${record.nodeId} accepted as partial (settled 'limit' with a structured partial)`);
@@ -16558,7 +16577,7 @@ function makeOrchestratorWorkflow(goal, opts) {
 				degradedReasons.push(status === "running" ? `child ${record.nodeId} was still running when finish validated` : `child ${record.nodeId} settled '${status}'`);
 			}
 			const childPolicy = opts.acceptance.childPolicy;
-			const accepted = childPolicy === "all-ok" ? hardDegraded === 0 : (childStatusCounts.ok ?? 0) + salvaged.length >= childPolicy.minSuccessful;
+			const accepted = childPolicy === "all-ok" ? hardDegraded === 0 : (childStatusCounts.ok ?? 0) + salvaged.length + salvagedOutput.length >= childPolicy.minSuccessful;
 			decision = {
 				decisionType: "orchestrator_acceptance",
 				verdict: accepted ? "accepted" : "rejected",
@@ -16566,7 +16585,8 @@ function makeOrchestratorWorkflow(goal, opts) {
 				childPolicy,
 				childStatusCounts,
 				degradedReasons,
-				...salvaged.length === 0 ? {} : { salvagedPartialChildren: salvaged }
+				...salvaged.length === 0 ? {} : { salvagedPartialChildren: salvaged },
+				...salvagedOutput.length === 0 ? {} : { salvagedTerminalOutputChildren: salvagedOutput }
 			};
 			await internals.replayer.appendSinglePhase({
 				scope: callingState.scope,
@@ -16586,7 +16606,8 @@ function makeOrchestratorWorkflow(goal, opts) {
 				childPolicy: decision.childPolicy,
 				childStatusCounts: decision.childStatusCounts,
 				degradedReasons: decision.degradedReasons,
-				...decision.salvagedPartialChildren === void 0 ? {} : { salvagedPartialChildren: decision.salvagedPartialChildren }
+				...decision.salvagedPartialChildren === void 0 ? {} : { salvagedPartialChildren: decision.salvagedPartialChildren },
+				...decision.salvagedTerminalOutputChildren === void 0 ? {} : { salvagedTerminalOutputChildren: decision.salvagedTerminalOutputChildren }
 			} });
 		}
 		return {
@@ -16594,7 +16615,8 @@ function makeOrchestratorWorkflow(goal, opts) {
 			completion: decision.completion,
 			childStatusCounts: decision.childStatusCounts,
 			degradedReasons: decision.degradedReasons,
-			...decision.salvagedPartialChildren === void 0 ? {} : { salvagedPartialChildren: decision.salvagedPartialChildren }
+			...decision.salvagedPartialChildren === void 0 ? {} : { salvagedPartialChildren: decision.salvagedPartialChildren },
+			...decision.salvagedTerminalOutputChildren === void 0 ? {} : { salvagedTerminalOutputChildren: decision.salvagedTerminalOutputChildren }
 		};
 	});
 }
@@ -17315,7 +17337,7 @@ function evidencePreservedValidator(options) {
 		validate: (input) => {
 			const cited = /* @__PURE__ */ new Set();
 			for (const child of input.children ?? []) {
-				if (child.status !== "ok") continue;
+				if (child.status !== "ok" && child.salvageableOutput !== true) continue;
 				for (const match of child.text.match(new RegExp(pattern, globalFlags)) ?? []) cited.add(match);
 			}
 			const reasons = [];
@@ -18466,6 +18488,11 @@ function createEngine(options) {
 			};
 			if (value !== void 0 && (status === "ok" || status === "exhausted")) outcome.value = value;
 			if (wireError !== void 0) outcome.error = wireError;
+			const lifted = liftRunCompletion(status === "ok" || status === "exhausted" ? outcome.value : status === "error" ? wireError?.data : void 0);
+			if (lifted !== void 0) {
+				outcome.completion = lifted.completion;
+				if (lifted.childStatusCounts !== void 0) outcome.childStatusCounts = lifted.childStatusCounts;
+			}
 			let settlementFailure;
 			if (resumeCtx?.strict !== true) {
 				const priorCount = resumeCtx?.priorEntries.length ?? 0;
@@ -18510,7 +18537,6 @@ function createEngine(options) {
 				level: "warn",
 				msg: `settlement write failed (${settlementFailure.stage}); handle.result rejects with SettlementError; resume re-settles by replay without a provider call`
 			}, rootSpanId);
-			const lifted = liftRunCompletion(status === "ok" || status === "exhausted" ? outcome.value : status === "error" ? wireError?.data : void 0);
 			bus.emit({
 				type: "run:end",
 				status,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rulvar/core",
-  "version": "1.64.0",
+  "version": "1.66.0",
   "description": "Rulvar core: L0 contracts, journal kernel, ctx primitives, agent runtime, model router, tool system, dynamic orchestrator, InMemory and JSONL stores, event stream.",
   "type": "module",
   "license": "Apache-2.0",