@shrkcrft/cli 0.1.0-alpha.29 → 0.1.0-alpha.31

package/dist/commands/arch.command.js

@@ -1,6 +1,8 @@
 import { existsSync } from 'node:fs';
 import * as nodePath from 'node:path';
-import { ArchReportStore, diffSnapshots, runArchCheck, } from '@shrkcrft/architecture-guard';
+import { ArchReportStore, archStoreMissing, diffSnapshots, runArchCheck, } from '@shrkcrft/architecture-guard';
+import { settleVerdict } from "../gates/settle-verdict.js";
+import { verdictLine } from "../gates/verdict-line.js";
 import { flagBool, flagString, resolveCwd, } from "../command-registry.js";
 import { safeImport } from '@shrkcrft/core';
 import { asJson, header, kv } from "../output/format-output.js";
@@ -59,12 +61,25 @@ async function runArchCheckCommand(args) {
             // best-effort
         }
     }
+    // Settle first, render second: a run with no code-graph store analyzed ZERO
+    // files, so its "0 errors" proves nothing — NOT VERIFIED (2), the same answer
+    // the quality-gates arch gate (`skipped`) and `gate baseline --refreeze` (2)
+    // give the same diagnostic. `arch` is a registered verdict verb.
+    const coverage = archStoreMissing(report)
+        ? [{ unit: 'files', expected: 0, examined: 0, reason: 'code-graph store missing — run `shrk graph index`' }]
+        : [];
+    const settled = settleVerdict(report.countsBySeverity.error > 0 ? 1 : 0, coverage);
     if (wantJson) {
-        process.stdout.write(asJson(report) + '\n');
-        return report.countsBySeverity.error > 0 ? 1 : 0;
+        process.stdout.write(asJson({
+            ...report,
+            exitCode: settled.exit,
+            verdict: settled.verdict,
+            shortfalls: settled.shortfalls,
+        }) + '\n');
+        return settled.exit;
     }
-    printArchReport(report);
-    return report.countsBySeverity.error > 0 ? 1 : 0;
+    printArchReport(report, settled);
+    return settled.exit;
 }
 async function runArchBaseline(args) {
     const cwd = resolveCwd(args);
@@ -137,14 +152,18 @@ async function runArchBaseline(args) {
     process.stderr.write('Usage: shrk arch baseline <write|show|clear> [--json]\n');
     return 2;
 }
-function printArchReport(report) {
+function printArchReport(report, settled) {
     process.stdout.write(header('Architecture guard'));
     process.stdout.write(kv('schema', report.schema) + '\n');
     process.stdout.write(kv('files analyzed', String(report.filesAnalyzed)) + '\n');
     process.stdout.write(kv('errors', String(report.countsBySeverity.error)) + '\n');
     process.stdout.write(kv('warnings', String(report.countsBySeverity.warning)) + '\n');
     if (report.violations.length === 0) {
-        process.stdout.write('\nNo violations.\n');
+        // "No violations." only when the run examined something (exit 0); over a
+        // missing store the settled line says NOT VERIFIED instead.
+        const line = verdictLine(settled, 'No violations.');
+        if (line)
+            process.stdout.write(`\n${line}\n`);
     }
     else {
         process.stdout.write('\nViolations:\n');

package/dist/commands/architecture.command.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"architecture.command.d.ts","sourceRoot":"","sources":["../../src/commands/architecture.command.ts"],"names":[],"mappings":"AAgBA,OAAO,EAKL,KAAK,eAAe,EAErB,MAAM,wBAAwB,CAAC;AAehC,eAAO,MAAM,sBAAsB,EAAE,eA8BpC,CAAC;AAEF,eAAO,MAAM,6BAA6B,EAAE,eAmE3C,CAAC;AAEF,eAAO,MAAM,uBAAuB,EAAE,eAyBrC,CAAC"}
+{"version":3,"file":"architecture.command.d.ts","sourceRoot":"","sources":["../../src/commands/architecture.command.ts"],"names":[],"mappings":"AAiBA,OAAO,EAKL,KAAK,eAAe,EAErB,MAAM,wBAAwB,CAAC;AAehC,eAAO,MAAM,sBAAsB,EAAE,eA8BpC,CAAC;AAEF,eAAO,MAAM,6BAA6B,EAAE,eA0E3C,CAAC;AAEF,eAAO,MAAM,uBAAuB,EAAE,eAyBrC,CAAC"}

package/dist/commands/architecture.command.js

@@ -1,5 +1,6 @@
 import { mkdirSync, writeFileSync } from 'node:fs';
 import * as nodePath from 'node:path';
+import { verdictLine } from "../gates/verdict-line.js";
 import { buildArchitectureArea, buildArchitectureMap, buildArchitectureViolations, buildArchitectureViolationsDiff, inspectSharkcraft, renderArchitectureMapHtml, renderArchitectureMapMarkdown, renderArchitectureMapText, renderArchitectureViolationsDiffHtml, renderArchitectureViolationsDiffMarkdown, renderArchitectureViolationsDiffText, } from '@shrkcrft/inspector';
 import { flagBool, flagString, flagList, resolveCwd, } from "../command-registry.js";
 import { asJson } from "../output/format-output.js";
@@ -70,7 +71,9 @@ export const architectureViolationsCommand = {
             const report = await buildArchitectureViolations(inspection);
             if (flagBool(args, 'json') || format === 'json') {
                 process.stdout.write(asJson(report) + '\n');
-                return report.total === 0 ? 0 : 1;
+                // THE boundary verdict (`runBoundaryCheck`) — 2 over zero rules or an
+                // unexamined scope, never `total 0` at exit 0 (round 11 review R11-GAP-3).
+                return report.exitCode;
             }
             process.stdout.write(`=== Architecture violations ===\n  total ${report.total}\n`);
             if (report.byRule.length > 0) {
@@ -80,7 +83,10 @@ export const architectureViolationsCommand = {
             }
             for (const v of report.violations.slice(0, 30))
                 process.stdout.write(`  [${v.severity}] ${v.ruleId} ${v.file}:${v.line} → ${v.importSpecifier}\n`);
-            return report.total === 0 ? 0 : 1;
+            const line = verdictLine({ exit: report.exitCode, verdict: report.verdict, shortfalls: report.shortfalls, accepted: report.accepted ?? [] }, '');
+            if (line)
+                process.stdout.write(`${line}\n`);
+            return report.exitCode;
         }
         // When --changed-only is set without a more specific scope, pull
         // the working-tree changed files (untracked + modified) and pass through

package/dist/commands/baseline.command.d.ts

@@ -1,4 +1,80 @@
+import type { IBaselineRule, IUnitLiveness, IUnitStateLists } from '@shrkcrft/core';
+import type { IGlobLivenessRequest } from '@shrkcrft/boundaries';
+import { type IBaselineDiff, type ICeilingVerdict, type IReadScope } from '@shrkcrft/boundaries';
 import { type ICommandHandler } from '../command-registry.js';
+import type { IVerdictCoverage } from '@shrkcrft/core';
+/**
+ * One rule's outcome, shared by check / diff / update — and by `shrk gates
+ * check`, which aggregates every plane. Exported so the aggregate runs the
+ * IDENTICAL evaluation as the per-plane verb: two implementations of "did this
+ * baseline drift?" would eventually disagree, and the one nobody runs would be
+ * the one that is wrong.
+ */
+export interface IBaselineOutcome {
+    readonly rule: IBaselineRule;
+    readonly status: 'passed' | 'failed' | 'skipped' | 'error';
+    readonly diff?: IBaselineDiff;
+    readonly committed?: string;
+    readonly current?: string;
+    readonly committedCount: number;
+    readonly currentCount: number;
+    readonly error?: string;
+    readonly skipReason?: string;
+    /** The recompute produced 0 entries while the baseline has some — likely a broken compute. */
+    readonly emptyCompute?: boolean;
+    /** No committed artifact exists yet — `committed` is absent, not zero. */
+    readonly missingBaseline?: boolean;
+    /** Set for a `mode: 'ceiling'` rule: the measured number against its limit. */
+    readonly ceiling?: ICeilingVerdict;
+    /**
+     * Set when the extractor compute matched a file the reader did not read
+     * (over the read cap): the recomputed value is incomplete, so
+     * {@link baselineCoverage} names the file and the rule is never a pass.
+     */
+    readonly readScope?: IReadScope;
+    /**
+     * Set when the rule's EMPTY result is accepted (round 13, `settleRuleEmptiness`):
+     * the fence's asserted empty output (`expectEmpty: true` over live or planned
+     * inputs — never over a dead one), or an intended-empty input (every
+     * inclusion glob of the extractor's `source.files` marked `expectEmpty`, no
+     * file matched). It stands in for the rule's coverage ({@link baselineCoverage}).
+     */
+    readonly emptyCoverage?: IVerdictCoverage;
+    /** Settle record B of the rule's input globs (`compute.source.files` / `to.files`, `watchFiles`). */
+    readonly unitAcceptance?: IVerdictCoverage;
+    /** The rule's dead / intended-empty / went-live input units as printed lines. */
+    readonly units?: IUnitStateLists;
+    /** The rule's non-live input units, for `--fail-on-dead-units` (`selectorUnitFails`). */
+    readonly unitLiveness?: readonly IUnitLiveness[];
+}
+/**
+ * THE glob lists of a baseline's INPUTS (round 13): an extractor compute's
+ * `source` (`compute.source.files`, and `to.files` for an import-edges fence)
+ * and the rule's `watchFiles` — with their `expectEmpty` markers. `baseline
+ * check` settles it (`settleGlobLists`) and `gates coverage` builds the same
+ * request, so the two read one baseline's units alike. `primaryLists` names
+ * the lists whose liveness decides the rule's emptiness — a command compute
+ * has none (its `watchFiles` is a footprint, not an input it reads).
+ */
+export declare function baselineLivenessRequest(cwd: string, rule: IBaselineRule, excludeDirs: readonly string[]): {
+    readonly request: IGlobLivenessRequest;
+    readonly primaryLists: readonly string[];
+};
+export declare function evaluateBaselineRule(cwd: string, authored: IBaselineRule, excludeDirs: readonly string[], changedFiles: readonly string[] | undefined): IBaselineOutcome;
+/**
+ * What one baseline rule examined — shared by `baseline check` and the
+ * aggregate (`gates check`, `quality`), so both report the same scope.
+ *
+ * A ledger examines the union of its committed and recomputed entries; a
+ * ceiling examines one measurement. A fence (`expectEmpty`) over an empty set
+ * is the asserted state, so its empty scope is ACCEPTED by that field — and
+ * printed as accepted, never silent. A skipped or errored rule examined nothing.
+ *
+ * An extractor compute that matched a file the reader did not read folds it
+ * in through `readScopeCoverage`, the one rule every plane uses: the record
+ * becomes `examined N of M files`, naming the unread file.
+ */
+export declare function baselineCoverage(o: IBaselineOutcome): IVerdictCoverage;
 export declare const baselineListCommand: ICommandHandler;
 export declare const baselineCheckCommand: ICommandHandler;
 export declare const baselineDiffCommand: ICommandHandler;

package/dist/commands/baseline.command.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"baseline.command.d.ts","sourceRoot":"","sources":["../../src/commands/baseline.command.ts"],"names":[],"mappings":"AA8BA,OAAO,EAIL,KAAK,eAAe,EAErB,MAAM,wBAAwB,CAAC;AA6ShC,eAAO,MAAM,mBAAmB,EAAE,eAyCjC,CAAC;AAEF,eAAO,MAAM,oBAAoB,EAAE,eAyGlC,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,eA8BjC,CAAC;AAEF,eAAO,MAAM,qBAAqB,EAAE,eAwDnC,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,eA2DpC,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,eAc7B,CAAC"}
+{"version":3,"file":"baseline.command.d.ts","sourceRoot":"","sources":["../../src/commands/baseline.command.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EACV,aAAa,EAGb,aAAa,EACb,eAAe,EAChB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAejE,OAAO,EAeL,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,UAAU,EAChB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAIL,KAAK,eAAe,EAErB,MAAM,wBAAwB,CAAC;AAYhC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AA2GvD;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,OAAO,CAAC;IAC3D,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,8FAA8F;IAC9F,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,UAAU,CAAC;IAChC;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,gBAAgB,CAAC;IAC1C,qGAAqG;IACrG,QAAQ,CAAC,cAAc,CAAC,EAAE,gBAAgB,CAAC;IAC3C,iFAAiF;IACjF,QAAQ,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC;IACjC,yFAAyF;IACzF,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;CAClD;AASD;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,aAAa,EACnB,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B;IAAE,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CA6BtF;AA+DD,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,YAAY,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GAC1C,gBAAgB,CA6NlB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,gBAAgB,GAAG,gBAAgB,CAEtE;AA4KD,eAAO,MAAM,mBAAmB,EAAE,eAiDjC,CAAC;AAEF,eAAO,MAAM,oBAAoB,EAAE,eAkMlC,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,eAoCjC,CAAC;AAEF,eAAO,MAAM,qBAAqB,EAAE,eAyLnC,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,eAsEpC,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,eAc7B,CAAC"}