taphound 0.2.0-dev.1 → 0.2.0-dev.11

package/dist/cli/commands/generation/shared.d.ts

@@ -0,0 +1,1414 @@
+import { Command } from "commander";
+import { z } from "zod";
+import type { TapHoundConfig } from "../../../domain/config.js";
+import type { GenerationStepTiming } from "../../../application/generation/generation-step-executor.js";
+import type { GenerationRecoveryStatus } from "../../../application/generation/generation-recovery-service.js";
+import { ProposedStepSchema } from "../../../domain/proposed-step.js";
+import { RuntimeSnapshotSchema } from "../../../domain/runtime-snapshot.js";
+import type { CliDependencies } from "../../dependencies.js";
+export interface GenerationStartOptions {
+    project: string;
+    config: string;
+    context?: string | undefined;
+    module?: string[] | undefined;
+    device?: string | undefined;
+    allowEvidenceDrift?: boolean | undefined;
+    baseFlow?: string | undefined;
+    externalFlow?: string[] | undefined;
+    brief?: string | undefined;
+    compact?: boolean | undefined;
+    json?: boolean | undefined;
+}
+export interface GenerationObserveOptions {
+    project: string;
+    config: string;
+    session: string;
+    compact?: boolean | undefined;
+    json?: boolean | undefined;
+}
+export interface GenerationStatusOptions extends GenerationObserveOptions {
+    wait?: boolean | undefined;
+    timeoutMs?: string | undefined;
+}
+export interface GenerationStepOptions extends GenerationObserveOptions {
+    input?: string | undefined;
+    replace?: string | undefined;
+}
+export interface GenerationConfirmOptions extends GenerationObserveOptions {
+    challenge: string;
+    decision?: string | undefined;
+}
+export interface GenerationManualOptions extends GenerationObserveOptions {
+    action: "click" | "longClick" | "inputText" | "swipe" | "scrollTo" | "back" | "wait";
+}
+export interface GenerationBridgeOptions extends GenerationObserveOptions {
+    scenario: string;
+    triggerLocator: string;
+    description?: string | undefined;
+    returnTimeoutMs: string;
+    flow?: string | undefined;
+    escapeTimeoutMs?: string | undefined;
+}
+export interface GenerationFinalizeOptions extends GenerationObserveOptions {
+    output: string;
+    name?: string | undefined;
+    device?: string | undefined;
+    detach?: boolean | undefined;
+}
+export interface GenerationRecoverOptions extends GenerationObserveOptions {
+    decision: string;
+}
+export interface GenerationReopenOptions extends GenerationObserveOptions {
+    reason: string;
+}
+export interface GenerationConfigIdleOptions extends GenerationObserveOptions {
+    strategy?: string | undefined;
+    pollIntervalMs?: string | undefined;
+    stablePolls?: string | undefined;
+    timeoutMs?: string | undefined;
+}
+export interface GenerationListOptions {
+    project: string;
+    config: string;
+    json?: boolean | undefined;
+}
+export type GenerationOptions = GenerationStartOptions | GenerationObserveOptions | GenerationStepOptions | GenerationConfirmOptions | GenerationManualOptions | GenerationBridgeOptions | GenerationRecoverOptions | GenerationReopenOptions | GenerationFinalizeOptions | GenerationConfigIdleOptions | GenerationListOptions;
+export declare const PlannerEnvelopeSchema: z.ZodUnion<readonly [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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"click">;
+        locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+    }, 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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"longClick">;
+        locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+        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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"swipe">;
+        locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+        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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"scrollTo">;
+        locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+        container: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+        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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"wait">;
+    }, 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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"bridge">;
+        scenario: z.ZodEnum<{
+            custom: "custom";
+            photoCapture: "photoCapture";
+            pickImage: "pickImage";
+            pickFile: "pickFile";
+        }>;
+        description: z.ZodString;
+        triggerLocator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+        returnTimeoutMs: z.ZodNumber;
+        flow: z.ZodOptional<z.ZodString>;
+        escapeTimeoutMs: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>], "action">;
+    snapshot: z.ZodObject<{
+        version: z.ZodLiteral<2>;
+        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("../../../domain/layout.js").LayoutElement, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").LayoutElement, unknown>>>;
+        windowHierarchy: z.ZodOptional<z.ZodObject<{
+            status: z.ZodEnum<{
+                unknown: "unknown";
+                complete: "complete";
+                incomplete: "incomplete";
+            }>;
+            appWindows: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                title: z.ZodString;
+                packageName: z.ZodString;
+                type: z.ZodOptional<z.ZodString>;
+                layer: z.ZodOptional<z.ZodNumber>;
+                bounds: z.ZodOptional<z.ZodObject<{
+                    left: z.ZodNumber;
+                    top: z.ZodNumber;
+                    right: z.ZodNumber;
+                    bottom: z.ZodNumber;
+                }, z.core.$strict>>;
+                touchable: z.ZodBoolean;
+                focusable: z.ZodOptional<z.ZodBoolean>;
+                focused: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strict>>;
+            semanticWindowIds: z.ZodArray<z.ZodString>;
+            diagnostics: z.ZodArray<z.ZodObject<{
+                code: z.ZodEnum<{
+                    WINDOW_TOPOLOGY_UNAVAILABLE: "WINDOW_TOPOLOGY_UNAVAILABLE";
+                    SEMANTIC_WINDOW_IDS_UNAVAILABLE: "SEMANTIC_WINDOW_IDS_UNAVAILABLE";
+                    APP_WINDOW_WITHOUT_SEMANTIC_ROOT: "APP_WINDOW_WITHOUT_SEMANTIC_ROOT";
+                    APP_WINDOW_NOT_ACCESSIBILITY_READABLE: "APP_WINDOW_NOT_ACCESSIBILITY_READABLE";
+                }>;
+                message: z.ZodString;
+            }, z.core.$strict>>;
+            recovery: z.ZodArray<z.ZodEnum<{
+                REOBSERVE: "REOBSERVE";
+                LAYOUT_INSPECTOR: "LAYOUT_INSPECTOR";
+                DEBUG_WINDOW_INSPECTOR: "DEBUG_WINDOW_INSPECTOR";
+            }>>;
+        }, z.core.$strict>>;
+        uiBackend: z.ZodObject<{
+            id: z.ZodEnum<{
+                "system-uiautomator": "system-uiautomator";
+                "android-cli": "android-cli";
+                "appium-uiautomator2": "appium-uiautomator2";
+                "mobile-mcp": "mobile-mcp";
+            }>;
+            adapterVersion: z.ZodString;
+            engineVersion: z.ZodOptional<z.ZodString>;
+            configSha256: z.ZodString;
+        }, z.core.$strict>;
+        uiObservationId: z.ZodString;
+        uiCaptureDurationMs: z.ZodNumber;
+        viewport: z.ZodObject<{
+            width: z.ZodNumber;
+            height: z.ZodNumber;
+            rotation: z.ZodUnion<readonly [z.ZodLiteral<0>, z.ZodLiteral<90>, z.ZodLiteral<180>, z.ZodLiteral<270>]>;
+            coordinateSpace: z.ZodLiteral<"physicalDisplayPixels">;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+}, z.core.$strict>, 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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"click">;
+        locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+    }, 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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"longClick">;
+        locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+        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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"swipe">;
+        locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+        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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"scrollTo">;
+        locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+        container: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+        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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"wait">;
+    }, 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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            clickable: z.ZodOptional<z.ZodBoolean>;
+            absent: z.ZodOptional<z.ZodBoolean>;
+            packageName: z.ZodOptional<z.ZodString>;
+            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";
+            }>>;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"logcatEvent">;
+            tag: z.ZodString;
+            event: z.ZodString;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            correlation: z.ZodOptional<z.ZodObject<{
+                key: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodString]>;
+            }, z.core.$strict>>;
+            capture: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                field: z.ZodOptional<z.ZodString>;
+                group: z.ZodOptional<z.ZodLiteral<"correlation">>;
+                valueType: z.ZodEnum<{
+                    string: "string";
+                    integer: "integer";
+                    identifier: "identifier";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodDefault<z.ZodLiteral<true>>;
+            window: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"stepStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"runStart">;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"marker">;
+                markerId: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>], "type">>;
+        action: z.ZodLiteral<"bridge">;
+        scenario: z.ZodEnum<{
+            custom: "custom";
+            photoCapture: "photoCapture";
+            pickImage: "pickImage";
+            pickFile: "pickFile";
+        }>;
+        description: z.ZodString;
+        triggerLocator: z.ZodType<import("../../../domain/layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("../../../domain/layout.js").Locator, unknown>>;
+        returnTimeoutMs: z.ZodNumber;
+        flow: z.ZodOptional<z.ZodString>;
+        escapeTimeoutMs: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>], "action">;
+    snapshotRef: z.ZodString;
+}, z.core.$strict>]>;
+export declare const ManualActionSchema: z.ZodEnum<{
+    swipe: "swipe";
+    click: "click";
+    longClick: "longClick";
+    inputText: "inputText";
+    scrollTo: "scrollTo";
+    back: "back";
+    wait: "wait";
+}>;
+export declare function writeFailure(dependencies: CliDependencies, options: GenerationOptions, exitCode: 1 | 2 | 3 | 4, code: string, error: unknown, outputOptions?: {
+    status?: "error" | "recoveryRequired";
+    details?: unknown;
+    hint?: string;
+    generationId?: string;
+    timing?: GenerationStepTiming | undefined;
+}): void;
+export declare function loadConfig(dependencies: CliDependencies, options: {
+    project: string;
+    config: string;
+}): Promise<TapHoundConfig>;
+export declare function generationConfig(dependencies: CliDependencies, options: GenerationOptions): Promise<{
+    projectRoot: string;
+    config: TapHoundConfig;
+}>;
+export declare function tools(checks: Awaited<ReturnType<CliDependencies["doctor"]["run"]>>["checks"]): Record<string, string>;
+export declare function writeSuccess(dependencies: CliDependencies, options: GenerationOptions, output: Record<string, unknown>, message: string): void;
+export declare function compactOutput(options: GenerationOptions): boolean;
+export declare function envelopeHint(options: GenerationOptions): string;
+export declare function generationStatusText(status: GenerationRecoveryStatus): string;
+export declare function mappedFailure(dependencies: CliDependencies, options: GenerationOptions, error: unknown): void;
+export declare function executeApproved(dependencies: CliDependencies, options: GenerationOptions, runtime: NonNullable<ReturnType<NonNullable<CliDependencies["generationRuntime"]>>>, input: {
+    generationId: string;
+    proposal: z.infer<typeof ProposedStepSchema>;
+    snapshot: z.infer<typeof RuntimeSnapshotSchema>;
+    source: "planner" | "manualOverride";
+}): Promise<void>;
+export declare function requireRuntime(dependencies: CliDependencies, projectRoot: string, config: TapHoundConfig): NonNullable<ReturnType<NonNullable<CliDependencies["generationRuntime"]>>>;
+export declare function assertRuntimeConfig(runtime: NonNullable<ReturnType<NonNullable<CliDependencies["generationRuntime"]>>>, generationId: string): Promise<void>;
+export declare function addCommonOptions(command: Command, dependencies: CliDependencies): Command;