flakelab 0.1.0 → 0.1.2

package/dist/investigator/schema.d.ts

@@ -1,23 +1,120 @@
 import { z } from "zod";
 export declare const experimentResultSchema: 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;
+    representativeRuns: z.ZodArray<z.ZodObject<{
+        artifacts: z.ZodArray<z.ZodObject<{
+            contentType: z.ZodString;
+            name: z.ZodString;
+            path: z.ZodString;
+        }, z.core.$strip>>;
+        durationMs: z.ZodNumber;
+        status: z.ZodEnum<{
+            passed: "passed";
+            failed: "failed";
+        }>;
+        trialId: z.ZodString;
+    }, z.core.$strip>>;
     trials: z.ZodNumber;
+    upperBound80: z.ZodNumber;
 }, z.core.$strip>;
 export declare const experimentConditionSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     kind: z.ZodLiteral<"baseline">;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"animation-speed">;
+    rate: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"auth-cookie-expiry">;
+    cookieName: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"clock-jump">;
+    jumpAfterMs: z.ZodNumber;
+    offsetMs: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"event-loop-stall">;
+    durationMs: z.ZodNumber;
+    startAfterMs: z.ZodNumber;
 }, z.core.$strip>, z.ZodObject<{
     kind: z.ZodLiteral<"network-delay">;
     delayMs: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"locale">;
+    locale: z.ZodString;
 }, z.core.$strip>, z.ZodObject<{
     kind: z.ZodLiteral<"request-failure">;
     statusCode: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"reduced-motion">;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"response-truncation">;
+    removeBytes: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"response-duplication">;
+    duplicateBytes: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"response-reordering">;
+    holdMs: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"resource-loading-delay">;
+    delayMs: z.ZodNumber;
+    resourceType: z.ZodEnum<{
+        script: "script";
+        document: "document";
+        font: "font";
+        image: "image";
+        stylesheet: "stylesheet";
+    }>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"startup-event-delay">;
+    delayMs: z.ZodNumber;
+    event: z.ZodEnum<{
+        "dom-content-loaded": "dom-content-loaded";
+        load: "load";
+    }>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"storage-state-delay">;
+    delayMs: z.ZodNumber;
+    key: z.ZodString;
+    storage: z.ZodEnum<{
+        "local-storage": "local-storage";
+        "session-storage": "session-storage";
+    }>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"timezone">;
+    timezoneId: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"viewport">;
+    height: z.ZodNumber;
+    width: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"worker-pressure">;
+    workers: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    copies: z.ZodNumber;
+    kind: z.ZodLiteral<"shared-state-interference">;
 }, z.core.$strip>], "kind">;
 export declare const hypothesisSchema: z.ZodObject<{
     id: z.ZodString;
@@ -36,29 +133,126 @@ export declare const experimentEvidenceSchema: z.ZodObject<{
     hypothesisId: z.ZodString;
     condition: z.ZodDiscriminatedUnion<[z.ZodObject<{
         kind: z.ZodLiteral<"baseline">;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"animation-speed">;
+        rate: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"auth-cookie-expiry">;
+        cookieName: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"clock-jump">;
+        jumpAfterMs: z.ZodNumber;
+        offsetMs: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"event-loop-stall">;
+        durationMs: z.ZodNumber;
+        startAfterMs: z.ZodNumber;
     }, z.core.$strip>, z.ZodObject<{
         kind: z.ZodLiteral<"network-delay">;
         delayMs: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"locale">;
+        locale: z.ZodString;
     }, z.core.$strip>, z.ZodObject<{
         kind: z.ZodLiteral<"request-failure">;
         statusCode: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"reduced-motion">;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"response-truncation">;
+        removeBytes: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"response-duplication">;
+        duplicateBytes: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"response-reordering">;
+        holdMs: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"resource-loading-delay">;
+        delayMs: z.ZodNumber;
+        resourceType: z.ZodEnum<{
+            script: "script";
+            document: "document";
+            font: "font";
+            image: "image";
+            stylesheet: "stylesheet";
+        }>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"startup-event-delay">;
+        delayMs: z.ZodNumber;
+        event: z.ZodEnum<{
+            "dom-content-loaded": "dom-content-loaded";
+            load: "load";
+        }>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"storage-state-delay">;
+        delayMs: z.ZodNumber;
+        key: z.ZodString;
+        storage: z.ZodEnum<{
+            "local-storage": "local-storage";
+            "session-storage": "session-storage";
+        }>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"timezone">;
+        timezoneId: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"viewport">;
+        height: z.ZodNumber;
+        width: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"worker-pressure">;
+        workers: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        copies: z.ZodNumber;
+        kind: z.ZodLiteral<"shared-state-interference">;
     }, z.core.$strip>], "kind">;
     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;
+        representativeRuns: z.ZodArray<z.ZodObject<{
+            artifacts: z.ZodArray<z.ZodObject<{
+                contentType: z.ZodString;
+                name: z.ZodString;
+                path: z.ZodString;
+            }, z.core.$strip>>;
+            durationMs: z.ZodNumber;
+            status: z.ZodEnum<{
+                passed: "passed";
+                failed: "failed";
+            }>;
+            trialId: z.ZodString;
+        }, z.core.$strip>>;
         trials: z.ZodNumber;
+        upperBound80: z.ZodNumber;
     }, z.core.$strip>;
 }, z.core.$strip>;
 export declare const investigationReportSchema: z.ZodObject<{
-    version: z.ZodLiteral<1>;
     test: z.ZodString;
     model: z.ZodString;
+    sourcePaths: z.ZodArray<z.ZodString>;
     conclusion: z.ZodString;
     conclusionHypothesisId: z.ZodString;
     conclusionEvidenceIds: z.ZodArray<z.ZodString>;
@@ -79,23 +273,120 @@ export declare const investigationReportSchema: z.ZodObject<{
         hypothesisId: z.ZodString;
         condition: z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodLiteral<"baseline">;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"animation-speed">;
+            rate: z.ZodNumber;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"auth-cookie-expiry">;
+            cookieName: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"clock-jump">;
+            jumpAfterMs: z.ZodNumber;
+            offsetMs: z.ZodNumber;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"event-loop-stall">;
+            durationMs: z.ZodNumber;
+            startAfterMs: z.ZodNumber;
         }, z.core.$strip>, z.ZodObject<{
             kind: z.ZodLiteral<"network-delay">;
             delayMs: z.ZodNumber;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"locale">;
+            locale: z.ZodString;
         }, z.core.$strip>, z.ZodObject<{
             kind: z.ZodLiteral<"request-failure">;
             statusCode: z.ZodNumber;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"reduced-motion">;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"response-truncation">;
+            removeBytes: z.ZodNumber;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"response-duplication">;
+            duplicateBytes: z.ZodNumber;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"response-reordering">;
+            holdMs: z.ZodNumber;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"resource-loading-delay">;
+            delayMs: z.ZodNumber;
+            resourceType: z.ZodEnum<{
+                script: "script";
+                document: "document";
+                font: "font";
+                image: "image";
+                stylesheet: "stylesheet";
+            }>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"startup-event-delay">;
+            delayMs: z.ZodNumber;
+            event: z.ZodEnum<{
+                "dom-content-loaded": "dom-content-loaded";
+                load: "load";
+            }>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"storage-state-delay">;
+            delayMs: z.ZodNumber;
+            key: z.ZodString;
+            storage: z.ZodEnum<{
+                "local-storage": "local-storage";
+                "session-storage": "session-storage";
+            }>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"timezone">;
+            timezoneId: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"viewport">;
+            height: z.ZodNumber;
+            width: z.ZodNumber;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"worker-pressure">;
+            workers: z.ZodNumber;
+        }, z.core.$strip>, z.ZodObject<{
+            copies: z.ZodNumber;
+            kind: z.ZodLiteral<"shared-state-interference">;
         }, z.core.$strip>], "kind">;
         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;
+            representativeRuns: z.ZodArray<z.ZodObject<{
+                artifacts: z.ZodArray<z.ZodObject<{
+                    contentType: z.ZodString;
+                    name: z.ZodString;
+                    path: z.ZodString;
+                }, z.core.$strip>>;
+                durationMs: z.ZodNumber;
+                status: z.ZodEnum<{
+                    passed: "passed";
+                    failed: "failed";
+                }>;
+                trialId: z.ZodString;
+            }, z.core.$strip>>;
             trials: z.ZodNumber;
+            upperBound80: z.ZodNumber;
         }, z.core.$strip>;
     }, z.core.$strip>>;
     usage: z.ZodObject<{
@@ -103,7 +394,7 @@ export declare const investigationReportSchema: z.ZodObject<{
         outputTokens: z.ZodNumber;
         estimatedCostUsd: z.ZodNumber;
     }, z.core.$strip>;
-}, z.core.$strip>;
+}, z.core.$strict>;
 export type ExperimentCondition = z.infer<typeof experimentConditionSchema>;
 export type ExperimentEvidence = z.infer<typeof experimentEvidenceSchema>;
 export type Hypothesis = z.infer<typeof hypothesisSchema>;

package/dist/investigator/schema.js

@@ -1,25 +1,123 @@
 import { z } from "zod";
+import { browserStorageAreaSchema, browserStorageKeySchema, cookieNameSchema, loadingResourceTypeSchema, localeSchema, startupEventSchema, timeZoneSchema, } from "../domain/schema.js";
 export const experimentResultSchema = 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(),
+    representativeRuns: z.array(z.object({
+        artifacts: z.array(z.object({
+            contentType: z.string().min(1),
+            name: z.string().min(1),
+            path: z.string().min(1),
+        })).max(5),
+        durationMs: z.number().int().nonnegative(),
+        status: z.enum(["failed", "passed"]),
+        trialId: z.string().min(1),
+    })).max(2),
     trials: z.number().int().nonnegative(),
+    upperBound80: z.number().min(0).max(1),
 });
 export const experimentConditionSchema = z.discriminatedUnion("kind", [
     z.object({ kind: z.literal("baseline") }),
+    z.object({
+        kind: z.literal("animation-speed"),
+        rate: z.number().min(0.1).max(10),
+    }),
+    z.object({
+        kind: z.literal("auth-cookie-expiry"),
+        cookieName: cookieNameSchema,
+    }),
+    z.object({
+        kind: z.literal("clock-jump"),
+        jumpAfterMs: z.number().int().min(0).max(30_000),
+        offsetMs: z.number().int().min(-31_536_000_000).max(31_536_000_000)
+            .refine((value) => value !== 0, "offsetMs cannot be zero"),
+    }),
+    z.object({
+        kind: z.literal("event-loop-stall"),
+        durationMs: z.number().int().min(1).max(2_000),
+        startAfterMs: z.number().int().min(0).max(30_000),
+    }),
     z.object({
         kind: z.literal("network-delay"),
         delayMs: z.number().int().min(1).max(30_000),
     }),
+    z.object({
+        kind: z.literal("locale"),
+        locale: localeSchema,
+    }),
     z.object({
         kind: z.literal("request-failure"),
         statusCode: z.number().int().min(400).max(599),
     }),
+    z.object({ kind: z.literal("reduced-motion") }),
+    z.object({
+        kind: z.literal("response-truncation"),
+        removeBytes: z.number().int().min(1).max(1_024),
+    }),
+    z.object({
+        kind: z.literal("response-duplication"),
+        duplicateBytes: z.number().int().min(1).max(1_024),
+    }),
+    z.object({
+        kind: z.literal("response-reordering"),
+        holdMs: z.number().int().min(1).max(30_000),
+    }),
+    z.object({
+        kind: z.literal("resource-loading-delay"),
+        delayMs: z.number().int().min(1).max(30_000),
+        resourceType: loadingResourceTypeSchema,
+    }),
+    z.object({
+        kind: z.literal("startup-event-delay"),
+        delayMs: z.number().int().min(1).max(30_000),
+        event: startupEventSchema,
+    }),
+    z.object({
+        kind: z.literal("storage-state-delay"),
+        delayMs: z.number().int().min(1).max(30_000),
+        key: browserStorageKeySchema,
+        storage: browserStorageAreaSchema,
+    }),
+    z.object({
+        kind: z.literal("timezone"),
+        timezoneId: timeZoneSchema,
+    }),
+    z.object({
+        kind: z.literal("viewport"),
+        height: z.number().int().min(200).max(7_680),
+        width: z.number().int().min(200).max(7_680),
+    }),
+    z.object({
+        kind: z.literal("worker-pressure"),
+        workers: z.number().int().min(2).max(16),
+    }),
+    z.object({
+        copies: z.number().int().min(2).max(16),
+        kind: z.literal("shared-state-interference"),
+    }),
 ]);
 export const hypothesisSchema = z.object({
     id: z.string().regex(/^H\d+$/u),
@@ -36,9 +134,9 @@ export const experimentEvidenceSchema = z.object({
     result: experimentResultSchema,
 });
 export const investigationReportSchema = z.object({
-    version: z.literal(1),
     test: z.string().min(1),
     model: z.string().min(1),
+    sourcePaths: z.array(z.string().min(1).max(500)).min(1).max(8),
     conclusion: z.string().min(8).max(2_000),
     conclusionHypothesisId: z.string().regex(/^H\d+$/u),
     conclusionEvidenceIds: z.array(z.string().regex(/^E\d+$/u)).min(1),
@@ -49,5 +147,5 @@ export const investigationReportSchema = z.object({
         outputTokens: z.number().int().nonnegative(),
         estimatedCostUsd: z.number().nonnegative(),
     }),
-});
+}).strict();
 //# sourceMappingURL=schema.js.map

package/dist/investigator/schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/investigator/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,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,yBAAyB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACpE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;IACzC,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;QAChC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;KAC7C,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;QAClC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;KAC/C,CAAC;CACH,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;IAC/B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACrC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACtC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACrD,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC3D,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC;CACnC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;IAC/B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;IACzC,SAAS,EAAE,yBAAyB;IACpC,MAAM,EAAE,sBAAsB;CAC/B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACxC,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;IACnD,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;QACd,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QAC3C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QAC5C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE;KAC3C,CAAC;CACH,CAAC,CAAA"}
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/investigator/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,gBAAgB,EAChB,yBAAyB,EACzB,YAAY,EACZ,kBAAkB,EAClB,cAAc,GACf,MAAM,qBAAqB,CAAA;AAE5B,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,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,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACnC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;YAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACvB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;SACxB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACV,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QAC1C,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACpC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC3B,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACV,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,yBAAyB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACpE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;IACzC,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;QAClC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;KAClC,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;QACrC,UAAU,EAAE,gBAAgB;KAC7B,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;QAC7B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;QAChD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC;aAChE,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,yBAAyB,CAAC;KAC7D,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;QACnC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;QAC9C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;KAClD,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;QAChC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;KAC7C,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACzB,MAAM,EAAE,YAAY;KACrB,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;QAClC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;KAC/C,CAAC;IACF,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;IAC/C,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;QACtC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;KAChD,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC;QACvC,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;KACnD,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;QACtC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;KAC5C,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC;QACzC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;QAC5C,YAAY,EAAE,yBAAyB;KACxC,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;QACtC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;QAC5C,KAAK,EAAE,kBAAkB;KAC1B,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;QACtC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;QAC5C,GAAG,EAAE,uBAAuB;QAC5B,OAAO,EAAE,wBAAwB;KAClC,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;QAC3B,UAAU,EAAE,cAAc;KAC3B,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;QAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;QAC5C,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;KAC5C,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;QAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;KACzC,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC;KAC7C,CAAC;CACH,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;IAC/B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACrC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACtC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACrD,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC3D,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC;CACnC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;IAC/B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;IACzC,SAAS,EAAE,yBAAyB;IACpC,MAAM,EAAE,sBAAsB;CAC/B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACxC,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;IACnD,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;QACd,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QAC3C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QAC5C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE;KAC3C,CAAC;CACH,CAAC,CAAC,MAAM,EAAE,CAAA"}

package/dist/proof/cli.d.ts

@@ -0,0 +1,7 @@
+import type { ProveOptions } from "../commands/options.js";
+export interface ProveInvocation {
+    command: "prove";
+    options: ProveOptions;
+    target: string;
+}
+export declare function parseProveArguments(args: string[]): ProveInvocation;

package/dist/proof/cli.js

@@ -0,0 +1,108 @@
+import { parseArgs } from "node:util";
+import { CLI_OPTION_DEFINITIONS as DEFINITIONS, requiredOption as required, } from "../cli-option-definitions.js";
+function oneTarget(positionals) {
+    if (positionals.length !== 1) {
+        throw new Error("prove requires exactly one target. Run flakelab --help for usage.");
+    }
+    return positionals[0];
+}
+export function parseProveArguments(args) {
+    const parsed = parseArgs({
+        args,
+        allowPositionals: true,
+        strict: true,
+        options: {
+            "animation-rate": DEFINITIONS.animationRate,
+            "clock-offset-ms": DEFINITIONS.clockOffsetMs,
+            concurrency: DEFINITIONS.concurrency,
+            "cookie-name": DEFINITIONS.cookieName,
+            fault: DEFINITIONS.fault,
+            html: DEFINITIONS.html,
+            "jump-after-ms": DEFINITIONS.jumpAfterMs,
+            locale: DEFINITIONS.locale,
+            "max-copies": DEFINITIONS.maxCopies,
+            "max-cost": DEFINITIONS.maxCost,
+            "max-delay": DEFINITIONS.maxDelay,
+            "max-duplicate-bytes": DEFINITIONS.maxDuplicateBytes,
+            "max-experiments": DEFINITIONS.maxExperiments,
+            "max-hold-ms": DEFINITIONS.maxHoldMs,
+            "max-remove-bytes": DEFINITIONS.maxRemoveBytes,
+            "max-seconds": DEFINITIONS.maxSeconds,
+            "max-stall-ms": DEFINITIONS.maxStallMs,
+            "max-steps": DEFINITIONS.maxSteps,
+            "max-trials": DEFINITIONS.maxTrials,
+            "max-workers": DEFINITIONS.maxWorkers,
+            "min-rate": DEFINITIONS.minRate,
+            model: DEFINITIONS.model,
+            open: DEFINITIONS.open,
+            output: DEFINITIONS.output,
+            patch: DEFINITIONS.patch,
+            pattern: DEFINITIONS.pattern,
+            proof: DEFINITIONS.proof,
+            "prompt-credentials": DEFINITIONS.promptCredentials,
+            publish: DEFINITIONS.publish,
+            report: DEFINITIONS.report,
+            reproducer: DEFINITIONS.reproducer,
+            "resource-type": DEFINITIONS.resourceType,
+            seed: DEFINITIONS.seed,
+            source: DEFINITIONS.source,
+            "stall-after-ms": DEFINITIONS.stallAfterMs,
+            "startup-event": DEFINITIONS.startupEvent,
+            storage: DEFINITIONS.storage,
+            "storage-key": DEFINITIONS.storageKey,
+            timezone: DEFINITIONS.timezone,
+            trials: DEFINITIONS.trials,
+            "viewport-height": DEFINITIONS.viewportHeight,
+            "viewport-width": DEFINITIONS.viewportWidth,
+        },
+    });
+    return {
+        command: "prove",
+        target: oneTarget(parsed.positionals),
+        options: {
+            "animation-rate": required(parsed.values["animation-rate"], "animation-rate"),
+            "clock-offset-ms": required(parsed.values["clock-offset-ms"], "clock-offset-ms"),
+            concurrency: required(parsed.values.concurrency, "concurrency"),
+            ...(parsed.values["cookie-name"] ? { "cookie-name": parsed.values["cookie-name"] } : {}),
+            fault: required(parsed.values.fault, "fault"),
+            html: required(parsed.values.html, "html"),
+            "jump-after-ms": required(parsed.values["jump-after-ms"], "jump-after-ms"),
+            locale: required(parsed.values.locale, "locale"),
+            "max-copies": required(parsed.values["max-copies"], "max-copies"),
+            "max-cost": required(parsed.values["max-cost"], "max-cost"),
+            "max-delay": required(parsed.values["max-delay"], "max-delay"),
+            "max-duplicate-bytes": required(parsed.values["max-duplicate-bytes"], "max-duplicate-bytes"),
+            "max-experiments": required(parsed.values["max-experiments"], "max-experiments"),
+            "max-hold-ms": required(parsed.values["max-hold-ms"], "max-hold-ms"),
+            "max-remove-bytes": required(parsed.values["max-remove-bytes"], "max-remove-bytes"),
+            "max-seconds": required(parsed.values["max-seconds"], "max-seconds"),
+            "max-stall-ms": required(parsed.values["max-stall-ms"], "max-stall-ms"),
+            "max-steps": required(parsed.values["max-steps"], "max-steps"),
+            "max-trials": required(parsed.values["max-trials"], "max-trials"),
+            "max-workers": required(parsed.values["max-workers"], "max-workers"),
+            "min-rate": required(parsed.values["min-rate"], "min-rate"),
+            model: required(parsed.values.model, "model"),
+            open: required(parsed.values.open, "open"),
+            output: required(parsed.values.output, "output"),
+            patch: required(parsed.values.patch, "patch"),
+            pattern: required(parsed.values.pattern, "pattern"),
+            proof: required(parsed.values.proof, "proof"),
+            "prompt-credentials": required(parsed.values["prompt-credentials"], "prompt-credentials"),
+            publish: required(parsed.values.publish, "publish"),
+            report: required(parsed.values.report, "report"),
+            reproducer: required(parsed.values.reproducer, "reproducer"),
+            "resource-type": required(parsed.values["resource-type"], "resource-type"),
+            seed: required(parsed.values.seed, "seed"),
+            source: parsed.values.source ?? [],
+            "stall-after-ms": required(parsed.values["stall-after-ms"], "stall-after-ms"),
+            "startup-event": required(parsed.values["startup-event"], "startup-event"),
+            storage: required(parsed.values.storage, "storage"),
+            ...(parsed.values["storage-key"] ? { "storage-key": parsed.values["storage-key"] } : {}),
+            timezone: required(parsed.values.timezone, "timezone"),
+            trials: required(parsed.values.trials, "trials"),
+            "viewport-height": required(parsed.values["viewport-height"], "viewport-height"),
+            "viewport-width": required(parsed.values["viewport-width"], "viewport-width"),
+        },
+    };
+}
+//# sourceMappingURL=cli.js.map

package/dist/proof/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/proof/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErC,OAAO,EACL,sBAAsB,IAAI,WAAW,EACrC,cAAc,IAAI,QAAQ,GAC3B,MAAM,8BAA8B,CAAA;AASrC,SAAS,SAAS,CAAC,WAAqB;IACtC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAA;IACtF,CAAC;IACD,OAAO,WAAW,CAAC,CAAC,CAAC,CAAA;AACvB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAc;IAChD,MAAM,MAAM,GAAG,SAAS,CAAC;QACvB,IAAI;QACJ,gBAAgB,EAAE,IAAI;QACtB,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE;YACP,gBAAgB,EAAE,WAAW,CAAC,aAAa;YAC3C,iBAAiB,EAAE,WAAW,CAAC,aAAa;YAC5C,WAAW,EAAE,WAAW,CAAC,WAAW;YACpC,aAAa,EAAE,WAAW,CAAC,UAAU;YACrC,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,eAAe,EAAE,WAAW,CAAC,WAAW;YACxC,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,YAAY,EAAE,WAAW,CAAC,SAAS;YACnC,UAAU,EAAE,WAAW,CAAC,OAAO;YAC/B,WAAW,EAAE,WAAW,CAAC,QAAQ;YACjC,qBAAqB,EAAE,WAAW,CAAC,iBAAiB;YACpD,iBAAiB,EAAE,WAAW,CAAC,cAAc;YAC7C,aAAa,EAAE,WAAW,CAAC,SAAS;YACpC,kBAAkB,EAAE,WAAW,CAAC,cAAc;YAC9C,aAAa,EAAE,WAAW,CAAC,UAAU;YACrC,cAAc,EAAE,WAAW,CAAC,UAAU;YACtC,WAAW,EAAE,WAAW,CAAC,QAAQ;YACjC,YAAY,EAAE,WAAW,CAAC,SAAS;YACnC,aAAa,EAAE,WAAW,CAAC,UAAU;YACrC,UAAU,EAAE,WAAW,CAAC,OAAO;YAC/B,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,oBAAoB,EAAE,WAAW,CAAC,iBAAiB;YACnD,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,eAAe,EAAE,WAAW,CAAC,YAAY;YACzC,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,gBAAgB,EAAE,WAAW,CAAC,YAAY;YAC1C,eAAe,EAAE,WAAW,CAAC,YAAY;YACzC,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,aAAa,EAAE,WAAW,CAAC,UAAU;YACrC,QAAQ,EAAE,WAAW,CAAC,QAAQ;YAC9B,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,iBAAiB,EAAE,WAAW,CAAC,cAAc;YAC7C,gBAAgB,EAAE,WAAW,CAAC,aAAa;SAC5C;KACF,CAAC,CAAA;IACF,OAAO;QACL,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC;QACrC,OAAO,EAAE;YACP,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;YAC7E,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;YAChF,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;YAC/D,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxF,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;YAC7C,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;YAC1E,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;YAChD,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;YACjE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;YAC3D,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;YAC9D,qBAAqB,EAAE,QAAQ,CAC7B,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,EACpC,qBAAqB,CACtB;YACD,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;YAChF,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;YACpE,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;YACnF,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;YACpE,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;YACvE,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;YAC9D,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;YACjE,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;YACpE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;YAC3D,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;YAC7C,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;YAChD,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;YAC7C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC;YACnD,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;YAC7C,oBAAoB,EAAE,QAAQ,CAC5B,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,EACnC,oBAAoB,CACrB;YACD,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC;YACnD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;YAChD,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC;YAC5D,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;YAC1E,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE;YAClC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;YAC7E,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;YAC1E,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC;YACnD,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxF,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC;YACtD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;YAChD,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;YAChF,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;SAC9E;KACF,CAAA;AACH,CAAC"}