modality-ts 0.0.14 → 0.0.16

package/dist/cli/features/check/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/check/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,eAAe,GAChB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,yBAAyB,EACzB,sBAAsB,EACtB,4BAA4B,EAC5B,eAAe,GAChB,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/check/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,eAAe,GAChB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,yBAAyB,EACzB,sBAAsB,EACtB,4BAA4B,EAC5B,uBAAuB,EACvB,eAAe,GAChB,MAAM,aAAa,CAAC"}

package/dist/cli/features/check/output.d.ts

@@ -1,14 +1,29 @@
 import type { CheckResult, PropertyVerdict } from "modality-ts/check";
-export type CheckOutputMode = "plain" | "color";
-export interface CheckOutputOptions {
-    color?: boolean;
-}
-export declare function symbolForStatus(status: PropertyVerdict["status"]): string;
-export declare function renderHumanCheckResult(check: CheckResult, options?: CheckOutputOptions): string[];
+import { type OutputOptions } from "../../output.js";
+export type CheckOutputOptions = OutputOptions;
 export interface ArtifactPathEntry {
-    kind: "trace" | "replayTest" | "actionReplayTest";
+    kind: "report" | "trace" | "replayTest" | "actionReplayTest";
     path: string;
 }
+export interface HumanCheckTargetResult {
+    modelPath: string;
+    propsPath: string;
+    check: CheckResult;
+    reportPath?: string;
+    artifacts: readonly ArtifactPathEntry[];
+    durationMs?: number;
+}
+export interface HumanCheckRenderOptions extends OutputOptions {
+    startedAt: Date;
+    totalDurationMs: number;
+}
+export declare function symbolForStatus(status: PropertyVerdict["status"]): string;
+export declare function renderHumanCheckTargets(results: readonly HumanCheckTargetResult[], options: HumanCheckRenderOptions): string[];
+/** @deprecated Use renderHumanCheckTargets for CLI output */
+export declare function renderHumanCheckResult(check: CheckResult, options?: CheckOutputOptions): string[];
+/** @deprecated Use renderHumanCheckTargets artifact block */
 export declare function renderHumanCheckArtifacts(paths: readonly ArtifactPathEntry[], options?: CheckOutputOptions): string[];
+/** @deprecated No longer used in CLI output */
 export declare function renderHumanCheckTargetHeader(modelPath: string, propsPath: string, options?: CheckOutputOptions): string[];
+export type CheckOutputMode = "plain" | "color";
 //# sourceMappingURL=output.d.ts.map

package/dist/cli/features/check/output.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/check/output.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEtE,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,OAAO,CAAC;AAEhD,MAAM,WAAW,kBAAkB;IACjC,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAyBD,wBAAgB,eAAe,CAAC,MAAM,EAAE,eAAe,CAAC,QAAQ,CAAC,GAAG,MAAM,CAazE;AAoCD,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,WAAW,EAClB,OAAO,GAAE,kBAAuB,GAC/B,MAAM,EAAE,CAqEV;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,OAAO,GAAG,YAAY,GAAG,kBAAkB,CAAC;IAClD,IAAI,EAAE,MAAM,CAAC;CACd;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,iBAAiB,EAAE,EACnC,OAAO,GAAE,kBAAuB,GAC/B,MAAM,EAAE,CAQV;AAED,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,OAAO,GAAE,kBAAuB,GAC/B,MAAM,EAAE,CAGV"}
+{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/check/output.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACtE,OAAO,EAQL,KAAK,aAAa,EAGnB,MAAM,iBAAiB,CAAC;AAEzB,MAAM,MAAM,kBAAkB,GAAG,aAAa,CAAC;AAE/C,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,YAAY,GAAG,kBAAkB,CAAC;IAC7D,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,sBAAsB;IACrC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,WAAW,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACxC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,uBAAwB,SAAQ,aAAa;IAC5D,SAAS,EAAE,IAAI,CAAC;IAChB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,eAAe,CAAC,QAAQ,CAAC,GAAG,MAAM,CAWzE;AAqHD,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,SAAS,sBAAsB,EAAE,EAC1C,OAAO,EAAE,uBAAuB,GAC/B,MAAM,EAAE,CAsEV;AAED,6DAA6D;AAC7D,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,WAAW,EAClB,OAAO,GAAE,kBAAuB,GAC/B,MAAM,EAAE,CAgBV;AAED,6DAA6D;AAC7D,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,iBAAiB,EAAE,EACnC,OAAO,GAAE,kBAAuB,GAC/B,MAAM,EAAE,CAMV;AAED,+CAA+C;AAC/C,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,OAAO,GAAE,kBAAuB,GAC/B,MAAM,EAAE,CAGV;AAED,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,OAAO,CAAC"}

package/dist/cli/features/check/output.js

@@ -1,50 +1,71 @@
-const ANSI = {
-    reset: "\u001b[0m",
-    bold: "\u001b[1m",
-    green: "\u001b[32m",
-    red: "\u001b[31m",
-    yellow: "\u001b[33m",
-    cyan: "\u001b[36m",
-    dim: "\u001b[2m",
-};
-function useColor(options) {
-    return options.color === true;
-}
-function colorize(text, color, options) {
-    if (!useColor(options))
-        return text;
-    return `${color}${text}${ANSI.reset}`;
-}
+import { colorize, formatArtifactLine, formatDuration, formatMs, formatStatusSymbol, formatSummaryLabel, formatTime, statusSymbol, ANSI, } from "../../output.js";
 export function symbolForStatus(status) {
     switch (status) {
         case "verified-within-bounds":
-            return "✓";
         case "reachable":
-            return "✓";
+            return statusSymbol("pass");
         case "violated":
-            return "×";
         case "error":
-            return "×";
+            return statusSymbol("fail");
         case "vacuous-warning":
-            return "⚠";
+            return statusSymbol("warn");
     }
 }
-function symbolColor(status) {
-    switch (status) {
-        case "verified-within-bounds":
-            return ANSI.green;
-        case "reachable":
-            return ANSI.cyan;
-        case "violated":
-        case "error":
-            return ANSI.red;
-        case "vacuous-warning":
-            return ANSI.yellow;
+function targetStatusKind(check) {
+    if (check.verdicts.some((verdict) => verdict.status === "violated" || verdict.status === "error")) {
+        return "fail";
     }
+    if (check.verdicts.some((verdict) => verdict.status === "vacuous-warning")) {
+        return "warn";
+    }
+    return "pass";
 }
-function formatSymbol(status, options) {
-    const symbol = symbolForStatus(status);
-    return colorize(symbol, symbolColor(status), options);
+function verdictCounts(check) {
+    const tests = check.verdicts.length;
+    const passed = check.verdicts.filter((verdict) => verdict.status === "verified-within-bounds" ||
+        verdict.status === "reachable").length;
+    const failed = check.verdicts.filter((verdict) => verdict.status === "violated").length;
+    const errors = check.verdicts.filter((verdict) => verdict.status === "error").length;
+    const warnings = check.verdicts.filter((verdict) => verdict.status === "vacuous-warning").length;
+    return { tests, passed, failed, errors, warnings };
+}
+function slicingStats(check) {
+    const slicing = check.diagnostics?.slicing;
+    if (slicing?.enabled) {
+        const totalVars = slicing.sliceSummaries?.reduce((sum, summary) => sum + summary.vars, 0) ??
+            0;
+        const totalTransitions = slicing.sliceSummaries?.reduce((sum, summary) => sum + summary.transitions, 0) ?? 0;
+        return {
+            slices: slicing.slices ?? 0,
+            vars: totalVars,
+            transitions: totalTransitions,
+            skipped: 0,
+        };
+    }
+    if (slicing?.skipped) {
+        return { slices: 0, vars: 0, transitions: 0, skipped: 1 };
+    }
+    return { slices: 1, vars: 0, transitions: 0, skipped: 0 };
+}
+function formatTargetStats(check) {
+    const { tests, passed, failed, errors, warnings } = verdictCounts(check);
+    const { slices, vars, transitions, skipped } = slicingStats(check);
+    const parts = [
+        `${tests} tests`,
+        `${passed} passed`,
+        `${failed} failed`,
+        `${errors} errors`,
+        `states ${check.stats.states}`,
+        `edges ${check.stats.edges}`,
+        `depth ${check.stats.depth}`,
+        `slices ${slices}`,
+        `vars ${vars}`,
+        `transitions ${transitions}`,
+        `skipped ${skipped}`,
+    ];
+    if (warnings > 0)
+        parts.push(`warnings ${warnings}`);
+    return `(${parts.join(", ")})`;
 }
 function traceSteps(verdict) {
     if (verdict.status !== "violated" && verdict.status !== "reachable") {
@@ -53,13 +74,15 @@ function traceSteps(verdict) {
     return (verdict.trace.steps.map((step) => step.transitionId).join(" -> ") ||
         "(initial)");
 }
-export function renderHumanCheckResult(check, options = {}) {
+function renderTargetRows(target, options) {
     const lines = [];
-    const section = (title) => colorize(title, `${ANSI.bold}`, options);
-    lines.push(section("Properties"));
-    for (const verdict of check.verdicts) {
-        const symbol = formatSymbol(verdict.status, options);
-        lines.push(`  ${symbol} ${verdict.property} ${verdict.status}`);
+    const kind = targetStatusKind(target.check);
+    const symbol = formatStatusSymbol(kind, options);
+    const duration = target.durationMs !== undefined ? ` ${formatMs(target.durationMs)}` : "";
+    lines.push(` ${symbol} ${target.propsPath}${duration}`);
+    lines.push(`  ${formatTargetStats(target.check)}`);
+    for (const verdict of target.check.verdicts) {
+        lines.push(`  - ${verdict.property} ${verdict.status}`);
         if (verdict.status === "violated" || verdict.status === "reachable") {
             lines.push(`    trace: ${traceSteps(verdict)}`);
         }
@@ -67,50 +90,83 @@ export function renderHumanCheckResult(check, options = {}) {
             lines.push(`    ${verdict.message}`);
         }
     }
-    lines.push("");
-    lines.push(section("Stats"));
-    lines.push(`  states=${check.stats.states} edges=${check.stats.edges} depth=${check.stats.depth}`);
-    const slicing = check.diagnostics?.slicing;
-    if (slicing?.enabled) {
-        const totalVars = slicing.sliceSummaries?.reduce((sum, summary) => sum + summary.vars, 0) ??
-            0;
-        const totalTransitions = slicing.sliceSummaries?.reduce((sum, summary) => sum + summary.transitions, 0) ?? 0;
-        lines.push(`  slicing slices=${slicing.slices ?? 0} vars=${totalVars} transitions=${totalTransitions} skipped=0`);
-    }
-    else if (slicing?.skipped) {
-        lines.push(`  slicing skipped reason=${slicing.skipReason ?? "unknown"}`);
+    return lines;
+}
+export function renderHumanCheckTargets(results, options) {
+    const lines = [];
+    for (const target of results) {
+        lines.push(...renderTargetRows(target, options));
     }
-    const limits = check.diagnostics?.limits;
-    if (limits) {
-        const limitKind = limits.maxStates !== undefined
-            ? "maxStates"
-            : limits.maxFrontier !== undefined
-                ? "maxFrontier"
-                : limits.maxEdges !== undefined
-                    ? "maxEdges"
-                    : "memoryGuard";
-        lines.push(`  search-limit=${limitKind} states=${check.stats.states} frontier=${check.diagnostics?.search?.finalFrontier ?? 0} depth=${check.stats.depth}`);
+    lines.push("");
+    const totalTargets = results.length;
+    const passedTargets = results.filter((target) => targetStatusKind(target.check) === "pass").length;
+    const failedTargets = totalTargets - passedTargets;
+    const testFilesValue = failedTargets > 0
+        ? `${failedTargets} failed | ${passedTargets} passed (${totalTargets})`
+        : `${passedTargets} passed (${totalTargets})`;
+    lines.push(formatSummaryLabel("Test Files", testFilesValue));
+    const totalTests = results.reduce((sum, target) => sum + target.check.verdicts.length, 0);
+    const passedTests = results.reduce((sum, target) => sum + verdictCounts(target.check).passed, 0);
+    const failedTests = results.reduce((sum, target) => sum + verdictCounts(target.check).failed, 0);
+    const errorTests = results.reduce((sum, target) => sum + verdictCounts(target.check).errors, 0);
+    const warningTests = results.reduce((sum, target) => sum + verdictCounts(target.check).warnings, 0);
+    let testsValue = `${passedTests} passed (${totalTests})`;
+    if (failedTests > 0 || errorTests > 0 || warningTests > 0) {
+        const parts = [`${passedTests} passed`];
+        if (failedTests > 0)
+            parts.push(`${failedTests} failed`);
+        if (errorTests > 0)
+            parts.push(`${errorTests} errors`);
+        if (warningTests > 0)
+            parts.push(`${warningTests} warnings`);
+        parts.push(`(${totalTests})`);
+        testsValue = parts.join(", ");
     }
-    const storage = check.diagnostics?.storage;
-    if (storage) {
-        lines.push(`  storage mode=${storage.edgeRecordingMode} recordedEdges=${storage.recordedEdges} storedStates=${storage.storedStates} parentEntries=${storage.parentEntries}`);
+    lines.push(formatSummaryLabel("Tests", testsValue));
+    lines.push(formatSummaryLabel("Start at", formatTime(options.startedAt)));
+    lines.push(formatSummaryLabel("Duration", formatDuration(options.totalDurationMs)));
+    const artifacts = [];
+    for (const target of results) {
+        if (target.reportPath) {
+            artifacts.push({ kind: "report", path: target.reportPath });
+        }
+        for (const entry of target.artifacts) {
+            artifacts.push(entry);
+        }
     }
-    const hotPath = check.diagnostics?.hotPath;
-    if (hotPath) {
-        lines.push(`  hotPath canonicalCache=${hotPath.canonicalCache} transitionIndex=${hotPath.transitionIndex} internalTransitionIndex=${hotPath.internalTransitionIndex}`);
+    if (artifacts.length > 0) {
+        lines.push(formatSummaryLabel("Artifacts", ""));
+        for (const entry of artifacts) {
+            lines.push(formatArtifactLine(entry.kind, entry.path, options));
+        }
     }
     return lines;
 }
+/** @deprecated Use renderHumanCheckTargets for CLI output */
+export function renderHumanCheckResult(check, options = {}) {
+    return renderHumanCheckTargets([
+        {
+            modelPath: "",
+            propsPath: "",
+            check,
+            artifacts: [],
+        },
+    ], {
+        ...options,
+        startedAt: new Date(0),
+        totalDurationMs: 0,
+    });
+}
+/** @deprecated Use renderHumanCheckTargets artifact block */
 export function renderHumanCheckArtifacts(paths, options = {}) {
     if (paths.length === 0)
         return [];
-    const lines = [];
-    lines.push(colorize("Artifacts", `${ANSI.bold}`, options));
-    for (const entry of paths) {
-        lines.push(`  ${entry.kind} ${entry.path}`);
-    }
-    return lines;
+    return [
+        colorize("Artifacts", `${ANSI.bold}`, options),
+        ...paths.map((entry) => `  ${entry.kind} ${entry.path}`),
+    ];
 }
+/** @deprecated No longer used in CLI output */
 export function renderHumanCheckTargetHeader(modelPath, propsPath, options = {}) {
     const title = colorize(`Target ${modelPath}`, `${ANSI.bold}`, options);
     return [title, `  props ${propsPath}`];

package/dist/cli/features/check/output.js.map

@@ -1 +1 @@
-{"version":3,"file":"output.js","sourceRoot":"","sources":["../../../../src/cli/features/check/output.ts"],"names":[],"mappings":"AAQA,MAAM,IAAI,GAAG;IACX,KAAK,EAAE,WAAW;IAClB,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,YAAY;IACnB,GAAG,EAAE,YAAY;IACjB,MAAM,EAAE,YAAY;IACpB,IAAI,EAAE,YAAY;IAClB,GAAG,EAAE,WAAW;CACR,CAAC;AAEX,SAAS,QAAQ,CAAC,OAA2B;IAC3C,OAAO,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC;AAChC,CAAC;AAED,SAAS,QAAQ,CACf,IAAY,EACZ,KAAa,EACb,OAA2B;IAE3B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,GAAG,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAiC;IAC/D,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,wBAAwB;YAC3B,OAAO,GAAG,CAAC;QACb,KAAK,WAAW;YACd,OAAO,GAAG,CAAC;QACb,KAAK,UAAU;YACb,OAAO,GAAG,CAAC;QACb,KAAK,OAAO;YACV,OAAO,GAAG,CAAC;QACb,KAAK,iBAAiB;YACpB,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAClB,MAAiC;IAEjC,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,wBAAwB;YAC3B,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,iBAAiB;YACpB,OAAO,IAAI,CAAC,MAAM,CAAC;IACvB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,MAAiC,EACjC,OAA2B;IAE3B,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,UAAU,CAAC,OAAwB;IAC1C,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACpE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CACL,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QACjE,WAAW,CACZ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAAkB,EAClB,UAA8B,EAAE;IAEhC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IAE5E,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IAClC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAChE,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,cAAc,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7B,KAAK,CAAC,IAAI,CACR,YAAY,KAAK,CAAC,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,KAAK,CAAC,KAAK,UAAU,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CACvF,CAAC;IAEF,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC;IAC3C,IAAI,OAAO,EAAE,OAAO,EAAE,CAAC;QACrB,MAAM,SAAS,GACb,OAAO,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YACvE,CAAC,CAAC;QACJ,MAAM,gBAAgB,GACpB,OAAO,CAAC,cAAc,EAAE,MAAM,CAC5B,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,WAAW,EAC3C,CAAC,CACF,IAAI,CAAC,CAAC;QACT,KAAK,CAAC,IAAI,CACR,oBAAoB,OAAO,CAAC,MAAM,IAAI,CAAC,SAAS,SAAS,gBAAgB,gBAAgB,YAAY,CACtG,CAAC;IACJ,CAAC;SAAM,IAAI,OAAO,EAAE,OAAO,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,4BAA4B,OAAO,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC,CAAC;IAC5E,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC;IACzC,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,SAAS,GACb,MAAM,CAAC,SAAS,KAAK,SAAS;YAC5B,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS;gBAChC,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;oBAC7B,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,aAAa,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,kBAAkB,SAAS,WAAW,KAAK,CAAC,KAAK,CAAC,MAAM,aAAa,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,IAAI,CAAC,UAAU,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAChJ,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC;IAC3C,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,CAAC,IAAI,CACR,kBAAkB,OAAO,CAAC,iBAAiB,kBAAkB,OAAO,CAAC,aAAa,iBAAiB,OAAO,CAAC,YAAY,kBAAkB,OAAO,CAAC,aAAa,EAAE,CACjK,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC;IAC3C,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,CAAC,IAAI,CACR,4BAA4B,OAAO,CAAC,cAAc,oBAAoB,OAAO,CAAC,eAAe,4BAA4B,OAAO,CAAC,uBAAuB,EAAE,CAC3J,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAOD,MAAM,UAAU,yBAAyB,CACvC,KAAmC,EACnC,UAA8B,EAAE;IAEhC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3D,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,SAAiB,EACjB,SAAiB,EACjB,UAA8B,EAAE;IAEhC,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IACvE,OAAO,CAAC,KAAK,EAAE,WAAW,SAAS,EAAE,CAAC,CAAC;AACzC,CAAC"}
+{"version":3,"file":"output.js","sourceRoot":"","sources":["../../../../src/cli/features/check/output.ts"],"names":[],"mappings":"AACA,OAAO,EACL,QAAQ,EACR,kBAAkB,EAClB,cAAc,EACd,QAAQ,EACR,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,EAEV,YAAY,EACZ,IAAI,GACL,MAAM,iBAAiB,CAAC;AAuBzB,MAAM,UAAU,eAAe,CAAC,MAAiC;IAC/D,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,wBAAwB,CAAC;QAC9B,KAAK,WAAW;YACd,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;QAC9B,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;QAC9B,KAAK,iBAAiB;YACpB,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAkB;IAC1C,IACE,KAAK,CAAC,QAAQ,CAAC,IAAI,CACjB,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,CACzE,EACD,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,iBAAiB,CAAC,EAAE,CAAC;QAC3E,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAAC,KAAkB;IACvC,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;IACpC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAClC,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,MAAM,KAAK,wBAAwB;QAC3C,OAAO,CAAC,MAAM,KAAK,WAAW,CACjC,CAAC,MAAM,CAAC;IACT,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAClC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAC3C,CAAC,MAAM,CAAC;IACT,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAClC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,OAAO,CACxC,CAAC,MAAM,CAAC;IACT,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CACpC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,iBAAiB,CAClD,CAAC,MAAM,CAAC;IACT,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,YAAY,CAAC,KAAkB;IAMtC,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC;IAC3C,IAAI,OAAO,EAAE,OAAO,EAAE,CAAC;QACrB,MAAM,SAAS,GACb,OAAO,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YACvE,CAAC,CAAC;QACJ,MAAM,gBAAgB,GACpB,OAAO,CAAC,cAAc,EAAE,MAAM,CAC5B,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,WAAW,EAC3C,CAAC,CACF,IAAI,CAAC,CAAC;QACT,OAAO;YACL,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,CAAC;YAC3B,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,gBAAgB;YAC7B,OAAO,EAAE,CAAC;SACX,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,EAAE,OAAO,EAAE,CAAC;QACrB,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAkB;IAC3C,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACzE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG;QACZ,GAAG,KAAK,QAAQ;QAChB,GAAG,MAAM,SAAS;QAClB,GAAG,MAAM,SAAS;QAClB,GAAG,MAAM,SAAS;QAClB,UAAU,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE;QAC9B,SAAS,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;QAC5B,SAAS,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;QAC5B,UAAU,MAAM,EAAE;QAClB,QAAQ,IAAI,EAAE;QACd,eAAe,WAAW,EAAE;QAC5B,WAAW,OAAO,EAAE;KACrB,CAAC;IACF,IAAI,QAAQ,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,QAAQ,EAAE,CAAC,CAAC;IACrD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACjC,CAAC;AAED,SAAS,UAAU,CAAC,OAAwB;IAC1C,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACpE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CACL,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QACjE,WAAW,CACZ,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,MAA8B,EAC9B,OAAsB;IAEtB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,QAAQ,GACZ,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,IAAI,MAAM,CAAC,SAAS,GAAG,QAAQ,EAAE,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,KAAK,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACnD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACxD,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,cAAc,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAA0C,EAC1C,OAAgC;IAEhC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC;IACpC,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAClC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CACtD,CAAC,MAAM,CAAC;IACT,MAAM,aAAa,GAAG,YAAY,GAAG,aAAa,CAAC;IACnD,MAAM,cAAc,GAClB,aAAa,GAAG,CAAC;QACf,CAAC,CAAC,GAAG,aAAa,aAAa,aAAa,YAAY,YAAY,GAAG;QACvE,CAAC,CAAC,GAAG,aAAa,YAAY,YAAY,GAAG,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;IAE7D,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAC/B,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EACnD,CAAC,CACF,CAAC;IACF,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAChC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EACzD,CAAC,CACF,CAAC;IACF,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAChC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EACzD,CAAC,CACF,CAAC;IACF,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAC/B,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EACzD,CAAC,CACF,CAAC;IACF,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CACjC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,EAC3D,CAAC,CACF,CAAC;IACF,IAAI,UAAU,GAAG,GAAG,WAAW,YAAY,UAAU,GAAG,CAAC;IACzD,IAAI,WAAW,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QAC1D,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,SAAS,CAAC,CAAC;QACxC,IAAI,WAAW,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,SAAS,CAAC,CAAC;QACzD,IAAI,UAAU,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC;QACvD,IAAI,YAAY,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,WAAW,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,GAAG,CAAC,CAAC;QAC9B,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC1E,KAAK,CAAC,IAAI,CACR,kBAAkB,CAAC,UAAU,EAAE,cAAc,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CACxE,CAAC;IAEF,MAAM,SAAS,GAAwB,EAAE,CAAC;IAC1C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACtB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;QAChD,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,sBAAsB,CACpC,KAAkB,EAClB,UAA8B,EAAE;IAEhC,OAAO,uBAAuB,CAC5B;QACE;YACE,SAAS,EAAE,EAAE;YACb,SAAS,EAAE,EAAE;YACb,KAAK;YACL,SAAS,EAAE,EAAE;SACd;KACF,EACD;QACE,GAAG,OAAO;QACV,SAAS,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC;QACtB,eAAe,EAAE,CAAC;KACnB,CACF,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,yBAAyB,CACvC,KAAmC,EACnC,UAA8B,EAAE;IAEhC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,OAAO;QACL,QAAQ,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC;QAC9C,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,4BAA4B,CAC1C,SAAiB,EACjB,SAAiB,EACjB,UAA8B,EAAE;IAEhC,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IACvE,OAAO,CAAC,KAAK,EAAE,WAAW,SAAS,EAAE,CAAC,CAAC;AACzC,CAAC"}

package/dist/cli/features/ci/command.d.ts

@@ -1,3 +1,4 @@
+import type { HumanCiRenderInput } from "./output.js";
 export interface CiCommandOptions {
     modelPath: string;
     propsPath?: string;
@@ -20,6 +21,7 @@ export interface CiCommandResult {
     lines: string[];
     reportPath: string;
     tracesDir: string;
+    summary: Omit<HumanCiRenderInput, "durationMs">;
 }
 export declare function runCiCommand(options: CiCommandOptions): Promise<CiCommandResult>;
 //# sourceMappingURL=command.d.ts.map

package/dist/cli/features/ci/command.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/ci/command.ts"],"names":[],"mappings":"AAYA,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC;IACpC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,wBAAsB,YAAY,CAChC,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,eAAe,CAAC,CA+F1B"}
+{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/ci/command.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEtD,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC;IACpC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,IAAI,CAAC,kBAAkB,EAAE,YAAY,CAAC,CAAC;CACjD;AAED,wBAAsB,YAAY,CAChC,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,eAAe,CAAC,CAoH1B"}

package/dist/cli/features/ci/command.js

@@ -51,6 +51,27 @@ export async function runCiCommand(options) {
         exitCode,
         reportPath,
         tracesDir,
+        summary: {
+            exitCode,
+            violationCount,
+            errorCount,
+            determinismPassed: determinism.length === 0,
+            determinismFailures: determinism,
+            trustRegressions,
+            sourceStaleFailures: options.sourcePath ? staleSource : [],
+            ...(options.sourcePath
+                ? { sourceFreshnessPassed: staleSource.length === 0 }
+                : {}),
+            ...(conformPassRate !== undefined
+                ? {
+                    conformPassRate,
+                    conformMinPassRate: minConformPassRate,
+                    transitionConformFailures,
+                }
+                : { transitionConformFailures: [] }),
+            reportPath,
+            tracesDir,
+        },
         lines: [
             `ci: ${exitCode === 0 ? "passed" : "failed"}`,
             `violations=${violationCount} errors=${errorCount}`,

package/dist/cli/features/ci/command.js.map

@@ -1 +1 @@
-{"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/ci/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GAEnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AA2BrD,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,OAAyB;IAEzB,MAAM,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC;QAClC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,UAAU;QACV,SAAS;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,gBAAgB,CACxC,OAAO,EACP,GAAG,EACH,UAAU,EACV,SAAS,CACV,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAChD,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAC3C,CAAC,MAAM,CAAC;IACT,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAC5C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,OAAO,CACxC,CAAC,MAAM,CAAC;IACT,MAAM,gBAAgB,GAAG,OAAO,CAAC,YAAY;QAC3C,CAAC,CAAC,MAAM,kBAAkB,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC;QAC9D,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU;QACpC,CAAC,CAAC,MAAM,oBAAoB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC;QACnE,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,OAAO,GAAG,MAAM,sBAAsB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC3D,MAAM,eAAe,GAAG,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzD,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,CAAC,CAAC;IAC3D,MAAM,aAAa,GACjB,eAAe,KAAK,SAAS,IAAI,eAAe,GAAG,kBAAkB,CAAC;IACxE,MAAM,4BAA4B,GAChC,OAAO,CAAC,4BAA4B,IAAI,kBAAkB,CAAC;IAC7D,MAAM,yBAAyB,GAAG,OAAO;QACvC,CAAC,CAAC,8BAA8B,CAC5B,OAAO,CAAC,MAAM,CAAC,iBAAiB,EAChC,4BAA4B,CAC7B;QACH,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,uBAAuB,GAAG,yBAAyB,CAAC,MAAM,GAAG,CAAC,CAAC;IACrE,MAAM,QAAQ,GACZ,cAAc,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC;QAClC,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC3B,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;gBACtB,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,aAAa,IAAI,uBAAuB;oBACxC,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;wBACtB,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,CAAC,CAAC;IAChB,OAAO;QACL,QAAQ;QACR,UAAU;QACV,SAAS;QACT,KAAK,EAAE;YACL,OAAO,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC7C,cAAc,cAAc,WAAW,UAAU,EAAE;YACnD,eAAe,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC/D,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,wBAAwB,OAAO,EAAE,CAAC;YAClE,GAAG,CAAC,OAAO,CAAC,YAAY;gBACtB,CAAC,CAAC;oBACE,qBAAqB,gBAAgB,CAAC,MAAM,EAAE;oBAC9C,GAAG,gBAAgB,CAAC,GAAG,CACrB,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,UAAU,EAAE,CAClD;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO,CAAC,UAAU;gBACpB,CAAC,CAAC;oBACE,oBAAoB,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;oBACpE,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,iBAAiB,OAAO,EAAE,CAAC;iBAC5D;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO;gBACT,CAAC,CAAC;oBACE,qBAAqB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE;oBACtD,yBAAyB,kBAAkB,EAAE;oBAC7C,oCAAoC,4BAA4B,EAAE;oBAClE,GAAG,yBAAyB,CAAC,GAAG,CAC9B,CAAC,OAAO,EAAE,EAAE,CAAC,+BAA+B,OAAO,EAAE,CACtD;oBACD,GAAG,OAAO,CAAC,KAAK;iBACjB;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,UAAU,UAAU,EAAE;YACtB,UAAU,SAAS,EAAE;SACtB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,iBAIG,EACH,OAAe;IAEf,OAAO,iBAAiB;SACrB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,GAAG,OAAO,CAAC;SAC7C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;SAC1E,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CACT,GAAG,MAAM,CAAC,YAAY,aAAa,MAAM,CAAC,QAAQ,UAAU,MAAM,CAAC,KAAK,EAAE,CAC7E,CAAC;AACN,CAAC;AAED,KAAK,UAAU,oBAAoB,CACjC,SAAiB,EACjB,UAAkB;IAElB,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ;QAAE,OAAO,CAAC,2BAA2B,UAAU,EAAE,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,OAAO,MAAM,KAAK,QAAQ;QACxB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,GAAG,UAAU,aAAa,QAAQ,WAAW,MAAM,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,OAAyB,EAAE,GAAS;IACxE,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS;QACjE,OAAO,SAAS,CAAC;IACnB,OAAO,iBAAiB,CAAC;QACvB,SAAS,EAAE,OAAO,CAAC,gBAAgB;QACnC,SAAS,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS;QACnE,SAAS,EAAE,OAAO,CAAC,YAAY;QAC/B,KAAK,EAAE,OAAO,CAAC,YAAY;QAC3B,IAAI,EAAE,OAAO,CAAC,WAAW;QACzB,IAAI,EAAE,OAAO,CAAC,WAAW;QACzB,WAAW,EAAE,OAAO,CAAC,kBAAkB;QACvC,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAAyB,EACzB,GAAS,EACT,UAAkB,EAClB,SAAiB;IAEjB,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,0BAA0B,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;QAClD,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC5C,MAAM,eAAe,CAAC;YACpB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,UAAU,EAAE,gBAAgB;YAC5B,SAAS,EAAE,eAAe;YAC1B,GAAG;SACJ,CAAC,CAAC;QACH,OAAO;YACL,GAAG,CAAC,CAAC,MAAM,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;gBAChD,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC;YAC1C,GAAG,CAAC,MAAM,gBAAgB,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;SACxD,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,QAAgB,EAAE,SAAiB;IACzD,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC,CAAC;IACH,OAAO,IAAI,KAAK,KAAK,CAAC;AACxB,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAAe,EACf,QAAgB;IAEhB,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAChD,gBAAgB,CAAC,OAAO,CAAC;QACzB,gBAAgB,CAAC,QAAQ,CAAC;KAC3B,CAAC,CAAC;IACH,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,QAAQ,CAAC,IAAI,CACX,uBAAuB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACxE,CAAC;QACF,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,GAAW;IACzC,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAClE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,YAAoB,EACpB,OAAoB;IAEpB,MAAM,QAAQ,GAAG,wBAAwB,CACvC,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CACrC,CAAC;IACF,OAAO;QACL,GAAG,SAAS,CACV,SAAS,EACT,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,EAC9C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,CAC9C;QACD,GAAG,SAAS,CACV,SAAS,EACT,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,EAC9C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,CAC9C;QACD,GAAG,SAAS,CACV,mBAAmB,EACnB,QAAQ,CAAC,WAAW,CAAC,iBAAiB,EACtC,OAAO,CAAC,WAAW,CAAC,iBAAiB,CACtC;QACD,GAAG,SAAS,CACV,uBAAuB,EACvB,QAAQ,CAAC,WAAW,CAAC,qBAAqB,EAC1C,OAAO,CAAC,WAAW,CAAC,qBAAqB,CAC1C;QACD,GAAG,SAAS,CACV,aAAa,EACb,QAAQ,CAAC,WAAW,CAAC,WAAW,IAAI,EAAE,EACtC,OAAO,CAAC,WAAW,CAAC,WAAW,IAAI,EAAE,CACtC;QACD,GAAG,SAAS,CACV,cAAc,EACd,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,EAC7C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAC7C;QACD,GAAG,SAAS,CACV,YAAY,EACZ,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,EAC3C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,CAC3C;QACD,GAAG,SAAS,CACV,qBAAqB,EACrB,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,mBAAmB,CAAC,EACpD,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,mBAAmB,CAAC,CACpD;QACD,GAAG,SAAS,CACV,uBAAuB,EACvB,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,qBAAqB,CAAC,EACtD,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,qBAAqB,CAAC,CACtD;QACD,GAAG,SAAS,CACV,WAAW,EACX,QAAQ,CAAC,WAAW,CAAC,SAAS,EAC9B,OAAO,CAAC,WAAW,CAAC,SAAS,CAC9B;QACD,GAAG,SAAS,CACV,iBAAiB,EACjB,QAAQ,CAAC,eAAe,EACxB,OAAO,CAAC,eAAe,CACxB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,OAAmD;IAEnD,OAAO,OAAO;SACX,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CACT,GAAG,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7E;SACA,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CACjB,OAA2D;IAE3D,OAAO,OAAO;SACX,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,EAAE,CACxE;SACA,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CACjB,OAA2D;IAE3D,OAAO,OAAO;SACX,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CACT,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CACpF;SACA,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,SAAS,CAChB,KAAa,EACb,cAAiC,EACjC,aAAgC;IAEhC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3E,MAAM,cAAc,GAAG,aAAa,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;IACpE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,OAAO;QACL,GAAG,KAAK,IAAI,cAAc,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,GAAG,MAAM,EAAE;KACtE,CAAC;AACJ,CAAC"}
+{"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/ci/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GAEnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AA6BrD,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,OAAyB;IAEzB,MAAM,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC;QAClC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,UAAU;QACV,SAAS;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,gBAAgB,CACxC,OAAO,EACP,GAAG,EACH,UAAU,EACV,SAAS,CACV,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAChD,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAC3C,CAAC,MAAM,CAAC;IACT,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAC5C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,OAAO,CACxC,CAAC,MAAM,CAAC;IACT,MAAM,gBAAgB,GAAG,OAAO,CAAC,YAAY;QAC3C,CAAC,CAAC,MAAM,kBAAkB,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC;QAC9D,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU;QACpC,CAAC,CAAC,MAAM,oBAAoB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC;QACnE,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,OAAO,GAAG,MAAM,sBAAsB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC3D,MAAM,eAAe,GAAG,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzD,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,CAAC,CAAC;IAC3D,MAAM,aAAa,GACjB,eAAe,KAAK,SAAS,IAAI,eAAe,GAAG,kBAAkB,CAAC;IACxE,MAAM,4BAA4B,GAChC,OAAO,CAAC,4BAA4B,IAAI,kBAAkB,CAAC;IAC7D,MAAM,yBAAyB,GAAG,OAAO;QACvC,CAAC,CAAC,8BAA8B,CAC5B,OAAO,CAAC,MAAM,CAAC,iBAAiB,EAChC,4BAA4B,CAC7B;QACH,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,uBAAuB,GAAG,yBAAyB,CAAC,MAAM,GAAG,CAAC,CAAC;IACrE,MAAM,QAAQ,GACZ,cAAc,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC;QAClC,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC3B,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;gBACtB,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,aAAa,IAAI,uBAAuB;oBACxC,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;wBACtB,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,CAAC,CAAC;IAChB,OAAO;QACL,QAAQ;QACR,UAAU;QACV,SAAS;QACT,OAAO,EAAE;YACP,QAAQ;YACR,cAAc;YACd,UAAU;YACV,iBAAiB,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;YAC3C,mBAAmB,EAAE,WAAW;YAChC,gBAAgB;YAChB,mBAAmB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE;YAC1D,GAAG,CAAC,OAAO,CAAC,UAAU;gBACpB,CAAC,CAAC,EAAE,qBAAqB,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE;gBACrD,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,eAAe,KAAK,SAAS;gBAC/B,CAAC,CAAC;oBACE,eAAe;oBACf,kBAAkB,EAAE,kBAAkB;oBACtC,yBAAyB;iBAC1B;gBACH,CAAC,CAAC,EAAE,yBAAyB,EAAE,EAAE,EAAE,CAAC;YACtC,UAAU;YACV,SAAS;SACV;QACD,KAAK,EAAE;YACL,OAAO,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC7C,cAAc,cAAc,WAAW,UAAU,EAAE;YACnD,eAAe,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC/D,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,wBAAwB,OAAO,EAAE,CAAC;YAClE,GAAG,CAAC,OAAO,CAAC,YAAY;gBACtB,CAAC,CAAC;oBACE,qBAAqB,gBAAgB,CAAC,MAAM,EAAE;oBAC9C,GAAG,gBAAgB,CAAC,GAAG,CACrB,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,UAAU,EAAE,CAClD;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO,CAAC,UAAU;gBACpB,CAAC,CAAC;oBACE,oBAAoB,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;oBACpE,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,iBAAiB,OAAO,EAAE,CAAC;iBAC5D;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO;gBACT,CAAC,CAAC;oBACE,qBAAqB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE;oBACtD,yBAAyB,kBAAkB,EAAE;oBAC7C,oCAAoC,4BAA4B,EAAE;oBAClE,GAAG,yBAAyB,CAAC,GAAG,CAC9B,CAAC,OAAO,EAAE,EAAE,CAAC,+BAA+B,OAAO,EAAE,CACtD;oBACD,GAAG,OAAO,CAAC,KAAK;iBACjB;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,UAAU,UAAU,EAAE;YACtB,UAAU,SAAS,EAAE;SACtB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,iBAIG,EACH,OAAe;IAEf,OAAO,iBAAiB;SACrB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,GAAG,OAAO,CAAC;SAC7C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;SAC1E,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CACT,GAAG,MAAM,CAAC,YAAY,aAAa,MAAM,CAAC,QAAQ,UAAU,MAAM,CAAC,KAAK,EAAE,CAC7E,CAAC;AACN,CAAC;AAED,KAAK,UAAU,oBAAoB,CACjC,SAAiB,EACjB,UAAkB;IAElB,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ;QAAE,OAAO,CAAC,2BAA2B,UAAU,EAAE,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,OAAO,MAAM,KAAK,QAAQ;QACxB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,GAAG,UAAU,aAAa,QAAQ,WAAW,MAAM,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,OAAyB,EAAE,GAAS;IACxE,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS;QACjE,OAAO,SAAS,CAAC;IACnB,OAAO,iBAAiB,CAAC;QACvB,SAAS,EAAE,OAAO,CAAC,gBAAgB;QACnC,SAAS,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS;QACnE,SAAS,EAAE,OAAO,CAAC,YAAY;QAC/B,KAAK,EAAE,OAAO,CAAC,YAAY;QAC3B,IAAI,EAAE,OAAO,CAAC,WAAW;QACzB,IAAI,EAAE,OAAO,CAAC,WAAW;QACzB,WAAW,EAAE,OAAO,CAAC,kBAAkB;QACvC,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAAyB,EACzB,GAAS,EACT,UAAkB,EAClB,SAAiB;IAEjB,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,0BAA0B,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;QAClD,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC5C,MAAM,eAAe,CAAC;YACpB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,UAAU,EAAE,gBAAgB;YAC5B,SAAS,EAAE,eAAe;YAC1B,GAAG;SACJ,CAAC,CAAC;QACH,OAAO;YACL,GAAG,CAAC,CAAC,MAAM,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;gBAChD,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC;YAC1C,GAAG,CAAC,MAAM,gBAAgB,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;SACxD,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,QAAgB,EAAE,SAAiB;IACzD,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC,CAAC;IACH,OAAO,IAAI,KAAK,KAAK,CAAC;AACxB,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAAe,EACf,QAAgB;IAEhB,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAChD,gBAAgB,CAAC,OAAO,CAAC;QACzB,gBAAgB,CAAC,QAAQ,CAAC;KAC3B,CAAC,CAAC;IACH,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,QAAQ,CAAC,IAAI,CACX,uBAAuB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACxE,CAAC;QACF,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,GAAW;IACzC,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAClE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,YAAoB,EACpB,OAAoB;IAEpB,MAAM,QAAQ,GAAG,wBAAwB,CACvC,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CACrC,CAAC;IACF,OAAO;QACL,GAAG,SAAS,CACV,SAAS,EACT,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,EAC9C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,CAC9C;QACD,GAAG,SAAS,CACV,SAAS,EACT,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,EAC9C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,CAC9C;QACD,GAAG,SAAS,CACV,mBAAmB,EACnB,QAAQ,CAAC,WAAW,CAAC,iBAAiB,EACtC,OAAO,CAAC,WAAW,CAAC,iBAAiB,CACtC;QACD,GAAG,SAAS,CACV,uBAAuB,EACvB,QAAQ,CAAC,WAAW,CAAC,qBAAqB,EAC1C,OAAO,CAAC,WAAW,CAAC,qBAAqB,CAC1C;QACD,GAAG,SAAS,CACV,aAAa,EACb,QAAQ,CAAC,WAAW,CAAC,WAAW,IAAI,EAAE,EACtC,OAAO,CAAC,WAAW,CAAC,WAAW,IAAI,EAAE,CACtC;QACD,GAAG,SAAS,CACV,cAAc,EACd,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,EAC7C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAC7C;QACD,GAAG,SAAS,CACV,YAAY,EACZ,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,EAC3C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,CAC3C;QACD,GAAG,SAAS,CACV,qBAAqB,EACrB,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,mBAAmB,CAAC,EACpD,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,mBAAmB,CAAC,CACpD;QACD,GAAG,SAAS,CACV,uBAAuB,EACvB,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,qBAAqB,CAAC,EACtD,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,qBAAqB,CAAC,CACtD;QACD,GAAG,SAAS,CACV,WAAW,EACX,QAAQ,CAAC,WAAW,CAAC,SAAS,EAC9B,OAAO,CAAC,WAAW,CAAC,SAAS,CAC9B;QACD,GAAG,SAAS,CACV,iBAAiB,EACjB,QAAQ,CAAC,eAAe,EACxB,OAAO,CAAC,eAAe,CACxB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,OAAmD;IAEnD,OAAO,OAAO;SACX,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CACT,GAAG,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7E;SACA,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CACjB,OAA2D;IAE3D,OAAO,OAAO;SACX,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,EAAE,CACxE;SACA,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CACjB,OAA2D;IAE3D,OAAO,OAAO;SACX,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CACT,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CACpF;SACA,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,SAAS,CAChB,KAAa,EACb,cAAiC,EACjC,aAAgC;IAEhC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3E,MAAM,cAAc,GAAG,aAAa,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;IACpE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,OAAO;QACL,GAAG,KAAK,IAAI,cAAc,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,GAAG,MAAM,EAAE;KACtE,CAAC;AACJ,CAAC"}

package/dist/cli/features/ci/index.d.ts

@@ -1,3 +1,5 @@
 export { runCiCommand } from "./command.js";
+export { renderHumanCiResult } from "./output.js";
 export type { CiCommandOptions, CiCommandResult } from "./command.js";
+export type { HumanCiRenderInput } from "./output.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/cli/features/ci/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/ci/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/ci/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACtE,YAAY,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC"}

package/dist/cli/features/ci/index.js

@@ -1,2 +1,3 @@
 export { runCiCommand } from "./command.js";
+export { renderHumanCiResult } from "./output.js";
 //# sourceMappingURL=index.js.map

package/dist/cli/features/ci/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/ci/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/ci/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC"}

package/dist/cli/features/ci/output.d.ts

@@ -0,0 +1,19 @@
+import { type OutputOptions } from "../../output.js";
+export interface HumanCiRenderInput {
+    exitCode: number;
+    violationCount: number;
+    errorCount: number;
+    determinismPassed: boolean;
+    determinismFailures: readonly string[];
+    trustRegressions: readonly string[];
+    sourceFreshnessPassed?: boolean;
+    sourceStaleFailures: readonly string[];
+    conformPassRate?: number;
+    conformMinPassRate?: number;
+    transitionConformFailures: readonly string[];
+    reportPath: string;
+    tracesDir: string;
+    durationMs: number;
+}
+export declare function renderHumanCiResult(input: HumanCiRenderInput, options?: OutputOptions): string[];
+//# sourceMappingURL=output.d.ts.map

package/dist/cli/features/ci/output.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/ci/output.ts"],"names":[],"mappings":"AAAA,OAAO,EAML,KAAK,aAAa,EAEnB,MAAM,iBAAiB,CAAC;AAEzB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAMD,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,kBAAkB,EACzB,OAAO,GAAE,aAAkB,GAC1B,MAAM,EAAE,CAsCV"}

package/dist/cli/features/ci/output.js

@@ -0,0 +1,40 @@
+import { formatArtifactLine, formatDuration, formatMs, formatStatusSymbol, formatSummaryLabel, } from "../../output.js";
+function ciStatusKind(input) {
+    return input.exitCode === 0 ? "pass" : "fail";
+}
+export function renderHumanCiResult(input, options = {}) {
+    const kind = ciStatusKind(input);
+    const lines = [
+        ` ${formatStatusSymbol(kind, options)} ci ${formatMs(input.durationMs)}`,
+        `  - check ${input.violationCount} violations, ${input.errorCount} errors`,
+        `  - determinism ${input.determinismPassed ? "passed" : "failed"}`,
+    ];
+    for (const failure of input.determinismFailures) {
+        lines.push(`    ${failure}`);
+    }
+    if (input.trustRegressions.length > 0) {
+        lines.push(`  - trust-regressions ${input.trustRegressions.length}`);
+        for (const regression of input.trustRegressions) {
+            lines.push(`    ${regression}`);
+        }
+    }
+    if (input.sourceFreshnessPassed !== undefined) {
+        lines.push(`  - source-freshness ${input.sourceFreshnessPassed ? "passed" : "failed"}`);
+        for (const failure of input.sourceStaleFailures) {
+            lines.push(`    ${failure}`);
+        }
+    }
+    if (input.conformPassRate !== undefined) {
+        lines.push(`  - conform passRate ${input.conformPassRate} min ${input.conformMinPassRate ?? 1}`);
+        for (const failure of input.transitionConformFailures) {
+            lines.push(`    ${failure}`);
+        }
+    }
+    lines.push("");
+    lines.push(formatSummaryLabel("Duration", formatDuration(input.durationMs)));
+    lines.push(formatSummaryLabel("Artifacts", ""));
+    lines.push(formatArtifactLine("report", input.reportPath, options));
+    lines.push(formatArtifactLine("traces", input.tracesDir, options));
+    return lines;
+}
+//# sourceMappingURL=output.js.map

package/dist/cli/features/ci/output.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"output.js","sourceRoot":"","sources":["../../../../src/cli/features/ci/output.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,QAAQ,EACR,kBAAkB,EAClB,kBAAkB,GAGnB,MAAM,iBAAiB,CAAC;AAmBzB,SAAS,YAAY,CAAC,KAAyB;IAC7C,OAAO,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,KAAyB,EACzB,UAAyB,EAAE;IAE3B,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG;QACZ,IAAI,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE;QACxE,aAAa,KAAK,CAAC,cAAc,gBAAgB,KAAK,CAAC,UAAU,SAAS;QAC1E,mBAAmB,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;KACnE,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAChD,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,yBAAyB,KAAK,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC;QACrE,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,OAAO,UAAU,EAAE,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CACR,wBAAwB,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAC5E,CAAC;QACF,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CACR,wBAAwB,KAAK,CAAC,eAAe,QAAQ,KAAK,CAAC,kBAAkB,IAAI,CAAC,EAAE,CACrF,CAAC;QACF,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,yBAAyB,EAAE,CAAC;YACtD,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,UAAU,EAAE,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACpE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/cli/features/conform/index.d.ts

@@ -1,3 +1,4 @@
 export { generateConformWalks, runConformCommand } from "./command.js";
+export { renderHumanConformResult } from "./output.js";
 export type { ConformCommandOptions, ConformCommandResult } from "./command.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/cli/features/conform/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/conform/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACvE,YAAY,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/conform/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,YAAY,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC"}

package/dist/cli/features/conform/index.js

@@ -1,2 +1,3 @@
 export { generateConformWalks, runConformCommand } from "./command.js";
+export { renderHumanConformResult } from "./output.js";
 //# sourceMappingURL=index.js.map

package/dist/cli/features/conform/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/conform/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/conform/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC"}

package/dist/cli/features/conform/output.d.ts

@@ -0,0 +1,9 @@
+import type { ConformReport } from "modality-ts/core";
+import { type OutputOptions } from "../../output.js";
+export interface HumanConformRenderInput {
+    report: ConformReport;
+    reportPath?: string;
+    durationMs: number;
+}
+export declare function renderHumanConformResult(input: HumanConformRenderInput, options?: OutputOptions): string[];
+//# sourceMappingURL=output.d.ts.map

package/dist/cli/features/conform/output.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/conform/output.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAML,KAAK,aAAa,EAEnB,MAAM,iBAAiB,CAAC;AAEzB,MAAM,WAAW,uBAAuB;IACtC,MAAM,EAAE,aAAa,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB;AAQD,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,uBAAuB,EAC9B,OAAO,GAAE,aAAkB,GAC1B,MAAM,EAAE,CAkBV"}

package/dist/cli/features/conform/output.js

@@ -0,0 +1,28 @@
+import { formatArtifactLine, formatDuration, formatMs, formatStatusSymbol, formatSummaryLabel, } from "../../output.js";
+function conformStatusKind(report) {
+    if (report.metrics.notReproduced > 0)
+        return "fail";
+    if (report.metrics.inconclusive > 0)
+        return "warn";
+    return "pass";
+}
+export function renderHumanConformResult(input, options = {}) {
+    const { metrics } = input.report;
+    const kind = conformStatusKind(input.report);
+    const lines = [
+        ` ${formatStatusSymbol(kind, options)} conformance ${formatMs(input.durationMs)}`,
+        `  (${metrics.total} walks, ${metrics.reproduced} reproduced, ${metrics.notReproduced} not-reproduced, ${metrics.inconclusive} inconclusive, passRate ${metrics.passRate})`,
+        `  - mode ${input.report.mode ?? "abstract"}`,
+    ];
+    if (input.report.harnessPath) {
+        lines.push(`  - harness ${input.report.harnessPath}`);
+    }
+    lines.push("");
+    lines.push(formatSummaryLabel("Duration", formatDuration(input.durationMs)));
+    if (input.reportPath) {
+        lines.push(formatSummaryLabel("Artifacts", ""));
+        lines.push(formatArtifactLine("report", input.reportPath, options));
+    }
+    return lines;
+}
+//# sourceMappingURL=output.js.map

package/dist/cli/features/conform/output.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"output.js","sourceRoot":"","sources":["../../../../src/cli/features/conform/output.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,QAAQ,EACR,kBAAkB,EAClB,kBAAkB,GAGnB,MAAM,iBAAiB,CAAC;AAQzB,SAAS,iBAAiB,CAAC,MAAqB;IAC9C,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IACpD,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IACnD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAA8B,EAC9B,UAAyB,EAAE;IAE3B,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IACjC,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG;QACZ,IAAI,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,gBAAgB,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE;QACjF,MAAM,OAAO,CAAC,KAAK,WAAW,OAAO,CAAC,UAAU,gBAAgB,OAAO,CAAC,aAAa,oBAAoB,OAAO,CAAC,YAAY,2BAA2B,OAAO,CAAC,QAAQ,GAAG;QAC3K,YAAY,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,UAAU,EAAE;KAC9C,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,UAAU,EAAE,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC7E,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;QAChD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}