@rulvar/cli 1.228.0 → 1.229.0

package/dist/cli.js

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import { r as runCli, t as processIo } from "./io-BhEqrNZg.js";
+import { r as runCli, t as processIo } from "./io-gaixYC7a.js";
 import { sanitizeTerminalText } from "@rulvar/core";
 import { inspect } from "node:util";
 //#region src/cli.ts

package/dist/index.d.ts

@@ -240,6 +240,14 @@ declare function reportOutcome(outcome: RunOutcome<unknown>, io: CliIo): number;
 * pass through unchanged, so the flag never masks the ordinary status
 * exit and never bites a plain workflow.
 *
+* Completion answers for the CHILDREN, never for the artifact, so
+* strict also reads the deliverable verdict (RV2604): a
+* `deliverableAccepted: false` exits nonzero even under a green
+* completion, the row the twenty-fifth comparison run landed on when
+* its child roster passed and its declared contract refused every
+* synthesis. An ABSENT verdict is left alone, because nothing judged
+* anything and a host that declares no contract is its own judge.
+*
 * Completion is a MECHANICAL verdict, and the eighteenth comparison
 * benchmark showed how easily `completion: 'complete'` reads as
 * semantic green while the claim judge saw 40 of 144 citing sentences.

package/dist/index.js

@@ -1,4 +1,4 @@
-import { _ as assembleEngine, a as inspectCommand, b as looksLikeFile, c as resumeCommand, d as driveRun, f as reportOutcome, g as DEFAULT_STORE_DIR, h as renderEventLine, i as costAuditCommand, l as runCommand, m as attachProgress, n as HELP, o as invoiceCommand, p as strictExitCode, r as runCli, s as preflightCommand, t as processIo, u as runsLsCommand, v as loadCliConfig, y as loadWorkflowModule } from "./io-BhEqrNZg.js";
+import { _ as assembleEngine, a as inspectCommand, b as looksLikeFile, c as resumeCommand, d as driveRun, f as reportOutcome, g as DEFAULT_STORE_DIR, h as renderEventLine, i as costAuditCommand, l as runCommand, m as attachProgress, n as HELP, o as invoiceCommand, p as strictExitCode, r as runCli, s as preflightCommand, t as processIo, u as runsLsCommand, v as loadCliConfig, y as loadWorkflowModule } from "./io-gaixYC7a.js";
 import { ConfigError, JournalCompatibilityError, LeaseHeldError, Replayer, RulvarError, buildDeriverRegistry, compileSecretMasker, costReportFromJournal, journalPricingSnapshot, maskSecrets, normalizeEntry, persistedTerminalEnvelope, readRunMeta, scanJournalCompatibility, validateDetachedResolution } from "@rulvar/core";
 //#region src/server.ts
 /**

package/dist/{io-BhEqrNZg.js → io-gaixYC7a.js}

@@ -1,4 +1,4 @@
-import { ConfigError, FileModelKnowledgeStore, INBOX_PROPOSAL_TTL_DAYS, JsonlFileStore, LeaseHeldError, auditRuns, claimCoverageOf, claimExpired, claimExpiry, compilePermissionPreset, costReportFromJournal, createEngine, hashRunArgs, hashRunOutput, invoiceFromJournal, journalPricingSnapshot, lastRunSettle, parseModelRef, preflightEstimate, priceUsdOf, proposalStatement, readRunMeta, reconcileRunMeta, remeasureQueue, resolvePricing, runProfile, sanitizeTerminalText } from "@rulvar/core";
+import { ConfigError, FileModelKnowledgeStore, INBOX_PROPOSAL_TTL_DAYS, JsonlFileStore, LeaseHeldError, auditRuns, claimCoverageOf, claimExpired, claimExpiry, compilePermissionPreset, costReportFromJournal, createEngine, hashRunArgs, hashRunOutput, invoiceFromJournal, journalPricingSnapshot, lastRunSettle, logicalRunTelemetry, parseModelRef, preflightEstimate, priceUsdOf, proposalStatement, readRunMeta, reconcileRunMeta, remeasureQueue, resolvePricing, runProfile, sanitizeTerminalText } from "@rulvar/core";
 import { join, resolve } from "node:path";
 import { existsSync, statSync } from "node:fs";
 import { pathToFileURL } from "node:url";
@@ -427,6 +427,14 @@ function coverageGradeOf(value) {
 * pass through unchanged, so the flag never masks the ordinary status
 * exit and never bites a plain workflow.
 *
+* Completion answers for the CHILDREN, never for the artifact, so
+* strict also reads the deliverable verdict (RV2604): a
+* `deliverableAccepted: false` exits nonzero even under a green
+* completion, the row the twenty-fifth comparison run landed on when
+* its child roster passed and its declared contract refused every
+* synthesis. An ABSENT verdict is left alone, because nothing judged
+* anything and a host that declares no contract is its own judge.
+*
 * Completion is a MECHANICAL verdict, and the eighteenth comparison
 * benchmark showed how easily `completion: 'complete'` reads as
 * semantic green while the claim judge saw 40 of 144 citing sentences.
@@ -453,6 +461,10 @@ function strictExitCode(outcome, base, io) {
 		for (const reason of reasons.filter((entry) => typeof entry === "string")) io.err(`  ${sanitizeTerminalText(reason)}`);
 		return 1;
 	}
+	if (outcome.deliverableAccepted === false) {
+		io.err("strict: the declared finish contract did not accept the artifact this run settled on" + (outcome.resultAvailable === false ? ", and the terminal carries no artifact at all" : ""));
+		return 1;
+	}
 	const grade = coverageGradeOf(value);
 	if (grade === "judge-failed" || grade === "judge-declined" || grade === "critical-uncovered") {
 		io.err(`strict: claim coverage '${grade}': ` + (grade === "judge-failed" ? "the claim-consistency judge did not settle ok, so nothing was judged" : grade === "judge-declined" ? "the claim-consistency judge was refused admission and never dispatched, so nothing was judged" : "declared critical anchors got no judged pair"));
@@ -1209,6 +1221,17 @@ async function inspectCommand(argv, context) {
 	context.io.out(`entries: ${entries.length}`);
 	for (const [kind, count] of [...byKind.entries()].sort((a, b) => a[0].localeCompare(b[0]))) context.io.out(`  ${kind}: ${count}`);
 	context.io.out(`open suspensions: ${openSuspensions}`);
+	const logical = logicalRunTelemetry(entries);
+	if (logical.segments > 0) {
+		context.io.out(`segments: ${logical.segments} (${logical.statuses.map((status, index) => `${sanitizeTerminalText(status)} after ${String(logical.entriesPerSegment[index] ?? 0)}`).join(", ")})`);
+		if (logical.entriesAfterLastSettle > 0) context.io.out(`  entries after the last settle: ${logical.entriesAfterLastSettle}`);
+	}
+	const rejected = lastRunSettle(entries)?.rejectedFinishCandidates ?? [];
+	if (rejected.length > 0) {
+		const distinct = new Set(rejected.map((row) => row.hash)).size;
+		context.io.out(`rejected finish candidates: ${rejected.length}` + (distinct === rejected.length ? "" : ` (${distinct} distinct document(s))`));
+		for (const row of rejected) context.io.out(`  ${sanitizeTerminalText(row.verdict)} ${sanitizeTerminalText(row.callId)}: ${row.chars} chars, sha256 ${row.hash.slice(0, 12)}, failed ${row.failed.map((entry) => sanitizeTerminalText(entry.name)).join(", ")}` + (row.ref === void 0 ? "" : ` (bytes at ${sanitizeTerminalText(row.ref)})`));
+	}
 	const inspectSnapshot = journalPricingSnapshot(entries);
 	const cost = costReportFromJournal(entries, inspectSnapshot === void 0 ? assembled.priceUsd : inspectSnapshot.composedPriceUsd(assembled.priceUsd));
 	context.io.out(`cost: $${cost.totalUsd.toFixed(4)}`);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rulvar/cli",
-  "version": "1.228.0",
+  "version": "1.229.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.228.0"
+    "@rulvar/core": "1.229.0"
   },
   "devDependencies": {
     "@types/node": "^22.20.1",
     "tsdown": "^0.22.14",
     "typescript": "~6.0.3",
-    "@rulvar/store-sqlite": "1.228.0",
-    "@rulvar/planner": "1.228.0",
-    "@rulvar/evals": "1.228.0",
-    "@rulvar/testing": "1.228.0",
-    "@rulvar/plan": "1.228.0"
+    "@rulvar/store-sqlite": "1.229.0",
+    "@rulvar/testing": "1.229.0",
+    "@rulvar/planner": "1.229.0",
+    "@rulvar/plan": "1.229.0",
+    "@rulvar/evals": "1.229.0"
   },
   "bin": {
     "rulvar": "./dist/cli.js"