@neuraloom/contracts 0.0.0-stage → 0.1.22

package/dist/schemas/implement-patch.schema.d.ts

@@ -0,0 +1,2955 @@
+import { z } from "zod";
+export declare const ImplementReadinessBlockerCodeSchema: z.ZodEnum<["NO_LINKED_REPO", "GITHUB_NOT_CONNECTED", "GITHUB_CONTENTS_WRITE_MISSING", "GITHUB_PR_WRITE_MISSING", "NO_READY_TASKS", "REPO_SCAN_MISSING", "GITHUB_PERMISSION_CHECK_FAILED", "PRODUCT_REALISATION_BLOCKED", "READINESS_DEGRADED", "UNKNOWN"]>;
+export type ImplementReadinessBlockerCode = z.infer<typeof ImplementReadinessBlockerCodeSchema>;
+export declare const ImplementReadinessBlockerSchema: z.ZodObject<{
+    code: z.ZodEnum<["NO_LINKED_REPO", "GITHUB_NOT_CONNECTED", "GITHUB_CONTENTS_WRITE_MISSING", "GITHUB_PR_WRITE_MISSING", "NO_READY_TASKS", "REPO_SCAN_MISSING", "GITHUB_PERMISSION_CHECK_FAILED", "PRODUCT_REALISATION_BLOCKED", "READINESS_DEGRADED", "UNKNOWN"]>;
+    severity: z.ZodEnum<["error", "warning"]>;
+    message: z.ZodString;
+    actionLabel: z.ZodOptional<z.ZodString>;
+    actionHref: z.ZodOptional<z.ZodString>;
+    realizationCheckCode: z.ZodOptional<z.ZodEnum<["PACKAGE_JSON_PRESENT", "NEXT_ROOT_PAGE_MISSING", "NEXT_SCAFFOLD_PRESENT", "API_HEALTH_ROUTE", "DOMAIN_API_ROUTE_MIN_1", "DOMAIN_UI_ROUTE_MIN_1", "DOMAIN_MODEL_OR_SCHEMA_MIN_1", "TEST_FILE_MIN_1", "TRACEABILITY_ROWS_MIN_1", "ORPHANED_PARENT_ROUTE", "LAYOUT_CSS_IMPORT", "ROUTE_MANIFEST_COVERAGE", "NAV_LINK_INTEGRITY", "ROOT_ROUTE_RUNTIME_BEHAVIOR", "API_ROUTE_HANDLER_PRESENT", "CSS_IMPORT_TARGET_EXISTS", "AUTH_PAGE_MINIMAL_FORM", "PACKAGE_DEPENDENCY_MISSING", "CSS_TOOLCHAIN_INCOMPLETE", "LOCKFILE_STALE_OR_MISSING", "PACKAGE_IMPORT_RESOLUTION", "POSTCSS_CONFIG_MISSING"]>>;
+    realizationReason: z.ZodOptional<z.ZodEnum<["missing_domain_file", "missing_api_route", "missing_ui_route", "missing_tests", "missing_traceability"]>>;
+    realizationEvidence: z.ZodOptional<z.ZodType<import("./workflow/product-realization.schema").ImplementRealisationEvidence, z.ZodTypeDef, import("./workflow/product-realization.schema").ImplementRealisationEvidence>>;
+}, "strip", z.ZodTypeAny, {
+    code: "UNKNOWN" | "NO_LINKED_REPO" | "GITHUB_NOT_CONNECTED" | "GITHUB_CONTENTS_WRITE_MISSING" | "GITHUB_PR_WRITE_MISSING" | "NO_READY_TASKS" | "REPO_SCAN_MISSING" | "GITHUB_PERMISSION_CHECK_FAILED" | "PRODUCT_REALISATION_BLOCKED" | "READINESS_DEGRADED";
+    message: string;
+    severity: "warning" | "error";
+    actionLabel?: string | undefined;
+    actionHref?: string | undefined;
+    realizationCheckCode?: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE" | undefined;
+    realizationReason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+    realizationEvidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+}, {
+    code: "UNKNOWN" | "NO_LINKED_REPO" | "GITHUB_NOT_CONNECTED" | "GITHUB_CONTENTS_WRITE_MISSING" | "GITHUB_PR_WRITE_MISSING" | "NO_READY_TASKS" | "REPO_SCAN_MISSING" | "GITHUB_PERMISSION_CHECK_FAILED" | "PRODUCT_REALISATION_BLOCKED" | "READINESS_DEGRADED";
+    message: string;
+    severity: "warning" | "error";
+    actionLabel?: string | undefined;
+    actionHref?: string | undefined;
+    realizationCheckCode?: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE" | undefined;
+    realizationReason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+    realizationEvidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+}>;
+export type ImplementReadinessBlocker = z.infer<typeof ImplementReadinessBlockerSchema>;
+/** Rich patch summary for Implement readiness (Sprint T3 SSOT). */
+/** Stable SHA-256 hex identity for a sorted task set within a project (repair-first cohort key). */
+export declare const ImplementTaskCohortIdSchema: z.ZodString;
+export type ImplementTaskCohortId = z.infer<typeof ImplementTaskCohortIdSchema>;
+/** Duplicate / supersession linkage for CI classification (`superseding_pr` evidence). */
+export declare const ImplementPatchSupersessionSchema: z.ZodObject<{
+    kind: z.ZodEnum<["superseding_pr", "superseded_by_new_pr"]>;
+    supersedingPrNumber: z.ZodOptional<z.ZodNumber>;
+    supersededPrNumbers: z.ZodOptional<z.ZodArray<z.ZodNumber, "many">>;
+    supersedingPatchSetId: z.ZodOptional<z.ZodString>;
+    supersededPatchSetIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    kind: "superseding_pr" | "superseded_by_new_pr";
+    supersedingPrNumber?: number | undefined;
+    supersededPrNumbers?: number[] | undefined;
+    supersedingPatchSetId?: string | undefined;
+    supersededPatchSetIds?: string[] | undefined;
+}, {
+    kind: "superseding_pr" | "superseded_by_new_pr";
+    supersedingPrNumber?: number | undefined;
+    supersededPrNumbers?: number[] | undefined;
+    supersedingPatchSetId?: string | undefined;
+    supersededPatchSetIds?: string[] | undefined;
+}>;
+export type ImplementPatchSupersession = z.infer<typeof ImplementPatchSupersessionSchema>;
+export declare const ImplementLatestPatchSetSchema: z.ZodObject<{
+    artifactId: z.ZodString;
+    status: z.ZodEnum<["draft", "validated", "pushed", "pr_created", "failed"]>;
+    branchName: z.ZodOptional<z.ZodString>;
+    commitSha: z.ZodOptional<z.ZodString>;
+    pullRequestUrl: z.ZodOptional<z.ZodString>;
+    pullRequestNumber: z.ZodOptional<z.ZodNumber>;
+    selectedTaskIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    taskCohortId: z.ZodOptional<z.ZodString>;
+    fileCount: z.ZodOptional<z.ZodNumber>;
+    updatedAt: z.ZodOptional<z.ZodString>;
+    proofSource: z.ZodOptional<z.ZodEnum<["product_api", "manual_gh", "manual_sql", "imported", "unknown"]>>;
+    proofInvalidReason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+    artifactId: string;
+    updatedAt?: string | undefined;
+    commitSha?: string | undefined;
+    branchName?: string | undefined;
+    pullRequestNumber?: number | undefined;
+    pullRequestUrl?: string | undefined;
+    selectedTaskIds?: string[] | undefined;
+    fileCount?: number | undefined;
+    proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+    proofInvalidReason?: string | undefined;
+    taskCohortId?: string | undefined;
+}, {
+    status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+    artifactId: string;
+    updatedAt?: string | undefined;
+    commitSha?: string | undefined;
+    branchName?: string | undefined;
+    pullRequestNumber?: number | undefined;
+    pullRequestUrl?: string | undefined;
+    selectedTaskIds?: string[] | undefined;
+    fileCount?: number | undefined;
+    proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+    proofInvalidReason?: string | undefined;
+    taskCohortId?: string | undefined;
+}>;
+export type ImplementLatestPatchSet = z.infer<typeof ImplementLatestPatchSetSchema>;
+export declare const ImplementReadinessSchema: z.ZodObject<{
+    projectId: z.ZodString;
+    ready: z.ZodBoolean;
+    blockers: z.ZodArray<z.ZodObject<{
+        code: z.ZodEnum<["NO_LINKED_REPO", "GITHUB_NOT_CONNECTED", "GITHUB_CONTENTS_WRITE_MISSING", "GITHUB_PR_WRITE_MISSING", "NO_READY_TASKS", "REPO_SCAN_MISSING", "GITHUB_PERMISSION_CHECK_FAILED", "PRODUCT_REALISATION_BLOCKED", "READINESS_DEGRADED", "UNKNOWN"]>;
+        severity: z.ZodEnum<["error", "warning"]>;
+        message: z.ZodString;
+        actionLabel: z.ZodOptional<z.ZodString>;
+        actionHref: z.ZodOptional<z.ZodString>;
+        realizationCheckCode: z.ZodOptional<z.ZodEnum<["PACKAGE_JSON_PRESENT", "NEXT_ROOT_PAGE_MISSING", "NEXT_SCAFFOLD_PRESENT", "API_HEALTH_ROUTE", "DOMAIN_API_ROUTE_MIN_1", "DOMAIN_UI_ROUTE_MIN_1", "DOMAIN_MODEL_OR_SCHEMA_MIN_1", "TEST_FILE_MIN_1", "TRACEABILITY_ROWS_MIN_1", "ORPHANED_PARENT_ROUTE", "LAYOUT_CSS_IMPORT", "ROUTE_MANIFEST_COVERAGE", "NAV_LINK_INTEGRITY", "ROOT_ROUTE_RUNTIME_BEHAVIOR", "API_ROUTE_HANDLER_PRESENT", "CSS_IMPORT_TARGET_EXISTS", "AUTH_PAGE_MINIMAL_FORM", "PACKAGE_DEPENDENCY_MISSING", "CSS_TOOLCHAIN_INCOMPLETE", "LOCKFILE_STALE_OR_MISSING", "PACKAGE_IMPORT_RESOLUTION", "POSTCSS_CONFIG_MISSING"]>>;
+        realizationReason: z.ZodOptional<z.ZodEnum<["missing_domain_file", "missing_api_route", "missing_ui_route", "missing_tests", "missing_traceability"]>>;
+        realizationEvidence: z.ZodOptional<z.ZodType<import("./workflow/product-realization.schema").ImplementRealisationEvidence, z.ZodTypeDef, import("./workflow/product-realization.schema").ImplementRealisationEvidence>>;
+    }, "strip", z.ZodTypeAny, {
+        code: "UNKNOWN" | "NO_LINKED_REPO" | "GITHUB_NOT_CONNECTED" | "GITHUB_CONTENTS_WRITE_MISSING" | "GITHUB_PR_WRITE_MISSING" | "NO_READY_TASKS" | "REPO_SCAN_MISSING" | "GITHUB_PERMISSION_CHECK_FAILED" | "PRODUCT_REALISATION_BLOCKED" | "READINESS_DEGRADED";
+        message: string;
+        severity: "warning" | "error";
+        actionLabel?: string | undefined;
+        actionHref?: string | undefined;
+        realizationCheckCode?: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE" | undefined;
+        realizationReason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        realizationEvidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+    }, {
+        code: "UNKNOWN" | "NO_LINKED_REPO" | "GITHUB_NOT_CONNECTED" | "GITHUB_CONTENTS_WRITE_MISSING" | "GITHUB_PR_WRITE_MISSING" | "NO_READY_TASKS" | "REPO_SCAN_MISSING" | "GITHUB_PERMISSION_CHECK_FAILED" | "PRODUCT_REALISATION_BLOCKED" | "READINESS_DEGRADED";
+        message: string;
+        severity: "warning" | "error";
+        actionLabel?: string | undefined;
+        actionHref?: string | undefined;
+        realizationCheckCode?: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE" | undefined;
+        realizationReason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        realizationEvidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+    }>, "many">;
+    repository: z.ZodOptional<z.ZodObject<{
+        id: z.ZodString;
+        owner: z.ZodString;
+        name: z.ZodString;
+        fullName: z.ZodString;
+        defaultBranch: z.ZodString;
+        url: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    }, {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    }>>;
+    permissions: z.ZodObject<{
+        contentsWrite: z.ZodBoolean;
+        pullRequestsWrite: z.ZodBoolean;
+        issuesWrite: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    }, {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    }>;
+    taskSummary: z.ZodObject<{
+        total: z.ZodNumber;
+        selectable: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        total: number;
+        selectable: number;
+    }, {
+        total: number;
+        selectable: number;
+    }>;
+    /** Patch the user should act on next (pushed > validated > draft > pr_created; excludes failed/rejected). */
+    activePatchSet: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        status: z.ZodEnum<["draft", "validated", "pushed", "pr_created", "failed"]>;
+        branchName: z.ZodOptional<z.ZodString>;
+        commitSha: z.ZodOptional<z.ZodString>;
+        pullRequestUrl: z.ZodOptional<z.ZodString>;
+        pullRequestNumber: z.ZodOptional<z.ZodNumber>;
+        selectedTaskIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        taskCohortId: z.ZodOptional<z.ZodString>;
+        fileCount: z.ZodOptional<z.ZodNumber>;
+        updatedAt: z.ZodOptional<z.ZodString>;
+        proofSource: z.ZodOptional<z.ZodEnum<["product_api", "manual_gh", "manual_sql", "imported", "unknown"]>>;
+        proofInvalidReason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    }, {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    }>>;
+    /** Most recently updated patch that reached pr_created (completed handoff); unrelated to active queue priority. */
+    latestCompletedPatchSet: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        status: z.ZodEnum<["draft", "validated", "pushed", "pr_created", "failed"]>;
+        branchName: z.ZodOptional<z.ZodString>;
+        commitSha: z.ZodOptional<z.ZodString>;
+        pullRequestUrl: z.ZodOptional<z.ZodString>;
+        pullRequestNumber: z.ZodOptional<z.ZodNumber>;
+        selectedTaskIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        taskCohortId: z.ZodOptional<z.ZodString>;
+        fileCount: z.ZodOptional<z.ZodNumber>;
+        updatedAt: z.ZodOptional<z.ZodString>;
+        proofSource: z.ZodOptional<z.ZodEnum<["product_api", "manual_gh", "manual_sql", "imported", "unknown"]>>;
+        proofInvalidReason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    }, {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    projectId: string;
+    ready: boolean;
+    blockers: {
+        code: "UNKNOWN" | "NO_LINKED_REPO" | "GITHUB_NOT_CONNECTED" | "GITHUB_CONTENTS_WRITE_MISSING" | "GITHUB_PR_WRITE_MISSING" | "NO_READY_TASKS" | "REPO_SCAN_MISSING" | "GITHUB_PERMISSION_CHECK_FAILED" | "PRODUCT_REALISATION_BLOCKED" | "READINESS_DEGRADED";
+        message: string;
+        severity: "warning" | "error";
+        actionLabel?: string | undefined;
+        actionHref?: string | undefined;
+        realizationCheckCode?: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE" | undefined;
+        realizationReason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        realizationEvidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+    }[];
+    permissions: {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    };
+    taskSummary: {
+        total: number;
+        selectable: number;
+    };
+    repository?: {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    } | undefined;
+    activePatchSet?: {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    } | undefined;
+    latestCompletedPatchSet?: {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    } | undefined;
+}, {
+    projectId: string;
+    ready: boolean;
+    blockers: {
+        code: "UNKNOWN" | "NO_LINKED_REPO" | "GITHUB_NOT_CONNECTED" | "GITHUB_CONTENTS_WRITE_MISSING" | "GITHUB_PR_WRITE_MISSING" | "NO_READY_TASKS" | "REPO_SCAN_MISSING" | "GITHUB_PERMISSION_CHECK_FAILED" | "PRODUCT_REALISATION_BLOCKED" | "READINESS_DEGRADED";
+        message: string;
+        severity: "warning" | "error";
+        actionLabel?: string | undefined;
+        actionHref?: string | undefined;
+        realizationCheckCode?: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE" | undefined;
+        realizationReason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        realizationEvidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+    }[];
+    permissions: {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    };
+    taskSummary: {
+        total: number;
+        selectable: number;
+    };
+    repository?: {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    } | undefined;
+    activePatchSet?: {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    } | undefined;
+    latestCompletedPatchSet?: {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    } | undefined;
+}>;
+export type ImplementReadiness = z.infer<typeof ImplementReadinessSchema>;
+/**
+ * SSOT for selectableCount and orchestrate initial-mode eligibility (readiness route + PATCH planner).
+ */
+export declare const IMPLEMENT_TASK_SELECTABLE_STATUSES: readonly ["approved", "ready", "todo", "not_started", "in_progress", "in_review", "review_failed"];
+export type ImplementTaskSelectableStatus = (typeof IMPLEMENT_TASK_SELECTABLE_STATUSES)[number];
+/**
+ * Tasks that have already been patched but are eligible for iterative improvement.
+ */
+export declare const IMPLEMENT_TASK_ITERABLE_STATUSES: readonly ["completed", "done", "in_review", "accepted"];
+export type ImplementTaskIterableStatus = (typeof IMPLEMENT_TASK_ITERABLE_STATUSES)[number];
+/**
+ * Tasks that failed and can be repaired.
+ */
+export declare const IMPLEMENT_TASK_REPAIRABLE_STATUSES: readonly ["failed", "validation_failed", "push_failed", "pr_failed", "review_failed"];
+export type ImplementTaskRepairableStatus = (typeof IMPLEMENT_TASK_REPAIRABLE_STATUSES)[number];
+/**
+ * Tasks excluded from all orchestration modes.
+ */
+export declare const IMPLEMENT_TASK_EXCLUDED_STATUSES: readonly ["blocked", "cancelled", "archived", "superseded"];
+export type ImplementTaskExcludedStatus = (typeof IMPLEMENT_TASK_EXCLUDED_STATUSES)[number];
+/** Sprint I1: readiness payload additions (active patch histogram + batch gates). */
+export declare const ImplementReadinessV2Schema: z.ZodObject<{
+    projectId: z.ZodString;
+    ready: z.ZodBoolean;
+    blockers: z.ZodArray<z.ZodObject<{
+        code: z.ZodEnum<["NO_LINKED_REPO", "GITHUB_NOT_CONNECTED", "GITHUB_CONTENTS_WRITE_MISSING", "GITHUB_PR_WRITE_MISSING", "NO_READY_TASKS", "REPO_SCAN_MISSING", "GITHUB_PERMISSION_CHECK_FAILED", "PRODUCT_REALISATION_BLOCKED", "READINESS_DEGRADED", "UNKNOWN"]>;
+        severity: z.ZodEnum<["error", "warning"]>;
+        message: z.ZodString;
+        actionLabel: z.ZodOptional<z.ZodString>;
+        actionHref: z.ZodOptional<z.ZodString>;
+        realizationCheckCode: z.ZodOptional<z.ZodEnum<["PACKAGE_JSON_PRESENT", "NEXT_ROOT_PAGE_MISSING", "NEXT_SCAFFOLD_PRESENT", "API_HEALTH_ROUTE", "DOMAIN_API_ROUTE_MIN_1", "DOMAIN_UI_ROUTE_MIN_1", "DOMAIN_MODEL_OR_SCHEMA_MIN_1", "TEST_FILE_MIN_1", "TRACEABILITY_ROWS_MIN_1", "ORPHANED_PARENT_ROUTE", "LAYOUT_CSS_IMPORT", "ROUTE_MANIFEST_COVERAGE", "NAV_LINK_INTEGRITY", "ROOT_ROUTE_RUNTIME_BEHAVIOR", "API_ROUTE_HANDLER_PRESENT", "CSS_IMPORT_TARGET_EXISTS", "AUTH_PAGE_MINIMAL_FORM", "PACKAGE_DEPENDENCY_MISSING", "CSS_TOOLCHAIN_INCOMPLETE", "LOCKFILE_STALE_OR_MISSING", "PACKAGE_IMPORT_RESOLUTION", "POSTCSS_CONFIG_MISSING"]>>;
+        realizationReason: z.ZodOptional<z.ZodEnum<["missing_domain_file", "missing_api_route", "missing_ui_route", "missing_tests", "missing_traceability"]>>;
+        realizationEvidence: z.ZodOptional<z.ZodType<import("./workflow/product-realization.schema").ImplementRealisationEvidence, z.ZodTypeDef, import("./workflow/product-realization.schema").ImplementRealisationEvidence>>;
+    }, "strip", z.ZodTypeAny, {
+        code: "UNKNOWN" | "NO_LINKED_REPO" | "GITHUB_NOT_CONNECTED" | "GITHUB_CONTENTS_WRITE_MISSING" | "GITHUB_PR_WRITE_MISSING" | "NO_READY_TASKS" | "REPO_SCAN_MISSING" | "GITHUB_PERMISSION_CHECK_FAILED" | "PRODUCT_REALISATION_BLOCKED" | "READINESS_DEGRADED";
+        message: string;
+        severity: "warning" | "error";
+        actionLabel?: string | undefined;
+        actionHref?: string | undefined;
+        realizationCheckCode?: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE" | undefined;
+        realizationReason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        realizationEvidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+    }, {
+        code: "UNKNOWN" | "NO_LINKED_REPO" | "GITHUB_NOT_CONNECTED" | "GITHUB_CONTENTS_WRITE_MISSING" | "GITHUB_PR_WRITE_MISSING" | "NO_READY_TASKS" | "REPO_SCAN_MISSING" | "GITHUB_PERMISSION_CHECK_FAILED" | "PRODUCT_REALISATION_BLOCKED" | "READINESS_DEGRADED";
+        message: string;
+        severity: "warning" | "error";
+        actionLabel?: string | undefined;
+        actionHref?: string | undefined;
+        realizationCheckCode?: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE" | undefined;
+        realizationReason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        realizationEvidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+    }>, "many">;
+    repository: z.ZodOptional<z.ZodObject<{
+        id: z.ZodString;
+        owner: z.ZodString;
+        name: z.ZodString;
+        fullName: z.ZodString;
+        defaultBranch: z.ZodString;
+        url: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    }, {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    }>>;
+    permissions: z.ZodObject<{
+        contentsWrite: z.ZodBoolean;
+        pullRequestsWrite: z.ZodBoolean;
+        issuesWrite: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    }, {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    }>;
+    taskSummary: z.ZodObject<{
+        total: z.ZodNumber;
+        selectable: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        total: number;
+        selectable: number;
+    }, {
+        total: number;
+        selectable: number;
+    }>;
+    /** Patch the user should act on next (pushed > validated > draft > pr_created; excludes failed/rejected). */
+    activePatchSet: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        status: z.ZodEnum<["draft", "validated", "pushed", "pr_created", "failed"]>;
+        branchName: z.ZodOptional<z.ZodString>;
+        commitSha: z.ZodOptional<z.ZodString>;
+        pullRequestUrl: z.ZodOptional<z.ZodString>;
+        pullRequestNumber: z.ZodOptional<z.ZodNumber>;
+        selectedTaskIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        taskCohortId: z.ZodOptional<z.ZodString>;
+        fileCount: z.ZodOptional<z.ZodNumber>;
+        updatedAt: z.ZodOptional<z.ZodString>;
+        proofSource: z.ZodOptional<z.ZodEnum<["product_api", "manual_gh", "manual_sql", "imported", "unknown"]>>;
+        proofInvalidReason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    }, {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    }>>;
+    /** Most recently updated patch that reached pr_created (completed handoff); unrelated to active queue priority. */
+    latestCompletedPatchSet: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        status: z.ZodEnum<["draft", "validated", "pushed", "pr_created", "failed"]>;
+        branchName: z.ZodOptional<z.ZodString>;
+        commitSha: z.ZodOptional<z.ZodString>;
+        pullRequestUrl: z.ZodOptional<z.ZodString>;
+        pullRequestNumber: z.ZodOptional<z.ZodNumber>;
+        selectedTaskIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        taskCohortId: z.ZodOptional<z.ZodString>;
+        fileCount: z.ZodOptional<z.ZodNumber>;
+        updatedAt: z.ZodOptional<z.ZodString>;
+        proofSource: z.ZodOptional<z.ZodEnum<["product_api", "manual_gh", "manual_sql", "imported", "unknown"]>>;
+        proofInvalidReason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    }, {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    }>>;
+} & {
+    activePatchCounts: z.ZodObject<{
+        draft: z.ZodNumber;
+        validated: z.ZodNumber;
+        pushed: z.ZodNumber;
+        pr_created: z.ZodNumber;
+        failed: z.ZodNumber;
+        rejected: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        failed: number;
+        rejected: number;
+        draft: number;
+        validated: number;
+        pushed: number;
+        pr_created: number;
+    }, {
+        failed: number;
+        rejected: number;
+        draft: number;
+        validated: number;
+        pushed: number;
+        pr_created: number;
+    }>;
+    remainingTaskCount: z.ZodNumber;
+    inReviewTaskCount: z.ZodNumber;
+    readyForBatchGeneration: z.ZodBoolean;
+    /** R2: minimum product realisation on the active Implement patch (when evaluable). */
+    realisationGate: z.ZodOptional<z.ZodObject<{
+        ready: z.ZodBoolean;
+        blockers: z.ZodArray<z.ZodObject<{
+            code: z.ZodEnum<["PACKAGE_JSON_PRESENT", "NEXT_ROOT_PAGE_MISSING", "NEXT_SCAFFOLD_PRESENT", "API_HEALTH_ROUTE", "DOMAIN_API_ROUTE_MIN_1", "DOMAIN_UI_ROUTE_MIN_1", "DOMAIN_MODEL_OR_SCHEMA_MIN_1", "TEST_FILE_MIN_1", "TRACEABILITY_ROWS_MIN_1", "ORPHANED_PARENT_ROUTE", "LAYOUT_CSS_IMPORT", "ROUTE_MANIFEST_COVERAGE", "NAV_LINK_INTEGRITY", "ROOT_ROUTE_RUNTIME_BEHAVIOR", "API_ROUTE_HANDLER_PRESENT", "CSS_IMPORT_TARGET_EXISTS", "AUTH_PAGE_MINIMAL_FORM", "PACKAGE_DEPENDENCY_MISSING", "CSS_TOOLCHAIN_INCOMPLETE", "LOCKFILE_STALE_OR_MISSING", "PACKAGE_IMPORT_RESOLUTION", "POSTCSS_CONFIG_MISSING"]>;
+            message: z.ZodString;
+            reason: z.ZodOptional<z.ZodEnum<["missing_domain_file", "missing_api_route", "missing_ui_route", "missing_tests", "missing_traceability"]>>;
+            evidence: z.ZodOptional<z.ZodType<import("./workflow/product-realization.schema").ImplementRealisationEvidence, z.ZodTypeDef, import("./workflow/product-realization.schema").ImplementRealisationEvidence>>;
+        }, "strict", z.ZodTypeAny, {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }, {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        ready: boolean;
+        blockers: {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }[];
+    }, {
+        ready: boolean;
+        blockers: {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }[];
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    projectId: string;
+    ready: boolean;
+    blockers: {
+        code: "UNKNOWN" | "NO_LINKED_REPO" | "GITHUB_NOT_CONNECTED" | "GITHUB_CONTENTS_WRITE_MISSING" | "GITHUB_PR_WRITE_MISSING" | "NO_READY_TASKS" | "REPO_SCAN_MISSING" | "GITHUB_PERMISSION_CHECK_FAILED" | "PRODUCT_REALISATION_BLOCKED" | "READINESS_DEGRADED";
+        message: string;
+        severity: "warning" | "error";
+        actionLabel?: string | undefined;
+        actionHref?: string | undefined;
+        realizationCheckCode?: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE" | undefined;
+        realizationReason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        realizationEvidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+    }[];
+    permissions: {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    };
+    taskSummary: {
+        total: number;
+        selectable: number;
+    };
+    activePatchCounts: {
+        failed: number;
+        rejected: number;
+        draft: number;
+        validated: number;
+        pushed: number;
+        pr_created: number;
+    };
+    remainingTaskCount: number;
+    inReviewTaskCount: number;
+    readyForBatchGeneration: boolean;
+    repository?: {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    } | undefined;
+    activePatchSet?: {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    } | undefined;
+    latestCompletedPatchSet?: {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    } | undefined;
+    realisationGate?: {
+        ready: boolean;
+        blockers: {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }[];
+    } | undefined;
+}, {
+    projectId: string;
+    ready: boolean;
+    blockers: {
+        code: "UNKNOWN" | "NO_LINKED_REPO" | "GITHUB_NOT_CONNECTED" | "GITHUB_CONTENTS_WRITE_MISSING" | "GITHUB_PR_WRITE_MISSING" | "NO_READY_TASKS" | "REPO_SCAN_MISSING" | "GITHUB_PERMISSION_CHECK_FAILED" | "PRODUCT_REALISATION_BLOCKED" | "READINESS_DEGRADED";
+        message: string;
+        severity: "warning" | "error";
+        actionLabel?: string | undefined;
+        actionHref?: string | undefined;
+        realizationCheckCode?: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE" | undefined;
+        realizationReason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        realizationEvidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+    }[];
+    permissions: {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    };
+    taskSummary: {
+        total: number;
+        selectable: number;
+    };
+    activePatchCounts: {
+        failed: number;
+        rejected: number;
+        draft: number;
+        validated: number;
+        pushed: number;
+        pr_created: number;
+    };
+    remainingTaskCount: number;
+    inReviewTaskCount: number;
+    readyForBatchGeneration: boolean;
+    repository?: {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    } | undefined;
+    activePatchSet?: {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    } | undefined;
+    latestCompletedPatchSet?: {
+        status: "failed" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt?: string | undefined;
+        commitSha?: string | undefined;
+        branchName?: string | undefined;
+        pullRequestNumber?: number | undefined;
+        pullRequestUrl?: string | undefined;
+        selectedTaskIds?: string[] | undefined;
+        fileCount?: number | undefined;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+        taskCohortId?: string | undefined;
+    } | undefined;
+    realisationGate?: {
+        ready: boolean;
+        blockers: {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }[];
+    } | undefined;
+}>;
+export type ImplementReadinessV2 = z.infer<typeof ImplementReadinessV2Schema>;
+/** Fast counts-only Implement readiness (no GitHub). */
+export declare const ImplementReadinessLiteSchema: z.ZodObject<{
+    projectId: z.ZodString;
+    status: z.ZodEnum<["blocked", "ready", "running", "complete"]>;
+    taskCounts: z.ZodObject<{
+        total: z.ZodNumber;
+        selectable: z.ZodNumber;
+        remaining: z.ZodNumber;
+        inReview: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        total: number;
+        selectable: number;
+        remaining: number;
+        inReview: number;
+    }, {
+        total: number;
+        selectable: number;
+        remaining: number;
+        inReview: number;
+    }>;
+    patchCounts: z.ZodObject<{
+        draft: z.ZodNumber;
+        validated: z.ZodNumber;
+        pushed: z.ZodNumber;
+        pr_created: z.ZodNumber;
+        failed: z.ZodNumber;
+        rejected: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        failed: number;
+        rejected: number;
+        draft: number;
+        validated: number;
+        pushed: number;
+        pr_created: number;
+    }, {
+        failed: number;
+        rejected: number;
+        draft: number;
+        validated: number;
+        pushed: number;
+        pr_created: number;
+    }>;
+    hasBlockingPatch: z.ZodBoolean;
+    hasHonestPr: z.ZodBoolean;
+    knowledgeBlockedReason: z.ZodNullable<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "complete" | "running" | "blocked" | "ready";
+    projectId: string;
+    taskCounts: {
+        total: number;
+        selectable: number;
+        remaining: number;
+        inReview: number;
+    };
+    patchCounts: {
+        failed: number;
+        rejected: number;
+        draft: number;
+        validated: number;
+        pushed: number;
+        pr_created: number;
+    };
+    hasBlockingPatch: boolean;
+    hasHonestPr: boolean;
+    knowledgeBlockedReason: string | null;
+}, {
+    status: "complete" | "running" | "blocked" | "ready";
+    projectId: string;
+    taskCounts: {
+        total: number;
+        selectable: number;
+        remaining: number;
+        inReview: number;
+    };
+    patchCounts: {
+        failed: number;
+        rejected: number;
+        draft: number;
+        validated: number;
+        pushed: number;
+        pr_created: number;
+    };
+    hasBlockingPatch: boolean;
+    hasHonestPr: boolean;
+    knowledgeBlockedReason: string | null;
+}>;
+export type ImplementReadinessLite = z.infer<typeof ImplementReadinessLiteSchema>;
+/** Heavy Implement diagnostics (GitHub + realisation + first-batch plan). */
+export declare const ImplementDiagnosticsSchema: z.ZodObject<{
+    projectId: z.ZodString;
+    repository: z.ZodOptional<z.ZodObject<{
+        id: z.ZodString;
+        owner: z.ZodString;
+        name: z.ZodString;
+        fullName: z.ZodString;
+        defaultBranch: z.ZodString;
+        url: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    }, {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    }>>;
+    permissions: z.ZodObject<{
+        contentsWrite: z.ZodBoolean;
+        pullRequestsWrite: z.ZodBoolean;
+        issuesWrite: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    }, {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    }>;
+    branchSha: z.ZodString;
+    installationFound: z.ZodBoolean;
+    permissionCheckFailed: z.ZodBoolean;
+    realisationGate: z.ZodOptional<z.ZodObject<{
+        ready: z.ZodBoolean;
+        blockers: z.ZodArray<z.ZodObject<{
+            code: z.ZodEnum<["PACKAGE_JSON_PRESENT", "NEXT_ROOT_PAGE_MISSING", "NEXT_SCAFFOLD_PRESENT", "API_HEALTH_ROUTE", "DOMAIN_API_ROUTE_MIN_1", "DOMAIN_UI_ROUTE_MIN_1", "DOMAIN_MODEL_OR_SCHEMA_MIN_1", "TEST_FILE_MIN_1", "TRACEABILITY_ROWS_MIN_1", "ORPHANED_PARENT_ROUTE", "LAYOUT_CSS_IMPORT", "ROUTE_MANIFEST_COVERAGE", "NAV_LINK_INTEGRITY", "ROOT_ROUTE_RUNTIME_BEHAVIOR", "API_ROUTE_HANDLER_PRESENT", "CSS_IMPORT_TARGET_EXISTS", "AUTH_PAGE_MINIMAL_FORM", "PACKAGE_DEPENDENCY_MISSING", "CSS_TOOLCHAIN_INCOMPLETE", "LOCKFILE_STALE_OR_MISSING", "PACKAGE_IMPORT_RESOLUTION", "POSTCSS_CONFIG_MISSING"]>;
+            message: z.ZodString;
+            reason: z.ZodOptional<z.ZodEnum<["missing_domain_file", "missing_api_route", "missing_ui_route", "missing_tests", "missing_traceability"]>>;
+            evidence: z.ZodOptional<z.ZodType<import("./workflow/product-realization.schema").ImplementRealisationEvidence, z.ZodTypeDef, import("./workflow/product-realization.schema").ImplementRealisationEvidence>>;
+        }, "strict", z.ZodTypeAny, {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }, {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        ready: boolean;
+        blockers: {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }[];
+    }, {
+        ready: boolean;
+        blockers: {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }[];
+    }>>;
+    firstBatchPlan: z.ZodOptional<z.ZodObject<{
+        plan: z.ZodNullable<z.ZodObject<{
+            batchId: z.ZodString;
+            taskIds: z.ZodArray<z.ZodString, "many">;
+            githubIssues: z.ZodArray<z.ZodNumber, "many">;
+            engine: z.ZodLiteral<"openai_patch">;
+            targetFiles: z.ZodArray<z.ZodString, "many">;
+            expectedTests: z.ZodArray<z.ZodString, "many">;
+            risk: z.ZodEnum<["low", "medium", "high"]>;
+            whySafe: z.ZodString;
+            validationCommands: z.ZodArray<z.ZodString, "many">;
+            blockedEngines: z.ZodObject<{
+                cursor_cloud: z.ZodString;
+                codex: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                cursor_cloud: string;
+                codex: string;
+            }, {
+                cursor_cloud: string;
+                codex: string;
+            }>;
+        }, "strict", z.ZodTypeAny, {
+            batchId: string;
+            engine: "openai_patch";
+            taskIds: string[];
+            githubIssues: number[];
+            targetFiles: string[];
+            expectedTests: string[];
+            risk: "low" | "medium" | "high";
+            whySafe: string;
+            validationCommands: string[];
+            blockedEngines: {
+                cursor_cloud: string;
+                codex: string;
+            };
+        }, {
+            batchId: string;
+            engine: "openai_patch";
+            taskIds: string[];
+            githubIssues: number[];
+            targetFiles: string[];
+            expectedTests: string[];
+            risk: "low" | "medium" | "high";
+            whySafe: string;
+            validationCommands: string[];
+            blockedEngines: {
+                cursor_cloud: string;
+                codex: string;
+            };
+        }>>;
+        candidateCount: z.ZodNumber;
+        skippedHighBlastRadius: z.ZodNumber;
+        message: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        plan: {
+            batchId: string;
+            engine: "openai_patch";
+            taskIds: string[];
+            githubIssues: number[];
+            targetFiles: string[];
+            expectedTests: string[];
+            risk: "low" | "medium" | "high";
+            whySafe: string;
+            validationCommands: string[];
+            blockedEngines: {
+                cursor_cloud: string;
+                codex: string;
+            };
+        } | null;
+        message: string;
+        candidateCount: number;
+        skippedHighBlastRadius: number;
+    }, {
+        plan: {
+            batchId: string;
+            engine: "openai_patch";
+            taskIds: string[];
+            githubIssues: number[];
+            targetFiles: string[];
+            expectedTests: string[];
+            risk: "low" | "medium" | "high";
+            whySafe: string;
+            validationCommands: string[];
+            blockedEngines: {
+                cursor_cloud: string;
+                codex: string;
+            };
+        } | null;
+        message: string;
+        candidateCount: number;
+        skippedHighBlastRadius: number;
+    }>>;
+    degraded: z.ZodBoolean;
+    /** Fail-fast operator hints (e.g. missing @types that will Error Vercel in ~15s). */
+    operatorHints: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    projectId: string;
+    degraded: boolean;
+    permissions: {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    };
+    branchSha: string;
+    installationFound: boolean;
+    permissionCheckFailed: boolean;
+    repository?: {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    } | undefined;
+    realisationGate?: {
+        ready: boolean;
+        blockers: {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }[];
+    } | undefined;
+    firstBatchPlan?: {
+        plan: {
+            batchId: string;
+            engine: "openai_patch";
+            taskIds: string[];
+            githubIssues: number[];
+            targetFiles: string[];
+            expectedTests: string[];
+            risk: "low" | "medium" | "high";
+            whySafe: string;
+            validationCommands: string[];
+            blockedEngines: {
+                cursor_cloud: string;
+                codex: string;
+            };
+        } | null;
+        message: string;
+        candidateCount: number;
+        skippedHighBlastRadius: number;
+    } | undefined;
+    operatorHints?: string[] | undefined;
+}, {
+    projectId: string;
+    degraded: boolean;
+    permissions: {
+        contentsWrite: boolean;
+        pullRequestsWrite: boolean;
+        issuesWrite: boolean;
+    };
+    branchSha: string;
+    installationFound: boolean;
+    permissionCheckFailed: boolean;
+    repository?: {
+        id: string;
+        name: string;
+        fullName: string;
+        url: string;
+        defaultBranch: string;
+        owner: string;
+    } | undefined;
+    realisationGate?: {
+        ready: boolean;
+        blockers: {
+            code: "DOMAIN_MODEL_OR_SCHEMA_MIN_1" | "DOMAIN_API_ROUTE_MIN_1" | "DOMAIN_UI_ROUTE_MIN_1" | "TEST_FILE_MIN_1" | "TRACEABILITY_ROWS_MIN_1" | "ORPHANED_PARENT_ROUTE" | "LAYOUT_CSS_IMPORT" | "ROUTE_MANIFEST_COVERAGE" | "ROOT_ROUTE_RUNTIME_BEHAVIOR" | "API_ROUTE_HANDLER_PRESENT" | "CSS_IMPORT_TARGET_EXISTS" | "AUTH_PAGE_MINIMAL_FORM" | "PACKAGE_DEPENDENCY_MISSING" | "CSS_TOOLCHAIN_INCOMPLETE" | "LOCKFILE_STALE_OR_MISSING" | "PACKAGE_IMPORT_RESOLUTION" | "POSTCSS_CONFIG_MISSING" | "NEXT_ROOT_PAGE_MISSING" | "NAV_LINK_INTEGRITY" | "PACKAGE_JSON_PRESENT" | "NEXT_SCAFFOLD_PRESENT" | "API_HEALTH_ROUTE";
+            message: string;
+            evidence?: import("./workflow/product-realization.schema").ImplementRealisationEvidence | undefined;
+            reason?: "missing_domain_file" | "missing_api_route" | "missing_ui_route" | "missing_tests" | "missing_traceability" | undefined;
+        }[];
+    } | undefined;
+    firstBatchPlan?: {
+        plan: {
+            batchId: string;
+            engine: "openai_patch";
+            taskIds: string[];
+            githubIssues: number[];
+            targetFiles: string[];
+            expectedTests: string[];
+            risk: "low" | "medium" | "high";
+            whySafe: string;
+            validationCommands: string[];
+            blockedEngines: {
+                cursor_cloud: string;
+                codex: string;
+            };
+        } | null;
+        message: string;
+        candidateCount: number;
+        skippedHighBlastRadius: number;
+    } | undefined;
+    operatorHints?: string[] | undefined;
+}>;
+export type ImplementDiagnostics = z.infer<typeof ImplementDiagnosticsSchema>;
+export declare const GeneratedFilePatchSchema: z.ZodObject<{
+    path: z.ZodString;
+    content: z.ZodString;
+    operation: z.ZodEnum<["create", "update", "delete"]>;
+    reason: z.ZodString;
+    sourceTaskIds: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    path: string;
+    reason: string;
+    content: string;
+    operation: "create" | "delete" | "update";
+    sourceTaskIds: string[];
+}, {
+    path: string;
+    reason: string;
+    content: string;
+    operation: "create" | "delete" | "update";
+    sourceTaskIds: string[];
+}>;
+export type GeneratedFilePatch = z.infer<typeof GeneratedFilePatchSchema>;
+export declare const ImplementPatchTraceabilitySchema: z.ZodObject<{
+    taskId: z.ZodString;
+    filePaths: z.ZodArray<z.ZodString, "many">;
+    acceptanceCriteriaIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    taskId: string;
+    filePaths: string[];
+    acceptanceCriteriaIds?: string[] | undefined;
+}, {
+    taskId: string;
+    filePaths: string[];
+    acceptanceCriteriaIds?: string[] | undefined;
+}>;
+export type ImplementPatchTraceability = z.infer<typeof ImplementPatchTraceabilitySchema>;
+export declare const ImplementPatchPayloadSchema: z.ZodObject<{
+    projectId: z.ZodString;
+    workflowRunId: z.ZodOptional<z.ZodString>;
+    patchId: z.ZodString;
+    taskIds: z.ZodArray<z.ZodString, "many">;
+    taskCohortId: z.ZodOptional<z.ZodString>;
+    files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        content: z.ZodString;
+        operation: z.ZodEnum<["create", "update", "delete"]>;
+        reason: z.ZodString;
+        sourceTaskIds: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        reason: string;
+        content: string;
+        operation: "create" | "delete" | "update";
+        sourceTaskIds: string[];
+    }, {
+        path: string;
+        reason: string;
+        content: string;
+        operation: "create" | "delete" | "update";
+        sourceTaskIds: string[];
+    }>, "many">;
+    traceability: z.ZodArray<z.ZodObject<{
+        taskId: z.ZodString;
+        filePaths: z.ZodArray<z.ZodString, "many">;
+        acceptanceCriteriaIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        taskId: string;
+        filePaths: string[];
+        acceptanceCriteriaIds?: string[] | undefined;
+    }, {
+        taskId: string;
+        filePaths: string[];
+        acceptanceCriteriaIds?: string[] | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    projectId: string;
+    files: {
+        path: string;
+        reason: string;
+        content: string;
+        operation: "create" | "delete" | "update";
+        sourceTaskIds: string[];
+    }[];
+    taskIds: string[];
+    patchId: string;
+    traceability: {
+        taskId: string;
+        filePaths: string[];
+        acceptanceCriteriaIds?: string[] | undefined;
+    }[];
+    workflowRunId?: string | undefined;
+    taskCohortId?: string | undefined;
+}, {
+    projectId: string;
+    files: {
+        path: string;
+        reason: string;
+        content: string;
+        operation: "create" | "delete" | "update";
+        sourceTaskIds: string[];
+    }[];
+    taskIds: string[];
+    patchId: string;
+    traceability: {
+        taskId: string;
+        filePaths: string[];
+        acceptanceCriteriaIds?: string[] | undefined;
+    }[];
+    workflowRunId?: string | undefined;
+    taskCohortId?: string | undefined;
+}>;
+export type ImplementPatchPayload = z.infer<typeof ImplementPatchPayloadSchema>;
+export declare const ImplementationPatchSetSchema: z.ZodObject<{
+    patchSetId: z.ZodString;
+    files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        content: z.ZodString;
+        operation: z.ZodEnum<["create", "update", "delete"]>;
+        reason: z.ZodString;
+        sourceTaskIds: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        reason: string;
+        content: string;
+        operation: "create" | "delete" | "update";
+        sourceTaskIds: string[];
+    }, {
+        path: string;
+        reason: string;
+        content: string;
+        operation: "create" | "delete" | "update";
+        sourceTaskIds: string[];
+    }>, "many">;
+    guardianScore: z.ZodNullable<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    guardianScore: number | null;
+    files: {
+        path: string;
+        reason: string;
+        content: string;
+        operation: "create" | "delete" | "update";
+        sourceTaskIds: string[];
+    }[];
+    patchSetId: string;
+}, {
+    guardianScore: number | null;
+    files: {
+        path: string;
+        reason: string;
+        content: string;
+        operation: "create" | "delete" | "update";
+        sourceTaskIds: string[];
+    }[];
+    patchSetId: string;
+}>;
+export type ImplementationPatchSet = z.infer<typeof ImplementationPatchSetSchema>;
+export declare const ImplementGenerationModeSchema: z.ZodEnum<["initial", "iterate", "repair", "regenerate"]>;
+export type ImplementGenerationMode = z.infer<typeof ImplementGenerationModeSchema>;
+export declare const PatchRepairContextSchema: z.ZodObject<{
+    failedPatchId: z.ZodString;
+    validationFailures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+        filePath: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        code: string;
+        message: string;
+        filePath?: string | undefined;
+    }, {
+        code: string;
+        message: string;
+        filePath?: string | undefined;
+    }>, "many">>;
+    dependencyDiagnostics: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    failedPatchId: string;
+    validationFailures?: {
+        code: string;
+        message: string;
+        filePath?: string | undefined;
+    }[] | undefined;
+    dependencyDiagnostics?: string[] | undefined;
+}, {
+    failedPatchId: string;
+    validationFailures?: {
+        code: string;
+        message: string;
+        filePath?: string | undefined;
+    }[] | undefined;
+    dependencyDiagnostics?: string[] | undefined;
+}>;
+export type PatchRepairContext = z.infer<typeof PatchRepairContextSchema>;
+export declare const ImplementationGenerateRequestSchema: z.ZodObject<{
+    projectId: z.ZodString;
+    taskIds: z.ZodArray<z.ZodString, "many">;
+    orchestrationId: z.ZodOptional<z.ZodString>;
+    mode: z.ZodDefault<z.ZodEnum<["initial", "iterate", "repair", "regenerate"]>>;
+    repairContext: z.ZodOptional<z.ZodObject<{
+        failedPatchId: z.ZodString;
+        validationFailures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            code: z.ZodString;
+            message: z.ZodString;
+            filePath: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            code: string;
+            message: string;
+            filePath?: string | undefined;
+        }, {
+            code: string;
+            message: string;
+            filePath?: string | undefined;
+        }>, "many">>;
+        dependencyDiagnostics: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        failedPatchId: string;
+        validationFailures?: {
+            code: string;
+            message: string;
+            filePath?: string | undefined;
+        }[] | undefined;
+        dependencyDiagnostics?: string[] | undefined;
+    }, {
+        failedPatchId: string;
+        validationFailures?: {
+            code: string;
+            message: string;
+            filePath?: string | undefined;
+        }[] | undefined;
+        dependencyDiagnostics?: string[] | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    projectId: string;
+    mode: "initial" | "iterate" | "repair" | "regenerate";
+    taskIds: string[];
+    orchestrationId?: string | undefined;
+    repairContext?: {
+        failedPatchId: string;
+        validationFailures?: {
+            code: string;
+            message: string;
+            filePath?: string | undefined;
+        }[] | undefined;
+        dependencyDiagnostics?: string[] | undefined;
+    } | undefined;
+}, {
+    projectId: string;
+    taskIds: string[];
+    mode?: "initial" | "iterate" | "repair" | "regenerate" | undefined;
+    orchestrationId?: string | undefined;
+    repairContext?: {
+        failedPatchId: string;
+        validationFailures?: {
+            code: string;
+            message: string;
+            filePath?: string | undefined;
+        }[] | undefined;
+        dependencyDiagnostics?: string[] | undefined;
+    } | undefined;
+}>;
+export type ImplementationGenerateRequest = z.infer<typeof ImplementationGenerateRequestSchema>;
+export declare const ImplementationPushRequestSchema: z.ZodObject<{
+    branchName: z.ZodOptional<z.ZodString>;
+    /** When false (default), reuse/amend an open cohort PR branch instead of spawning a new one. */
+    forceNewPr: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    branchName?: string | undefined;
+    forceNewPr?: boolean | undefined;
+}, {
+    branchName?: string | undefined;
+    forceNewPr?: boolean | undefined;
+}>;
+export type ImplementationPushRequest = z.infer<typeof ImplementationPushRequestSchema>;
+export declare const ImplementationPushResponseSchema: z.ZodObject<{
+    patchSetId: z.ZodString;
+    branchName: z.ZodString;
+    commitSha: z.ZodString;
+    repoOwner: z.ZodString;
+    repoName: z.ZodString;
+    pullRequestUrl: z.ZodOptional<z.ZodString>;
+    pullRequestNumber: z.ZodOptional<z.ZodNumber>;
+    updatedTaskCount: z.ZodNumber;
+    selectedTaskIds: z.ZodArray<z.ZodString, "many">;
+    reconciliationError: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    commitSha: string;
+    branchName: string;
+    patchSetId: string;
+    selectedTaskIds: string[];
+    repoOwner: string;
+    repoName: string;
+    updatedTaskCount: number;
+    pullRequestNumber?: number | undefined;
+    pullRequestUrl?: string | undefined;
+    reconciliationError?: string | undefined;
+}, {
+    commitSha: string;
+    branchName: string;
+    patchSetId: string;
+    selectedTaskIds: string[];
+    repoOwner: string;
+    repoName: string;
+    updatedTaskCount: number;
+    pullRequestNumber?: number | undefined;
+    pullRequestUrl?: string | undefined;
+    reconciliationError?: string | undefined;
+}>;
+export type ImplementationPushResponse = z.infer<typeof ImplementationPushResponseSchema>;
+export declare const ImplementationPRCreateRequestSchema: z.ZodObject<{
+    title: z.ZodOptional<z.ZodString>;
+    /** Operator acknowledgment for domain-layer-only patches (min 10 chars). Does not unlock Deploy/Review. */
+    operatorOverrideReason: z.ZodOptional<z.ZodString>;
+    domainLayerOnly: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    title?: string | undefined;
+    operatorOverrideReason?: string | undefined;
+    domainLayerOnly?: boolean | undefined;
+}, {
+    title?: string | undefined;
+    operatorOverrideReason?: string | undefined;
+    domainLayerOnly?: boolean | undefined;
+}>;
+export type ImplementationPRCreateRequest = z.infer<typeof ImplementationPRCreateRequestSchema>;
+export declare const ImplementationPRCreateResponseSchema: z.ZodObject<{
+    status: z.ZodEnum<["created", "existing"]>;
+    pullRequestNumber: z.ZodNumber;
+    pullRequestUrl: z.ZodString;
+    branchName: z.ZodString;
+    patchSetId: z.ZodString;
+    updatedTaskCount: z.ZodNumber;
+    selectedTaskIds: z.ZodArray<z.ZodString, "many">;
+    idempotent: z.ZodBoolean;
+    /** True when an existing open cohort PR was amended instead of opening a new PR. */
+    repairMode: z.ZodOptional<z.ZodBoolean>;
+    supersession: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodEnum<["superseding_pr", "superseded_by_new_pr"]>;
+        supersedingPrNumber: z.ZodOptional<z.ZodNumber>;
+        supersededPrNumbers: z.ZodOptional<z.ZodArray<z.ZodNumber, "many">>;
+        supersedingPatchSetId: z.ZodOptional<z.ZodString>;
+        supersededPatchSetIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "superseding_pr" | "superseded_by_new_pr";
+        supersedingPrNumber?: number | undefined;
+        supersededPrNumbers?: number[] | undefined;
+        supersedingPatchSetId?: string | undefined;
+        supersededPatchSetIds?: string[] | undefined;
+    }, {
+        kind: "superseding_pr" | "superseded_by_new_pr";
+        supersedingPrNumber?: number | undefined;
+        supersededPrNumbers?: number[] | undefined;
+        supersedingPatchSetId?: string | undefined;
+        supersededPatchSetIds?: string[] | undefined;
+    }>>;
+    reconciliationError: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "created" | "existing";
+    branchName: string;
+    pullRequestNumber: number;
+    pullRequestUrl: string;
+    patchSetId: string;
+    selectedTaskIds: string[];
+    updatedTaskCount: number;
+    idempotent: boolean;
+    reconciliationError?: string | undefined;
+    repairMode?: boolean | undefined;
+    supersession?: {
+        kind: "superseding_pr" | "superseded_by_new_pr";
+        supersedingPrNumber?: number | undefined;
+        supersededPrNumbers?: number[] | undefined;
+        supersedingPatchSetId?: string | undefined;
+        supersededPatchSetIds?: string[] | undefined;
+    } | undefined;
+}, {
+    status: "created" | "existing";
+    branchName: string;
+    pullRequestNumber: number;
+    pullRequestUrl: string;
+    patchSetId: string;
+    selectedTaskIds: string[];
+    updatedTaskCount: number;
+    idempotent: boolean;
+    reconciliationError?: string | undefined;
+    repairMode?: boolean | undefined;
+    supersession?: {
+        kind: "superseding_pr" | "superseded_by_new_pr";
+        supersedingPrNumber?: number | undefined;
+        supersededPrNumbers?: number[] | undefined;
+        supersedingPatchSetId?: string | undefined;
+        supersededPatchSetIds?: string[] | undefined;
+    } | undefined;
+}>;
+export type ImplementationPRCreateResponse = z.infer<typeof ImplementationPRCreateResponseSchema>;
+export declare const PatchCheckResultSchema: z.ZodObject<{
+    code: z.ZodString;
+    status: z.ZodEnum<["pass", "fail", "warning"]>;
+    message: z.ZodString;
+    filePath: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    code: string;
+    message: string;
+    status: "warning" | "fail" | "pass";
+    filePath?: string | undefined;
+}, {
+    code: string;
+    message: string;
+    status: "warning" | "fail" | "pass";
+    filePath?: string | undefined;
+}>;
+export type PatchCheckResult = z.infer<typeof PatchCheckResultSchema>;
+export declare const ImplementationPatchValidateResponseSchema: z.ZodObject<{
+    patchSetId: z.ZodString;
+    status: z.ZodEnum<["validated", "failed"]>;
+    checks: z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        status: z.ZodEnum<["pass", "fail", "warning"]>;
+        message: z.ZodString;
+        filePath: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        code: string;
+        message: string;
+        status: "warning" | "fail" | "pass";
+        filePath?: string | undefined;
+    }, {
+        code: string;
+        message: string;
+        status: "warning" | "fail" | "pass";
+        filePath?: string | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    status: "failed" | "validated";
+    checks: {
+        code: string;
+        message: string;
+        status: "warning" | "fail" | "pass";
+        filePath?: string | undefined;
+    }[];
+    patchSetId: string;
+}, {
+    status: "failed" | "validated";
+    checks: {
+        code: string;
+        message: string;
+        status: "warning" | "fail" | "pass";
+        filePath?: string | undefined;
+    }[];
+    patchSetId: string;
+}>;
+export type ImplementationPatchValidateResponse = z.infer<typeof ImplementationPatchValidateResponseSchema>;
+export declare const ImplementProofErrorPhaseSchema: z.ZodEnum<["target_selection", "model_generation", "repair_generation", "post_generation_guard", "target_obedience", "validation", "push", "open_pr", "writeback", "readiness"]>;
+export type ImplementProofErrorPhase = z.infer<typeof ImplementProofErrorPhaseSchema>;
+export declare const ImplementProofErrorCodeSchema: z.ZodEnum<["NO_PACKET_GRADE_TASKS", "PLANNER_TIMEOUT", "GENERATOR_JSX_IN_TS", "PATCH_DID_NOT_TOUCH_EXPECTED_FILES", "PATCH_OUTSIDE_PACKET_SCOPE", "PATCH_STATIC_TYPECHECK_FAILED", "MODEL_TIMEOUT", "PATCH_WRITEBACK_FAILED", "PATCH_PUSH_FAILED", "OPEN_PR_FAILED", "TRACEABILITY_MISSING", "READINESS_TIMEOUT", "STALE_PATCH_BLOCKING", "TASK_POOL_DRAINED"]>;
+export type ImplementProofErrorCode = z.infer<typeof ImplementProofErrorCodeSchema>;
+export declare const ImplementTypedFailureSchema: z.ZodObject<{
+    code: z.ZodUnion<[z.ZodEnum<["NO_PACKET_GRADE_TASKS", "PLANNER_TIMEOUT", "GENERATOR_JSX_IN_TS", "PATCH_DID_NOT_TOUCH_EXPECTED_FILES", "PATCH_OUTSIDE_PACKET_SCOPE", "PATCH_STATIC_TYPECHECK_FAILED", "MODEL_TIMEOUT", "PATCH_WRITEBACK_FAILED", "PATCH_PUSH_FAILED", "OPEN_PR_FAILED", "TRACEABILITY_MISSING", "READINESS_TIMEOUT", "STALE_PATCH_BLOCKING", "TASK_POOL_DRAINED"]>, z.ZodString]>;
+    phase: z.ZodEnum<["target_selection", "model_generation", "repair_generation", "post_generation_guard", "target_obedience", "validation", "push", "open_pr", "writeback", "readiness"]>;
+    message: z.ZodString;
+    taskIds: z.ZodArray<z.ZodString, "many">;
+    targetFiles: z.ZodArray<z.ZodString, "many">;
+    generatedFiles: z.ZodArray<z.ZodString, "many">;
+    patchSetId: z.ZodNullable<z.ZodString>;
+    firstValidationError: z.ZodNullable<z.ZodString>;
+    details: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+}, "strip", z.ZodTypeAny, {
+    code: string;
+    message: string;
+    phase: "push" | "validation" | "readiness" | "target_selection" | "model_generation" | "repair_generation" | "post_generation_guard" | "target_obedience" | "open_pr" | "writeback";
+    details: Record<string, unknown>;
+    patchSetId: string | null;
+    taskIds: string[];
+    targetFiles: string[];
+    generatedFiles: string[];
+    firstValidationError: string | null;
+}, {
+    code: string;
+    message: string;
+    phase: "push" | "validation" | "readiness" | "target_selection" | "model_generation" | "repair_generation" | "post_generation_guard" | "target_obedience" | "open_pr" | "writeback";
+    details: Record<string, unknown>;
+    patchSetId: string | null;
+    taskIds: string[];
+    targetFiles: string[];
+    generatedFiles: string[];
+    firstValidationError: string | null;
+}>;
+export type ImplementTypedFailure = z.infer<typeof ImplementTypedFailureSchema>;
+export declare const RunSelectedProofRequestSchema: z.ZodObject<{
+    taskIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    engine: z.ZodDefault<z.ZodLiteral<"openai_patch">>;
+    mode: z.ZodDefault<z.ZodLiteral<"proof_1x1">>;
+    autoValidate: z.ZodDefault<z.ZodBoolean>;
+    autoPush: z.ZodDefault<z.ZodBoolean>;
+    autoOpenPr: z.ZodDefault<z.ZodBoolean>;
+    stopAfterFirstPr: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    mode: "proof_1x1";
+    engine: "openai_patch";
+    autoValidate: boolean;
+    autoPush: boolean;
+    autoOpenPr: boolean;
+    stopAfterFirstPr: boolean;
+    taskIds?: string[] | undefined;
+}, {
+    mode?: "proof_1x1" | undefined;
+    engine?: "openai_patch" | undefined;
+    taskIds?: string[] | undefined;
+    autoValidate?: boolean | undefined;
+    autoPush?: boolean | undefined;
+    autoOpenPr?: boolean | undefined;
+    stopAfterFirstPr?: boolean | undefined;
+}>;
+export type RunSelectedProofRequest = z.infer<typeof RunSelectedProofRequestSchema>;
+export declare const RunSelectedProofResponseSchema: z.ZodUnion<[z.ZodObject<{
+    success: z.ZodLiteral<true>;
+    data: z.ZodObject<{
+        patchId: z.ZodString;
+        branch: z.ZodString;
+        prNumber: z.ZodNumber;
+        prUrl: z.ZodString;
+        taskIds: z.ZodArray<z.ZodString, "many">;
+        targetFiles: z.ZodArray<z.ZodString, "many">;
+        generatedFiles: z.ZodArray<z.ZodString, "many">;
+        kgWritten: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        branch: string;
+        prNumber: number;
+        prUrl: string;
+        taskIds: string[];
+        targetFiles: string[];
+        patchId: string;
+        generatedFiles: string[];
+        kgWritten: boolean;
+    }, {
+        branch: string;
+        prNumber: number;
+        prUrl: string;
+        taskIds: string[];
+        targetFiles: string[];
+        patchId: string;
+        generatedFiles: string[];
+        kgWritten: boolean;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    success: true;
+    data: {
+        branch: string;
+        prNumber: number;
+        prUrl: string;
+        taskIds: string[];
+        targetFiles: string[];
+        patchId: string;
+        generatedFiles: string[];
+        kgWritten: boolean;
+    };
+}, {
+    success: true;
+    data: {
+        branch: string;
+        prNumber: number;
+        prUrl: string;
+        taskIds: string[];
+        targetFiles: string[];
+        patchId: string;
+        generatedFiles: string[];
+        kgWritten: boolean;
+    };
+}>, z.ZodObject<{
+    success: z.ZodLiteral<false>;
+    error: z.ZodObject<{
+        code: z.ZodUnion<[z.ZodEnum<["NO_PACKET_GRADE_TASKS", "PLANNER_TIMEOUT", "GENERATOR_JSX_IN_TS", "PATCH_DID_NOT_TOUCH_EXPECTED_FILES", "PATCH_OUTSIDE_PACKET_SCOPE", "PATCH_STATIC_TYPECHECK_FAILED", "MODEL_TIMEOUT", "PATCH_WRITEBACK_FAILED", "PATCH_PUSH_FAILED", "OPEN_PR_FAILED", "TRACEABILITY_MISSING", "READINESS_TIMEOUT", "STALE_PATCH_BLOCKING", "TASK_POOL_DRAINED"]>, z.ZodString]>;
+        phase: z.ZodEnum<["target_selection", "model_generation", "repair_generation", "post_generation_guard", "target_obedience", "validation", "push", "open_pr", "writeback", "readiness"]>;
+        message: z.ZodString;
+        taskIds: z.ZodArray<z.ZodString, "many">;
+        targetFiles: z.ZodArray<z.ZodString, "many">;
+        generatedFiles: z.ZodArray<z.ZodString, "many">;
+        patchSetId: z.ZodNullable<z.ZodString>;
+        firstValidationError: z.ZodNullable<z.ZodString>;
+        details: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    }, "strip", z.ZodTypeAny, {
+        code: string;
+        message: string;
+        phase: "push" | "validation" | "readiness" | "target_selection" | "model_generation" | "repair_generation" | "post_generation_guard" | "target_obedience" | "open_pr" | "writeback";
+        details: Record<string, unknown>;
+        patchSetId: string | null;
+        taskIds: string[];
+        targetFiles: string[];
+        generatedFiles: string[];
+        firstValidationError: string | null;
+    }, {
+        code: string;
+        message: string;
+        phase: "push" | "validation" | "readiness" | "target_selection" | "model_generation" | "repair_generation" | "post_generation_guard" | "target_obedience" | "open_pr" | "writeback";
+        details: Record<string, unknown>;
+        patchSetId: string | null;
+        taskIds: string[];
+        targetFiles: string[];
+        generatedFiles: string[];
+        firstValidationError: string | null;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    success: false;
+    error: {
+        code: string;
+        message: string;
+        phase: "push" | "validation" | "readiness" | "target_selection" | "model_generation" | "repair_generation" | "post_generation_guard" | "target_obedience" | "open_pr" | "writeback";
+        details: Record<string, unknown>;
+        patchSetId: string | null;
+        taskIds: string[];
+        targetFiles: string[];
+        generatedFiles: string[];
+        firstValidationError: string | null;
+    };
+}, {
+    success: false;
+    error: {
+        code: string;
+        message: string;
+        phase: "push" | "validation" | "readiness" | "target_selection" | "model_generation" | "repair_generation" | "post_generation_guard" | "target_obedience" | "open_pr" | "writeback";
+        details: Record<string, unknown>;
+        patchSetId: string | null;
+        taskIds: string[];
+        targetFiles: string[];
+        generatedFiles: string[];
+        firstValidationError: string | null;
+    };
+}>]>;
+export type RunSelectedProofResponse = z.infer<typeof RunSelectedProofResponseSchema>;
+export declare const RecoverStalePipelineReasonCodeSchema: z.ZodEnum<["GENERATOR_JSX_IN_TS", "PATCH_STATIC_TYPECHECK_FAILED", "PATCH_DID_NOT_TOUCH_EXPECTED_FILES", "STALE_DRAFT_RELEASED", "BYPASS_PR_REVOKED_AS_PROOF", "PIPELINE_STATE_REPAIRED"]>;
+export type RecoverStalePipelineReasonCode = z.infer<typeof RecoverStalePipelineReasonCodeSchema>;
+export declare const RecoverStalePipelineResponseSchema: z.ZodObject<{
+    success: z.ZodLiteral<true>;
+    data: z.ZodObject<{
+        quarantinedPatchIds: z.ZodArray<z.ZodString, "many">;
+        releasedTaskIds: z.ZodArray<z.ZodString, "many">;
+        revokedBypassPatchIds: z.ZodArray<z.ZodString, "many">;
+        reasonCodes: z.ZodArray<z.ZodEnum<["GENERATOR_JSX_IN_TS", "PATCH_STATIC_TYPECHECK_FAILED", "PATCH_DID_NOT_TOUCH_EXPECTED_FILES", "STALE_DRAFT_RELEASED", "BYPASS_PR_REVOKED_AS_PROOF", "PIPELINE_STATE_REPAIRED"]>, "many">;
+        activePatchSet: z.ZodNull;
+    }, "strip", z.ZodTypeAny, {
+        activePatchSet: null;
+        quarantinedPatchIds: string[];
+        releasedTaskIds: string[];
+        revokedBypassPatchIds: string[];
+        reasonCodes: ("GENERATOR_JSX_IN_TS" | "PATCH_DID_NOT_TOUCH_EXPECTED_FILES" | "PATCH_STATIC_TYPECHECK_FAILED" | "STALE_DRAFT_RELEASED" | "BYPASS_PR_REVOKED_AS_PROOF" | "PIPELINE_STATE_REPAIRED")[];
+    }, {
+        activePatchSet: null;
+        quarantinedPatchIds: string[];
+        releasedTaskIds: string[];
+        revokedBypassPatchIds: string[];
+        reasonCodes: ("GENERATOR_JSX_IN_TS" | "PATCH_DID_NOT_TOUCH_EXPECTED_FILES" | "PATCH_STATIC_TYPECHECK_FAILED" | "STALE_DRAFT_RELEASED" | "BYPASS_PR_REVOKED_AS_PROOF" | "PIPELINE_STATE_REPAIRED")[];
+    }>;
+}, "strip", z.ZodTypeAny, {
+    success: true;
+    data: {
+        activePatchSet: null;
+        quarantinedPatchIds: string[];
+        releasedTaskIds: string[];
+        revokedBypassPatchIds: string[];
+        reasonCodes: ("GENERATOR_JSX_IN_TS" | "PATCH_DID_NOT_TOUCH_EXPECTED_FILES" | "PATCH_STATIC_TYPECHECK_FAILED" | "STALE_DRAFT_RELEASED" | "BYPASS_PR_REVOKED_AS_PROOF" | "PIPELINE_STATE_REPAIRED")[];
+    };
+}, {
+    success: true;
+    data: {
+        activePatchSet: null;
+        quarantinedPatchIds: string[];
+        releasedTaskIds: string[];
+        revokedBypassPatchIds: string[];
+        reasonCodes: ("GENERATOR_JSX_IN_TS" | "PATCH_DID_NOT_TOUCH_EXPECTED_FILES" | "PATCH_STATIC_TYPECHECK_FAILED" | "STALE_DRAFT_RELEASED" | "BYPASS_PR_REVOKED_AS_PROOF" | "PIPELINE_STATE_REPAIRED")[];
+    };
+}>;
+export type RecoverStalePipelineResponse = z.infer<typeof RecoverStalePipelineResponseSchema>;
+/** POST …/patches/:patchSetId/proof-source — operator downgrade of invalid PR proof (#1249). */
+export declare const ImplementSetProofSourceRequestSchema: z.ZodObject<{
+    proofSource: z.ZodEnum<["product_api", "manual_gh", "manual_sql", "imported", "unknown"]>;
+    reason: z.ZodOptional<z.ZodString>;
+    operator: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    proofSource: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported";
+    operator?: string | undefined;
+    reason?: string | undefined;
+}, {
+    proofSource: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported";
+    operator?: string | undefined;
+    reason?: string | undefined;
+}>;
+export type ImplementSetProofSourceRequest = z.infer<typeof ImplementSetProofSourceRequestSchema>;
+export declare const ImplementSetProofSourceResponseSchema: z.ZodObject<{
+    patchSetId: z.ZodString;
+    status: z.ZodEnum<["draft", "validated", "pushed", "pr_created", "failed", "rejected", "quarantined"]>;
+    proofSource: z.ZodEnum<["product_api", "manual_gh", "manual_sql", "imported", "unknown"]>;
+    proofInvalidReason: z.ZodNullable<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created" | "quarantined";
+    patchSetId: string;
+    proofSource: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported";
+    proofInvalidReason: string | null;
+}, {
+    status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created" | "quarantined";
+    patchSetId: string;
+    proofSource: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported";
+    proofInvalidReason: string | null;
+}>;
+export type ImplementSetProofSourceResponse = z.infer<typeof ImplementSetProofSourceResponseSchema>;
+/** Service + orchestration: deterministic patch validation outcome. */
+export type ValidateImplementationPatchServiceResult = {
+    ok: true;
+    patchSetId: string;
+    status: 'validated' | 'failed';
+    checks: PatchCheckResult[];
+} | {
+    ok: false;
+    code: string;
+    message: string;
+    httpStatus: number;
+};
+export type PushImplementationPatchServiceResult = {
+    ok: true;
+    response: ImplementationPushResponse;
+} | {
+    ok: false;
+    code: string;
+    message: string;
+    httpStatus: number;
+};
+export type OpenImplementationPrServiceResult = {
+    ok: true;
+    response: ImplementationPRCreateResponse;
+} | {
+    ok: false;
+    code: string;
+    message: string;
+    httpStatus: number;
+    details?: Record<string, unknown>;
+};
+export declare const ImplementationBatchDeliveryModeSchema: z.ZodEnum<["draft_only", "auto_validate", "auto_pr"]>;
+export type ImplementationBatchDeliveryMode = z.infer<typeof ImplementationBatchDeliveryModeSchema>;
+export declare const ProcessImplementationBatchResultSchema: z.ZodObject<{
+    batchId: z.ZodString;
+    status: z.ZodEnum<["completed", "failed"]>;
+    patchSetId: z.ZodOptional<z.ZodString>;
+    fileCount: z.ZodOptional<z.ZodNumber>;
+    error: z.ZodOptional<z.ZodString>;
+    errorCode: z.ZodOptional<z.ZodString>;
+    branchName: z.ZodOptional<z.ZodString>;
+    commitSha: z.ZodOptional<z.ZodString>;
+    prNumber: z.ZodOptional<z.ZodNumber>;
+    prUrl: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "completed" | "failed";
+    batchId: string;
+    error?: string | undefined;
+    commitSha?: string | undefined;
+    prNumber?: number | undefined;
+    branchName?: string | undefined;
+    prUrl?: string | undefined;
+    errorCode?: string | undefined;
+    patchSetId?: string | undefined;
+    fileCount?: number | undefined;
+}, {
+    status: "completed" | "failed";
+    batchId: string;
+    error?: string | undefined;
+    commitSha?: string | undefined;
+    prNumber?: number | undefined;
+    branchName?: string | undefined;
+    prUrl?: string | undefined;
+    errorCode?: string | undefined;
+    patchSetId?: string | undefined;
+    fileCount?: number | undefined;
+}>;
+export type ProcessImplementationBatchResult = z.infer<typeof ProcessImplementationBatchResultSchema>;
+/** @deprecated Use ImplementPatchSetListItemSchema / detail status enums from implement-patch-detail (Sprint I1). */
+export declare const ImplementPatchHistoryStatusSchema: z.ZodEnum<["draft", "validated", "pushed", "pr_created", "failed", "rejected"]>;
+export type ImplementPatchHistoryStatus = z.infer<typeof ImplementPatchHistoryStatusSchema>;
+/** @deprecated Use ImplementPatchSetListItemSchema from implement-patch-detail (Sprint I1). */
+export declare const ImplementPatchHistoryItemSchema: z.ZodObject<{
+    artifactId: z.ZodString;
+    status: z.ZodEnum<["draft", "validated", "pushed", "pr_created", "failed", "rejected"]>;
+    branchName: z.ZodNullable<z.ZodString>;
+    commitSha: z.ZodNullable<z.ZodString>;
+    pullRequestUrl: z.ZodNullable<z.ZodString>;
+    pullRequestNumber: z.ZodNullable<z.ZodNumber>;
+    selectedTaskIds: z.ZodArray<z.ZodString, "many">;
+    fileCount: z.ZodNullable<z.ZodNumber>;
+    updatedAt: z.ZodString;
+    proofSource: z.ZodOptional<z.ZodEnum<["product_api", "manual_gh", "manual_sql", "imported", "unknown"]>>;
+    proofInvalidReason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+    artifactId: string;
+    updatedAt: string;
+    commitSha: string | null;
+    branchName: string | null;
+    pullRequestNumber: number | null;
+    pullRequestUrl: string | null;
+    selectedTaskIds: string[];
+    fileCount: number | null;
+    proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+    proofInvalidReason?: string | undefined;
+}, {
+    status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+    artifactId: string;
+    updatedAt: string;
+    commitSha: string | null;
+    branchName: string | null;
+    pullRequestNumber: number | null;
+    pullRequestUrl: string | null;
+    selectedTaskIds: string[];
+    fileCount: number | null;
+    proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+    proofInvalidReason?: string | undefined;
+}>;
+export type ImplementPatchHistoryItem = z.infer<typeof ImplementPatchHistoryItemSchema>;
+/** @deprecated Use ImplementPatchSetDetailPayloadSchema from implement-patch-detail (Sprint I1). */
+export declare const ImplementPatchDetailSchema: z.ZodObject<{
+    artifactId: z.ZodString;
+    status: z.ZodEnum<["draft", "validated", "pushed", "pr_created", "failed", "rejected"]>;
+    branchName: z.ZodNullable<z.ZodString>;
+    commitSha: z.ZodNullable<z.ZodString>;
+    pullRequestUrl: z.ZodNullable<z.ZodString>;
+    pullRequestNumber: z.ZodNullable<z.ZodNumber>;
+    selectedTaskIds: z.ZodArray<z.ZodString, "many">;
+    fileCount: z.ZodNullable<z.ZodNumber>;
+    updatedAt: z.ZodString;
+    proofSource: z.ZodOptional<z.ZodEnum<["product_api", "manual_gh", "manual_sql", "imported", "unknown"]>>;
+    proofInvalidReason: z.ZodOptional<z.ZodString>;
+} & {
+    validation: z.ZodNullable<z.ZodObject<{
+        ok: z.ZodBoolean;
+        errors: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        ok: boolean;
+        warnings?: string[] | undefined;
+        errors?: string[] | undefined;
+    }, {
+        ok: boolean;
+        warnings?: string[] | undefined;
+        errors?: string[] | undefined;
+    }>>;
+    taskStatuses: z.ZodArray<z.ZodObject<{
+        taskId: z.ZodString;
+        status: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: string;
+        taskId: string;
+    }, {
+        status: string;
+        taskId: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    validation: {
+        ok: boolean;
+        warnings?: string[] | undefined;
+        errors?: string[] | undefined;
+    } | null;
+    status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+    artifactId: string;
+    updatedAt: string;
+    commitSha: string | null;
+    branchName: string | null;
+    pullRequestNumber: number | null;
+    pullRequestUrl: string | null;
+    selectedTaskIds: string[];
+    fileCount: number | null;
+    taskStatuses: {
+        status: string;
+        taskId: string;
+    }[];
+    proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+    proofInvalidReason?: string | undefined;
+}, {
+    validation: {
+        ok: boolean;
+        warnings?: string[] | undefined;
+        errors?: string[] | undefined;
+    } | null;
+    status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+    artifactId: string;
+    updatedAt: string;
+    commitSha: string | null;
+    branchName: string | null;
+    pullRequestNumber: number | null;
+    pullRequestUrl: string | null;
+    selectedTaskIds: string[];
+    fileCount: number | null;
+    taskStatuses: {
+        status: string;
+        taskId: string;
+    }[];
+    proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+    proofInvalidReason?: string | undefined;
+}>;
+export type ImplementPatchDetail = z.infer<typeof ImplementPatchDetailSchema>;
+/** @deprecated Use ImplementPatchSetDetailPayloadSchema wrapped in ApiResponse via route handler (Sprint I1). */
+export declare const ImplementPatchDetailResponseSchema: z.ZodObject<{
+    patch: z.ZodObject<{
+        artifactId: z.ZodString;
+        status: z.ZodEnum<["draft", "validated", "pushed", "pr_created", "failed", "rejected"]>;
+        branchName: z.ZodNullable<z.ZodString>;
+        commitSha: z.ZodNullable<z.ZodString>;
+        pullRequestUrl: z.ZodNullable<z.ZodString>;
+        pullRequestNumber: z.ZodNullable<z.ZodNumber>;
+        selectedTaskIds: z.ZodArray<z.ZodString, "many">;
+        fileCount: z.ZodNullable<z.ZodNumber>;
+        updatedAt: z.ZodString;
+        proofSource: z.ZodOptional<z.ZodEnum<["product_api", "manual_gh", "manual_sql", "imported", "unknown"]>>;
+        proofInvalidReason: z.ZodOptional<z.ZodString>;
+    } & {
+        validation: z.ZodNullable<z.ZodObject<{
+            ok: z.ZodBoolean;
+            errors: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            ok: boolean;
+            warnings?: string[] | undefined;
+            errors?: string[] | undefined;
+        }, {
+            ok: boolean;
+            warnings?: string[] | undefined;
+            errors?: string[] | undefined;
+        }>>;
+        taskStatuses: z.ZodArray<z.ZodObject<{
+            taskId: z.ZodString;
+            status: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            status: string;
+            taskId: string;
+        }, {
+            status: string;
+            taskId: string;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        validation: {
+            ok: boolean;
+            warnings?: string[] | undefined;
+            errors?: string[] | undefined;
+        } | null;
+        status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt: string;
+        commitSha: string | null;
+        branchName: string | null;
+        pullRequestNumber: number | null;
+        pullRequestUrl: string | null;
+        selectedTaskIds: string[];
+        fileCount: number | null;
+        taskStatuses: {
+            status: string;
+            taskId: string;
+        }[];
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+    }, {
+        validation: {
+            ok: boolean;
+            warnings?: string[] | undefined;
+            errors?: string[] | undefined;
+        } | null;
+        status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt: string;
+        commitSha: string | null;
+        branchName: string | null;
+        pullRequestNumber: number | null;
+        pullRequestUrl: string | null;
+        selectedTaskIds: string[];
+        fileCount: number | null;
+        taskStatuses: {
+            status: string;
+            taskId: string;
+        }[];
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    patch: {
+        validation: {
+            ok: boolean;
+            warnings?: string[] | undefined;
+            errors?: string[] | undefined;
+        } | null;
+        status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt: string;
+        commitSha: string | null;
+        branchName: string | null;
+        pullRequestNumber: number | null;
+        pullRequestUrl: string | null;
+        selectedTaskIds: string[];
+        fileCount: number | null;
+        taskStatuses: {
+            status: string;
+            taskId: string;
+        }[];
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+    };
+}, {
+    patch: {
+        validation: {
+            ok: boolean;
+            warnings?: string[] | undefined;
+            errors?: string[] | undefined;
+        } | null;
+        status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt: string;
+        commitSha: string | null;
+        branchName: string | null;
+        pullRequestNumber: number | null;
+        pullRequestUrl: string | null;
+        selectedTaskIds: string[];
+        fileCount: number | null;
+        taskStatuses: {
+            status: string;
+            taskId: string;
+        }[];
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+    };
+}>;
+export type ImplementPatchDetailResponse = z.infer<typeof ImplementPatchDetailResponseSchema>;
+/** @deprecated Use ImplementPatchSetListResponseSchema from implement-patch-detail (Sprint I1). */
+export declare const ImplementPatchHistoryResponseSchema: z.ZodObject<{
+    patches: z.ZodArray<z.ZodObject<{
+        artifactId: z.ZodString;
+        status: z.ZodEnum<["draft", "validated", "pushed", "pr_created", "failed", "rejected"]>;
+        branchName: z.ZodNullable<z.ZodString>;
+        commitSha: z.ZodNullable<z.ZodString>;
+        pullRequestUrl: z.ZodNullable<z.ZodString>;
+        pullRequestNumber: z.ZodNullable<z.ZodNumber>;
+        selectedTaskIds: z.ZodArray<z.ZodString, "many">;
+        fileCount: z.ZodNullable<z.ZodNumber>;
+        updatedAt: z.ZodString;
+        proofSource: z.ZodOptional<z.ZodEnum<["product_api", "manual_gh", "manual_sql", "imported", "unknown"]>>;
+        proofInvalidReason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt: string;
+        commitSha: string | null;
+        branchName: string | null;
+        pullRequestNumber: number | null;
+        pullRequestUrl: string | null;
+        selectedTaskIds: string[];
+        fileCount: number | null;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+    }, {
+        status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt: string;
+        commitSha: string | null;
+        branchName: string | null;
+        pullRequestNumber: number | null;
+        pullRequestUrl: string | null;
+        selectedTaskIds: string[];
+        fileCount: number | null;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    patches: {
+        status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt: string;
+        commitSha: string | null;
+        branchName: string | null;
+        pullRequestNumber: number | null;
+        pullRequestUrl: string | null;
+        selectedTaskIds: string[];
+        fileCount: number | null;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+    }[];
+}, {
+    patches: {
+        status: "failed" | "rejected" | "draft" | "validated" | "pushed" | "pr_created";
+        artifactId: string;
+        updatedAt: string;
+        commitSha: string | null;
+        branchName: string | null;
+        pullRequestNumber: number | null;
+        pullRequestUrl: string | null;
+        selectedTaskIds: string[];
+        fileCount: number | null;
+        proofSource?: "unknown" | "product_api" | "manual_gh" | "manual_sql" | "imported" | undefined;
+        proofInvalidReason?: string | undefined;
+    }[];
+}>;
+export type ImplementPatchHistoryResponse = z.infer<typeof ImplementPatchHistoryResponseSchema>;
+export declare const ImplementOrchestrationScopeSchema: z.ZodEnum<["eligible", "selected", "failed", "domain"]>;
+export type ImplementOrchestrationScope = z.infer<typeof ImplementOrchestrationScopeSchema>;
+export declare const ImplementOrchestrationBatchStatusSchema: z.ZodEnum<["planned", "queued", "running", "completed", "failed", "skipped"]>;
+export type ImplementOrchestrationBatchStatus = z.infer<typeof ImplementOrchestrationBatchStatusSchema>;
+export declare const ImplementOrchestrationStatusEnumSchema: z.ZodEnum<["planned", "queued", "running", "completed", "failed", "partially_failed", "cancelled"]>;
+export type ImplementOrchestrationStatusEnum = z.infer<typeof ImplementOrchestrationStatusEnumSchema>;
+export declare const ImplementOrchestrationWarningSchema: z.ZodObject<{
+    code: z.ZodString;
+    message: z.ZodString;
+    severity: z.ZodEnum<["info", "warning", "error"]>;
+}, "strip", z.ZodTypeAny, {
+    code: string;
+    message: string;
+    severity: "info" | "warning" | "error";
+}, {
+    code: string;
+    message: string;
+    severity: "info" | "warning" | "error";
+}>;
+export type ImplementOrchestrationWarning = z.infer<typeof ImplementOrchestrationWarningSchema>;
+export declare const ImplementOrchestrationBatchSchema: z.ZodObject<{
+    batchId: z.ZodString;
+    domain: z.ZodString;
+    layer: z.ZodString;
+    taskIds: z.ZodArray<z.ZodString, "many">;
+    status: z.ZodEnum<["planned", "queued", "running", "completed", "failed", "skipped"]>;
+    dependsOnBatchIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    patchSetId: z.ZodOptional<z.ZodString>;
+    error: z.ZodOptional<z.ZodString>;
+    pullRequestUrl: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+    domain: string;
+    batchId: string;
+    layer: string;
+    taskIds: string[];
+    dependsOnBatchIds: string[];
+    error?: string | undefined;
+    pullRequestUrl?: string | undefined;
+    patchSetId?: string | undefined;
+}, {
+    status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+    domain: string;
+    batchId: string;
+    layer: string;
+    taskIds: string[];
+    error?: string | undefined;
+    pullRequestUrl?: string | undefined;
+    patchSetId?: string | undefined;
+    dependsOnBatchIds?: string[] | undefined;
+}>;
+export type ImplementOrchestrationBatch = z.infer<typeof ImplementOrchestrationBatchSchema>;
+export declare const ImplementOrchestrationRequestSchema: z.ZodObject<{
+    projectId: z.ZodString;
+    mode: z.ZodDefault<z.ZodEnum<["initial", "iterate", "repair", "regenerate"]>>;
+    scope: z.ZodDefault<z.ZodEnum<["eligible", "selected", "failed", "domain"]>>;
+    taskIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    domains: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    /** Default 3 matches openai_patch per-patch cap (was 8 while hard-capped to 1 — the "lie"). */
+    batchSize: z.ZodDefault<z.ZodNumber>;
+    concurrency: z.ZodDefault<z.ZodNumber>;
+    dryRun: z.ZodDefault<z.ZodBoolean>;
+    /** When true, skips open-PR / in-review guardrail on orchestration start. */
+    force: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    /** When true, allow a second open PR for the same task cohort (split/batch override). */
+    forceNewPr: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+}, "strip", z.ZodTypeAny, {
+    projectId: string;
+    dryRun: boolean;
+    mode: "initial" | "iterate" | "repair" | "regenerate";
+    scope: "failed" | "domain" | "eligible" | "selected";
+    forceNewPr: boolean;
+    batchSize: number;
+    concurrency: number;
+    force: boolean;
+    domains?: string[] | undefined;
+    taskIds?: string[] | undefined;
+}, {
+    projectId: string;
+    dryRun?: boolean | undefined;
+    mode?: "initial" | "iterate" | "repair" | "regenerate" | undefined;
+    scope?: "failed" | "domain" | "eligible" | "selected" | undefined;
+    domains?: string[] | undefined;
+    taskIds?: string[] | undefined;
+    forceNewPr?: boolean | undefined;
+    batchSize?: number | undefined;
+    concurrency?: number | undefined;
+    force?: boolean | undefined;
+}>;
+export type ImplementOrchestrationRequest = z.infer<typeof ImplementOrchestrationRequestSchema>;
+export declare const ImplementOrchestrationResponseSchema: z.ZodObject<{
+    orchestrationId: z.ZodString;
+    status: z.ZodEnum<["planned", "queued", "running", "completed", "failed", "partially_failed", "cancelled"]>;
+    mode: z.ZodEnum<["initial", "iterate", "repair", "regenerate"]>;
+    totalTasks: z.ZodNumber;
+    totalBatches: z.ZodNumber;
+    batches: z.ZodArray<z.ZodObject<{
+        batchId: z.ZodString;
+        domain: z.ZodString;
+        layer: z.ZodString;
+        taskIds: z.ZodArray<z.ZodString, "many">;
+        status: z.ZodEnum<["planned", "queued", "running", "completed", "failed", "skipped"]>;
+        dependsOnBatchIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        patchSetId: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+        pullRequestUrl: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        dependsOnBatchIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+    }, {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+        dependsOnBatchIds?: string[] | undefined;
+    }>, "many">;
+    warnings: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+        severity: z.ZodEnum<["info", "warning", "error"]>;
+    }, "strip", z.ZodTypeAny, {
+        code: string;
+        message: string;
+        severity: "info" | "warning" | "error";
+    }, {
+        code: string;
+        message: string;
+        severity: "info" | "warning" | "error";
+    }>, "many">>;
+}, "strip", z.ZodTypeAny, {
+    status: "running" | "completed" | "failed" | "queued" | "planned" | "cancelled" | "partially_failed";
+    warnings: {
+        code: string;
+        message: string;
+        severity: "info" | "warning" | "error";
+    }[];
+    mode: "initial" | "iterate" | "repair" | "regenerate";
+    orchestrationId: string;
+    totalTasks: number;
+    totalBatches: number;
+    batches: {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        dependsOnBatchIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+    }[];
+}, {
+    status: "running" | "completed" | "failed" | "queued" | "planned" | "cancelled" | "partially_failed";
+    mode: "initial" | "iterate" | "repair" | "regenerate";
+    orchestrationId: string;
+    totalTasks: number;
+    totalBatches: number;
+    batches: {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+        dependsOnBatchIds?: string[] | undefined;
+    }[];
+    warnings?: {
+        code: string;
+        message: string;
+        severity: "info" | "warning" | "error";
+    }[] | undefined;
+}>;
+export type ImplementOrchestrationResponse = z.infer<typeof ImplementOrchestrationResponseSchema>;
+export declare const ImplementOrchestrationFailureSchema: z.ZodObject<{
+    batchId: z.ZodString;
+    taskId: z.ZodOptional<z.ZodString>;
+    code: z.ZodString;
+    message: z.ZodString;
+    retryable: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    code: string;
+    message: string;
+    batchId: string;
+    retryable: boolean;
+    taskId?: string | undefined;
+}, {
+    code: string;
+    message: string;
+    batchId: string;
+    retryable: boolean;
+    taskId?: string | undefined;
+}>;
+export type ImplementOrchestrationFailure = z.infer<typeof ImplementOrchestrationFailureSchema>;
+export declare const ImplementOrchestrationStatusSchema: z.ZodObject<{
+    orchestrationId: z.ZodString;
+    status: z.ZodEnum<["planned", "queued", "running", "completed", "failed", "partially_failed", "cancelled"]>;
+    progress: z.ZodObject<{
+        completedTasks: z.ZodNumber;
+        failedTasks: z.ZodNumber;
+        totalTasks: z.ZodNumber;
+        completedBatches: z.ZodNumber;
+        failedBatches: z.ZodNumber;
+        totalBatches: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        totalTasks: number;
+        totalBatches: number;
+        completedTasks: number;
+        failedTasks: number;
+        completedBatches: number;
+        failedBatches: number;
+    }, {
+        totalTasks: number;
+        totalBatches: number;
+        completedTasks: number;
+        failedTasks: number;
+        completedBatches: number;
+        failedBatches: number;
+    }>;
+    currentBatches: z.ZodArray<z.ZodObject<{
+        batchId: z.ZodString;
+        domain: z.ZodString;
+        layer: z.ZodString;
+        taskIds: z.ZodArray<z.ZodString, "many">;
+        status: z.ZodEnum<["planned", "queued", "running", "completed", "failed", "skipped"]>;
+        dependsOnBatchIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        patchSetId: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+        pullRequestUrl: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        dependsOnBatchIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+    }, {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+        dependsOnBatchIds?: string[] | undefined;
+    }>, "many">;
+    failures: z.ZodArray<z.ZodObject<{
+        batchId: z.ZodString;
+        taskId: z.ZodOptional<z.ZodString>;
+        code: z.ZodString;
+        message: z.ZodString;
+        retryable: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        code: string;
+        message: string;
+        batchId: string;
+        retryable: boolean;
+        taskId?: string | undefined;
+    }, {
+        code: string;
+        message: string;
+        batchId: string;
+        retryable: boolean;
+        taskId?: string | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    status: "running" | "completed" | "failed" | "queued" | "planned" | "cancelled" | "partially_failed";
+    orchestrationId: string;
+    progress: {
+        totalTasks: number;
+        totalBatches: number;
+        completedTasks: number;
+        failedTasks: number;
+        completedBatches: number;
+        failedBatches: number;
+    };
+    currentBatches: {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        dependsOnBatchIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+    }[];
+    failures: {
+        code: string;
+        message: string;
+        batchId: string;
+        retryable: boolean;
+        taskId?: string | undefined;
+    }[];
+}, {
+    status: "running" | "completed" | "failed" | "queued" | "planned" | "cancelled" | "partially_failed";
+    orchestrationId: string;
+    progress: {
+        totalTasks: number;
+        totalBatches: number;
+        completedTasks: number;
+        failedTasks: number;
+        completedBatches: number;
+        failedBatches: number;
+    };
+    currentBatches: {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+        dependsOnBatchIds?: string[] | undefined;
+    }[];
+    failures: {
+        code: string;
+        message: string;
+        batchId: string;
+        retryable: boolean;
+        taskId?: string | undefined;
+    }[];
+}>;
+export type ImplementOrchestrationStatus = z.infer<typeof ImplementOrchestrationStatusSchema>;
+/** Governed one-button implement run (runId === orchestrationId). */
+export declare const ImplementRunStrategySchema: z.ZodEnum<["safe_parallel", "sequential", "repair_only", "selected"]>;
+export type ImplementRunStrategy = z.infer<typeof ImplementRunStrategySchema>;
+export declare const ImplementRunEnginePreferenceSchema: z.ZodEnum<["openai_patch", "cursor_cloud", "codex"]>;
+export type ImplementRunEnginePreference = z.infer<typeof ImplementRunEnginePreferenceSchema>;
+export declare const ImplementRunStartRequestSchema: z.ZodObject<{
+    strategy: z.ZodDefault<z.ZodEnum<["safe_parallel", "sequential", "repair_only", "selected"]>>;
+    maxParallelBatches: z.ZodDefault<z.ZodNumber>;
+    maxTasksPerBatch: z.ZodDefault<z.ZodNumber>;
+    maxRepairAttemptsPerPatch: z.ZodDefault<z.ZodNumber>;
+    enginePreference: z.ZodDefault<z.ZodArray<z.ZodEnum<["openai_patch", "cursor_cloud", "codex"]>, "many">>;
+    skipPreviouslyQuarantined: z.ZodDefault<z.ZodBoolean>;
+    stopAfterFirstPr: z.ZodDefault<z.ZodBoolean>;
+    /** Explicit task selection for strategy=selected or operator override. */
+    taskIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    stopAfterFirstPr: boolean;
+    strategy: "selected" | "safe_parallel" | "sequential" | "repair_only";
+    maxParallelBatches: number;
+    maxTasksPerBatch: number;
+    maxRepairAttemptsPerPatch: number;
+    enginePreference: ("cursor_cloud" | "openai_patch" | "codex")[];
+    skipPreviouslyQuarantined: boolean;
+    taskIds?: string[] | undefined;
+}, {
+    taskIds?: string[] | undefined;
+    stopAfterFirstPr?: boolean | undefined;
+    strategy?: "selected" | "safe_parallel" | "sequential" | "repair_only" | undefined;
+    maxParallelBatches?: number | undefined;
+    maxTasksPerBatch?: number | undefined;
+    maxRepairAttemptsPerPatch?: number | undefined;
+    enginePreference?: ("cursor_cloud" | "openai_patch" | "codex")[] | undefined;
+    skipPreviouslyQuarantined?: boolean | undefined;
+}>;
+export type ImplementRunStartRequest = z.infer<typeof ImplementRunStartRequestSchema>;
+export declare const ImplementRunGovernedConfigSchema: z.ZodObject<{
+    strategy: z.ZodEnum<["safe_parallel", "sequential", "repair_only", "selected"]>;
+    maxParallelBatches: z.ZodNumber;
+    maxTasksPerBatch: z.ZodNumber;
+    maxRepairAttemptsPerPatch: z.ZodNumber;
+    stopAfterFirstPr: z.ZodBoolean;
+    enginePreference: z.ZodArray<z.ZodEnum<["openai_patch", "cursor_cloud", "codex"]>, "many">;
+    skipPreviouslyQuarantined: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    stopAfterFirstPr: boolean;
+    strategy: "selected" | "safe_parallel" | "sequential" | "repair_only";
+    maxParallelBatches: number;
+    maxTasksPerBatch: number;
+    maxRepairAttemptsPerPatch: number;
+    enginePreference: ("cursor_cloud" | "openai_patch" | "codex")[];
+    skipPreviouslyQuarantined: boolean;
+}, {
+    stopAfterFirstPr: boolean;
+    strategy: "selected" | "safe_parallel" | "sequential" | "repair_only";
+    maxParallelBatches: number;
+    maxTasksPerBatch: number;
+    maxRepairAttemptsPerPatch: number;
+    enginePreference: ("cursor_cloud" | "openai_patch" | "codex")[];
+    skipPreviouslyQuarantined: boolean;
+}>;
+export type ImplementRunGovernedConfig = z.infer<typeof ImplementRunGovernedConfigSchema>;
+export declare const ImplementRunStartResponseSchema: z.ZodObject<{
+    runId: z.ZodString;
+    orchestrationId: z.ZodString;
+    status: z.ZodEnum<["planned", "queued", "running", "completed", "failed", "partially_failed", "cancelled"]>;
+    mode: z.ZodEnum<["initial", "iterate", "repair", "regenerate"]>;
+    totalTasks: z.ZodNumber;
+    totalBatches: z.ZodNumber;
+    batches: z.ZodArray<z.ZodObject<{
+        batchId: z.ZodString;
+        domain: z.ZodString;
+        layer: z.ZodString;
+        taskIds: z.ZodArray<z.ZodString, "many">;
+        status: z.ZodEnum<["planned", "queued", "running", "completed", "failed", "skipped"]>;
+        dependsOnBatchIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        patchSetId: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+        pullRequestUrl: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        dependsOnBatchIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+    }, {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+        dependsOnBatchIds?: string[] | undefined;
+    }>, "many">;
+    warnings: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+        severity: z.ZodEnum<["info", "warning", "error"]>;
+    }, "strip", z.ZodTypeAny, {
+        code: string;
+        message: string;
+        severity: "info" | "warning" | "error";
+    }, {
+        code: string;
+        message: string;
+        severity: "info" | "warning" | "error";
+    }>, "many">>;
+    governedConfig: z.ZodObject<{
+        strategy: z.ZodEnum<["safe_parallel", "sequential", "repair_only", "selected"]>;
+        maxParallelBatches: z.ZodNumber;
+        maxTasksPerBatch: z.ZodNumber;
+        maxRepairAttemptsPerPatch: z.ZodNumber;
+        stopAfterFirstPr: z.ZodBoolean;
+        enginePreference: z.ZodArray<z.ZodEnum<["openai_patch", "cursor_cloud", "codex"]>, "many">;
+        skipPreviouslyQuarantined: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        stopAfterFirstPr: boolean;
+        strategy: "selected" | "safe_parallel" | "sequential" | "repair_only";
+        maxParallelBatches: number;
+        maxTasksPerBatch: number;
+        maxRepairAttemptsPerPatch: number;
+        enginePreference: ("cursor_cloud" | "openai_patch" | "codex")[];
+        skipPreviouslyQuarantined: boolean;
+    }, {
+        stopAfterFirstPr: boolean;
+        strategy: "selected" | "safe_parallel" | "sequential" | "repair_only";
+        maxParallelBatches: number;
+        maxTasksPerBatch: number;
+        maxRepairAttemptsPerPatch: number;
+        enginePreference: ("cursor_cloud" | "openai_patch" | "codex")[];
+        skipPreviouslyQuarantined: boolean;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    status: "running" | "completed" | "failed" | "queued" | "planned" | "cancelled" | "partially_failed";
+    warnings: {
+        code: string;
+        message: string;
+        severity: "info" | "warning" | "error";
+    }[];
+    mode: "initial" | "iterate" | "repair" | "regenerate";
+    runId: string;
+    orchestrationId: string;
+    totalTasks: number;
+    totalBatches: number;
+    batches: {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        dependsOnBatchIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+    }[];
+    governedConfig: {
+        stopAfterFirstPr: boolean;
+        strategy: "selected" | "safe_parallel" | "sequential" | "repair_only";
+        maxParallelBatches: number;
+        maxTasksPerBatch: number;
+        maxRepairAttemptsPerPatch: number;
+        enginePreference: ("cursor_cloud" | "openai_patch" | "codex")[];
+        skipPreviouslyQuarantined: boolean;
+    };
+}, {
+    status: "running" | "completed" | "failed" | "queued" | "planned" | "cancelled" | "partially_failed";
+    mode: "initial" | "iterate" | "repair" | "regenerate";
+    runId: string;
+    orchestrationId: string;
+    totalTasks: number;
+    totalBatches: number;
+    batches: {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+        dependsOnBatchIds?: string[] | undefined;
+    }[];
+    governedConfig: {
+        stopAfterFirstPr: boolean;
+        strategy: "selected" | "safe_parallel" | "sequential" | "repair_only";
+        maxParallelBatches: number;
+        maxTasksPerBatch: number;
+        maxRepairAttemptsPerPatch: number;
+        enginePreference: ("cursor_cloud" | "openai_patch" | "codex")[];
+        skipPreviouslyQuarantined: boolean;
+    };
+    warnings?: {
+        code: string;
+        message: string;
+        severity: "info" | "warning" | "error";
+    }[] | undefined;
+}>;
+export type ImplementRunStartResponse = z.infer<typeof ImplementRunStartResponseSchema>;
+export declare const ImplementRunStatusSchema: z.ZodObject<{
+    orchestrationId: z.ZodString;
+    status: z.ZodEnum<["planned", "queued", "running", "completed", "failed", "partially_failed", "cancelled"]>;
+    progress: z.ZodObject<{
+        completedTasks: z.ZodNumber;
+        failedTasks: z.ZodNumber;
+        totalTasks: z.ZodNumber;
+        completedBatches: z.ZodNumber;
+        failedBatches: z.ZodNumber;
+        totalBatches: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        totalTasks: number;
+        totalBatches: number;
+        completedTasks: number;
+        failedTasks: number;
+        completedBatches: number;
+        failedBatches: number;
+    }, {
+        totalTasks: number;
+        totalBatches: number;
+        completedTasks: number;
+        failedTasks: number;
+        completedBatches: number;
+        failedBatches: number;
+    }>;
+    currentBatches: z.ZodArray<z.ZodObject<{
+        batchId: z.ZodString;
+        domain: z.ZodString;
+        layer: z.ZodString;
+        taskIds: z.ZodArray<z.ZodString, "many">;
+        status: z.ZodEnum<["planned", "queued", "running", "completed", "failed", "skipped"]>;
+        dependsOnBatchIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        patchSetId: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+        pullRequestUrl: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        dependsOnBatchIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+    }, {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+        dependsOnBatchIds?: string[] | undefined;
+    }>, "many">;
+    failures: z.ZodArray<z.ZodObject<{
+        batchId: z.ZodString;
+        taskId: z.ZodOptional<z.ZodString>;
+        code: z.ZodString;
+        message: z.ZodString;
+        retryable: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        code: string;
+        message: string;
+        batchId: string;
+        retryable: boolean;
+        taskId?: string | undefined;
+    }, {
+        code: string;
+        message: string;
+        batchId: string;
+        retryable: boolean;
+        taskId?: string | undefined;
+    }>, "many">;
+} & {
+    runId: z.ZodString;
+    projectId: z.ZodString;
+    paused: z.ZodBoolean;
+    createdPrCount: z.ZodNumber;
+    quarantinedBatchCount: z.ZodNumber;
+    governedConfig: z.ZodOptional<z.ZodObject<{
+        strategy: z.ZodEnum<["safe_parallel", "sequential", "repair_only", "selected"]>;
+        maxParallelBatches: z.ZodNumber;
+        maxTasksPerBatch: z.ZodNumber;
+        maxRepairAttemptsPerPatch: z.ZodNumber;
+        stopAfterFirstPr: z.ZodBoolean;
+        enginePreference: z.ZodArray<z.ZodEnum<["openai_patch", "cursor_cloud", "codex"]>, "many">;
+        skipPreviouslyQuarantined: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        stopAfterFirstPr: boolean;
+        strategy: "selected" | "safe_parallel" | "sequential" | "repair_only";
+        maxParallelBatches: number;
+        maxTasksPerBatch: number;
+        maxRepairAttemptsPerPatch: number;
+        enginePreference: ("cursor_cloud" | "openai_patch" | "codex")[];
+        skipPreviouslyQuarantined: boolean;
+    }, {
+        stopAfterFirstPr: boolean;
+        strategy: "selected" | "safe_parallel" | "sequential" | "repair_only";
+        maxParallelBatches: number;
+        maxTasksPerBatch: number;
+        maxRepairAttemptsPerPatch: number;
+        enginePreference: ("cursor_cloud" | "openai_patch" | "codex")[];
+        skipPreviouslyQuarantined: boolean;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    status: "running" | "completed" | "failed" | "queued" | "planned" | "cancelled" | "partially_failed";
+    projectId: string;
+    runId: string;
+    orchestrationId: string;
+    paused: boolean;
+    progress: {
+        totalTasks: number;
+        totalBatches: number;
+        completedTasks: number;
+        failedTasks: number;
+        completedBatches: number;
+        failedBatches: number;
+    };
+    currentBatches: {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        dependsOnBatchIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+    }[];
+    failures: {
+        code: string;
+        message: string;
+        batchId: string;
+        retryable: boolean;
+        taskId?: string | undefined;
+    }[];
+    createdPrCount: number;
+    quarantinedBatchCount: number;
+    governedConfig?: {
+        stopAfterFirstPr: boolean;
+        strategy: "selected" | "safe_parallel" | "sequential" | "repair_only";
+        maxParallelBatches: number;
+        maxTasksPerBatch: number;
+        maxRepairAttemptsPerPatch: number;
+        enginePreference: ("cursor_cloud" | "openai_patch" | "codex")[];
+        skipPreviouslyQuarantined: boolean;
+    } | undefined;
+}, {
+    status: "running" | "completed" | "failed" | "queued" | "planned" | "cancelled" | "partially_failed";
+    projectId: string;
+    runId: string;
+    orchestrationId: string;
+    paused: boolean;
+    progress: {
+        totalTasks: number;
+        totalBatches: number;
+        completedTasks: number;
+        failedTasks: number;
+        completedBatches: number;
+        failedBatches: number;
+    };
+    currentBatches: {
+        status: "running" | "completed" | "failed" | "queued" | "skipped" | "planned";
+        domain: string;
+        batchId: string;
+        layer: string;
+        taskIds: string[];
+        error?: string | undefined;
+        pullRequestUrl?: string | undefined;
+        patchSetId?: string | undefined;
+        dependsOnBatchIds?: string[] | undefined;
+    }[];
+    failures: {
+        code: string;
+        message: string;
+        batchId: string;
+        retryable: boolean;
+        taskId?: string | undefined;
+    }[];
+    createdPrCount: number;
+    quarantinedBatchCount: number;
+    governedConfig?: {
+        stopAfterFirstPr: boolean;
+        strategy: "selected" | "safe_parallel" | "sequential" | "repair_only";
+        maxParallelBatches: number;
+        maxTasksPerBatch: number;
+        maxRepairAttemptsPerPatch: number;
+        enginePreference: ("cursor_cloud" | "openai_patch" | "codex")[];
+        skipPreviouslyQuarantined: boolean;
+    } | undefined;
+}>;
+export type ImplementRunStatus = z.infer<typeof ImplementRunStatusSchema>;