flakelab 0.1.0 → 0.1.2

package/dist/proof/preflight.d.ts

@@ -0,0 +1,4 @@
+import type { CredentialProvider } from "../security/credentials.js";
+type CredentialRequester = (provider: CredentialProvider, forcePrompt: boolean) => Promise<string>;
+export declare function preflightProofCredentials(forcePrompt: boolean, request?: CredentialRequester): Promise<void>;
+export {};

package/dist/proof/preflight.js

@@ -0,0 +1,9 @@
+import { requireCredential } from "../security/credentials.js";
+async function requestCredential(provider, forcePrompt) {
+    return requireCredential(provider, { forcePrompt });
+}
+export async function preflightProofCredentials(forcePrompt, request = requestCredential) {
+    await request("groq", forcePrompt);
+    await request("solari", forcePrompt);
+}
+//# sourceMappingURL=preflight.js.map

package/dist/proof/preflight.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"preflight.js","sourceRoot":"","sources":["../../src/proof/preflight.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAQ9D,KAAK,UAAU,iBAAiB,CAC9B,QAA4B,EAC5B,WAAoB;IAEpB,OAAO,iBAAiB,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAC,CAAA;AACrD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,WAAoB,EACpB,UAA+B,iBAAiB;IAEhD,MAAM,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IAClC,MAAM,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAA;AACtC,CAAC"}

package/dist/repair/generator.d.ts

@@ -3,10 +3,21 @@ import type { InvestigationReport } from "../investigator/schema.js";
 import type { CandidatePatch } from "./schema.js";
 interface PatchGeneratorOptions {
     investigation: InvestigationReport;
+    maxCostUsd: number;
     maxSeconds: number;
     model: LanguageModel;
     projectRoot: string;
     signal?: AbortSignal;
+    sourcePaths: string[];
 }
-export declare function generateCandidatePatch(options: PatchGeneratorOptions): Promise<CandidatePatch>;
+export interface CandidateGenerationUsage {
+    estimatedCostUsd: number;
+    inputTokens: number;
+    outputTokens: number;
+}
+export interface GeneratedCandidatePatch {
+    candidate: CandidatePatch;
+    usage: CandidateGenerationUsage;
+}
+export declare function generateCandidatePatch(options: PatchGeneratorOptions): Promise<GeneratedCandidatePatch>;
 export {};

package/dist/repair/generator.js

@@ -1,7 +1,12 @@
 import { generateText, Output } from "ai";
-import { readSafeTestContext } from "../investigator/safe-source.js";
+import { readSafeRepairContext } from "../investigator/safe-source.js";
+import { QWEN_INPUT_USD_PER_MILLION, QWEN_OUTPUT_USD_PER_MILLION, } from "../investigator/groq.js";
 import { validateCandidatePatch } from "./policy.js";
 import { candidatePatchSchema } from "./schema.js";
+function estimatedCost(inputTokens, outputTokens) {
+    return (inputTokens * QWEN_INPUT_USD_PER_MILLION
+        + outputTokens * QWEN_OUTPUT_USD_PER_MILLION) / 1_000_000;
+}
 function patchPrompt(investigation, sources) {
     return [
         "Propose the smallest application-code repair for this experimentally confirmed failure.",
@@ -31,7 +36,14 @@ async function requestCandidate(options, prompt) {
                 abortSignal: options.signal,
                 temperature: 0.2,
             });
-            return result.output;
+            return {
+                candidate: result.output,
+                usage: {
+                    estimatedCostUsd: estimatedCost(result.usage.inputTokens ?? 0, result.usage.outputTokens ?? 0),
+                    inputTokens: result.usage.inputTokens ?? 0,
+                    outputTokens: result.usage.outputTokens ?? 0,
+                },
+            };
         }
         catch (error) {
             if (attempt === 2) {
@@ -47,13 +59,25 @@ async function requestCandidate(options, prompt) {
     throw new Error("Structured candidate generation exhausted its retry budget");
 }
 export async function generateCandidatePatch(options) {
-    const sources = await readSafeTestContext(options.projectRoot, options.investigation.test);
+    const sources = await readSafeRepairContext(options.projectRoot, options.investigation.test, options.sourcePaths);
     const allowedPaths = sources.map((source) => source.path);
     let prompt = patchPrompt(options.investigation, sources);
+    const usage = {
+        estimatedCostUsd: 0,
+        inputTokens: 0,
+        outputTokens: 0,
+    };
     for (let attempt = 1; attempt <= 2; attempt += 1) {
-        const candidate = await requestCandidate(options, prompt);
+        const generated = await requestCandidate(options, prompt);
+        usage.inputTokens += generated.usage.inputTokens;
+        usage.outputTokens += generated.usage.outputTokens;
+        usage.estimatedCostUsd = estimatedCost(usage.inputTokens, usage.outputTokens);
+        if (usage.estimatedCostUsd > options.maxCostUsd) {
+            throw new Error(`Repair generation cost $${usage.estimatedCostUsd.toFixed(4)} exceeded its configured budget`);
+        }
         try {
-            return await validateCandidatePatch(options.projectRoot, options.investigation.test, allowedPaths, candidate);
+            const candidate = await validateCandidatePatch(options.projectRoot, options.investigation.test, allowedPaths, generated.candidate);
+            return { candidate, usage };
         }
         catch (error) {
             if (attempt === 2) {
@@ -64,7 +88,7 @@ export async function generateCandidatePatch(options) {
                 prompt,
                 "The previous candidate was rejected before execution.",
                 `Policy reason: ${reason}`,
-                `Rejected candidate: ${JSON.stringify(candidate)}`,
+                `Rejected candidate: ${JSON.stringify(generated.candidate)}`,
                 "Produce a structural application fix that satisfies the original constraints.",
             ].join("\n");
         }

package/dist/repair/generator.js.map

@@ -1 +1 @@
-{"version":3,"file":"generator.js","sourceRoot":"","sources":["../../src/repair/generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,IAAI,CAAA;AAGzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAA;AAEpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AAEpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAUlD,SAAS,WAAW,CAAC,aAAkC,EAAE,OAAqB;IAC5E,OAAO;QACL,yFAAyF;QACzF,6FAA6F;QAC7F,4FAA4F;QAC5F,2FAA2F;QAC3F,6EAA6E;QAC7E,wFAAwF;QACxF,+EAA+E;QAC/E,yBAAyB;QACzB,IAAI,CAAC,SAAS,CAAC,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACtC,+BAA+B;QAC/B,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;KACvE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACd,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAA8B,EAC9B,MAAc;IAEd,IAAI,aAAa,GAAG,MAAM,CAAA;IAC1B,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC;gBAChC,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;gBACvD,MAAM,EAAE,aAAa;gBACrB,eAAe,EAAE,KAAK;gBACtB,UAAU,EAAE,CAAC;gBACb,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,UAAU,GAAG,KAAK,EAAE;gBAChD,WAAW,EAAE,OAAO,CAAC,MAAM;gBAC3B,WAAW,EAAE,GAAG;aACjB,CAAC,CAAA;YACF,OAAO,MAAM,CAAC,MAAM,CAAA;QACtB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;gBAClB,MAAM,KAAK,CAAA;YACb,CAAC;YACD,aAAa,GAAG;gBACd,MAAM;gBACN,2EAA2E;gBAC3E,qFAAqF;aACtF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACd,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAA;AAC/E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,OAA8B;IAE9B,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAA;IAC1F,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACzD,IAAI,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,CAAA;IACxD,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QACzD,IAAI,CAAC;YACH,OAAO,MAAM,sBAAsB,CACjC,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,aAAa,CAAC,IAAI,EAC1B,YAAY,EACZ,SAAS,CACV,CAAA;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;gBAClB,MAAM,KAAK,CAAA;YACb,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,iCAAiC,CAAA;YACzF,MAAM,GAAG;gBACP,MAAM;gBACN,uDAAuD;gBACvD,kBAAkB,MAAM,EAAE;gBAC1B,uBAAuB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE;gBAClD,+EAA+E;aAChF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACd,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAA;AACvE,CAAC"}
+{"version":3,"file":"generator.js","sourceRoot":"","sources":["../../src/repair/generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,IAAI,CAAA;AAGzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAA;AAEtE,OAAO,EACL,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AAEpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAuBlD,SAAS,aAAa,CAAC,WAAmB,EAAE,YAAoB;IAC9D,OAAO,CACL,WAAW,GAAG,0BAA0B;UACtC,YAAY,GAAG,2BAA2B,CAC7C,GAAG,SAAS,CAAA;AACf,CAAC;AAED,SAAS,WAAW,CAAC,aAAkC,EAAE,OAAqB;IAC5E,OAAO;QACL,yFAAyF;QACzF,6FAA6F;QAC7F,4FAA4F;QAC5F,2FAA2F;QAC3F,6EAA6E;QAC7E,wFAAwF;QACxF,+EAA+E;QAC/E,yBAAyB;QACzB,IAAI,CAAC,SAAS,CAAC,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACtC,+BAA+B;QAC/B,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;KACvE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACd,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAA8B,EAC9B,MAAc;IAEd,IAAI,aAAa,GAAG,MAAM,CAAA;IAC1B,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC;gBAChC,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;gBACvD,MAAM,EAAE,aAAa;gBACrB,eAAe,EAAE,KAAK;gBACtB,UAAU,EAAE,CAAC;gBACb,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,UAAU,GAAG,KAAK,EAAE;gBAChD,WAAW,EAAE,OAAO,CAAC,MAAM;gBAC3B,WAAW,EAAE,GAAG;aACjB,CAAC,CAAA;YACF,OAAO;gBACL,SAAS,EAAE,MAAM,CAAC,MAAM;gBACxB,KAAK,EAAE;oBACL,gBAAgB,EAAE,aAAa,CAC7B,MAAM,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,EAC7B,MAAM,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC,CAC/B;oBACD,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC;oBAC1C,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC;iBAC7C;aACF,CAAA;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;gBAClB,MAAM,KAAK,CAAA;YACb,CAAC;YACD,aAAa,GAAG;gBACd,MAAM;gBACN,2EAA2E;gBAC3E,qFAAqF;aACtF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACd,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAA;AAC/E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,OAA8B;IAE9B,MAAM,OAAO,GAAG,MAAM,qBAAqB,CACzC,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,aAAa,CAAC,IAAI,EAC1B,OAAO,CAAC,WAAW,CACpB,CAAA;IACD,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACzD,IAAI,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,CAAA;IACxD,MAAM,KAAK,GAA6B;QACtC,gBAAgB,EAAE,CAAC;QACnB,WAAW,EAAE,CAAC;QACd,YAAY,EAAE,CAAC;KAChB,CAAA;IACD,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QACzD,KAAK,CAAC,WAAW,IAAI,SAAS,CAAC,KAAK,CAAC,WAAW,CAAA;QAChD,KAAK,CAAC,YAAY,IAAI,SAAS,CAAC,KAAK,CAAC,YAAY,CAAA;QAClD,KAAK,CAAC,gBAAgB,GAAG,aAAa,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;QAC7E,IAAI,KAAK,CAAC,gBAAgB,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CACb,2BAA2B,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,iCAAiC,CAC9F,CAAA;QACH,CAAC;QACD,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,sBAAsB,CAC5C,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,aAAa,CAAC,IAAI,EAC1B,YAAY,EACZ,SAAS,CAAC,SAAS,CACpB,CAAA;YACD,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;QAC7B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;gBAClB,MAAM,KAAK,CAAA;YACb,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,iCAAiC,CAAA;YACzF,MAAM,GAAG;gBACP,MAAM;gBACN,uDAAuD;gBACvD,kBAAkB,MAAM,EAAE;gBAC1B,uBAAuB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE;gBAC5D,+EAA+E;aAChF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACd,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAA;AACvE,CAAC"}

package/dist/repair/remote-proof-runner.js

@@ -1,5 +1,6 @@
 import { parseArgs } from "node:util";
 import { evaluateExperiment } from "../discovery/evaluate.js";
+import { faultSetSchema } from "../domain/schema.js";
 import { createPlaywrightExecutor } from "../runner/playwright-executor.js";
 function required(value, name) {
     if (!value) {
@@ -18,25 +19,20 @@ async function main() {
     const { values } = parseArgs({
         options: {
             concurrency: { type: "string" },
-            "delay-ms": { type: "string" },
+            "faults-json": { type: "string" },
             hostile: { type: "boolean", default: false },
             "min-rate": { type: "string" },
-            pattern: { type: "string" },
             seed: { type: "string" },
             selector: { type: "string" },
             trials: { type: "string" },
         },
     });
-    const fault = values.hostile
-        ? {
-            kind: "network-delay",
-            delayMs: integer(values["delay-ms"], "delay-ms"),
-            pattern: required(values.pattern, "pattern"),
-        }
-        : undefined;
+    const faults = values.hostile
+        ? faultSetSchema.parse(JSON.parse(required(values["faults-json"], "faults-json")))
+        : [];
     const result = await evaluateExperiment(createPlaywrightExecutor(process.cwd(), required(values.selector, "selector")), {
         concurrency: integer(values.concurrency, "concurrency"),
-        fault,
+        faults,
         minimumFailureRate: Number(required(values["min-rate"], "min-rate")),
         seed: integer(values.seed, "seed"),
         trials: integer(values.trials, "trials"),

package/dist/repair/remote-proof-runner.js.map

@@ -1 +1 @@
-{"version":3,"file":"remote-proof-runner.js","sourceRoot":"","sources":["../../src/repair/remote-proof-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErC,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAE7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAA;AAE3E,SAAS,QAAQ,CAAC,KAAyB,EAAE,IAAY;IACvD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,cAAc,CAAC,CAAA;IACxC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,OAAO,CAAC,KAAyB,EAAE,IAAY;IACtD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;IAC5C,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,KAAK,UAAU,IAAI;IACjB,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;QAC3B,OAAO,EAAE;YACP,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC/B,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC9B,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YAC5C,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC9B,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC3B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC3B;KACF,CAAC,CAAA;IACF,MAAM,KAAK,GAAsB,MAAM,CAAC,OAAO;QAC7C,CAAC,CAAC;YACE,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;YAChD,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC;SAC7C;QACH,CAAC,CAAC,SAAS,CAAA;IACb,MAAM,MAAM,GAAG,MAAM,kBAAkB,CACrC,wBAAwB,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,EAC9E;QACE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;QACvD,KAAK;QACL,kBAAkB,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;QACpE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QAClC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;KACzC,CACF,CAAA;IACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;AACrC,CAAC;AAED,IAAI,CAAC;IACH,MAAM,IAAI,EAAE,CAAA;AACd,CAAC;AAAC,OAAO,KAAK,EAAE,CAAC;IACf,OAAO,CAAC,KAAK,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAA;IACpF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;AACtB,CAAC"}
+{"version":3,"file":"remote-proof-runner.js","sourceRoot":"","sources":["../../src/repair/remote-proof-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErC,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACpD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAA;AAE3E,SAAS,QAAQ,CAAC,KAAyB,EAAE,IAAY;IACvD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,cAAc,CAAC,CAAA;IACxC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,OAAO,CAAC,KAAyB,EAAE,IAAY;IACtD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;IAC5C,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,KAAK,UAAU,IAAI;IACjB,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;QAC3B,OAAO,EAAE;YACP,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC/B,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACjC,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YAC5C,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC9B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC3B;KACF,CAAC,CAAA;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO;QAC3B,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC;QAClF,CAAC,CAAC,EAAE,CAAA;IACN,MAAM,MAAM,GAAG,MAAM,kBAAkB,CACrC,wBAAwB,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,EAC9E;QACE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;QACvD,MAAM;QACN,kBAAkB,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;QACpE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QAClC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;KACzC,CACF,CAAA;IACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;AACrC,CAAC;AAED,IAAI,CAAC;IACH,MAAM,IAAI,EAAE,CAAA;AACd,CAAC;AAAC,OAAO,KAAK,EAAE,CAAC;IACf,OAAO,CAAC,KAAK,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAA;IACpF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;AACtB,CAAC"}

package/dist/repair/schema.d.ts

@@ -14,10 +14,13 @@ export declare const candidatePatchSchema: z.ZodObject<{
     }, z.core.$strip>>;
 }, z.core.$strip>;
 export declare const proofOfFixSchema: z.ZodObject<{
-    version: z.ZodLiteral<1>;
     execution: z.ZodLiteral<"solari-microvm">;
     patchAccepted: z.ZodBoolean;
     patchPath: z.ZodString;
+    sourceLocations: z.ZodArray<z.ZodObject<{
+        line: z.ZodNumber;
+        path: z.ZodString;
+    }, z.core.$strip>>;
     staticChecks: z.ZodObject<{
         typecheck: z.ZodBoolean;
         lint: z.ZodBoolean;
@@ -27,52 +30,124 @@ export declare const proofOfFixSchema: z.ZodObject<{
         lint: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
     beforeHostile: z.ZodObject<{
+        causalEffect: z.ZodOptional<z.ZodObject<{
+            controlFailures: z.ZodNumber;
+            controlRate: z.ZodNumber;
+            controlUpperBound80: z.ZodNumber;
+            failureRateIncrease: z.ZodNumber;
+            signature: z.ZodString;
+            treatmentFailures: z.ZodNumber;
+            treatmentLowerBound80: z.ZodNumber;
+            treatmentRate: z.ZodNumber;
+        }, z.core.$strip>>;
         confirmed: z.ZodBoolean;
         dominantFailureSignature: z.ZodOptional<z.ZodString>;
         dominantFailureReason: z.ZodOptional<z.ZodString>;
         errors: z.ZodNumber;
         failed: z.ZodNumber;
         failureRate: z.ZodNumber;
+        failureSignatures: z.ZodArray<z.ZodObject<{
+            failures: z.ZodNumber;
+            failureRate: z.ZodNumber;
+            lowerBound80: z.ZodNumber;
+            signature: z.ZodString;
+            upperBound80: z.ZodNumber;
+        }, z.core.$strip>>;
         lowerBound80: z.ZodNumber;
         passed: z.ZodNumber;
         trials: z.ZodNumber;
+        upperBound80: z.ZodNumber;
     }, z.core.$strip>;
     afterHostile: z.ZodObject<{
+        causalEffect: z.ZodOptional<z.ZodObject<{
+            controlFailures: z.ZodNumber;
+            controlRate: z.ZodNumber;
+            controlUpperBound80: z.ZodNumber;
+            failureRateIncrease: z.ZodNumber;
+            signature: z.ZodString;
+            treatmentFailures: z.ZodNumber;
+            treatmentLowerBound80: z.ZodNumber;
+            treatmentRate: z.ZodNumber;
+        }, z.core.$strip>>;
         confirmed: z.ZodBoolean;
         dominantFailureSignature: z.ZodOptional<z.ZodString>;
         dominantFailureReason: z.ZodOptional<z.ZodString>;
         errors: z.ZodNumber;
         failed: z.ZodNumber;
         failureRate: z.ZodNumber;
+        failureSignatures: z.ZodArray<z.ZodObject<{
+            failures: z.ZodNumber;
+            failureRate: z.ZodNumber;
+            lowerBound80: z.ZodNumber;
+            signature: z.ZodString;
+            upperBound80: z.ZodNumber;
+        }, z.core.$strip>>;
         lowerBound80: z.ZodNumber;
         passed: z.ZodNumber;
         trials: z.ZodNumber;
+        upperBound80: z.ZodNumber;
     }, z.core.$strip>;
     afterControl: z.ZodObject<{
+        causalEffect: z.ZodOptional<z.ZodObject<{
+            controlFailures: z.ZodNumber;
+            controlRate: z.ZodNumber;
+            controlUpperBound80: z.ZodNumber;
+            failureRateIncrease: z.ZodNumber;
+            signature: z.ZodString;
+            treatmentFailures: z.ZodNumber;
+            treatmentLowerBound80: z.ZodNumber;
+            treatmentRate: z.ZodNumber;
+        }, z.core.$strip>>;
         confirmed: z.ZodBoolean;
         dominantFailureSignature: z.ZodOptional<z.ZodString>;
         dominantFailureReason: z.ZodOptional<z.ZodString>;
         errors: z.ZodNumber;
         failed: z.ZodNumber;
         failureRate: z.ZodNumber;
+        failureSignatures: z.ZodArray<z.ZodObject<{
+            failures: z.ZodNumber;
+            failureRate: z.ZodNumber;
+            lowerBound80: z.ZodNumber;
+            signature: z.ZodString;
+            upperBound80: z.ZodNumber;
+        }, z.core.$strip>>;
         lowerBound80: z.ZodNumber;
         passed: z.ZodNumber;
         trials: z.ZodNumber;
+        upperBound80: z.ZodNumber;
     }, z.core.$strip>;
     regressions: z.ZodArray<z.ZodObject<{
         selector: z.ZodString;
         result: z.ZodObject<{
+            causalEffect: z.ZodOptional<z.ZodObject<{
+                controlFailures: z.ZodNumber;
+                controlRate: z.ZodNumber;
+                controlUpperBound80: z.ZodNumber;
+                failureRateIncrease: z.ZodNumber;
+                signature: z.ZodString;
+                treatmentFailures: z.ZodNumber;
+                treatmentLowerBound80: z.ZodNumber;
+                treatmentRate: z.ZodNumber;
+            }, z.core.$strip>>;
             confirmed: z.ZodBoolean;
             dominantFailureSignature: z.ZodOptional<z.ZodString>;
             dominantFailureReason: z.ZodOptional<z.ZodString>;
             errors: z.ZodNumber;
             failed: z.ZodNumber;
             failureRate: z.ZodNumber;
+            failureSignatures: z.ZodArray<z.ZodObject<{
+                failures: z.ZodNumber;
+                failureRate: z.ZodNumber;
+                lowerBound80: z.ZodNumber;
+                signature: z.ZodString;
+                upperBound80: z.ZodNumber;
+            }, z.core.$strip>>;
             lowerBound80: z.ZodNumber;
             passed: z.ZodNumber;
             trials: z.ZodNumber;
+            upperBound80: z.ZodNumber;
         }, z.core.$strip>;
     }, z.core.$strip>>;
-}, z.core.$strip>;
+}, z.core.$strict>;
 export type CandidatePatch = z.infer<typeof candidatePatchSchema>;
 export type ProofOfFix = z.infer<typeof proofOfFixSchema>;

package/dist/repair/schema.js

@@ -10,21 +10,42 @@ export const candidatePatchSchema = z.object({
     edits: z.array(patchEditSchema).min(1).max(3),
 });
 const validationResultSchema = z.object({
+    causalEffect: z.object({
+        controlFailures: z.number().int().nonnegative(),
+        controlRate: z.number().min(0).max(1),
+        controlUpperBound80: z.number().min(0).max(1),
+        failureRateIncrease: z.number().min(-1).max(1),
+        signature: z.string().min(1),
+        treatmentFailures: z.number().int().nonnegative(),
+        treatmentLowerBound80: z.number().min(0).max(1),
+        treatmentRate: z.number().min(0).max(1),
+    }).optional(),
     confirmed: z.boolean(),
     dominantFailureSignature: z.string().min(1).optional(),
     dominantFailureReason: z.string().min(1).max(2_000).optional(),
     errors: z.number().int().nonnegative(),
     failed: z.number().int().nonnegative(),
     failureRate: z.number().min(0).max(1),
+    failureSignatures: z.array(z.object({
+        failures: z.number().int().positive(),
+        failureRate: z.number().min(0).max(1),
+        lowerBound80: z.number().min(0).max(1),
+        signature: z.string().min(1),
+        upperBound80: z.number().min(0).max(1),
+    })),
     lowerBound80: z.number().min(0).max(1),
     passed: z.number().int().nonnegative(),
     trials: z.number().int().nonnegative(),
+    upperBound80: z.number().min(0).max(1),
 });
 export const proofOfFixSchema = z.object({
-    version: z.literal(1),
     execution: z.literal("solari-microvm"),
     patchAccepted: z.boolean(),
     patchPath: z.string().min(1),
+    sourceLocations: z.array(z.object({
+        line: z.number().int().positive(),
+        path: z.string().min(1).max(500),
+    })).min(1).max(3),
     staticChecks: z.object({
         typecheck: z.boolean(),
         lint: z.boolean(),
@@ -40,5 +61,5 @@ export const proofOfFixSchema = z.object({
         selector: z.string().min(1),
         result: validationResultSchema,
     })),
-});
+}).strict();
 //# sourceMappingURL=schema.js.map

package/dist/repair/schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/repair/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;IACrC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACtC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACxC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC9C,CAAC,CAAA;AAEF,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;IACtB,wBAAwB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACtD,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;IAC9D,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACtC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACtC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACtC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CACvC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACrB,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACtC,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE;IAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC;QACrB,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;QACtB,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE;KAClB,CAAC;IACF,iBAAiB,EAAE,CAAC,CAAC,MAAM,CAAC;QAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;QAC3C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;KACvC,CAAC;IACF,aAAa,EAAE,sBAAsB;IACrC,YAAY,EAAE,sBAAsB;IACpC,YAAY,EAAE,sBAAsB;IACpC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,sBAAsB;KAC/B,CAAC,CAAC;CACJ,CAAC,CAAA"}
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/repair/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;IACrC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACtC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACxC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC9C,CAAC,CAAA;AAEF,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC;QACrB,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QAC/C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QACjD,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;KACxC,CAAC,CAAC,QAAQ,EAAE;IACb,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;IACtB,wBAAwB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACtD,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;IAC9D,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACtC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACtC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAClC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QACrC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;KACvC,CAAC,CAAC;IACH,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACtC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACtC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACvC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACtC,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE;IAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAChC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QACjC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;KACjC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjB,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC;QACrB,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;QACtB,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE;KAClB,CAAC;IACF,iBAAiB,EAAE,CAAC,CAAC,MAAM,CAAC;QAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;QAC3C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;KACvC,CAAC;IACF,aAAa,EAAE,sBAAsB;IACrC,YAAY,EAAE,sBAAsB;IACpC,YAAY,EAAE,sBAAsB;IACpC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,sBAAsB;KAC/B,CAAC,CAAC;CACJ,CAAC,CAAC,MAAM,EAAE,CAAA"}

package/dist/repair/solari-validator.d.ts

@@ -1,4 +1,5 @@
 import type { ExperimentResult } from "../discovery/evaluate.js";
+import type { Fault } from "../domain/schema.js";
 import type { Reproducer } from "../reproducer/schema.js";
 interface RemoteValidationOptions {
     apiKey: string;
@@ -21,5 +22,6 @@ export interface RemoteValidationResult {
     typecheck: boolean;
     typecheckDiagnostic?: string;
 }
+export declare function remoteFaultArguments(faults: Fault[], hostile: boolean): string[];
 export declare function validatePatchInSolari(options: RemoteValidationOptions): Promise<RemoteValidationResult>;
 export {};

package/dist/repair/solari-validator.js

@@ -10,6 +10,9 @@ const SANDBOX_TIMEOUT_MS = 15 * 60_000;
 const COMMAND_TIMEOUT_MS = 10 * 60_000;
 const UPLOAD_BATCH_SIZE = 8;
 const SETUP_POLL_ATTEMPTS = 300;
+export function remoteFaultArguments(faults, hostile) {
+    return ["--faults-json", JSON.stringify(faults), ...(hostile ? ["--hostile"] : [])];
+}
 async function listProjectFiles(root, directory = root) {
     const entries = await readdir(directory, { withFileTypes: true });
     const files = [];
@@ -120,7 +123,6 @@ async function runDetachedSetup(sandbox, label, script, statusPath, signal) {
     throw new Error(`Solari ${label} exceeded its timeout`);
 }
 function proofArguments(options, selector, trials, hostile) {
-    const fault = options.reproducer.faults[0];
     return [
         "exec",
         "tsx",
@@ -135,11 +137,7 @@ function proofArguments(options, selector, trials, hostile) {
         String(options.reproducer.seed),
         "--min-rate",
         String(options.reproducer.expectedFailure.minimumRate),
-        "--delay-ms",
-        String(fault.delayMs),
-        "--pattern",
-        fault.pattern,
-        ...(hostile ? ["--hostile"] : []),
+        ...remoteFaultArguments(options.reproducer.faults, hostile),
     ];
 }
 async function runExperiment(sandbox, options, selector, trials, hostile) {

package/dist/repair/solari-validator.js.map

@@ -1 +1 @@
-{"version":3,"file":"solari-validator.js","sourceRoot":"","sources":["../../src/repair/solari-validator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAC/D,OAAO,EAAE,UAAU,IAAI,KAAK,EAAE,MAAM,sBAAsB,CAAA;AAG1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAElE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AAEnD,MAAM,WAAW,GAAG,gBAAgB,CAAA;AACpC,MAAM,iBAAiB,GAAG,gCAAgC,CAAA;AAC1D,MAAM,kBAAkB,GAAG,EAAE,GAAG,MAAM,CAAA;AACtC,MAAM,kBAAkB,GAAG,EAAE,GAAG,MAAM,CAAA;AACtC,MAAM,iBAAiB,GAAG,CAAC,CAAA;AAC3B,MAAM,mBAAmB,GAAG,GAAG,CAAA;AA2B/B,KAAK,UAAU,gBAAgB,CAAC,IAAY,EAAE,SAAS,GAAG,IAAI;IAC5D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;IACjE,MAAM,KAAK,GAAkB,EAAE,CAAA;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QAC7C,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAA;QACxD,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1B,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YACxE,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC,CAAA;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,OAAgB,EAAE,aAAqB;IAClE,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAAC,aAAa,CAAC,CAAA;IACnD,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IACrF,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC,CAAA;IACnF,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC5E,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,iBAAiB,EAAE,CAAC;QACrE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,iBAAiB,CAAC,CAAA;QAC3D,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;YACzC,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YAC9C,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACrD,CAAC,CAAC,CAAC,CAAA;IACL,CAAC;AACH,CAAC;AAED,KAAK,UAAU,UAAU,CACvB,OAAgB,EAChB,OAAe,EACf,IAAc;IAEd,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE;gBACjD,IAAI;gBACJ,GAAG,EAAE,WAAW;gBAChB,SAAS,EAAE,kBAAkB;aAC9B,CAAC,CAAA;YACF,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAA;QACpF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAA;YAChF,MAAM,aAAa,GAAG,qCAAqC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACzE,IAAI,CAAC,aAAa,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;gBACpC,MAAM,KAAK,CAAA;YACb,CAAC;YACD,MAAM,OAAO,CAAC,SAAS,EAAE,CAAA;QAC3B,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAA;AAC1D,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,MAAc;IACpD,MAAM,QAAQ,GAAG,GAAG,MAAM,KAAK,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACtC,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,GAAG,CAAC,CAAC,CAAA;QACvD,IAAI,SAAS,GAAG,CAAC,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;YACvC,OAAO,KAAK,CAAA;QACd,CAAC;QACD,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,aAAa,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAA;IAClF,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACZ,OAAO,QAAQ;SACZ,KAAK,CAAC,QAAQ,CAAC;SACf,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;SACjC,KAAK,CAAC,CAAC,EAAE,CAAC;SACV,IAAI,CAAC,KAAK,CAAC;SACX,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;AACpB,CAAC;AAED,KAAK,UAAU,cAAc,CAC3B,OAAgB,EAChB,OAAe,EACf,KAAa,EACb,IAAc;IAEd,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;IACvD,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC/D,MAAM,IAAI,KAAK,CACb,UAAU,KAAK,0BAA0B,MAAM,CAAC,QAAQ,EAAE;cACxD,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACxC,CAAA;IACH,CAAC;AACH,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAAgB,EAChB,KAAa,EACb,MAAc,EACd,UAAkB,EAClB,MAAoB;IAEpB,MAAM,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAA;IACnD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE;QAC/C,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,IAAI;QAChB,GAAG,EAAE,WAAW;KACjB,CAAC,CAAA;IACF,IAAI,OAAO,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,0BAA0B,KAAK,EAAE,CAAC,CAAA;IACpD,CAAC;IACD,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,mBAAmB,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACnE,MAAM,EAAE,cAAc,EAAE,CAAA;QACxB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;YACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;YACtC,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,0BAA0B,QAAQ,EAAE,CAAC,CAAA;YACtE,CAAC;YACD,OAAM;QACR,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAA;YAC3D,IAAI,qCAAqC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxD,MAAM,OAAO,CAAC,SAAS,EAAE,CAAA;YAC3B,CAAC;iBAAM,IAAI,CAAC,iCAAiC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5D,MAAM,KAAK,CAAA;YACb,CAAC;QACH,CAAC;QACD,MAAM,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAA;IAC3C,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,uBAAuB,CAAC,CAAA;AACzD,CAAC;AAED,SAAS,cAAc,CACrB,OAAgC,EAChC,QAAgB,EAChB,MAAc,EACd,OAAgB;IAEhB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC1C,OAAO;QACL,MAAM;QACN,KAAK;QACL,mCAAmC;QACnC,YAAY;QACZ,QAAQ;QACR,UAAU;QACV,MAAM,CAAC,MAAM,CAAC;QACd,eAAe;QACf,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;QAC3B,QAAQ;QACR,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QAC/B,YAAY;QACZ,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,WAAW,CAAC;QACtD,YAAY;QACZ,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;QACrB,WAAW;QACX,KAAK,CAAC,OAAO;QACb,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAA;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,OAAgB,EAChB,OAAgC,EAChC,QAAgB,EAChB,MAAc,EACd,OAAgB;IAEhB,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,CAC7D,OAAO,EACP,QAAQ,EACR,MAAM,EACN,OAAO,CACR,CAAC,CAAA;IACF,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,6CAA6C,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAA;IACjF,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAA;IAC3D,CAAC;IACD,OAAO,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;AACzD,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,OAAgB,EAChB,OAAgC;IAEhC,MAAM,OAAO,CAAC,OAAO,EAAE,CAAA;IACvB,MAAM,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAA;IAC5D,MAAM,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAA;IAC7D,MAAM,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE;QACxD,SAAS;QACT,UAAU;QACV,cAAc;KACf,CAAC,CAAA;IACF,MAAM,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE;QACrD,SAAS;QACT,UAAU;QACV,aAAa;KACd,CAAC,CAAA;IACF,MAAM,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,yBAAyB,EAAE;QAC/D,SAAS;QACT,mBAAmB;KACpB,CAAC,CAAA;IACF,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,CAAA;IAChC,MAAM,eAAe,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,CAAC,CAAA;IACxE,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC9D,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,KAAK,CAAC,CAAA;IAChD,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,KAAK,CAAC,CAAA;IACtC,MAAM,gBAAgB,CACpB,OAAO,EACP,wCAAwC,EACxC,sIAAsI,EACtI,GAAG,iBAAiB,oBAAoB,EACxC,OAAO,CAAC,MAAM,CACf,CAAA;IACD,MAAM,gBAAgB,CACpB,OAAO,EACP,kBAAkB,EAClB,uHAAuH,EACvH,GAAG,iBAAiB,eAAe,EACnC,OAAO,CAAC,MAAM,CACf,CAAA;IACD,MAAM,YAAY,GAAG,MAAM,aAAa,CACtC,OAAO,EACP,OAAO,EACP,OAAO,CAAC,UAAU,CAAC,IAAI,EACvB,OAAO,CAAC,UAAU,CAAC,MAAM,EACzB,IAAI,CACL,CAAA;IACD,MAAM,YAAY,GAAG,MAAM,aAAa,CACtC,OAAO,EACP,OAAO,EACP,OAAO,CAAC,UAAU,CAAC,IAAI,EACvB,OAAO,CAAC,UAAU,CAAC,MAAM,EACzB,KAAK,CACN,CAAA;IACD,MAAM,WAAW,GAAG,EAAE,CAAA;IACtB,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ;YACR,MAAM,EAAE,MAAM,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,CAAC;SAClE,CAAC,CAAA;IACJ,CAAC;IACD,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,IAAI;QACJ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACd,cAAc,EAAE,cAAc,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC;SACrE,CAAC;QACF,WAAW;QACX,SAAS;QACT,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACnB,mBAAmB,EAAE,cAAc,CAAC,eAAe,CAAC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC;SACpF,CAAC;KACH,CAAA;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,OAAgC;IAEhC,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,CAAA;IAChC,MAAM,MAAM,GAAG,IAAI,aAAa,CAAC;QAC/B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,aAAa,EAAE,kBAAkB;KAClC,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,MAAM,cAAc,CAClC,KAAK,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QACxB,QAAQ,EAAE,MAAM;QAChB,GAAG,EAAE,CAAC;QACN,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,kBAAkB;QAC7B,SAAS,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE;QAChC,QAAQ,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE;KACvD,CAAC,EACF;QACE,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,GAAG;QAChB,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CACF,CAAA;IACD,IAAI,CAAC;QACH,OAAO,MAAM,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;IAClD,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,KAAK,EAAE,CAAA;QACf,MAAM,OAAO,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC;AACH,CAAC"}
+{"version":3,"file":"solari-validator.js","sourceRoot":"","sources":["../../src/repair/solari-validator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAC/D,OAAO,EAAE,UAAU,IAAI,KAAK,EAAE,MAAM,sBAAsB,CAAA;AAG1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAGlE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AAEnD,MAAM,WAAW,GAAG,gBAAgB,CAAA;AACpC,MAAM,iBAAiB,GAAG,gCAAgC,CAAA;AAC1D,MAAM,kBAAkB,GAAG,EAAE,GAAG,MAAM,CAAA;AACtC,MAAM,kBAAkB,GAAG,EAAE,GAAG,MAAM,CAAA;AACtC,MAAM,iBAAiB,GAAG,CAAC,CAAA;AAC3B,MAAM,mBAAmB,GAAG,GAAG,CAAA;AA2B/B,MAAM,UAAU,oBAAoB,CAAC,MAAe,EAAE,OAAgB;IACpE,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACrF,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,IAAY,EAAE,SAAS,GAAG,IAAI;IAC5D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;IACjE,MAAM,KAAK,GAAkB,EAAE,CAAA;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QAC7C,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAA;QACxD,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1B,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YACxE,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC,CAAA;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,OAAgB,EAAE,aAAqB;IAClE,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAAC,aAAa,CAAC,CAAA;IACnD,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IACrF,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC,CAAA;IACnF,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC5E,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,iBAAiB,EAAE,CAAC;QACrE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,iBAAiB,CAAC,CAAA;QAC3D,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;YACzC,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YAC9C,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACrD,CAAC,CAAC,CAAC,CAAA;IACL,CAAC;AACH,CAAC;AAED,KAAK,UAAU,UAAU,CACvB,OAAgB,EAChB,OAAe,EACf,IAAc;IAEd,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE;gBACjD,IAAI;gBACJ,GAAG,EAAE,WAAW;gBAChB,SAAS,EAAE,kBAAkB;aAC9B,CAAC,CAAA;YACF,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAA;QACpF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAA;YAChF,MAAM,aAAa,GAAG,qCAAqC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACzE,IAAI,CAAC,aAAa,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;gBACpC,MAAM,KAAK,CAAA;YACb,CAAC;YACD,MAAM,OAAO,CAAC,SAAS,EAAE,CAAA;QAC3B,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAA;AAC1D,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,MAAc;IACpD,MAAM,QAAQ,GAAG,GAAG,MAAM,KAAK,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACtC,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,GAAG,CAAC,CAAC,CAAA;QACvD,IAAI,SAAS,GAAG,CAAC,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;YACvC,OAAO,KAAK,CAAA;QACd,CAAC;QACD,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,aAAa,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAA;IAClF,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACZ,OAAO,QAAQ;SACZ,KAAK,CAAC,QAAQ,CAAC;SACf,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;SACjC,KAAK,CAAC,CAAC,EAAE,CAAC;SACV,IAAI,CAAC,KAAK,CAAC;SACX,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;AACpB,CAAC;AAED,KAAK,UAAU,cAAc,CAC3B,OAAgB,EAChB,OAAe,EACf,KAAa,EACb,IAAc;IAEd,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;IACvD,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC/D,MAAM,IAAI,KAAK,CACb,UAAU,KAAK,0BAA0B,MAAM,CAAC,QAAQ,EAAE;cACxD,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACxC,CAAA;IACH,CAAC;AACH,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAAgB,EAChB,KAAa,EACb,MAAc,EACd,UAAkB,EAClB,MAAoB;IAEpB,MAAM,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAA;IACnD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE;QAC/C,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,IAAI;QAChB,GAAG,EAAE,WAAW;KACjB,CAAC,CAAA;IACF,IAAI,OAAO,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,0BAA0B,KAAK,EAAE,CAAC,CAAA;IACpD,CAAC;IACD,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,mBAAmB,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACnE,MAAM,EAAE,cAAc,EAAE,CAAA;QACxB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;YACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;YACtC,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,0BAA0B,QAAQ,EAAE,CAAC,CAAA;YACtE,CAAC;YACD,OAAM;QACR,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAA;YAC3D,IAAI,qCAAqC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxD,MAAM,OAAO,CAAC,SAAS,EAAE,CAAA;YAC3B,CAAC;iBAAM,IAAI,CAAC,iCAAiC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5D,MAAM,KAAK,CAAA;YACb,CAAC;QACH,CAAC;QACD,MAAM,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAA;IAC3C,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,uBAAuB,CAAC,CAAA;AACzD,CAAC;AAED,SAAS,cAAc,CACrB,OAAgC,EAChC,QAAgB,EAChB,MAAc,EACd,OAAgB;IAEhB,OAAO;QACL,MAAM;QACN,KAAK;QACL,mCAAmC;QACnC,YAAY;QACZ,QAAQ;QACR,UAAU;QACV,MAAM,CAAC,MAAM,CAAC;QACd,eAAe;QACf,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;QAC3B,QAAQ;QACR,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QAC/B,YAAY;QACZ,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,WAAW,CAAC;QACtD,GAAG,oBAAoB,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC;KAC5D,CAAA;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,OAAgB,EAChB,OAAgC,EAChC,QAAgB,EAChB,MAAc,EACd,OAAgB;IAEhB,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,CAC7D,OAAO,EACP,QAAQ,EACR,MAAM,EACN,OAAO,CACR,CAAC,CAAA;IACF,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,6CAA6C,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAA;IACjF,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAA;IAC3D,CAAC;IACD,OAAO,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;AACzD,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,OAAgB,EAChB,OAAgC;IAEhC,MAAM,OAAO,CAAC,OAAO,EAAE,CAAA;IACvB,MAAM,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAA;IAC5D,MAAM,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAA;IAC7D,MAAM,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE;QACxD,SAAS;QACT,UAAU;QACV,cAAc;KACf,CAAC,CAAA;IACF,MAAM,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE;QACrD,SAAS;QACT,UAAU;QACV,aAAa;KACd,CAAC,CAAA;IACF,MAAM,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,yBAAyB,EAAE;QAC/D,SAAS;QACT,mBAAmB;KACpB,CAAC,CAAA;IACF,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,CAAA;IAChC,MAAM,eAAe,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,CAAC,CAAA;IACxE,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC9D,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,KAAK,CAAC,CAAA;IAChD,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,KAAK,CAAC,CAAA;IACtC,MAAM,gBAAgB,CACpB,OAAO,EACP,wCAAwC,EACxC,sIAAsI,EACtI,GAAG,iBAAiB,oBAAoB,EACxC,OAAO,CAAC,MAAM,CACf,CAAA;IACD,MAAM,gBAAgB,CACpB,OAAO,EACP,kBAAkB,EAClB,uHAAuH,EACvH,GAAG,iBAAiB,eAAe,EACnC,OAAO,CAAC,MAAM,CACf,CAAA;IACD,MAAM,YAAY,GAAG,MAAM,aAAa,CACtC,OAAO,EACP,OAAO,EACP,OAAO,CAAC,UAAU,CAAC,IAAI,EACvB,OAAO,CAAC,UAAU,CAAC,MAAM,EACzB,IAAI,CACL,CAAA;IACD,MAAM,YAAY,GAAG,MAAM,aAAa,CACtC,OAAO,EACP,OAAO,EACP,OAAO,CAAC,UAAU,CAAC,IAAI,EACvB,OAAO,CAAC,UAAU,CAAC,MAAM,EACzB,KAAK,CACN,CAAA;IACD,MAAM,WAAW,GAAG,EAAE,CAAA;IACtB,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ;YACR,MAAM,EAAE,MAAM,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,CAAC;SAClE,CAAC,CAAA;IACJ,CAAC;IACD,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,IAAI;QACJ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACd,cAAc,EAAE,cAAc,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC;SACrE,CAAC;QACF,WAAW;QACX,SAAS;QACT,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACnB,mBAAmB,EAAE,cAAc,CAAC,eAAe,CAAC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC;SACpF,CAAC;KACH,CAAA;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,OAAgC;IAEhC,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,CAAA;IAChC,MAAM,MAAM,GAAG,IAAI,aAAa,CAAC;QAC/B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,aAAa,EAAE,kBAAkB;KAClC,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,MAAM,cAAc,CAClC,KAAK,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QACxB,QAAQ,EAAE,MAAM;QAChB,GAAG,EAAE,CAAC;QACN,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,kBAAkB;QAC7B,SAAS,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE;QAChC,QAAQ,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE;KACvD,CAAC,EACF;QACE,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,GAAG;QAChB,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CACF,CAAA;IACD,IAAI,CAAC;QACH,OAAO,MAAM,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;IAClD,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,KAAK,EAAE,CAAA;QACf,MAAM,OAAO,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC;AACH,CAAC"}

package/dist/repair/summary.d.ts

@@ -0,0 +1,10 @@
+import type { TerminalTheme } from "../ui/theme.js";
+import type { ProofOfFix } from "./schema.js";
+/**
+ * The proof matrix as one scannable block: the hostile condition before and
+ * after the patch, the clean control, nearby regressions, and static checks.
+ */
+export declare function formatProofSummary(proof: ProofOfFix, paths: {
+    patch: string;
+    proof: string;
+}, theme?: TerminalTheme): string;

package/dist/repair/summary.js

@@ -0,0 +1,58 @@
+import { TerminalDocument } from "../ui/document.js";
+import { formatCount } from "../ui/format.js";
+import { PLAIN_THEME } from "../ui/theme.js";
+function trialSummary(result) {
+    const outcome = `${result.passed}/${result.trials} passed · ${result.failed} failed`;
+    return result.errors > 0 ? `${outcome} · ${formatCount(result.errors, "error")}` : outcome;
+}
+function regressionSummary(proof) {
+    const failures = proof.regressions.reduce((total, entry) => total + entry.result.failed, 0);
+    return `${formatCount(proof.regressions.length, "nearby selector")}`
+        + ` · ${formatCount(failures, "failure")}`;
+}
+function checkLabel(passed) {
+    return passed ? "passed" : "failed";
+}
+function proofRows(proof) {
+    return [
+        { label: "Before hostile", value: trialSummary(proof.beforeHostile) },
+        { label: "After hostile", value: trialSummary(proof.afterHostile) },
+        { label: "Clean control", value: trialSummary(proof.afterControl) },
+        { label: "Regressions", value: regressionSummary(proof) },
+        { label: "Typecheck", value: checkLabel(proof.staticChecks.typecheck) },
+        { label: "ESLint", value: checkLabel(proof.staticChecks.lint) },
+    ];
+}
+function appendDiagnostics(document, proof) {
+    const diagnostics = [
+        ["Typecheck", proof.staticDiagnostics.typecheck],
+        ["ESLint", proof.staticDiagnostics.lint],
+    ];
+    const reported = diagnostics.filter(([, value]) => value !== undefined && value !== "");
+    if (reported.length === 0) {
+        return;
+    }
+    document.section("Static diagnostics");
+    for (const [label, value] of reported) {
+        document.entry("warning", label, value ?? "");
+    }
+}
+/**
+ * The proof matrix as one scannable block: the hostile condition before and
+ * after the patch, the clean control, nearby regressions, and static checks.
+ */
+export function formatProofSummary(proof, paths, theme = PLAIN_THEME) {
+    const tone = proof.patchAccepted ? "success" : "failure";
+    const document = new TerminalDocument(theme);
+    document.entry(tone, proof.patchAccepted ? "candidate accepted" : "candidate rejected", proof.patchAccepted
+        ? "The patch removed the hostile failure without breaking clean behavior."
+        : "The patch did not satisfy every proof condition; the evidence is retained.");
+    document.blank().section("Proof matrix").rows(proofRows(proof));
+    appendDiagnostics(document, proof);
+    document.section("Evidence").rows([
+        { label: "Patch", value: paths.patch },
+        { label: "Proof", value: paths.proof },
+    ]);
+    return document.render();
+}
+//# sourceMappingURL=summary.js.map

package/dist/repair/summary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"summary.js","sourceRoot":"","sources":["../../src/repair/summary.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAG7C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAK5C,SAAS,YAAY,CAAC,MAAwB;IAC5C,MAAM,OAAO,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,aAAa,MAAM,CAAC,MAAM,SAAS,CAAA;IACpF,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,MAAM,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAA;AAC5F,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAiB;IAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IAC3F,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE;UAChE,MAAM,WAAW,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAA;AAC9C,CAAC;AAED,SAAS,UAAU,CAAC,MAAe;IACjC,OAAO,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAA;AACrC,CAAC;AAED,SAAS,SAAS,CAAC,KAAiB;IAClC,OAAO;QACL,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE;QACrE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE;QACnE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE;QACnE,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,iBAAiB,CAAC,KAAK,CAAC,EAAE;QACzD,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE;QACvE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE;KAChE,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,QAA0B,EAAE,KAAiB;IACtE,MAAM,WAAW,GAAmC;QAClD,CAAC,WAAW,EAAE,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAChD,CAAC,QAAQ,EAAE,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC;KACzC,CAAA;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,CAAC,CAAA;IACvF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAM;IACR,CAAC;IACD,QAAQ,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAA;IACtC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACtC,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC,CAAA;IAC/C,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAiB,EACjB,KAAuC,EACvC,QAAuB,WAAW;IAElC,MAAM,IAAI,GAAe,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAA;IACpE,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAA;IAC5C,QAAQ,CAAC,KAAK,CACZ,IAAI,EACJ,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,oBAAoB,EACjE,KAAK,CAAC,aAAa;QACjB,CAAC,CAAC,wEAAwE;QAC1E,CAAC,CAAC,4EAA4E,CACjF,CAAA;IACD,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IAClC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;QAChC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;QACtC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;KACvC,CAAC,CAAA;IACF,OAAO,QAAQ,CAAC,MAAM,EAAE,CAAA;AAC1B,CAAC"}

package/dist/repair/validator.d.ts

@@ -9,6 +9,7 @@ interface ValidationOptions {
     reproducer: Reproducer;
     signal?: AbortSignal;
 }
+export declare function nearbyRegressionSelectors(root: string, selectedTest: string, candidate: CandidatePatch): Promise<string[]>;
 export declare function validateProofOfFix(options: ValidationOptions, patchPath: string): Promise<{
     diff: string;
     proof: ProofOfFix;