@rulvar/cli 1.225.0 → 1.227.0

package/dist/cli.js

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

package/dist/index.d.ts

@@ -245,12 +245,16 @@ declare function reportOutcome(outcome: RunOutcome<unknown>, io: CliIo): number;
 * 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.
+* was judged), `'judge-declined'` (RV2508: the judge was refused
+* admission and never dispatched, so nothing was judged either) and
+* `'critical-uncovered'` (declared claims went unverified) exit
+* nonzero, because all three 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,
+* and `'vacuous'` (RV2508: the draft cited nothing, so the configured
+* pass verified nothing) prints and keeps the exit too, because
+* citing nothing breaks no contract the pass declares.
 */
 declare function strictExitCode(outcome: RunOutcome<unknown>, base: number, io: CliIo): number;
 //#endregion

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-Cc-obcZx.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-BhEqrNZg.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-Cc-obcZx.js → io-BhEqrNZg.js}

@@ -388,8 +388,10 @@ function reportOutcome(outcome, io) {
 /** The closed grade vocabulary strict accepts from a persisted meta. */
 const COVERAGE_GRADES = [
 	"full",
+	"vacuous",
 	"partial",
 	"critical-uncovered",
+	"judge-declined",
 	"judge-failed"
 ];
 /**
@@ -412,7 +414,8 @@ function coverageGradeOf(value) {
 		coveredCitingSentences: record.coveredCitingSentences,
 		...typeof record.criticalUncoveredTotal === "number" ? { criticalUncoveredTotal: record.criticalUncoveredTotal } : {},
 		...record.runFactPairsTruncated === true ? { runFactPairsTruncated: true } : {},
-		...record.judgeFailed === true ? { judgeFailed: true } : {}
+		...record.judgeFailed === true ? { judgeFailed: true } : {},
+		...record.judgeDeclined === true ? { judgeDeclined: true } : {}
 	});
 }
 /**
@@ -429,12 +432,16 @@ function coverageGradeOf(value) {
 * 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.
+* was judged), `'judge-declined'` (RV2508: the judge was refused
+* admission and never dispatched, so nothing was judged either) and
+* `'critical-uncovered'` (declared claims went unverified) exit
+* nonzero, because all three 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,
+* and `'vacuous'` (RV2508: the draft cited nothing, so the configured
+* pass verified nothing) prints and keeps the exit too, because
+* citing nothing breaks no contract the pass declares.
 */
 function strictExitCode(outcome, base, io) {
 	if (base !== 0 || outcome.status !== "ok") return base;
@@ -447,8 +454,8 @@ function strictExitCode(outcome, base, io) {
 		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"));
+	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"));
 		return 1;
 	}
 	const low = lowCoverageOf(value);
@@ -457,6 +464,7 @@ function strictExitCode(outcome, base, io) {
 		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");
+	if (grade === "vacuous") io.err("strict: claim coverage 'vacuous': the draft carried no citing sentence, so the configured claim-consistency pass verified nothing");
 	return base;
 }
 /** The stamped below-floor block of an outcome's claim meta, when present (RV1809). */

package/package.json

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