taphound 0.2.0-dev.1 → 0.2.0-dev.12

package/dist/domain/generation.d.ts

@@ -1,13 +1,33 @@
 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 GENERATION_ERROR_CODES: readonly ["CONFIG_INVALID", "CONTEXT_INVALID", "CONTEXT_STALE", "BRIEF_INVALID", "KNOWLEDGE_INVALID", "KNOWLEDGE_STALE", "ANCHOR_AMBIGUOUS", "FLOW_INVALID", "FLOW_REPLAY_FAILED", "APP_LAUNCH_FAILED", "SNAPSHOT_STALE", "PACKAGE_ESCAPE", "BRIDGE_NO_ESCAPE", "SCENARIO_PACKAGE_MISMATCH", "BRIDGE_NOT_RETURNED", "EXTERNAL_FLOW_NOT_FOUND", "EXTERNAL_FLOW_STALE", "EXTERNAL_LOCATOR_STRICTNESS", "EXTERNAL_PACKAGE_MISMATCH", "EXTERNAL_ACTIVITY_MISMATCH", "EXTERNAL_STEP_FAILED", "APP_CRASHED", "IDLE_TIMEOUT", "WINDOW_HIERARCHY_INCOMPLETE", "ACTION_UNSUPPORTED", "LOCATOR_NOT_FOUND", "LOCATOR_AMBIGUOUS", "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";
+    APP_LAUNCH_FAILED: "APP_LAUNCH_FAILED";
+    APP_CRASHED: "APP_CRASHED";
+    LOCATOR_NOT_FOUND: "LOCATOR_NOT_FOUND";
+    LOCATOR_AMBIGUOUS: "LOCATOR_AMBIGUOUS";
+    ANCHOR_AMBIGUOUS: "ANCHOR_AMBIGUOUS";
+    IDLE_TIMEOUT: "IDLE_TIMEOUT";
+    BRIDGE_NO_ESCAPE: "BRIDGE_NO_ESCAPE";
+    BRIDGE_NOT_RETURNED: "BRIDGE_NOT_RETURNED";
+    EXTERNAL_FLOW_NOT_FOUND: "EXTERNAL_FLOW_NOT_FOUND";
+    EXTERNAL_FLOW_STALE: "EXTERNAL_FLOW_STALE";
+    EXTERNAL_LOCATOR_STRICTNESS: "EXTERNAL_LOCATOR_STRICTNESS";
+    EXTERNAL_PACKAGE_MISMATCH: "EXTERNAL_PACKAGE_MISMATCH";
+    EXTERNAL_ACTIVITY_MISMATCH: "EXTERNAL_ACTIVITY_MISMATCH";
+    EXTERNAL_STEP_FAILED: "EXTERNAL_STEP_FAILED";
     CONTEXT_INVALID: "CONTEXT_INVALID";
     CONTEXT_STALE: "CONTEXT_STALE";
+    BRIEF_INVALID: "BRIEF_INVALID";
+    KNOWLEDGE_INVALID: "KNOWLEDGE_INVALID";
+    KNOWLEDGE_STALE: "KNOWLEDGE_STALE";
+    FLOW_INVALID: "FLOW_INVALID";
+    FLOW_REPLAY_FAILED: "FLOW_REPLAY_FAILED";
     SNAPSHOT_STALE: "SNAPSHOT_STALE";
     PACKAGE_ESCAPE: "PACKAGE_ESCAPE";
-    APP_CRASHED: "APP_CRASHED";
+    SCENARIO_PACKAGE_MISMATCH: "SCENARIO_PACKAGE_MISMATCH";
+    WINDOW_HIERARCHY_INCOMPLETE: "WINDOW_HIERARCHY_INCOMPLETE";
     ACTION_UNSUPPORTED: "ACTION_UNSUPPORTED";
     RISK_CONFIRMATION_REQUIRED: "RISK_CONFIRMATION_REQUIRED";
     ACTION_FORBIDDEN: "ACTION_FORBIDDEN";
@@ -19,6 +39,30 @@ export declare const GenerationErrorCodeSchema: z.ZodEnum<{
     FINALIZATION_IN_PROGRESS: "FINALIZATION_IN_PROGRESS";
 }>;
 export type GenerationErrorCode = z.infer<typeof GenerationErrorCodeSchema>;
+export declare const GenerationStepSourceSchema: z.ZodEnum<{
+    flow: "flow";
+    planner: "planner";
+    manualOverride: "manualOverride";
+}>;
+export declare const GenerationBaseFlowSchema: z.ZodObject<{
+    name: z.ZodString;
+    resolutionSha256: z.ZodString;
+    journeySha256: z.ZodString;
+    verificationReportSha256: z.ZodString;
+    verificationRunId: z.ZodString;
+    stepCount: z.ZodNumber;
+}, z.core.$strict>;
+export declare const GenerationSourceBriefSchema: z.ZodObject<{
+    path: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+    sha256: z.ZodString;
+}, z.core.$strict>;
+export type GenerationSourceBrief = z.infer<typeof GenerationSourceBriefSchema>;
+export declare const GenerationExternalFlowBindingSchema: z.ZodObject<{
+    name: z.ZodString;
+    flowSha256: z.ZodString;
+    escapedPackageName: z.ZodString;
+    stepCount: z.ZodNumber;
+}, z.core.$strict>;
 export declare const GenerationSessionIdSchema: z.ZodString;
 export declare const GenerationVariablesSchema: z.ZodObject<{
     runId: z.ZodString;
@@ -30,6 +74,27 @@ export declare const GenerationInFlightSchema: z.ZodObject<{
     snapshotHash: z.ZodString;
     proposalHash: z.ZodString;
     attemptId: z.ZodString;
+    confirmation: z.ZodOptional<z.ZodObject<{
+        challengeId: z.ZodString;
+        approvalMode: z.ZodEnum<{
+            localTty: "localTty";
+            delegated: "delegated";
+        }>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const ConfirmationReasonSchema: z.ZodObject<{
+    rule: z.ZodEnum<{
+        policyActionRequiresConfirmation: "policyActionRequiresConfirmation";
+        actionNotAllowlisted: "actionNotAllowlisted";
+        semanticSideEffect: "semanticSideEffect";
+    }>;
+    message: z.ZodString;
+    category: z.ZodOptional<z.ZodEnum<{
+        hardCommit: "hardCommit";
+        destructive: "destructive";
+        account: "account";
+    }>>;
+    matchedTerm: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
 export declare const PendingConfirmationSchema: z.ZodObject<{
     challengeId: z.ZodString;
@@ -38,25 +103,65 @@ export declare const PendingConfirmationSchema: z.ZodObject<{
     snapshotHash: z.ZodString;
     evidenceHash: z.ZodString;
     actionSummary: z.ZodString;
+    reason: z.ZodOptional<z.ZodObject<{
+        rule: z.ZodEnum<{
+            policyActionRequiresConfirmation: "policyActionRequiresConfirmation";
+            actionNotAllowlisted: "actionNotAllowlisted";
+            semanticSideEffect: "semanticSideEffect";
+        }>;
+        message: z.ZodString;
+        category: z.ZodOptional<z.ZodEnum<{
+            hardCommit: "hardCommit";
+            destructive: "destructive";
+            account: "account";
+        }>>;
+        matchedTerm: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
     expiresAt: z.ZodISODateTime;
     status: z.ZodEnum<{
         pending: "pending";
         approved: "approved";
     }>;
+    approvalMode: z.ZodOptional<z.ZodEnum<{
+        localTty: "localTty";
+        delegated: "delegated";
+    }>>;
 }, z.core.$strict>;
+export declare const VerificationPhaseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    stage: z.ZodLiteral<"preparing">;
+}, z.core.$strict>, z.ZodObject<{
+    stage: z.ZodLiteral<"replaying">;
+    stepIndex: z.ZodNumber;
+    stepCount: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    stage: z.ZodLiteral<"collecting">;
+}, z.core.$strict>], "stage">;
+export type VerificationPhase = z.infer<typeof VerificationPhaseSchema>;
+export declare function verificationPhaseLabel(phase: VerificationPhase): string;
 export declare const GenerationSessionSchema: z.ZodObject<{
-    version: z.ZodLiteral<1>;
     id: z.ZodString;
     revision: z.ZodNumber;
     state: z.ZodEnum<{
         active: "active";
         recoveryRequired: "recoveryRequired";
+        archived: "archived";
     }>;
     bindings: z.ZodObject<{
         projectHash: z.ZodString;
         configHash: z.ZodString;
         contextHash: z.ZodString;
         snapshotHash: z.ZodNullable<z.ZodString>;
+        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>;
     }, z.core.$strict>;
     target: z.ZodObject<{
         packageName: z.ZodString;
@@ -92,12 +197,80 @@ export declare const GenerationSessionSchema: z.ZodObject<{
             }>>;
         }, z.core.$strict>;
     }, z.core.$strict>;
+    contextSelection: z.ZodObject<{
+        bundleVersion: z.ZodLiteral<2>;
+        indexHash: z.ZodString;
+        modules: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            sha256: z.ZodString;
+            projectDir: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+            inventory: z.ZodObject<{
+                pathSetSha256: z.ZodString;
+                categories: z.ZodArray<z.ZodEnum<{
+                    manifests: "manifests";
+                    sources: "sources";
+                    layouts: "layouts";
+                    navigation: "navigation";
+                }>>;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    idlePolicy: z.ZodOptional<z.ZodObject<{
+        strategy: z.ZodDefault<z.ZodEnum<{
+            frameStats: "frameStats";
+            hybrid: "hybrid";
+            layoutDiff: "layoutDiff";
+            structural: "structural";
+        }>>;
+        pollIntervalMs: z.ZodNumber;
+        stablePolls: z.ZodNumber;
+        timeoutMs: z.ZodNumber;
+        ignoreCursorBlink: z.ZodOptional<z.ZodBoolean>;
+        ignoreLayoutDrift: z.ZodOptional<z.ZodBoolean>;
+        deviceProfiles: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            match: z.ZodObject<{
+                manufacturer: z.ZodOptional<z.ZodString>;
+                model: z.ZodOptional<z.ZodString>;
+                sdkLevel: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>;
+            strategy: z.ZodOptional<z.ZodEnum<{
+                frameStats: "frameStats";
+                hybrid: "hybrid";
+                layoutDiff: "layoutDiff";
+                structural: "structural";
+            }>>;
+            pollIntervalMs: z.ZodOptional<z.ZodNumber>;
+            stablePolls: z.ZodOptional<z.ZodNumber>;
+            timeoutMs: z.ZodOptional<z.ZodNumber>;
+            ignoreCursorBlink: z.ZodOptional<z.ZodBoolean>;
+            ignoreLayoutDrift: z.ZodOptional<z.ZodBoolean>;
+        }, 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>;
+    baseFlow: z.ZodOptional<z.ZodObject<{
+        name: z.ZodString;
+        resolutionSha256: z.ZodString;
+        journeySha256: z.ZodString;
+        verificationReportSha256: z.ZodString;
+        verificationRunId: z.ZodString;
+        stepCount: z.ZodNumber;
+    }, z.core.$strict>>;
+    sourceBrief: z.ZodOptional<z.ZodObject<{
+        path: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        sha256: z.ZodString;
+    }, z.core.$strict>>;
+    externalFlows: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        flowSha256: z.ZodString;
+        escapedPackageName: z.ZodString;
+        stepCount: z.ZodNumber;
+    }, z.core.$strict>>;
     candidateSteps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        device: z.ZodOptional<z.ZodString>;
         activity: z.ZodObject<{
             before: z.ZodString;
             after: z.ZodString;
@@ -105,14 +278,15 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -131,19 +305,51 @@ export declare const GenerationSessionSchema: z.ZodObject<{
                 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.ZodObject<{
-            resourceId: z.ZodOptional<z.ZodString>;
-            text: z.ZodOptional<z.ZodString>;
-            contentDescription: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>;
+        replayMode: z.ZodOptional<z.ZodEnum<{
+            auto: "auto";
+            manual: "manual";
+        }>>;
         fallback: z.ZodOptional<z.ZodObject<{
             type: z.ZodLiteral<"annotatedLabel">;
             label: z.ZodString;
         }, z.core.$strict>>;
+        anchor: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>>;
+        action: z.ZodLiteral<"click">;
     }, z.core.$strict>, z.ZodObject<{
+        device: z.ZodOptional<z.ZodString>;
         activity: z.ZodObject<{
             before: z.ZodString;
             after: z.ZodString;
@@ -151,14 +357,15 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -177,20 +384,52 @@ export declare const GenerationSessionSchema: z.ZodObject<{
                 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.ZodObject<{
-            resourceId: z.ZodOptional<z.ZodString>;
-            text: z.ZodOptional<z.ZodString>;
-            contentDescription: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>;
+        replayMode: z.ZodOptional<z.ZodEnum<{
+            auto: "auto";
+            manual: "manual";
+        }>>;
         durationMs: z.ZodDefault<z.ZodNumber>;
         fallback: z.ZodOptional<z.ZodObject<{
             type: z.ZodLiteral<"annotatedLabel">;
             label: z.ZodString;
         }, z.core.$strict>>;
+        anchor: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>>;
+        action: z.ZodLiteral<"longClick">;
     }, z.core.$strict>, z.ZodObject<{
+        device: z.ZodOptional<z.ZodString>;
         activity: z.ZodObject<{
             before: z.ZodString;
             after: z.ZodString;
@@ -198,14 +437,15 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -224,11 +464,47 @@ export declare const GenerationSessionSchema: z.ZodObject<{
                 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">>;
+        replayMode: z.ZodOptional<z.ZodEnum<{
+            auto: "auto";
+            manual: "manual";
+        }>>;
         action: z.ZodLiteral<"inputText">;
         text: z.ZodString;
+        anchor: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>, z.ZodObject<{
+        device: z.ZodOptional<z.ZodString>;
         activity: z.ZodObject<{
             before: z.ZodString;
             after: z.ZodString;
@@ -236,14 +512,15 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -262,14 +539,42 @@ export declare const GenerationSessionSchema: z.ZodObject<{
                 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.ZodObject<{
-            resourceId: z.ZodOptional<z.ZodString>;
-            text: z.ZodOptional<z.ZodString>;
-            contentDescription: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>;
+        replayMode: z.ZodOptional<z.ZodEnum<{
+            auto: "auto";
+            manual: "manual";
+        }>>;
         direction: z.ZodEnum<{
             left: "left";
             right: "right";
@@ -278,7 +583,11 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         }>;
         distancePercent: z.ZodDefault<z.ZodNumber>;
         durationMs: z.ZodDefault<z.ZodNumber>;
+        anchor: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>>;
+        action: z.ZodLiteral<"swipe">;
     }, z.core.$strict>, z.ZodObject<{
+        device: z.ZodOptional<z.ZodString>;
         activity: z.ZodObject<{
             before: z.ZodString;
             after: z.ZodString;
@@ -286,14 +595,15 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -312,19 +622,43 @@ export declare const GenerationSessionSchema: z.ZodObject<{
                 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.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>;
+        replayMode: z.ZodOptional<z.ZodEnum<{
+            auto: "auto";
+            manual: "manual";
+        }>>;
+        container: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>;
         direction: z.ZodEnum<{
             left: "left";
             right: "right";
@@ -334,7 +668,11 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         maxSwipes: z.ZodDefault<z.ZodNumber>;
         distancePercent: z.ZodDefault<z.ZodNumber>;
         durationMs: z.ZodDefault<z.ZodNumber>;
+        anchor: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>>;
+        action: z.ZodLiteral<"scrollTo">;
     }, z.core.$strict>, z.ZodObject<{
+        device: z.ZodOptional<z.ZodString>;
         activity: z.ZodObject<{
             before: z.ZodString;
             after: z.ZodString;
@@ -342,14 +680,15 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -368,10 +707,45 @@ export declare const GenerationSessionSchema: z.ZodObject<{
                 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">>;
+        replayMode: z.ZodOptional<z.ZodEnum<{
+            auto: "auto";
+            manual: "manual";
+        }>>;
         action: z.ZodLiteral<"back">;
     }, z.core.$strict>, z.ZodObject<{
+        device: z.ZodOptional<z.ZodString>;
         activity: z.ZodObject<{
             before: z.ZodString;
             after: z.ZodString;
@@ -379,14 +753,15 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -405,11 +780,616 @@ export declare const GenerationSessionSchema: z.ZodObject<{
                 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">>;
+        replayMode: z.ZodOptional<z.ZodEnum<{
+            auto: "auto";
+            manual: "manual";
+        }>>;
         action: z.ZodLiteral<"wait">;
+        markerId: z.ZodOptional<z.ZodString>;
+        until: z.ZodOptional<z.ZodObject<{
+            element: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>;
+        }, z.core.$strict>>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        replayMode: z.ZodDefault<z.ZodEnum<{
+            auto: "auto";
+            manual: "manual";
+        }>>;
+        device: z.ZodOptional<z.ZodString>;
+        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;
+            packageName: z.ZodOptional<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"element">;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>;
+        escapedPackageName: z.ZodOptional<z.ZodString>;
+        returnTimeoutMs: z.ZodNumber;
+        flow: z.ZodOptional<z.ZodString>;
+        externalSteps: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            expectedActivity: z.ZodString;
+            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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>;
+        }, z.core.$strict>, z.ZodObject<{
+            expectedActivity: z.ZodString;
+            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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>;
+            durationMs: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strict>, z.ZodObject<{
+            expectedActivity: z.ZodString;
+            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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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<{
+            expectedActivity: z.ZodString;
+            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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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<{
+            expectedActivity: z.ZodString;
+            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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>;
+            container: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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<{
+            expectedActivity: z.ZodString;
+            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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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<{
+            expectedActivity: z.ZodString;
+            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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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>], "action">>>;
+        escapeTimeoutMs: z.ZodOptional<z.ZodNumber>;
     }, z.core.$strict>], "action">>;
     candidateSources: z.ZodArray<z.ZodEnum<{
+        flow: "flow";
         planner: "planner";
         manualOverride: "manualOverride";
     }>>;
@@ -418,6 +1398,13 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         snapshotHash: z.ZodString;
         proposalHash: z.ZodString;
         attemptId: z.ZodString;
+        confirmation: z.ZodOptional<z.ZodObject<{
+            challengeId: z.ZodString;
+            approvalMode: z.ZodEnum<{
+                localTty: "localTty";
+                delegated: "delegated";
+            }>;
+        }, z.core.$strict>>;
     }, z.core.$strict>>;
     pendingConfirmation: z.ZodNullable<z.ZodObject<{
         challengeId: z.ZodString;
@@ -426,17 +1413,46 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         snapshotHash: z.ZodString;
         evidenceHash: z.ZodString;
         actionSummary: z.ZodString;
+        reason: z.ZodOptional<z.ZodObject<{
+            rule: z.ZodEnum<{
+                policyActionRequiresConfirmation: "policyActionRequiresConfirmation";
+                actionNotAllowlisted: "actionNotAllowlisted";
+                semanticSideEffect: "semanticSideEffect";
+            }>;
+            message: z.ZodString;
+            category: z.ZodOptional<z.ZodEnum<{
+                hardCommit: "hardCommit";
+                destructive: "destructive";
+                account: "account";
+            }>>;
+            matchedTerm: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
         expiresAt: z.ZodISODateTime;
         status: z.ZodEnum<{
             pending: "pending";
             approved: "approved";
         }>;
+        approvalMode: z.ZodOptional<z.ZodEnum<{
+            localTty: "localTty";
+            delegated: "delegated";
+        }>>;
     }, z.core.$strict>>;
     verification: z.ZodDiscriminatedUnion<[z.ZodObject<{
         status: z.ZodLiteral<"notRun">;
     }, z.core.$strict>, z.ZodObject<{
         status: z.ZodLiteral<"running">;
         attemptId: z.ZodString;
+        ownerPid: z.ZodOptional<z.ZodNumber>;
+        startedAt: z.ZodOptional<z.ZodISODateTime>;
+        phase: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            stage: z.ZodLiteral<"preparing">;
+        }, z.core.$strict>, z.ZodObject<{
+            stage: z.ZodLiteral<"replaying">;
+            stepIndex: z.ZodNumber;
+            stepCount: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            stage: z.ZodLiteral<"collecting">;
+        }, z.core.$strict>], "stage">>;
     }, z.core.$strict>, z.ZodObject<{
         status: z.ZodLiteral<"passed">;
         attemptId: z.ZodString;
@@ -448,11 +1464,31 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         failure: z.ZodObject<{
             code: z.ZodEnum<{
                 CONFIG_INVALID: "CONFIG_INVALID";
+                APP_LAUNCH_FAILED: "APP_LAUNCH_FAILED";
+                APP_CRASHED: "APP_CRASHED";
+                LOCATOR_NOT_FOUND: "LOCATOR_NOT_FOUND";
+                LOCATOR_AMBIGUOUS: "LOCATOR_AMBIGUOUS";
+                ANCHOR_AMBIGUOUS: "ANCHOR_AMBIGUOUS";
+                IDLE_TIMEOUT: "IDLE_TIMEOUT";
+                BRIDGE_NO_ESCAPE: "BRIDGE_NO_ESCAPE";
+                BRIDGE_NOT_RETURNED: "BRIDGE_NOT_RETURNED";
+                EXTERNAL_FLOW_NOT_FOUND: "EXTERNAL_FLOW_NOT_FOUND";
+                EXTERNAL_FLOW_STALE: "EXTERNAL_FLOW_STALE";
+                EXTERNAL_LOCATOR_STRICTNESS: "EXTERNAL_LOCATOR_STRICTNESS";
+                EXTERNAL_PACKAGE_MISMATCH: "EXTERNAL_PACKAGE_MISMATCH";
+                EXTERNAL_ACTIVITY_MISMATCH: "EXTERNAL_ACTIVITY_MISMATCH";
+                EXTERNAL_STEP_FAILED: "EXTERNAL_STEP_FAILED";
                 CONTEXT_INVALID: "CONTEXT_INVALID";
                 CONTEXT_STALE: "CONTEXT_STALE";
+                BRIEF_INVALID: "BRIEF_INVALID";
+                KNOWLEDGE_INVALID: "KNOWLEDGE_INVALID";
+                KNOWLEDGE_STALE: "KNOWLEDGE_STALE";
+                FLOW_INVALID: "FLOW_INVALID";
+                FLOW_REPLAY_FAILED: "FLOW_REPLAY_FAILED";
                 SNAPSHOT_STALE: "SNAPSHOT_STALE";
                 PACKAGE_ESCAPE: "PACKAGE_ESCAPE";
-                APP_CRASHED: "APP_CRASHED";
+                SCENARIO_PACKAGE_MISMATCH: "SCENARIO_PACKAGE_MISMATCH";
+                WINDOW_HIERARCHY_INCOMPLETE: "WINDOW_HIERARCHY_INCOMPLETE";
                 ACTION_UNSUPPORTED: "ACTION_UNSUPPORTED";
                 RISK_CONFIRMATION_REQUIRED: "RISK_CONFIRMATION_REQUIRED";
                 ACTION_FORBIDDEN: "ACTION_FORBIDDEN";
@@ -466,6 +1502,51 @@ export declare const GenerationSessionSchema: z.ZodObject<{
             message: z.ZodString;
         }, z.core.$strict>;
     }, z.core.$strict>], "status">;
+    verificationHistory: z.ZodArray<z.ZodObject<{
+        failedRevision: z.ZodNumber;
+        reopenedAt: z.ZodISODateTime;
+        reason: z.ZodString;
+        failure: z.ZodObject<{
+            code: z.ZodEnum<{
+                CONFIG_INVALID: "CONFIG_INVALID";
+                APP_LAUNCH_FAILED: "APP_LAUNCH_FAILED";
+                APP_CRASHED: "APP_CRASHED";
+                LOCATOR_NOT_FOUND: "LOCATOR_NOT_FOUND";
+                LOCATOR_AMBIGUOUS: "LOCATOR_AMBIGUOUS";
+                ANCHOR_AMBIGUOUS: "ANCHOR_AMBIGUOUS";
+                IDLE_TIMEOUT: "IDLE_TIMEOUT";
+                BRIDGE_NO_ESCAPE: "BRIDGE_NO_ESCAPE";
+                BRIDGE_NOT_RETURNED: "BRIDGE_NOT_RETURNED";
+                EXTERNAL_FLOW_NOT_FOUND: "EXTERNAL_FLOW_NOT_FOUND";
+                EXTERNAL_FLOW_STALE: "EXTERNAL_FLOW_STALE";
+                EXTERNAL_LOCATOR_STRICTNESS: "EXTERNAL_LOCATOR_STRICTNESS";
+                EXTERNAL_PACKAGE_MISMATCH: "EXTERNAL_PACKAGE_MISMATCH";
+                EXTERNAL_ACTIVITY_MISMATCH: "EXTERNAL_ACTIVITY_MISMATCH";
+                EXTERNAL_STEP_FAILED: "EXTERNAL_STEP_FAILED";
+                CONTEXT_INVALID: "CONTEXT_INVALID";
+                CONTEXT_STALE: "CONTEXT_STALE";
+                BRIEF_INVALID: "BRIEF_INVALID";
+                KNOWLEDGE_INVALID: "KNOWLEDGE_INVALID";
+                KNOWLEDGE_STALE: "KNOWLEDGE_STALE";
+                FLOW_INVALID: "FLOW_INVALID";
+                FLOW_REPLAY_FAILED: "FLOW_REPLAY_FAILED";
+                SNAPSHOT_STALE: "SNAPSHOT_STALE";
+                PACKAGE_ESCAPE: "PACKAGE_ESCAPE";
+                SCENARIO_PACKAGE_MISMATCH: "SCENARIO_PACKAGE_MISMATCH";
+                WINDOW_HIERARCHY_INCOMPLETE: "WINDOW_HIERARCHY_INCOMPLETE";
+                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>>;
     publication: z.ZodDiscriminatedUnion<[z.ZodObject<{
         status: z.ZodLiteral<"notRun">;
     }, z.core.$strict>, z.ZodObject<{
@@ -476,11 +1557,31 @@ export declare const GenerationSessionSchema: z.ZodObject<{
         failure: z.ZodObject<{
             code: z.ZodEnum<{
                 CONFIG_INVALID: "CONFIG_INVALID";
+                APP_LAUNCH_FAILED: "APP_LAUNCH_FAILED";
+                APP_CRASHED: "APP_CRASHED";
+                LOCATOR_NOT_FOUND: "LOCATOR_NOT_FOUND";
+                LOCATOR_AMBIGUOUS: "LOCATOR_AMBIGUOUS";
+                ANCHOR_AMBIGUOUS: "ANCHOR_AMBIGUOUS";
+                IDLE_TIMEOUT: "IDLE_TIMEOUT";
+                BRIDGE_NO_ESCAPE: "BRIDGE_NO_ESCAPE";
+                BRIDGE_NOT_RETURNED: "BRIDGE_NOT_RETURNED";
+                EXTERNAL_FLOW_NOT_FOUND: "EXTERNAL_FLOW_NOT_FOUND";
+                EXTERNAL_FLOW_STALE: "EXTERNAL_FLOW_STALE";
+                EXTERNAL_LOCATOR_STRICTNESS: "EXTERNAL_LOCATOR_STRICTNESS";
+                EXTERNAL_PACKAGE_MISMATCH: "EXTERNAL_PACKAGE_MISMATCH";
+                EXTERNAL_ACTIVITY_MISMATCH: "EXTERNAL_ACTIVITY_MISMATCH";
+                EXTERNAL_STEP_FAILED: "EXTERNAL_STEP_FAILED";
                 CONTEXT_INVALID: "CONTEXT_INVALID";
                 CONTEXT_STALE: "CONTEXT_STALE";
+                BRIEF_INVALID: "BRIEF_INVALID";
+                KNOWLEDGE_INVALID: "KNOWLEDGE_INVALID";
+                KNOWLEDGE_STALE: "KNOWLEDGE_STALE";
+                FLOW_INVALID: "FLOW_INVALID";
+                FLOW_REPLAY_FAILED: "FLOW_REPLAY_FAILED";
                 SNAPSHOT_STALE: "SNAPSHOT_STALE";
                 PACKAGE_ESCAPE: "PACKAGE_ESCAPE";
-                APP_CRASHED: "APP_CRASHED";
+                SCENARIO_PACKAGE_MISMATCH: "SCENARIO_PACKAGE_MISMATCH";
+                WINDOW_HIERARCHY_INCOMPLETE: "WINDOW_HIERARCHY_INCOMPLETE";
                 ACTION_UNSUPPORTED: "ACTION_UNSUPPORTED";
                 RISK_CONFIRMATION_REQUIRED: "RISK_CONFIRMATION_REQUIRED";
                 ACTION_FORBIDDEN: "ACTION_FORBIDDEN";
@@ -494,11 +1595,14 @@ export declare const GenerationSessionSchema: z.ZodObject<{
             message: z.ZodString;
         }, z.core.$strict>;
     }, z.core.$strict>], "status">;
+    version: z.ZodLiteral<1>;
 }, z.core.$strict>;
 export type GenerationVariables = z.infer<typeof GenerationVariablesSchema>;
 export type GenerationInFlight = z.infer<typeof GenerationInFlightSchema>;
+export type ConfirmationReason = z.infer<typeof ConfirmationReasonSchema>;
 export type PendingConfirmation = z.infer<typeof PendingConfirmationSchema>;
 export type GenerationSession = z.infer<typeof GenerationSessionSchema>;
+export declare function isGenerationConfirmationExpired(challenge: PendingConfirmation, now: Date): boolean;
 export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     proposal: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -513,14 +1617,15 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -539,14 +1644,40 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
                 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.ZodObject<{
-            resourceId: z.ZodOptional<z.ZodString>;
-            text: z.ZodOptional<z.ZodString>;
-            contentDescription: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>;
+        locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>;
     }, z.core.$strict>, z.ZodObject<{
         binding: z.ZodObject<{
             generationId: z.ZodString;
@@ -559,14 +1690,15 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -585,14 +1717,40 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
                 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.ZodObject<{
-            resourceId: z.ZodOptional<z.ZodString>;
-            text: z.ZodOptional<z.ZodString>;
-            contentDescription: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>;
+        locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>;
         durationMs: z.ZodDefault<z.ZodNumber>;
     }, z.core.$strict>, z.ZodObject<{
         binding: z.ZodObject<{
@@ -606,14 +1764,15 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -632,6 +1791,36 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
                 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">;
@@ -648,14 +1837,15 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -674,14 +1864,40 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
                 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.ZodObject<{
-            resourceId: z.ZodOptional<z.ZodString>;
-            text: z.ZodOptional<z.ZodString>;
-            contentDescription: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>;
+        locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>;
         direction: z.ZodEnum<{
             left: "left";
             right: "right";
@@ -702,14 +1918,15 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -728,19 +1945,41 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
                 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.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>;
+        locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>;
+        container: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./layout.js").Locator, unknown>>;
         direction: z.ZodEnum<{
             left: "left";
             right: "right";
@@ -762,14 +2001,15 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -788,6 +2028,36 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
                 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">;
@@ -803,14 +2073,15 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
         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.ZodObject<{
-                resourceId: z.ZodOptional<z.ZodString>;
-                text: z.ZodOptional<z.ZodString>;
-                contentDescription: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
+            locator: z.ZodType<import("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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">;
@@ -829,12 +2100,125 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
                 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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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("./layout.js").Locator, unknown, z.core.$ZodTypeInternals<import("./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<1>;
+        version: z.ZodLiteral<2>;
         generationId: z.ZodString;
         baseRevision: z.ZodNumber;
         deviceSerial: z.ZodString;
@@ -845,6 +2229,63 @@ export declare const GenerationConfirmationEvidenceSchema: z.ZodObject<{
         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>>>;
+        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>;
     source: z.ZodEnum<{
         planner: "planner";
@@ -855,13 +2296,89 @@ export type GenerationConfirmationEvidence = z.infer<typeof GenerationConfirmati
 export declare function hashGenerationConfirmationEvidence(value: unknown): string;
 export declare const GenerationMetaSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
-    status: z.ZodLiteral<"verified">;
+    status: z.ZodEnum<{
+        verified: "verified";
+        promoted: "promoted";
+    }>;
+    promotion: z.ZodOptional<z.ZodObject<{
+        promotedAt: z.ZodISODateTime;
+        reason: z.ZodString;
+    }, z.core.$strict>>;
+    retired: z.ZodOptional<z.ZodObject<{
+        retiredAt: z.ZodISODateTime;
+        reason: z.ZodString;
+    }, z.core.$strict>>;
     generationId: z.ZodString;
     journeyPath: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+    journeySha256: z.ZodString;
     bindings: z.ZodObject<{
         projectHash: z.ZodString;
         configHash: z.ZodString;
         contextHash: z.ZodString;
+        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>;
+    }, z.core.$strict>;
+    replayPolicy: z.ZodObject<{
+        generatedReplayPolicy: z.ZodBoolean;
+        requireFocusedInput: z.ZodBoolean;
+        idle: z.ZodObject<{
+            strategy: z.ZodDefault<z.ZodEnum<{
+                frameStats: "frameStats";
+                hybrid: "hybrid";
+                layoutDiff: "layoutDiff";
+                structural: "structural";
+            }>>;
+            pollIntervalMs: z.ZodNumber;
+            stablePolls: z.ZodNumber;
+            timeoutMs: z.ZodNumber;
+            ignoreCursorBlink: z.ZodOptional<z.ZodBoolean>;
+            ignoreLayoutDrift: z.ZodOptional<z.ZodBoolean>;
+            deviceProfiles: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                match: z.ZodObject<{
+                    manufacturer: z.ZodOptional<z.ZodString>;
+                    model: z.ZodOptional<z.ZodString>;
+                    sdkLevel: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strict>;
+                strategy: z.ZodOptional<z.ZodEnum<{
+                    frameStats: "frameStats";
+                    hybrid: "hybrid";
+                    layoutDiff: "layoutDiff";
+                    structural: "structural";
+                }>>;
+                pollIntervalMs: z.ZodOptional<z.ZodNumber>;
+                stablePolls: z.ZodOptional<z.ZodNumber>;
+                timeoutMs: z.ZodOptional<z.ZodNumber>;
+                ignoreCursorBlink: z.ZodOptional<z.ZodBoolean>;
+                ignoreLayoutDrift: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    contextSelection: z.ZodObject<{
+        bundleVersion: z.ZodLiteral<2>;
+        indexHash: z.ZodString;
+        modules: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            sha256: z.ZodString;
+            projectDir: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+            inventory: z.ZodObject<{
+                pathSetSha256: z.ZodString;
+                categories: z.ZodArray<z.ZodEnum<{
+                    manifests: "manifests";
+                    sources: "sources";
+                    layouts: "layouts";
+                    navigation: "navigation";
+                }>>;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
     }, z.core.$strict>;
     verification: z.ZodObject<{
         reportPath: z.ZodString;
@@ -869,6 +2386,24 @@ export declare const GenerationMetaSchema: z.ZodObject<{
         runId: z.ZodString;
         runs: z.ZodLiteral<1>;
     }, z.core.$strict>;
+    baseFlow: z.ZodOptional<z.ZodObject<{
+        name: z.ZodString;
+        resolutionSha256: z.ZodString;
+        journeySha256: z.ZodString;
+        verificationReportSha256: z.ZodString;
+        verificationRunId: z.ZodString;
+        stepCount: z.ZodNumber;
+    }, z.core.$strict>>;
+    sourceBrief: z.ZodOptional<z.ZodObject<{
+        path: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        sha256: z.ZodString;
+    }, z.core.$strict>>;
+    externalFlows: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        flowSha256: z.ZodString;
+        escapedPackageName: z.ZodString;
+        stepCount: z.ZodNumber;
+    }, z.core.$strict>>;
     manualOverrideStepIndexes: z.ZodArray<z.ZodNumber>;
 }, z.core.$strict>;
 export declare const GenerationReportSchema: z.ZodObject<{
@@ -878,6 +2413,7 @@ export declare const GenerationReportSchema: z.ZodObject<{
     steps: z.ZodArray<z.ZodObject<{
         index: z.ZodNumber;
         source: z.ZodEnum<{
+            flow: "flow";
             planner: "planner";
             manualOverride: "manualOverride";
         }>;
@@ -902,9 +2438,12 @@ 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">;
+    bindings: Pick<GenerationSession["bindings"], "projectHash" | "configHash" | "contextHash" | "uiBackend">;
     target: GenerationSession["target"];
+    contextSelection: GenerationSession["contextSelection"];
     variables: GenerationSession["variables"];
+    baseFlow?: NonNullable<GenerationSession["baseFlow"]> | undefined;
+    externalFlows: GenerationSession["externalFlows"];
 }
 export declare function generationCoreIdentity(session: GenerationSession): GenerationCoreIdentity;
 export declare function bindGenerationVariables(input: unknown): GenerationVariables;