@rulvar/core 1.218.0 → 1.220.0

package/dist/index.d.ts

@@ -2162,7 +2162,15 @@ type CoreEvents = {
       ran: boolean;
       reason?: string;
     };
-  }; /** Children accepted through validated terminal output salvage on 'limit'; same lift. */
+  };
+  /**
+  * The claim-consistency pass meta, lifted from the same envelope
+  * (or typed error data) when it carries a valid object (RV2203);
+  * `judgeDeclined` rides here on the failed terminals that used to
+  * read null while the journal held the verdict.
+  */
+  claimConsistencyMeta?: Record<string, unknown>; /** The synthesis-skip marker from the same envelope; same lift (RV2203). */
+  synthesisSkipped?: boolean | string; /** Children accepted through validated terminal output salvage on 'limit'; same lift. */
   salvagedTerminalOutputChildren?: string[];
   /**
   * Children that settled 'ok' below their declared evidence floor
@@ -11305,6 +11313,15 @@ type RunOutcome<R> = {
   salvagedPartialChildren?: string[]; /** The explicit semantic pass summaries (RV1906); same lift and posture. */
   semanticPasses?: SemanticPassesSummary;
   /**
+  * The claim-consistency pass meta (`judgeInvoked`, `judgeDeclined`,
+  * the pair counts), lifted from the same envelope or typed error
+  * data (RV2203). The RV2106 mirror run journaled its declined judge
+  * and the error terminal carried null: the truth now rides every
+  * terminal that has it, ok and failed alike.
+  */
+  claimConsistencyMeta?: Record<string, unknown>; /** The synthesis-skip marker from the same envelope; same lift and posture (RV2203). */
+  synthesisSkipped?: boolean | string;
+  /**
   * Children accepted through validated terminal output salvage on
   * 'limit'; same lift and posture.
   */

package/dist/index.js

@@ -20087,7 +20087,7 @@ function evidenceGradeValidator(options) {
 			return {
 				ok: false,
 				reasons: [
-					`evidence-grade claims cite no run or repro artifact in their own sentence: ${listCitations(unsupported)}; each such claim must name a run id or a file:line citation beside it`,
+					`evidence-grade claims cite no run or repro artifact in their own sentence: ${listCitations(unsupported)}; give each such claim a file:line citation in its own sentence, or state its run id in a SEPARATE sentence carrying no source citation (a run id written beside a path:line citation is not in the cited window and trades this failure for a cited-value one)`,
 					...named,
 					...overflow > 0 ? [`and ${String(overflow)} more offending sentences`] : []
 				]
@@ -24100,7 +24100,41 @@ function makeOrchestratorWorkflow(goal, opts) {
 				}
 			});
 		};
+		/**
+		* The pass summaries as one builder (RV2203): the ok envelope and
+		* the failure enrichment must tell the same {ran, reason} story,
+		* with only the synthesis arm differing by path.
+		*/
+		const semanticPassesSummary = (synthesis) => ({
+			contradictions: opts?.contradictions === void 0 ? {
+				ran: false,
+				reason: "not-configured"
+			} : contradictionsFound === void 0 ? {
+				ran: false,
+				reason: "not-run"
+			} : { ran: true },
+			claimConsistency: opts?.claimConsistency === void 0 ? {
+				ran: false,
+				reason: "not-configured"
+			} : claimConsistencyMeta === void 0 ? {
+				ran: false,
+				reason: "not-run"
+			} : { ran: true },
+			synthesis
+		});
 		const enrichSynthesisFailure = (thrown, snapshot) => {
+			const passTruth = {
+				...claimConsistencyMeta === void 0 ? {} : { claimConsistencyMeta },
+				semanticPasses: semanticPassesSummary({
+					ran: false,
+					reason: "synthesis-failed"
+				})
+			};
+			if (thrown instanceof BudgetExhaustedError) throw new BudgetExhaustedError(thrown.message, { data: {
+				...thrown.data ?? {},
+				...snapshot ?? {},
+				...passTruth
+			} });
 			if (!(thrown instanceof FailRunError)) throw thrown;
 			const base = thrown.data ?? {};
 			const spent = validationDecisions().filter((candidate) => candidate.verdict !== "accepted" && contractGenerationCurrent(candidate));
@@ -24110,6 +24144,7 @@ function makeOrchestratorWorkflow(goal, opts) {
 			throw new FailRunError(thrown.message, { data: {
 				...base,
 				...snapshot ?? {},
+				...passTruth,
 				...spent.length === 0 || base.repairsUsed !== void 0 ? {} : {
 					repairsUsed: spent.length,
 					maxRepairs: validationSpec?.maxRepairs ?? 1,
@@ -24368,29 +24403,13 @@ function makeOrchestratorWorkflow(goal, opts) {
 				...claimFindingsFound === void 0 ? {} : { claimContradictions: claimFindingsFound },
 				claimConsistencyMeta
 			},
-			semanticPasses: {
-				contradictions: opts?.contradictions === void 0 ? {
-					ran: false,
-					reason: "not-configured"
-				} : contradictionsFound === void 0 ? {
-					ran: false,
-					reason: "not-run"
-				} : { ran: true },
-				claimConsistency: opts?.claimConsistency === void 0 ? {
-					ran: false,
-					reason: "not-configured"
-				} : claimConsistencyMeta === void 0 ? {
-					ran: false,
-					reason: "not-run"
-				} : { ran: true },
-				synthesis: opts?.synthesis === void 0 ? {
-					ran: false,
-					reason: "not-configured"
-				} : synthesisSkippedByValidDraft ? {
-					ran: false,
-					reason: "valid-draft"
-				} : { ran: true }
-			}
+			semanticPasses: semanticPassesSummary(opts?.synthesis === void 0 ? {
+				ran: false,
+				reason: "not-configured"
+			} : synthesisSkippedByValidDraft ? {
+				ran: false,
+				reason: "valid-draft"
+			} : { ran: true })
 		};
 	};
 	return defineWorkflow({ name: ORCHESTRATE_WORKFLOW_NAME }, async (ctx) => {
@@ -26026,6 +26045,10 @@ function liftRunCompletion(candidate) {
 			synthesis: { ...synthesis }
 		};
 	}
+	const metaCandidate = candidate.claimConsistencyMeta;
+	if (typeof metaCandidate === "object" && metaCandidate !== null && !Array.isArray(metaCandidate)) lifted.claimConsistencyMeta = { ...metaCandidate };
+	const skippedCandidate = candidate.synthesisSkipped;
+	if (typeof skippedCandidate === "boolean" || typeof skippedCandidate === "string") lifted.synthesisSkipped = skippedCandidate;
 	return lifted;
 }
 /**
@@ -26576,7 +26599,8 @@ function createEngine(options) {
 			};
 			if (value !== void 0 && (status === "ok" || status === "exhausted")) outcomeFacts.value = value;
 			if (wireError !== void 0) outcomeFacts.error = wireError;
-			const lifted = liftRunCompletion(status === "ok" || status === "exhausted" ? outcomeFacts.value : status === "error" ? wireError?.data : void 0);
+			let lifted = liftRunCompletion(status === "ok" || status === "exhausted" ? outcomeFacts.value : status === "error" ? wireError?.data : void 0);
+			if (lifted === void 0 && status === "exhausted") lifted = liftRunCompletion(wireError?.data);
 			if (lifted !== void 0) {
 				outcomeFacts.completion = lifted.completion;
 				if (lifted.childStatusCounts !== void 0) outcomeFacts.childStatusCounts = lifted.childStatusCounts;
@@ -26586,6 +26610,8 @@ function createEngine(options) {
 				if (lifted.belowFloorOkChildren !== void 0) outcomeFacts.belowFloorOkChildren = lifted.belowFloorOkChildren;
 				if (lifted.acceptanceChildren !== void 0) outcomeFacts.acceptanceChildren = lifted.acceptanceChildren;
 				if (lifted.semanticPasses !== void 0) outcomeFacts.semanticPasses = lifted.semanticPasses;
+				if (lifted.claimConsistencyMeta !== void 0) outcomeFacts.claimConsistencyMeta = lifted.claimConsistencyMeta;
+				if (lifted.synthesisSkipped !== void 0) outcomeFacts.synthesisSkipped = lifted.synthesisSkipped;
 			}
 			let settlementFailure;
 			let supersededBy;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rulvar/core",
-  "version": "1.218.0",
+  "version": "1.220.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",