flakelab 0.1.0 → 0.1.2

package/dist/commands/options.d.ts

@@ -1,10 +1,24 @@
-export interface CliValues {
+export interface ScanOptions {
     artifacts: string;
-    bad: string;
-    "bisect-parallelism": string;
-    "bisect-report": string;
     concurrency: string;
-    "delay-ms": string;
+    json: boolean;
+    runs: string;
+    verbose: boolean;
+}
+export interface AnalyzeOptions {
+    artifacts: string;
+    baseline?: string;
+    json: boolean;
+    verbose: boolean;
+}
+export interface DiagnoseOptions {
+    artifacts: string;
+    baseline?: string;
+    concurrency: string;
+    discover: boolean;
+    evidence: string;
+    html: string;
+    investigate: boolean;
     "max-cost": string;
     "max-delay": string;
     "max-experiments": string;
@@ -12,27 +26,120 @@ export interface CliValues {
     "max-steps": string;
     "max-trials": string;
     "min-rate": string;
-    html: string;
-    good: string;
-    help: boolean;
     model: string;
     open: boolean;
-    output: string;
     patch: string;
-    publish: boolean;
+    pattern: string;
     proof: string;
     "prompt-credentials": boolean;
-    prove: boolean;
-    report: string;
+    repair: boolean;
+    report?: string;
     reproducer: string;
-    pattern: string;
     runs: string;
     seed: string;
+    source: string[];
     trials: string;
-    verbose: boolean;
-    version: boolean;
+}
+export interface DiscoverOptions {
+    "animation-rate": string;
+    "clock-offset-ms": string;
+    concurrency: string;
+    "cookie-name"?: string;
+    fault: string;
+    "jump-after-ms": string;
+    locale: string;
+    "max-delay": string;
+    "max-copies": string;
+    "max-duplicate-bytes": string;
+    "max-hold-ms": string;
+    "max-remove-bytes": string;
+    "max-seconds": string;
+    "max-stall-ms": string;
+    "max-workers": string;
+    "min-rate": string;
+    output: string;
+    pattern: string;
+    "resource-type": string;
+    "startup-event": string;
+    "stall-after-ms": string;
+    seed: string;
+    storage: string;
+    "storage-key"?: string;
+    timezone: string;
+    trials: string;
+    "viewport-height": string;
+    "viewport-width": string;
+}
+export interface ReplayOptions {
+    concurrency: string;
+}
+export interface InvestigateOptions {
+    concurrency: string;
+    "max-cost": string;
+    "max-delay": string;
+    "max-experiments": string;
+    "max-seconds": string;
+    "max-steps": string;
+    "max-trials": string;
+    "min-rate": string;
+    model: string;
+    pattern: string;
+    "prompt-credentials": boolean;
+    report: string;
+    seed: string;
+    trials: string;
+}
+export interface RepairOptions {
+    concurrency: string;
+    "max-cost": string;
+    "max-seconds": string;
+    model: string;
+    patch: string;
+    proof: string;
+    "prompt-credentials": boolean;
+    reproducer: string;
+    source: string[];
+}
+export interface ReportOptions {
+    html: string;
+    open: boolean;
+    patch: string;
+    proof: string;
+    "prompt-credentials": boolean;
+    publish: boolean;
+    reproducer: string;
+}
+export interface BisectOptions {
+    bad: string;
+    "bisect-parallelism": string;
+    "bisect-report": string;
+    concurrency: string;
+    good: string;
+    "max-trials": string;
+    "min-rate": string;
+    "prompt-credentials": boolean;
+    reproducer: string;
+}
+export interface ProveOptions extends DiscoverOptions {
+    html: string;
+    "max-cost": string;
+    "max-experiments": string;
+    "max-steps": string;
+    "max-trials": string;
+    model: string;
+    open: boolean;
+    patch: string;
+    proof: string;
+    "prompt-credentials": boolean;
+    publish: boolean;
+    report: string;
+    reproducer: string;
+    source: string[];
 }
 export declare function positiveNumberOption(value: string, name: string): number;
 export declare function integerOption(value: string, name: string): number;
 export declare function rateOption(value: string): number;
-export declare function withInterruption<T>(operation: (signal: AbortSignal) => Promise<T>): Promise<T>;
+export declare function withInterruption<T>(operation: (signal: AbortSignal) => Promise<T>, options?: {
+    maxSeconds?: number;
+    timeoutMessage?: string;
+}): Promise<T>;

package/dist/commands/options.js

@@ -19,16 +19,38 @@ export function rateOption(value) {
     }
     return parsed;
 }
-export async function withInterruption(operation) {
+export async function withInterruption(operation, options = {}) {
     const controller = new AbortController();
+    let timedOut = false;
     const abort = () => {
         controller.abort();
     };
+    const timeout = options.maxSeconds === undefined
+        ? undefined
+        : setTimeout(() => {
+            timedOut = true;
+            abort();
+        }, options.maxSeconds * 1_000);
     process.once("SIGINT", abort);
     try {
-        return await operation(controller.signal);
+        const result = await operation(controller.signal);
+        if (timedOut) {
+            throw new Error(options.timeoutMessage ?? "Operation exceeded its time limit");
+        }
+        return result;
+    }
+    catch (error) {
+        if (timedOut) {
+            throw new Error(options.timeoutMessage ?? "Operation exceeded its time limit", {
+                cause: error,
+            });
+        }
+        throw error;
     }
     finally {
+        if (timeout) {
+            clearTimeout(timeout);
+        }
         process.removeListener("SIGINT", abort);
     }
 }

package/dist/commands/options.js.map

@@ -1 +1 @@
-{"version":3,"file":"options.js","sourceRoot":"","sources":["../../src/commands/options.ts"],"names":[],"mappings":"AAmCA,MAAM,UAAU,oBAAoB,CAAC,KAAa,EAAE,IAAY;IAC9D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,4BAA4B,CAAC,CAAA;IACtD,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,IAAY;IACvD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,qBAAqB,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,SAA8C;IAE9C,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAA;IACxC,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,UAAU,CAAC,KAAK,EAAE,CAAA;IACpB,CAAC,CAAA;IACD,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IAC7B,IAAI,CAAC;QACH,OAAO,MAAM,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IAC3C,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IACzC,CAAC;AACH,CAAC"}
+{"version":3,"file":"options.js","sourceRoot":"","sources":["../../src/commands/options.ts"],"names":[],"mappings":"AAoJA,MAAM,UAAU,oBAAoB,CAAC,KAAa,EAAE,IAAY;IAC9D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,4BAA4B,CAAC,CAAA;IACtD,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,IAAY;IACvD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,qBAAqB,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,SAA8C,EAC9C,UAA4D,EAAE;IAE9D,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAA;IACxC,IAAI,QAAQ,GAAG,KAAK,CAAA;IACpB,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,UAAU,CAAC,KAAK,EAAE,CAAA;IACpB,CAAC,CAAA;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,KAAK,SAAS;QAC9C,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE;YAChB,QAAQ,GAAG,IAAI,CAAA;YACf,KAAK,EAAE,CAAA;QACT,CAAC,EAAE,OAAO,CAAC,UAAU,GAAG,KAAK,CAAC,CAAA;IAChC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IAC7B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;QACjD,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,IAAI,mCAAmC,CAAC,CAAA;QAChF,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,IAAI,mCAAmC,EAAE;gBAC7E,KAAK,EAAE,KAAK;aACb,CAAC,CAAA;QACJ,CAAC;QACD,MAAM,KAAK,CAAA;IACb,CAAC;YAAS,CAAC;QACT,IAAI,OAAO,EAAE,CAAC;YACZ,YAAY,CAAC,OAAO,CAAC,CAAA;QACvB,CAAC;QACD,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IACzC,CAAC;AACH,CAAC"}

package/dist/commands/prove.d.ts

@@ -1,2 +1,2 @@
-import type { CliValues } from "./options.js";
-export declare function prove(target: string, values: CliValues): Promise<void>;
+import type { ProveOptions } from "./options.js";
+export declare function prove(target: string, values: ProveOptions): Promise<void>;

package/dist/commands/prove.js

@@ -1,15 +1,51 @@
+import { formatProviderBoundary } from "../ui/boundary.js";
+import { preflightProofCredentials } from "../proof/preflight.js";
+import { writeStderr } from "../ui/console.js";
+import { TerminalDocument } from "../ui/document.js";
+import { formatCount } from "../ui/format.js";
+import { stderrTheme } from "../ui/theme.js";
 import { discover } from "./discover.js";
 import { investigate } from "./investigate.js";
 import { repair } from "./repair.js";
 import { replay } from "./replay.js";
 import { generateReport } from "./report.js";
+const PIPELINE = "discover, replay, investigate, repair, report";
 function ensureSuccessfulStage(stage) {
     if (process.exitCode && process.exitCode !== 0) {
         throw new Error(`${stage} did not produce acceptable evidence`);
     }
 }
+function announceBoundary(values) {
+    writeStderr(formatProviderBoundary({
+        credentials: ["GROQ_API_KEY", "SOLARI_API_KEY"],
+        detail: `The full proof pipeline runs ${PIPELINE}. Local discovery and replay use no`
+            + " provider. Investigation and repair send compact, redacted evidence to Groq, and"
+            + " proof runs in one disposable Solari microVM.",
+        rows: [
+            { label: "Fault family", value: values.fault },
+            { label: "Model", value: values.model },
+            { label: "Cost ceiling", value: `$${values["max-cost"]}` },
+            { label: "Discovery bound", value: `${values["max-seconds"]}s` },
+            { label: "Approved source", value: formatCount(values.source.length, "file") },
+        ],
+        stage: "full proof pipeline",
+    }, stderrTheme()));
+}
+function announceCompletion(values) {
+    const document = new TerminalDocument(stderrTheme());
+    document.entry("success", "proof pipeline complete", `Ran ${PIPELINE}.`);
+    document.rows([
+        { label: "Reproducer", value: values.output },
+        { label: "Investigation", value: values.report },
+        { label: "Patch", value: values.patch },
+        { label: "Proof", value: values.proof },
+        { label: "Report", value: values.html },
+    ]);
+    writeStderr(document.render());
+}
 export async function prove(target, values) {
-    process.stderr.write("FlakeLab · Full proof uses Groq and disposable Solari resources.\n");
+    announceBoundary(values);
+    await preflightProofCredentials(values["prompt-credentials"]);
     await discover(target, values);
     await replay(values.output, values);
     ensureSuccessfulStage("Reproducer replay");
@@ -17,5 +53,6 @@ export async function prove(target, values) {
     await repair(values.report, values);
     ensureSuccessfulStage("Candidate repair");
     await generateReport(values.report, values);
+    announceCompletion(values);
 }
 //# sourceMappingURL=prove.js.map

package/dist/commands/prove.js.map

@@ -1 +1 @@
-{"version":3,"file":"prove.js","sourceRoot":"","sources":["../../src/commands/prove.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAE5C,SAAS,qBAAqB,CAAC,KAAa;IAC1C,IAAI,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,sCAAsC,CAAC,CAAA;IACjE,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,MAAc,EAAE,MAAiB;IAC3D,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,oEAAoE,CAAC,CAAA;IAC1F,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACnC,qBAAqB,CAAC,mBAAmB,CAAC,CAAA;IAC1C,MAAM,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACjC,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACnC,qBAAqB,CAAC,kBAAkB,CAAC,CAAA;IACzC,MAAM,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;AAC7C,CAAC"}
+{"version":3,"file":"prove.js","sourceRoot":"","sources":["../../src/commands/prove.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAA;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAE5C,MAAM,QAAQ,GAAG,+CAA+C,CAAA;AAEhE,SAAS,qBAAqB,CAAC,KAAa;IAC1C,IAAI,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,sCAAsC,CAAC,CAAA;IACjE,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAoB;IAC5C,WAAW,CAAC,sBAAsB,CAAC;QACjC,WAAW,EAAE,CAAC,cAAc,EAAE,gBAAgB,CAAC;QAC/C,MAAM,EAAE,gCAAgC,QAAQ,qCAAqC;cACjF,kFAAkF;cAClF,+CAA+C;QACnD,IAAI,EAAE;YACJ,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YAC9C,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACvC,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE;YAC1D,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE;YAChE,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE;SAC/E;QACD,KAAK,EAAE,qBAAqB;KAC7B,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;AACpB,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAoB;IAC9C,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAA;IACpD,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,yBAAyB,EAAE,OAAO,QAAQ,GAAG,CAAC,CAAA;IACxE,QAAQ,CAAC,IAAI,CAAC;QACZ,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAC7C,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAChD,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;QACvC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;QACvC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE;KACxC,CAAC,CAAA;IACF,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;AAChC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,MAAc,EAAE,MAAoB;IAC9D,gBAAgB,CAAC,MAAM,CAAC,CAAA;IACxB,MAAM,yBAAyB,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAA;IAC7D,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACnC,qBAAqB,CAAC,mBAAmB,CAAC,CAAA;IAC1C,MAAM,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACjC,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACnC,qBAAqB,CAAC,kBAAkB,CAAC,CAAA;IACzC,MAAM,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC3C,kBAAkB,CAAC,MAAM,CAAC,CAAA;AAC5B,CAAC"}

package/dist/commands/repair.d.ts

@@ -1,2 +1,8 @@
-import type { CliValues } from "./options.js";
-export declare function repair(investigationPath: string, values: CliValues): Promise<void>;
+import type { CandidateGenerationUsage } from "../repair/generator.js";
+import type { ProofOfFix } from "../repair/schema.js";
+import type { RepairOptions } from "./options.js";
+export interface RepairResult {
+    proof: ProofOfFix;
+    usage: CandidateGenerationUsage;
+}
+export declare function repair(investigationPath: string, values: RepairOptions): Promise<RepairResult>;

package/dist/commands/repair.js

@@ -7,9 +7,27 @@ import { validateProofOfFix } from "../repair/validator.js";
 import { readReproducer } from "../reproducer/file.js";
 import { requireCredential } from "../security/credentials.js";
 import { withSolariTransport } from "../solari/transport.js";
+import { formatProviderBoundary } from "../ui/boundary.js";
+import { writeStderr } from "../ui/console.js";
+import { formatCount } from "../ui/format.js";
 import { ProgressReporter } from "../ui/progress.js";
-import { integerOption, withInterruption } from "./options.js";
+import { stderrTheme } from "../ui/theme.js";
+import { formatProofSummary } from "../repair/summary.js";
+import { integerOption, positiveNumberOption, withInterruption } from "./options.js";
 export async function repair(investigationPath, values) {
+    writeStderr(formatProviderBoundary({
+        credentials: ["GROQ_API_KEY", "SOLARI_API_KEY"],
+        detail: "Candidate generation sends the investigation summary and approved source"
+            + " files to Groq. Proof runs in one disposable Solari microVM that is released"
+            + " when the run ends.",
+        rows: [
+            { label: "Model", value: values.model },
+            { label: "Cost ceiling", value: `$${values["max-cost"]}` },
+            { label: "Time ceiling", value: `${values["max-seconds"]}s` },
+            { label: "Approved source", value: formatCount(values.source.length, "file") },
+        ],
+        stage: "Groq repair candidate and isolated Solari proof",
+    }, stderrTheme()));
     const apiKey = await requireCredential("groq", {
         forcePrompt: values["prompt-credentials"],
     });
@@ -23,33 +41,38 @@ export async function repair(investigationPath, values) {
     const patchPath = resolve(projectRoot, values.patch);
     const proofPath = resolve(projectRoot, values.proof);
     const progress = new ProgressReporter();
-    progress.start("Generating a policy-bounded candidate");
+    progress.start("repair candidate", "policy-bounded generation");
     const result = await withInterruption(async (signal) => {
-        const candidate = await generateCandidatePatch({
+        const generated = await generateCandidatePatch({
             investigation,
+            maxCostUsd: positiveNumberOption(values["max-cost"], "max-cost"),
             maxSeconds: integerOption(values["max-seconds"], "max-seconds"),
             model: createGroqInvestigatorModel(apiKey, values.model),
             projectRoot,
             signal,
+            sourcePaths: values.source,
         });
-        progress.done(`${candidate.edits.length} source edit${candidate.edits.length === 1 ? "" : "s"}`);
-        progress.start("Proving the candidate in a Solari microVM");
-        return withSolariTransport(async () => validateProofOfFix({
+        progress.done(formatCount(generated.candidate.edits.length, "source edit"));
+        progress.start("isolated proof", "Solari microVM");
+        const validated = await withSolariTransport(async () => validateProofOfFix({
             apiKey: solariApiKey,
             baseUrl,
-            candidate,
+            candidate: generated.candidate,
             concurrency: integerOption(values.concurrency, "concurrency"),
             projectRoot,
             reproducer,
             signal,
         }, patchPath));
+        return { ...validated, usage: generated.usage };
     });
-    progress.done(result.proof.patchAccepted ? "accepted" : "rejected");
+    progress.done(result.proof.patchAccepted ? "candidate accepted" : "candidate rejected");
     await writeFile(patchPath, result.diff, "utf8");
     await writeFile(proofPath, `${JSON.stringify(result.proof, null, 2)}\n`, "utf8");
-    console.log(JSON.stringify({ proofPath, ...result.proof }, null, 2));
+    writeStderr(formatProofSummary(result.proof, { patch: values.patch, proof: values.proof }, stderrTheme()));
+    console.log(JSON.stringify({ proofPath, usage: result.usage, ...result.proof }, null, 2));
     if (!result.proof.patchAccepted) {
         process.exitCode = 1;
     }
+    return { proof: result.proof, usage: result.usage };
 }
 //# sourceMappingURL=repair.js.map

package/dist/commands/repair.js.map

@@ -1 +1 @@
-{"version":3,"file":"repair.js","sourceRoot":"","sources":["../../src/commands/repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAA;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAA;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAA;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAEpD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAE9D,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,iBAAyB,EAAE,MAAiB;IACvE,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,MAAM,EAAE;QAC7C,WAAW,EAAE,MAAM,CAAC,oBAAoB,CAAC;KAC1C,CAAC,CAAA;IACF,MAAM,YAAY,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE;QACrD,WAAW,EAAE,MAAM,CAAC,oBAAoB,CAAC;KAC1C,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,EAAE,IAAI,2BAA2B,CAAA;IAClF,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,aAAa,GAAG,MAAM,uBAAuB,CAAC,OAAO,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAA;IAC5F,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAA;IAChF,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IACpD,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IACpD,MAAM,QAAQ,GAAG,IAAI,gBAAgB,EAAE,CAAA;IACvC,QAAQ,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAA;IACvD,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACrD,MAAM,SAAS,GAAG,MAAM,sBAAsB,CAAC;YAC7C,aAAa;YACb,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;YAC/D,KAAK,EAAE,2BAA2B,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC;YACxD,WAAW;YACX,MAAM;SACP,CAAC,CAAA;QACF,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,eAAe,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;QAChG,QAAQ,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAA;QAC3D,OAAO,mBAAmB,CAAC,KAAK,IAAI,EAAE,CAAC,kBAAkB,CACvD;YACE,MAAM,EAAE,YAAY;YACpB,OAAO;YACP,SAAS;YACT,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;YAC7D,WAAW;YACX,UAAU;YACV,MAAM;SACP,EACD,SAAS,CACV,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IACF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;IACnE,MAAM,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAC/C,MAAM,SAAS,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAChF,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;IACpE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAChC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;IACtB,CAAC;AACH,CAAC"}
+{"version":3,"file":"repair.js","sourceRoot":"","sources":["../../src/commands/repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAA;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAA;AAE/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAA;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAC5C,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAGzD,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAOpF,MAAM,CAAC,KAAK,UAAU,MAAM,CAC1B,iBAAyB,EACzB,MAAqB;IAErB,WAAW,CAAC,sBAAsB,CAAC;QACjC,WAAW,EAAE,CAAC,cAAc,EAAE,gBAAgB,CAAC;QAC/C,MAAM,EAAE,0EAA0E;cAC9E,8EAA8E;cAC9E,qBAAqB;QACzB,IAAI,EAAE;YACJ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACvC,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE;YAC1D,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE;YAC7D,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE;SAC/E;QACD,KAAK,EAAE,iDAAiD;KACzD,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;IAClB,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,MAAM,EAAE;QAC7C,WAAW,EAAE,MAAM,CAAC,oBAAoB,CAAC;KAC1C,CAAC,CAAA;IACF,MAAM,YAAY,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE;QACrD,WAAW,EAAE,MAAM,CAAC,oBAAoB,CAAC;KAC1C,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,EAAE,IAAI,2BAA2B,CAAA;IAClF,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,aAAa,GAAG,MAAM,uBAAuB,CAAC,OAAO,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAA;IAC5F,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAA;IAChF,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IACpD,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IACpD,MAAM,QAAQ,GAAG,IAAI,gBAAgB,EAAE,CAAA;IACvC,QAAQ,CAAC,KAAK,CAAC,kBAAkB,EAAE,2BAA2B,CAAC,CAAA;IAC/D,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACrD,MAAM,SAAS,GAAG,MAAM,sBAAsB,CAAC;YAC7C,aAAa;YACb,UAAU,EAAE,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;YAChE,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;YAC/D,KAAK,EAAE,2BAA2B,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC;YACxD,WAAW;YACX,MAAM;YACN,WAAW,EAAE,MAAM,CAAC,MAAM;SAC3B,CAAC,CAAA;QACF,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAA;QAC3E,QAAQ,CAAC,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAA;QAClD,MAAM,SAAS,GAAG,MAAM,mBAAmB,CAAC,KAAK,IAAI,EAAE,CAAC,kBAAkB,CACxE;YACE,MAAM,EAAE,YAAY;YACpB,OAAO;YACP,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;YAC7D,WAAW;YACX,UAAU;YACV,MAAM;SACP,EACD,SAAS,CACV,CAAC,CAAA;QACF,OAAO,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAA;IACjD,CAAC,CAAC,CAAA;IACF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAA;IACvF,MAAM,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAC/C,MAAM,SAAS,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAChF,WAAW,CAAC,kBAAkB,CAC5B,MAAM,CAAC,KAAK,EACZ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,EAC5C,WAAW,EAAE,CACd,CAAC,CAAA;IACF,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;IACzF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAChC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;IACtB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAA;AACrD,CAAC"}

package/dist/commands/replay.d.ts

@@ -1,2 +1,2 @@
-import type { CliValues } from "./options.js";
-export declare function replay(filePath: string, values: CliValues): Promise<void>;
+import type { ReplayOptions } from "./options.js";
+export declare function replay(filePath: string, values: ReplayOptions): Promise<void>;

package/dist/commands/replay.js

@@ -2,14 +2,25 @@ import { resolve } from "node:path";
 import { evaluateExperiment } from "../discovery/evaluate.js";
 import { readReproducer } from "../reproducer/file.js";
 import { createPlaywrightExecutor } from "../runner/playwright-executor.js";
+import { writeStderr } from "../ui/console.js";
+import { TerminalDocument } from "../ui/document.js";
+import { stderrTheme } from "../ui/theme.js";
 import { integerOption, withInterruption } from "./options.js";
+function replaySummary(verdict) {
+    const document = new TerminalDocument(stderrTheme());
+    document.entry(verdict.reproduced ? "success" : "failure", verdict.reproduced ? "reproducer confirmed" : "reproducer not confirmed", `${verdict.failed}/${verdict.trials} trials failed · recorded signature`
+        + ` ${verdict.signatureMatches ? "matched" : "did not match"}`);
+    return document.rows([
+        { label: "Reproducer", value: verdict.path },
+        { label: "Test", value: verdict.test },
+    ]).render();
+}
 export async function replay(filePath, values) {
     const projectRoot = process.cwd();
     const reproducer = await readReproducer(resolve(projectRoot, filePath));
-    const fault = reproducer.faults[0];
     const result = await withInterruption(async (signal) => evaluateExperiment(createPlaywrightExecutor(projectRoot, reproducer.test, { signal }), {
         concurrency: integerOption(values.concurrency, "concurrency"),
-        fault,
+        faults: reproducer.faults,
         minimumFailureRate: reproducer.expectedFailure.minimumRate,
         seed: reproducer.seed,
         signal,
@@ -18,6 +29,8 @@ export async function replay(filePath, values) {
     const signatureMatches = !reproducer.expectedFailure.signature
         || reproducer.expectedFailure.signature === result.dominantFailureSignature;
     const reproduced = result.confirmed && signatureMatches;
+    writeStderr(replaySummary({ failed: result.failed, path: filePath, reproduced, signatureMatches, test: reproducer.test,
+        trials: result.trials }));
     console.log(JSON.stringify({ reproduced, signatureMatches, result }, null, 2));
     if (!reproduced) {
         process.exitCode = 1;

package/dist/commands/replay.js.map

@@ -1 +1 @@
-{"version":3,"file":"replay.js","sourceRoot":"","sources":["../../src/commands/replay.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAA;AAE3E,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAE9D,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,QAAgB,EAAE,MAAiB;IAC9D,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAA;IACvE,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAClC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,kBAAkB,CACxE,wBAAwB,CAAC,WAAW,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAClE;QACE,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;QAC7D,KAAK;QACL,kBAAkB,EAAE,UAAU,CAAC,eAAe,CAAC,WAAW;QAC1D,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,MAAM;QACN,MAAM,EAAE,UAAU,CAAC,MAAM;KAC1B,CACF,CAAC,CAAA;IACF,MAAM,gBAAgB,GAAG,CAAC,UAAU,CAAC,eAAe,CAAC,SAAS;WACzD,UAAU,CAAC,eAAe,CAAC,SAAS,KAAK,MAAM,CAAC,wBAAwB,CAAA;IAC7E,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,IAAI,gBAAgB,CAAA;IACvD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9E,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;IACtB,CAAC;AACH,CAAC"}
+{"version":3,"file":"replay.js","sourceRoot":"","sources":["../../src/commands/replay.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAA;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAE5C,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAW9D,SAAS,aAAa,CAAC,OAAsB;IAC3C,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAA;IACpD,QAAQ,CAAC,KAAK,CACZ,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAC1C,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,0BAA0B,EACxE,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,qCAAqC;UACtE,IAAI,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,EAAE,CAC/D,CAAA;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC;QACnB,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE;QAC5C,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE;KACvC,CAAC,CAAC,MAAM,EAAE,CAAA;AACb,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,QAAgB,EAAE,MAAqB;IAClE,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAA;IACvE,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,kBAAkB,CACxE,wBAAwB,CAAC,WAAW,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAClE;QACE,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;QAC7D,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,kBAAkB,EAAE,UAAU,CAAC,eAAe,CAAC,WAAW;QAC1D,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,MAAM;QACN,MAAM,EAAE,UAAU,CAAC,MAAM;KAC1B,CACF,CAAC,CAAA;IACF,MAAM,gBAAgB,GAAG,CAAC,UAAU,CAAC,eAAe,CAAC,SAAS;WACzD,UAAU,CAAC,eAAe,CAAC,SAAS,KAAK,MAAM,CAAC,wBAAwB,CAAA;IAC7E,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,IAAI,gBAAgB,CAAA;IACvD,WAAW,CAAC,aAAa,CACvB,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI;QAC1F,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAC1B,CAAC,CAAA;IACF,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9E,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;IACtB,CAAC;AACH,CAAC"}

package/dist/commands/report.d.ts

@@ -1,2 +1,2 @@
-import type { CliValues } from "./options.js";
-export declare function generateReport(investigationPath: string, values: CliValues): Promise<void>;
+import type { ReportOptions } from "./options.js";
+export declare function generateReport(investigationPath: string, values: ReportOptions): Promise<void>;

package/dist/commands/report.js

@@ -4,11 +4,14 @@ import { readInvestigationReport } from "../investigator/file.js";
 import { readProofOfFix } from "../repair/file.js";
 import { writePortableReport } from "../report/bundle.js";
 import { buildEvidenceReport } from "../report/model.js";
-import { openLocalReport } from "../report/open.js";
-import { confirmReportPublication, publishReport } from "../report/publish.js";
+import { confirmLocalReportOpen, openLocalReport } from "../report/open.js";
 import { readReproducer } from "../reproducer/file.js";
 import { requireCredential } from "../security/credentials.js";
+import { writeStderr } from "../ui/console.js";
+import { TerminalDocument } from "../ui/document.js";
+import { formatCount } from "../ui/format.js";
 import { ProgressReporter } from "../ui/progress.js";
+import { stderrTheme } from "../ui/theme.js";
 function portablePath(projectRoot, path) {
     const portable = relative(projectRoot, resolve(projectRoot, path)).replaceAll("\\", "/");
     if (portable.startsWith("../") || portable === "..") {
@@ -16,17 +19,28 @@ function portablePath(projectRoot, path) {
     }
     return portable;
 }
+function reportSummary(verdict) {
+    const document = new TerminalDocument(stderrTheme());
+    document.entry(verdict.status === "FIX_PROVEN" ? "success" : "warning", verdict.status, `Ownership classified as ${verdict.classification}.`);
+    const rows = [
+        { label: "Report", value: `${verdict.html} · ${verdict.kilobytes} KiB` },
+    ];
+    if (verdict.publishedUrl) {
+        rows.push({ label: "Published", value: verdict.publishedUrl });
+    }
+    return document.rows(rows).render();
+}
 export async function generateReport(investigationPath, values) {
     const projectRoot = process.cwd();
     const progress = new ProgressReporter();
-    progress.start("Loading validated evidence");
+    progress.start("evidence report", "loading validated evidence");
     const [investigation, reproducer, proof] = await Promise.all([
         readInvestigationReport(resolve(projectRoot, investigationPath)),
         readReproducer(resolve(projectRoot, values.reproducer)),
         readProofOfFix(resolve(projectRoot, values.proof)),
     ]);
-    progress.done(`${investigation.experiments.length} experiments`);
-    progress.start("Classifying ownership and redacting evidence");
+    progress.done(formatCount(investigation.experiments.length, "experiment"));
+    progress.start("classification", "ownership and redaction");
     const report = buildEvidenceReport({
         investigation,
         paths: {
@@ -40,22 +54,24 @@ export async function generateReport(investigationPath, values) {
     });
     progress.done(report.ownership.classification);
     const outputPath = resolve(projectRoot, values.html);
-    progress.start("Bundling portable evidence report");
+    progress.start("bundle", "portable offline HTML");
     await writePortableReport(projectRoot, outputPath, report);
     const output = await stat(outputPath);
     progress.done(`${Math.ceil(output.size / 1_024)} KiB`);
-    if (values.open) {
+    const opened = values.open || await confirmLocalReportOpen();
+    if (opened) {
         openLocalReport(outputPath);
     }
     let publishedUrl;
     let expiresAt;
     if (values.publish) {
+        const { confirmReportPublication, publishReport } = await import("../report/publish.js");
         const confirmed = await confirmReportPublication();
         if (confirmed) {
             const apiKey = await requireCredential("solari", {
                 forcePrompt: values["prompt-credentials"],
             });
-            progress.start("Publishing the redacted report");
+            progress.start("publication", "redacted report");
             const published = await publishReport(outputPath, {
                 apiKey,
                 baseUrl: process.env.SOLARI_BASE_URL?.trim() ?? "https://api.getsolari.com",
@@ -65,12 +81,21 @@ export async function generateReport(investigationPath, values) {
             progress.done("expires automatically");
         }
         else {
-            process.stderr.write("Publication cancelled · local report kept\n");
+            writeStderr(new TerminalDocument(stderrTheme())
+                .entry("warning", "publication cancelled", "The local report is kept.")
+                .render());
         }
     }
+    writeStderr(reportSummary({
+        classification: report.ownership.classification,
+        html: values.html,
+        kilobytes: Math.ceil(output.size / 1_024),
+        status: report.status,
+        ...(publishedUrl ? { publishedUrl } : {}),
+    }));
     console.log(JSON.stringify({
         outputPath,
-        opened: values.open,
+        opened,
         status: report.status,
         ownership: report.ownership.classification,
         ...(publishedUrl ? { publishedUrl, expiresAt } : {}),

package/dist/commands/report.js.map

@@ -1 +1 @@
-{"version":3,"file":"report.js","sourceRoot":"","sources":["../../src/commands/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACvC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAE7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAA;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,EAAE,wBAAwB,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAC9E,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAGpD,SAAS,YAAY,CAAC,WAAmB,EAAE,IAAY;IACrD,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IACxF,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,iBAAyB,EACzB,MAAiB;IAEjB,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,QAAQ,GAAG,IAAI,gBAAgB,EAAE,CAAA;IACvC,QAAQ,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAA;IAC5C,MAAM,CAAC,aAAa,EAAE,UAAU,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC3D,uBAAuB,CAAC,OAAO,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;QAChE,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;QACvD,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;KACnD,CAAC,CAAA;IACF,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,WAAW,CAAC,MAAM,cAAc,CAAC,CAAA;IAEhE,QAAQ,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAA;IAC9D,MAAM,MAAM,GAAG,mBAAmB,CAAC;QACjC,aAAa;QACb,KAAK,EAAE;YACL,aAAa,EAAE,YAAY,CAAC,WAAW,EAAE,iBAAiB,CAAC;YAC3D,KAAK,EAAE,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC;YAC9C,KAAK,EAAE,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC;YAC9C,UAAU,EAAE,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC;SACzD;QACD,KAAK;QACL,UAAU;KACX,CAAC,CAAA;IACF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,CAAA;IAE9C,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;IACpD,QAAQ,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAA;IACnD,MAAM,mBAAmB,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,CAAA;IAC1D,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,CAAA;IACrC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;IAEtD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,eAAe,CAAC,UAAU,CAAC,CAAA;IAC7B,CAAC;IACD,IAAI,YAAgC,CAAA;IACpC,IAAI,SAA6B,CAAA;IACjC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,MAAM,SAAS,GAAG,MAAM,wBAAwB,EAAE,CAAA;QAClD,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE;gBAC/C,WAAW,EAAE,MAAM,CAAC,oBAAoB,CAAC;aAC1C,CAAC,CAAA;YACF,QAAQ,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAA;YAChD,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE;gBAChD,MAAM;gBACN,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,EAAE,IAAI,2BAA2B;aAC5E,CAAC,CAAA;YACF,YAAY,GAAG,SAAS,CAAC,GAAG,CAAA;YAC5B,SAAS,GAAG,SAAS,CAAC,SAAS,CAAA;YAC/B,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;QACxC,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAA;QACrE,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC;QACzB,UAAU;QACV,MAAM,EAAE,MAAM,CAAC,IAAI;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,cAAc;QAC1C,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrD,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AACd,CAAC"}
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../src/commands/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACvC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAE7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAA;AACxD,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAC3E,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAG5C,SAAS,YAAY,CAAC,WAAmB,EAAE,IAAY;IACrD,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IACxF,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAUD,SAAS,aAAa,CAAC,OAAsB;IAC3C,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAA;IACpD,QAAQ,CAAC,KAAK,CACZ,OAAO,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EACvD,OAAO,CAAC,MAAM,EACd,2BAA2B,OAAO,CAAC,cAAc,GAAG,CACrD,CAAA;IACD,MAAM,IAAI,GAAG;QACX,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,IAAI,MAAM,OAAO,CAAC,SAAS,MAAM,EAAE;KACzE,CAAA;IACD,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAA;IAChE,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAA;AACrC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,iBAAyB,EACzB,MAAqB;IAErB,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,QAAQ,GAAG,IAAI,gBAAgB,EAAE,CAAA;IACvC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,EAAE,4BAA4B,CAAC,CAAA;IAC/D,MAAM,CAAC,aAAa,EAAE,UAAU,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC3D,uBAAuB,CAAC,OAAO,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;QAChE,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;QACvD,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;KACnD,CAAC,CAAA;IACF,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAA;IAE1E,QAAQ,CAAC,KAAK,CAAC,gBAAgB,EAAE,yBAAyB,CAAC,CAAA;IAC3D,MAAM,MAAM,GAAG,mBAAmB,CAAC;QACjC,aAAa;QACb,KAAK,EAAE;YACL,aAAa,EAAE,YAAY,CAAC,WAAW,EAAE,iBAAiB,CAAC;YAC3D,KAAK,EAAE,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC;YAC9C,KAAK,EAAE,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC;YAC9C,UAAU,EAAE,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC;SACzD;QACD,KAAK;QACL,UAAU;KACX,CAAC,CAAA;IACF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,CAAA;IAE9C,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;IACpD,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAA;IACjD,MAAM,mBAAmB,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,CAAA;IAC1D,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,CAAA;IACrC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;IAEtD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,sBAAsB,EAAE,CAAA;IAC5D,IAAI,MAAM,EAAE,CAAC;QACX,eAAe,CAAC,UAAU,CAAC,CAAA;IAC7B,CAAC;IACD,IAAI,YAAgC,CAAA;IACpC,IAAI,SAA6B,CAAA;IACjC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,MAAM,EAAE,wBAAwB,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,sBAAsB,CAAC,CAAA;QACxF,MAAM,SAAS,GAAG,MAAM,wBAAwB,EAAE,CAAA;QAClD,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE;gBAC/C,WAAW,EAAE,MAAM,CAAC,oBAAoB,CAAC;aAC1C,CAAC,CAAA;YACF,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAA;YAChD,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE;gBAChD,MAAM;gBACN,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,EAAE,IAAI,2BAA2B;aAC5E,CAAC,CAAA;YACF,YAAY,GAAG,SAAS,CAAC,GAAG,CAAA;YAC5B,SAAS,GAAG,SAAS,CAAC,SAAS,CAAA;YAC/B,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;QACxC,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,IAAI,gBAAgB,CAAC,WAAW,EAAE,CAAC;iBAC5C,KAAK,CAAC,SAAS,EAAE,uBAAuB,EAAE,2BAA2B,CAAC;iBACtE,MAAM,EAAE,CAAC,CAAA;QACd,CAAC;IACH,CAAC;IACD,WAAW,CAAC,aAAa,CAAC;QACxB,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,cAAc;QAC/C,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC;QACzC,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC,CAAC,CAAA;IACH,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC;QACzB,UAAU;QACV,MAAM;QACN,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,cAAc;QAC1C,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrD,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AACd,CAAC"}

package/dist/commands/scan-summary.d.ts

@@ -0,0 +1,7 @@
+import type { TerminalTheme } from "../ui/theme.js";
+import type { ScanArtifact, ScanStatus } from "../scan/schema.js";
+import type { ScanOptions } from "./options.js";
+export declare function finding(status: ScanStatus): string;
+export declare function failureEvidence(failed: number, passed: number, lowerBound80: number, upperBound80: number): string;
+export declare function formatScanSummary(scan: ScanArtifact, artifactPath: string, theme?: TerminalTheme): string;
+export declare function formatScanOutput(scanResult: ScanArtifact, values: Pick<ScanOptions, "json" | "verbose">, artifactPath: string, theme?: TerminalTheme): string;