@rulvar/cli 1.178.0 → 1.180.0

package/dist/cli.js

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

package/dist/index.d.ts

@@ -223,6 +223,18 @@ declare function reportOutcome(outcome: RunOutcome<unknown>, io: CliIo): number;
 * that never opted into orchestrate acceptance) and nonzero exit codes
 * pass through unchanged, so the flag never masks the ordinary status
 * exit and never bites a plain workflow.
+*
+* 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.
+* So strict also reads the claim-coverage grade (RV1702) when the
+* outcome carries a claim-consistency meta: `'judge-failed'` (nothing
+* was judged) and `'critical-uncovered'` (declared claims went
+* unverified) exit nonzero, because both previously slipped through
+* strict as green; `'partial'` prints its counts to stderr and keeps
+* the exit, because the bounded pass is the documented default and
+* declaring critical anchors is the opt-in that makes the subset
+* enforceable.
 */
 declare function strictExitCode(outcome: RunOutcome<unknown>, base: number, io: CliIo): number;
 //#endregion

package/dist/index.js

@@ -1,4 +1,4 @@
-import { _ as loadCliConfig, a as invoiceCommand, c as runCommand, d as reportOutcome, f as strictExitCode, g as assembleEngine, h as DEFAULT_STORE_DIR, i as inspectCommand, l as runsLsCommand, m as renderEventLine, n as HELP, o as preflightCommand, p as attachProgress, r as runCli, s as resumeCommand, t as processIo, u as driveRun, v as loadWorkflowModule, y as looksLikeFile } from "./io-Cnnpu6i5.js";
+import { _ as loadCliConfig, a as invoiceCommand, c as runCommand, d as reportOutcome, f as strictExitCode, g as assembleEngine, h as DEFAULT_STORE_DIR, i as inspectCommand, l as runsLsCommand, m as renderEventLine, n as HELP, o as preflightCommand, p as attachProgress, r as runCli, s as resumeCommand, t as processIo, u as driveRun, v as loadWorkflowModule, y as looksLikeFile } from "./io-CiYi4jwQ.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-Cnnpu6i5.js → io-CiYi4jwQ.js}

@@ -1,4 +1,4 @@
-import { ConfigError, FileModelKnowledgeStore, INBOX_PROPOSAL_TTL_DAYS, JsonlFileStore, LeaseHeldError, auditRuns, 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, 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";
@@ -385,6 +385,36 @@ function reportOutcome(outcome, io) {
 		default: return 1;
 	}
 }
+/** The closed grade vocabulary strict accepts from a persisted meta. */
+const COVERAGE_GRADES = [
+	"full",
+	"partial",
+	"critical-uncovered",
+	"judge-failed"
+];
+/**
+* The claim-coverage grade of an outcome's acceptance envelope, when
+* one is derivable (RV1702): the stamped `coverage` field when it
+* carries a known grade, else {@link claimCoverageOf} over the counts
+* (a meta persisted before the grade shipped), else undefined.
+*/
+function coverageGradeOf(value) {
+	if (typeof value !== "object" || value === null) return;
+	const meta = value.claimConsistencyMeta;
+	if (typeof meta !== "object" || meta === null) return;
+	const record = meta;
+	const stamped = COVERAGE_GRADES.find((grade) => grade === record.coverage);
+	if (stamped !== void 0) return stamped;
+	if (typeof record.draftCitingSentences !== "number" || typeof record.truncated !== "boolean" || typeof record.coveredCitingSentences !== "number") return;
+	return claimCoverageOf({
+		draftCitingSentences: record.draftCitingSentences,
+		truncated: record.truncated,
+		coveredCitingSentences: record.coveredCitingSentences,
+		...typeof record.criticalUncoveredTotal === "number" ? { criticalUncoveredTotal: record.criticalUncoveredTotal } : {},
+		...record.runFactPairsTruncated === true ? { runFactPairsTruncated: true } : {},
+		...record.judgeFailed === true ? { judgeFailed: true } : {}
+	});
+}
 /**
 * `--strict` (the v1.40.0 improvement plan's completion contract): a
 * settled ok run whose orchestration acceptance envelope reports a
@@ -393,16 +423,36 @@ function reportOutcome(outcome, io) {
 * that never opted into orchestrate acceptance) and nonzero exit codes
 * pass through unchanged, so the flag never masks the ordinary status
 * exit and never bites a plain workflow.
+*
+* 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.
+* So strict also reads the claim-coverage grade (RV1702) when the
+* outcome carries a claim-consistency meta: `'judge-failed'` (nothing
+* was judged) and `'critical-uncovered'` (declared claims went
+* unverified) exit nonzero, because both previously slipped through
+* strict as green; `'partial'` prints its counts to stderr and keeps
+* the exit, because the bounded pass is the documented default and
+* declaring critical anchors is the opt-in that makes the subset
+* enforceable.
 */
 function strictExitCode(outcome, base, io) {
 	if (base !== 0 || outcome.status !== "ok") return base;
 	const value = outcome.value;
 	const completion = typeof value === "object" && value !== null && typeof value.completion === "string" ? value.completion : void 0;
-	if (completion === void 0 || completion === "complete") return base;
-	io.err(`strict: the orchestration acceptance reports completion '${sanitizeTerminalText(completion)}'`);
-	const reasons = Array.isArray(value?.degradedReasons) ? value.degradedReasons : [];
-	for (const reason of reasons.filter((entry) => typeof entry === "string")) io.err(`  ${sanitizeTerminalText(reason)}`);
-	return 1;
+	if (completion !== void 0 && completion !== "complete") {
+		io.err(`strict: the orchestration acceptance reports completion '${sanitizeTerminalText(completion)}'`);
+		const reasons = Array.isArray(value?.degradedReasons) ? value.degradedReasons : [];
+		for (const reason of reasons.filter((entry) => typeof entry === "string")) io.err(`  ${sanitizeTerminalText(reason)}`);
+		return 1;
+	}
+	const grade = coverageGradeOf(value);
+	if (grade === "judge-failed" || grade === "critical-uncovered") {
+		io.err(`strict: claim coverage '${grade}': ` + (grade === "judge-failed" ? "the claim-consistency judge did not settle ok, so nothing was judged" : "declared critical anchors got no judged pair"));
+		return 1;
+	}
+	if (grade === "partial") io.err("strict: claim coverage 'partial': the judge saw a bounded subset of the citing sentences; declare critical anchors (or raise the pair bound) to make the subset enforceable");
+	return base;
 }
 //#endregion
 //#region src/grammar.ts

package/package.json

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