@rulvar/cli 1.228.0 → 1.230.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-OKD0hUpc.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-OKD0hUpc.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-OKD0hUpc.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, childRostersFromJournal, 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";
@@ -373,6 +373,7 @@ function reportOutcome(outcome, io) {
 	io.err(`status: ${outcome.status}`);
 	if (outcome.value !== void 0) io.out(JSON.stringify(outcome.value, null, 2));
 	if (outcome.error !== void 0) io.err(`error: ${sanitizeTerminalText(outcome.error.message)}`);
+	reportSemanticTerminal(outcome, io);
 	if (outcome.dropped.length > 0) io.err(`dropped: ${outcome.dropped.length} item(s)`);
 	for (const pending of outcome.pending) io.err(`pending: ${sanitizeTerminalText(pending.key)} (entry ${pending.entryRef})`);
 	io.err(`cost: $${outcome.cost.totalUsd.toFixed(4)}${outcome.cost.usageApprox === true ? " (approximate: some usage was estimated, not reported by the provider)" : ""}`);
@@ -385,6 +386,42 @@ function reportOutcome(outcome, io) {
 		default: return 1;
 	}
 }
+/**
+* What the terminal CLAIMS, printed beside what it transported
+* (RV2703).
+*
+* `status` answers whether the run ran. It has never answered whether
+* the work is done, whether the artifact passed the contract it
+* declared, or what the children produced when nothing judged them,
+* and until this shipped a human reading `rulvar run` saw `status: ok`
+* for an accepted-with-degradation run, for a run whose declared
+* finish contract refused every candidate it was handed, and for a
+* clean one, with no line between them. `--strict` has read those
+* fields since RV2604, but strict is the MACHINE gate: a person who
+* does not pass the flag was left with exactly the blindness two
+* releases went into curing.
+*
+* Absence prints nothing, in every line below (RV1209): no contract
+* declared means nobody judged anything, which is not a verdict and
+* must not be rendered as one.
+*/
+function reportSemanticTerminal(outcome, io) {
+	if (outcome.completion !== void 0) io.err(`completion: ${outcome.completion}` + (outcome.completion === "complete" ? "" : " (the work is NOT complete)"));
+	for (const reason of outcome.degradedReasons ?? []) io.err(`  degraded: ${sanitizeTerminalText(reason)}`);
+	if (outcome.deliverableAccepted !== void 0) io.err(`deliverable: ${outcome.deliverableAccepted ? "accepted by the declared finish contract" : "REFUSED by the declared finish contract"}` + (outcome.resultAvailable === false ? "; the terminal carries no artifact" : ""));
+	const rejected = outcome.rejectedFinishCandidates ?? [];
+	if (rejected.length > 0) {
+		const distinct = new Set(rejected.map((row) => row.hash)).size;
+		io.err(`rejected finish candidates: ${rejected.length}` + (distinct === rejected.length ? "" : ` (${distinct} distinct document(s))`));
+	}
+	const roster = outcome.childrenAtFailure;
+	if (roster !== void 0) {
+		const statuses = Object.entries(roster.statusCounts).map(([status, count]) => `${sanitizeTerminalText(status)} ${count}`).join(", ");
+		io.err(`children at failure: ${roster.spawned} spawned, ${roster.settled} settled` + (statuses === "" ? "" : ` (${statuses})`) + "; no acceptance verdict was ever rendered");
+		if (roster.belowFloorOkChildren !== void 0) io.err(`  settled ok below their declared evidence floor: ${roster.belowFloorOkChildren.length}`);
+		if (roster.unsettled !== void 0) io.err(`  still running when the run gave up: ${roster.unsettled.length}`);
+	}
+}
 /** The closed grade vocabulary strict accepts from a persisted meta. */
 const COVERAGE_GRADES = [
 	"full",
@@ -427,6 +464,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 +498,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 +1258,31 @@ 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 settled = lastRunSettle(entries);
+	if (settled?.completion !== void 0) context.io.out(`completion: ${settled.completion}` + (settled.completion === "complete" ? " (the last settle claims the work is complete)" : " (the last settle claims the work is NOT complete)"));
+	for (const roster of childRostersFromJournal(entries)) {
+		const statusCounts = /* @__PURE__ */ new Map();
+		for (const child of roster.children) if (child.status !== void 0) statusCounts.set(child.status, (statusCounts.get(child.status) ?? 0) + 1);
+		const settledChildren = roster.children.filter((child) => child.status !== void 0);
+		const statuses = [...statusCounts.entries()].map(([status, count]) => `${sanitizeTerminalText(status)} ${String(count)}`).join(", ");
+		context.io.out(`children under ${sanitizeTerminalText(roster.childScope)}: ${roster.admitted} admitted, ${settledChildren.length} settled` + (statuses === "" ? "" : ` (${statuses})`) + (roster.rejected === 0 ? "" : `; ${roster.rejected} refused admission`));
+		if (roster.children.length < roster.admitted) context.io.out(`  admitted with no dispatch entry: ${roster.admitted - roster.children.length}`);
+		const belowFloor = roster.children.filter((child) => child.status === "ok" && child.evidence?.met === false);
+		if (belowFloor.length > 0) context.io.out(`  settled ok below their declared evidence floor: ${belowFloor.length} (handle${belowFloor.length === 1 ? "" : "s"} ${belowFloor.map((child) => String(child.handle)).join(", ")})`);
+		const unsettled = roster.children.filter((child) => child.status === void 0);
+		if (unsettled.length > 0) context.io.out(`  dispatched with no terminal in the journal: ${unsettled.length} (handle${unsettled.length === 1 ? "" : "s"} ${unsettled.map((child) => String(child.handle)).join(", ")})`);
+	}
+	const rejected = settled?.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.230.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.230.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/testing": "1.230.0",
+    "@rulvar/planner": "1.230.0",
+    "@rulvar/store-sqlite": "1.230.0",
+    "@rulvar/evals": "1.230.0",
+    "@rulvar/plan": "1.230.0"
   },
   "bin": {
     "rulvar": "./dist/cli.js"