taphound 0.2.0-dev.1

package/dist/domain/generation.d.ts

@@ -0,0 +1,912 @@
+import { z } from "zod";
+import { type ProposedStep } from "./proposed-step.js";
+export declare const GENERATION_ERROR_CODES: readonly ["CONFIG_INVALID", "CONTEXT_INVALID", "CONTEXT_STALE", "SNAPSHOT_STALE", "PACKAGE_ESCAPE", "APP_CRASHED", "ACTION_UNSUPPORTED", "RISK_CONFIRMATION_REQUIRED", "ACTION_FORBIDDEN", "EXPECT_UNSUPPORTED", "RECOVERY_REQUIRED", "VERIFICATION_FAILED", "PUBLICATION_FAILED", "EXPORT_FAILED", "FINALIZATION_IN_PROGRESS"];
+export declare const GenerationErrorCodeSchema: z.ZodEnum<{
+    CONFIG_INVALID: "CONFIG_INVALID";
+    CONTEXT_INVALID: "CONTEXT_INVALID";
+    CONTEXT_STALE: "CONTEXT_STALE";
+    SNAPSHOT_STALE: "SNAPSHOT_STALE";
+    PACKAGE_ESCAPE: "PACKAGE_ESCAPE";
+    APP_CRASHED: "APP_CRASHED";
+    ACTION_UNSUPPORTED: "ACTION_UNSUPPORTED";
+    RISK_CONFIRMATION_REQUIRED: "RISK_CONFIRMATION_REQUIRED";
+    ACTION_FORBIDDEN: "ACTION_FORBIDDEN";
+    EXPECT_UNSUPPORTED: "EXPECT_UNSUPPORTED";
+    RECOVERY_REQUIRED: "RECOVERY_REQUIRED";
+    VERIFICATION_FAILED: "VERIFICATION_FAILED";
+    PUBLICATION_FAILED: "PUBLICATION_FAILED";
+    EXPORT_FAILED: "EXPORT_FAILED";
+    FINALIZATION_IN_PROGRESS: "FINALIZATION_IN_PROGRESS";
+}>;
+export type GenerationErrorCode = z.infer<typeof GenerationErrorCodeSchema>;
+export declare const GenerationSessionIdSchema: z.ZodString;
+export declare const GenerationVariablesSchema: z.ZodObject<{
+    runId: z.ZodString;
+    timestamp: z.ZodPipe<z.ZodString, z.ZodISODateTime>;
+    randomHex: z.ZodString;
+}, z.core.$strict>;
+export declare const GenerationInFlightSchema: z.ZodObject<{
+    stepIndex: z.ZodNumber;
+    snapshotHash: z.ZodString;
+    proposalHash: z.ZodString;
+    attemptId: z.ZodString;
+}, z.core.$strict>;
+export declare const PendingConfirmationSchema: z.ZodObject<{
+    challengeId: z.ZodString;
+    stepIndex: z.ZodNumber;
+    proposalHash: z.ZodString;
+    snapshotHash: z.ZodString;
+    evidenceHash: z.ZodString;
+    actionSummary: z.ZodString;
+    expiresAt: z.ZodISODateTime;
+    status: z.ZodEnum<{
+        pending: "pending";
+        approved: "approved";
+    }>;
+}, z.core.$strict>;
+export declare const GenerationSessionSchema: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    id: z.ZodString;
+    revision: z.ZodNumber;
+    state: z.ZodEnum<{
+        active: "active";
+        recoveryRequired: "recoveryRequired";
+    }>;
+    bindings: z.ZodObject<{
+        projectHash: z.ZodString;
+        configHash: z.ZodString;
+        contextHash: z.ZodString;
+        snapshotHash: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    target: z.ZodObject<{
+        packageName: z.ZodString;
+        deviceSerial: z.ZodString;
+        resetStrategy: z.ZodLiteral<"processOnly">;
+        interactionPolicy: z.ZodObject<{
+            allowedActions: z.ZodArray<z.ZodEnum<{
+                swipe: "swipe";
+                click: "click";
+                longClick: "longClick";
+                inputText: "inputText";
+                scrollTo: "scrollTo";
+                back: "back";
+                wait: "wait";
+            }>>;
+            confirmationRequiredActions: z.ZodArray<z.ZodEnum<{
+                swipe: "swipe";
+                click: "click";
+                longClick: "longClick";
+                inputText: "inputText";
+                scrollTo: "scrollTo";
+                back: "back";
+                wait: "wait";
+            }>>;
+            forbiddenActions: z.ZodArray<z.ZodEnum<{
+                swipe: "swipe";
+                click: "click";
+                longClick: "longClick";
+                inputText: "inputText";
+                scrollTo: "scrollTo";
+                back: "back";
+                wait: "wait";
+            }>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    variables: z.ZodObject<{
+        runId: z.ZodString;
+        timestamp: z.ZodPipe<z.ZodString, z.ZodISODateTime>;
+        randomHex: z.ZodString;
+    }, z.core.$strict>;
+    candidateSteps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        activity: z.ZodObject<{
+            before: z.ZodString;
+            after: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"click">;
+        locator: z.ZodObject<{
+            resourceId: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+            contentDescription: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        fallback: z.ZodOptional<z.ZodObject<{
+            type: z.ZodLiteral<"annotatedLabel">;
+            label: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        activity: z.ZodObject<{
+            before: z.ZodString;
+            after: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"longClick">;
+        locator: z.ZodObject<{
+            resourceId: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+            contentDescription: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        durationMs: z.ZodDefault<z.ZodNumber>;
+        fallback: z.ZodOptional<z.ZodObject<{
+            type: z.ZodLiteral<"annotatedLabel">;
+            label: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        activity: z.ZodObject<{
+            before: z.ZodString;
+            after: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"inputText">;
+        text: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        activity: z.ZodObject<{
+            before: z.ZodString;
+            after: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"swipe">;
+        locator: z.ZodObject<{
+            resourceId: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+            contentDescription: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        direction: z.ZodEnum<{
+            left: "left";
+            right: "right";
+            up: "up";
+            down: "down";
+        }>;
+        distancePercent: z.ZodDefault<z.ZodNumber>;
+        durationMs: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        activity: z.ZodObject<{
+            before: z.ZodString;
+            after: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"scrollTo">;
+        locator: z.ZodObject<{
+            resourceId: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+            contentDescription: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        container: z.ZodObject<{
+            resourceId: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+            contentDescription: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        direction: z.ZodEnum<{
+            left: "left";
+            right: "right";
+            up: "up";
+            down: "down";
+        }>;
+        maxSwipes: z.ZodDefault<z.ZodNumber>;
+        distancePercent: z.ZodDefault<z.ZodNumber>;
+        durationMs: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        activity: z.ZodObject<{
+            before: z.ZodString;
+            after: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"back">;
+    }, z.core.$strict>, z.ZodObject<{
+        activity: z.ZodObject<{
+            before: z.ZodString;
+            after: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"wait">;
+    }, z.core.$strict>], "action">>;
+    candidateSources: z.ZodArray<z.ZodEnum<{
+        planner: "planner";
+        manualOverride: "manualOverride";
+    }>>;
+    inFlight: z.ZodNullable<z.ZodObject<{
+        stepIndex: z.ZodNumber;
+        snapshotHash: z.ZodString;
+        proposalHash: z.ZodString;
+        attemptId: z.ZodString;
+    }, z.core.$strict>>;
+    pendingConfirmation: z.ZodNullable<z.ZodObject<{
+        challengeId: z.ZodString;
+        stepIndex: z.ZodNumber;
+        proposalHash: z.ZodString;
+        snapshotHash: z.ZodString;
+        evidenceHash: z.ZodString;
+        actionSummary: z.ZodString;
+        expiresAt: z.ZodISODateTime;
+        status: z.ZodEnum<{
+            pending: "pending";
+            approved: "approved";
+        }>;
+    }, z.core.$strict>>;
+    verification: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        status: z.ZodLiteral<"notRun">;
+    }, z.core.$strict>, z.ZodObject<{
+        status: z.ZodLiteral<"running">;
+        attemptId: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        status: z.ZodLiteral<"passed">;
+        attemptId: z.ZodString;
+        reportPath: z.ZodString;
+        reportSha256: z.ZodString;
+        runId: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        status: z.ZodLiteral<"failed">;
+        failure: z.ZodObject<{
+            code: z.ZodEnum<{
+                CONFIG_INVALID: "CONFIG_INVALID";
+                CONTEXT_INVALID: "CONTEXT_INVALID";
+                CONTEXT_STALE: "CONTEXT_STALE";
+                SNAPSHOT_STALE: "SNAPSHOT_STALE";
+                PACKAGE_ESCAPE: "PACKAGE_ESCAPE";
+                APP_CRASHED: "APP_CRASHED";
+                ACTION_UNSUPPORTED: "ACTION_UNSUPPORTED";
+                RISK_CONFIRMATION_REQUIRED: "RISK_CONFIRMATION_REQUIRED";
+                ACTION_FORBIDDEN: "ACTION_FORBIDDEN";
+                EXPECT_UNSUPPORTED: "EXPECT_UNSUPPORTED";
+                RECOVERY_REQUIRED: "RECOVERY_REQUIRED";
+                VERIFICATION_FAILED: "VERIFICATION_FAILED";
+                PUBLICATION_FAILED: "PUBLICATION_FAILED";
+                EXPORT_FAILED: "EXPORT_FAILED";
+                FINALIZATION_IN_PROGRESS: "FINALIZATION_IN_PROGRESS";
+            }>;
+            message: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>], "status">;
+    publication: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        status: z.ZodLiteral<"notRun">;
+    }, z.core.$strict>, z.ZodObject<{
+        status: z.ZodLiteral<"published">;
+        journeyPath: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+    }, z.core.$strict>, z.ZodObject<{
+        status: z.ZodLiteral<"failed">;
+        failure: z.ZodObject<{
+            code: z.ZodEnum<{
+                CONFIG_INVALID: "CONFIG_INVALID";
+                CONTEXT_INVALID: "CONTEXT_INVALID";
+                CONTEXT_STALE: "CONTEXT_STALE";
+                SNAPSHOT_STALE: "SNAPSHOT_STALE";
+                PACKAGE_ESCAPE: "PACKAGE_ESCAPE";
+                APP_CRASHED: "APP_CRASHED";
+                ACTION_UNSUPPORTED: "ACTION_UNSUPPORTED";
+                RISK_CONFIRMATION_REQUIRED: "RISK_CONFIRMATION_REQUIRED";
+                ACTION_FORBIDDEN: "ACTION_FORBIDDEN";
+                EXPECT_UNSUPPORTED: "EXPECT_UNSUPPORTED";
+                RECOVERY_REQUIRED: "RECOVERY_REQUIRED";
+                VERIFICATION_FAILED: "VERIFICATION_FAILED";
+                PUBLICATION_FAILED: "PUBLICATION_FAILED";
+                EXPORT_FAILED: "EXPORT_FAILED";
+                FINALIZATION_IN_PROGRESS: "FINALIZATION_IN_PROGRESS";
+            }>;
+            message: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>], "status">;
+}, z.core.$strict>;
+export type GenerationVariables = z.infer<typeof GenerationVariablesSchema>;
+export type GenerationInFlight = z.infer<typeof GenerationInFlightSchema>;
+export type PendingConfirmation = z.infer<typeof PendingConfirmationSchema>;
+export type GenerationSession = z.infer<typeof GenerationSessionSchema>;
+export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    proposal: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        binding: z.ZodObject<{
+            generationId: z.ZodString;
+            baseRevision: z.ZodNumber;
+            snapshotHash: z.ZodString;
+        }, z.core.$strict>;
+        activity: z.ZodObject<{
+            before: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"click">;
+        locator: z.ZodObject<{
+            resourceId: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+            contentDescription: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+    }, z.core.$strict>, z.ZodObject<{
+        binding: z.ZodObject<{
+            generationId: z.ZodString;
+            baseRevision: z.ZodNumber;
+            snapshotHash: z.ZodString;
+        }, z.core.$strict>;
+        activity: z.ZodObject<{
+            before: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"longClick">;
+        locator: z.ZodObject<{
+            resourceId: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+            contentDescription: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        durationMs: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        binding: z.ZodObject<{
+            generationId: z.ZodString;
+            baseRevision: z.ZodNumber;
+            snapshotHash: z.ZodString;
+        }, z.core.$strict>;
+        activity: z.ZodObject<{
+            before: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"inputText">;
+        text: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        binding: z.ZodObject<{
+            generationId: z.ZodString;
+            baseRevision: z.ZodNumber;
+            snapshotHash: z.ZodString;
+        }, z.core.$strict>;
+        activity: z.ZodObject<{
+            before: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"swipe">;
+        locator: z.ZodObject<{
+            resourceId: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+            contentDescription: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        direction: z.ZodEnum<{
+            left: "left";
+            right: "right";
+            up: "up";
+            down: "down";
+        }>;
+        distancePercent: z.ZodDefault<z.ZodNumber>;
+        durationMs: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        binding: z.ZodObject<{
+            generationId: z.ZodString;
+            baseRevision: z.ZodNumber;
+            snapshotHash: z.ZodString;
+        }, z.core.$strict>;
+        activity: z.ZodObject<{
+            before: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"scrollTo">;
+        locator: z.ZodObject<{
+            resourceId: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+            contentDescription: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        container: z.ZodObject<{
+            resourceId: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+            contentDescription: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        direction: z.ZodEnum<{
+            left: "left";
+            right: "right";
+            up: "up";
+            down: "down";
+        }>;
+        maxSwipes: z.ZodDefault<z.ZodNumber>;
+        distancePercent: z.ZodDefault<z.ZodNumber>;
+        durationMs: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        binding: z.ZodObject<{
+            generationId: z.ZodString;
+            baseRevision: z.ZodNumber;
+            snapshotHash: z.ZodString;
+        }, z.core.$strict>;
+        activity: z.ZodObject<{
+            before: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"back">;
+    }, z.core.$strict>, z.ZodObject<{
+        binding: z.ZodObject<{
+            generationId: z.ZodString;
+            baseRevision: z.ZodNumber;
+            snapshotHash: z.ZodString;
+        }, z.core.$strict>;
+        activity: z.ZodObject<{
+            before: z.ZodString;
+        }, z.core.$strict>;
+        expect: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"activity">;
+            value: z.ZodString;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodObject<{
+                resourceId: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                contentDescription: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcat">;
+            tag: z.ZodString;
+            level: z.ZodOptional<z.ZodEnum<{
+                V: "V";
+                D: "D";
+                I: "I";
+                W: "W";
+                E: "E";
+                F: "F";
+                A: "A";
+            }>>;
+            pattern: z.ZodString;
+            match: z.ZodDefault<z.ZodEnum<{
+                literal: "literal";
+                regex: "regex";
+            }>>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"wait">;
+    }, z.core.$strict>], "action">;
+    snapshot: z.ZodObject<{
+        version: z.ZodLiteral<1>;
+        generationId: z.ZodString;
+        baseRevision: z.ZodNumber;
+        deviceSerial: z.ZodString;
+        expectedPackageName: z.ZodString;
+        foregroundPackageName: z.ZodString;
+        activity: z.ZodString;
+        pid: z.ZodNullable<z.ZodNumber>;
+        capturedAt: z.ZodISODateTime;
+        screenshotPath: z.ZodOptional<z.ZodString>;
+        layout: z.ZodArray<z.ZodType<import("./layout.js").LayoutElement, unknown, z.core.$ZodTypeInternals<import("./layout.js").LayoutElement, unknown>>>;
+    }, z.core.$strict>;
+    source: z.ZodEnum<{
+        planner: "planner";
+        manualOverride: "manualOverride";
+    }>;
+}, z.core.$strict>;
+export type GenerationConfirmationEvidence = z.infer<typeof GenerationConfirmationEvidenceSchema>;
+export declare function hashGenerationConfirmationEvidence(value: unknown): string;
+export declare const GenerationMetaSchema: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    status: z.ZodLiteral<"verified">;
+    generationId: z.ZodString;
+    journeyPath: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+    bindings: z.ZodObject<{
+        projectHash: z.ZodString;
+        configHash: z.ZodString;
+        contextHash: z.ZodString;
+    }, z.core.$strict>;
+    verification: z.ZodObject<{
+        reportPath: z.ZodString;
+        reportSha256: z.ZodString;
+        runId: z.ZodString;
+        runs: z.ZodLiteral<1>;
+    }, z.core.$strict>;
+    manualOverrideStepIndexes: z.ZodArray<z.ZodNumber>;
+}, z.core.$strict>;
+export declare const GenerationReportSchema: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    generationId: z.ZodString;
+    status: z.ZodLiteral<"verified">;
+    steps: z.ZodArray<z.ZodObject<{
+        index: z.ZodNumber;
+        source: z.ZodEnum<{
+            planner: "planner";
+            manualOverride: "manualOverride";
+        }>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const GenerationBundleManifestEntrySchema: z.ZodObject<{
+    path: z.ZodString;
+    bytes: z.ZodNumber;
+    sha256: z.ZodString;
+}, z.core.$strict>;
+export declare const GenerationBundleManifestSchema: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    generationId: z.ZodString;
+    files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        bytes: z.ZodNumber;
+        sha256: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type GenerationMeta = z.infer<typeof GenerationMetaSchema>;
+export type GenerationReport = z.infer<typeof GenerationReportSchema>;
+export type GenerationBundleManifest = z.infer<typeof GenerationBundleManifestSchema>;
+export interface GenerationCoreIdentity {
+    id: GenerationSession["id"];
+    bindings: Pick<GenerationSession["bindings"], "projectHash" | "configHash" | "contextHash">;
+    target: GenerationSession["target"];
+    variables: GenerationSession["variables"];
+}
+export declare function generationCoreIdentity(session: GenerationSession): GenerationCoreIdentity;
+export declare function bindGenerationVariables(input: unknown): GenerationVariables;
+export declare function expandGenerationVariables(value: unknown, variables: unknown): unknown;
+export declare function expandProposedStepVariables(step: unknown, variables: unknown): ProposedStep;