@osolmaz/pi-workflows 0.12.1 → 0.13.1

package/dist/builtins/autoimplement.workflow.d.ts

@@ -1,14 +1,16 @@
 import type { WorkflowNodeContext } from "../workflows/types.js";
 import { type AutodocInput } from "./autodoc.workflow.js";
 import { type AutoimplementConcurrency } from "./autoimplement-command-batches.js";
+import { type ChangeVerificationInput, type VerificationCheck } from "./change-verification.workflow.js";
 import { type PlanApprovalPolicy } from "./plan-approval.workflow.js";
 import { type NormalizedPlanChangeInput } from "./plan-change.workflow.js";
+import { parsePreparedWorkspace, type PreparedWorkspace, type WorkspaceMode, type WorkspacePreparationInput } from "./workspace-preparation.workflow.js";
 export type AutoimplementInput = {
     task: string;
     plan?: unknown;
     scope?: string;
     constraints?: string[];
-    repository?: string;
+    repository: string;
     baseBranch?: string;
     merge?: boolean;
     documents?: string[];
@@ -19,6 +21,10 @@ export type AutoimplementInput = {
     };
     approval?: PlanApprovalPolicy;
     concurrency?: Partial<AutoimplementConcurrency>;
+    workspaceMode?: WorkspaceMode;
+    directDefaultBranchAuthorized?: boolean;
+    preparedWorkspace?: PreparedWorkspace;
+    verificationChecks?: VerificationCheck[];
 };
 export type ExistingPlanDiscovery = {
     route: "found" | "blocked";
@@ -82,6 +88,57 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
         readonly validate: (value: unknown) => AutoimplementBlocked;
     };
 }, {
+    readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+        readonly ready: {
+            readonly from: "ready";
+            readonly validate: typeof parsePreparedWorkspace;
+        };
+        readonly blocked: {
+            readonly from: "blocked";
+            readonly validate: (value: unknown) => {
+                route: "ready" | "propose" | "blocked";
+                selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                preparedWorkspace?: PreparedWorkspace;
+                repository: string;
+                baseBranch: string;
+                baseRevision?: string;
+                currentBranch?: string;
+                preExistingChangedPaths: string[];
+                reason: string;
+                evidence: string[];
+            };
+        };
+    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+        nodes: {
+            readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+            readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+            readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+            readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+            readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+        };
+        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+        exits?: {
+            readonly ready: {
+                readonly from: "ready";
+                readonly validate: typeof parsePreparedWorkspace;
+            };
+            readonly blocked: {
+                readonly from: "blocked";
+                readonly validate: (value: unknown) => {
+                    route: "ready" | "propose" | "blocked";
+                    selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                    preparedWorkspace?: PreparedWorkspace;
+                    repository: string;
+                    baseBranch: string;
+                    baseRevision?: string;
+                    currentBranch?: string;
+                    preExistingChangedPaths: string[];
+                    reason: string;
+                    evidence: string[];
+                };
+            };
+        };
+    }>;
     readonly documentation: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodocInput, {
         readonly ready: {
             readonly from: "finalize";
@@ -91,17 +148,191 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
             readonly from: "blocked";
             readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
         };
-    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+    }, {
+        readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+            readonly ready: {
+                readonly from: "ready";
+                readonly validate: typeof parsePreparedWorkspace;
+            };
+            readonly blocked: {
+                readonly from: "blocked";
+                readonly validate: (value: unknown) => {
+                    route: "ready" | "propose" | "blocked";
+                    selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                    preparedWorkspace?: PreparedWorkspace;
+                    repository: string;
+                    baseBranch: string;
+                    baseRevision?: string;
+                    currentBranch?: string;
+                    preExistingChangedPaths: string[];
+                    reason: string;
+                    evidence: string[];
+                };
+            };
+        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+            nodes: {
+                readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+            };
+            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+            exits?: {
+                readonly ready: {
+                    readonly from: "ready";
+                    readonly validate: typeof parsePreparedWorkspace;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => {
+                        route: "ready" | "propose" | "blocked";
+                        selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                        preparedWorkspace?: PreparedWorkspace;
+                        repository: string;
+                        baseBranch: string;
+                        baseRevision?: string;
+                        currentBranch?: string;
+                        preExistingChangedPaths: string[];
+                        reason: string;
+                        evidence: string[];
+                    };
+                };
+            };
+        }>;
+        readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+            readonly ready: {
+                readonly from: "ready";
+                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+            };
+            readonly blocked: {
+                readonly from: "blocked";
+                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+            };
+        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+            nodes: {
+                readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+            };
+            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+            exits?: {
+                readonly ready: {
+                    readonly from: "ready";
+                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                };
+            };
+        }>;
+    }> & {
         nodes: {
             readonly prepare: import("../workflows/types.js").ComputeNodeDefinition;
-            readonly locatePlan: import("../workflows/types.js").AgentNodeDefinition;
-            readonly inspectDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-            readonly updateDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-            readonly verifyDocumentation: import("../workflows/types.js").AgentNodeDefinition;
+            readonly locatePlan: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+            readonly workspaceGuard: import("../workflows/types.js").ComputeNodeDefinition;
+            readonly inspectDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+            readonly updateDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
             readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
             readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
         };
-        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+        includes?: {
+            readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+                readonly ready: {
+                    readonly from: "ready";
+                    readonly validate: typeof parsePreparedWorkspace;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => {
+                        route: "ready" | "propose" | "blocked";
+                        selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                        preparedWorkspace?: PreparedWorkspace;
+                        repository: string;
+                        baseBranch: string;
+                        baseRevision?: string;
+                        currentBranch?: string;
+                        preExistingChangedPaths: string[];
+                        reason: string;
+                        evidence: string[];
+                    };
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                nodes: {
+                    readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: typeof parsePreparedWorkspace;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => {
+                            route: "ready" | "propose" | "blocked";
+                            selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                            preparedWorkspace?: PreparedWorkspace;
+                            repository: string;
+                            baseBranch: string;
+                            baseRevision?: string;
+                            currentBranch?: string;
+                            preExistingChangedPaths: string[];
+                            reason: string;
+                            evidence: string[];
+                        };
+                    };
+                };
+            }>;
+            readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+                readonly ready: {
+                    readonly from: "ready";
+                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                nodes: {
+                    readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                };
+            }>;
+        };
         exits?: {
             readonly ready: {
                 readonly from: "finalize";
@@ -113,6 +344,41 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
             };
         };
     }>;
+    readonly localVerification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+        readonly ready: {
+            readonly from: "ready";
+            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+        };
+        readonly blocked: {
+            readonly from: "blocked";
+            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+        };
+    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+        nodes: {
+            readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+            readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+            readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+            readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+            readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+            readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+            readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+            readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+            readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+            readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+            readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+        };
+        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+        exits?: {
+            readonly ready: {
+                readonly from: "ready";
+                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+            };
+            readonly blocked: {
+                readonly from: "blocked";
+                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+            };
+        };
+    }>;
     readonly redesign: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<NormalizedPlanChangeInput, {
         readonly ready: {
             readonly from: "finalize";
@@ -132,17 +398,91 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                 readonly from: "blocked";
                 readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
             };
-        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+        }, {
+            readonly readySummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                readonly completed: {
+                    readonly from: "finish";
+                    readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                nodes: {
+                    readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                    readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly completed: {
+                        readonly from: "finish";
+                        readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                    };
+                };
+            }>;
+            readonly blockedSummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                readonly completed: {
+                    readonly from: "finish";
+                    readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                nodes: {
+                    readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                    readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly completed: {
+                        readonly from: "finish";
+                        readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                    };
+                };
+            }>;
+        }> & {
             nodes: {
-                readonly frame: import("../workflows/types.js").AgentNodeDefinition;
-                readonly propose: import("../workflows/types.js").AgentNodeDefinition;
-                readonly ideal: import("../workflows/types.js").AgentNodeDefinition;
-                readonly choose: import("../workflows/types.js").AgentNodeDefinition;
-                readonly plan: import("../workflows/types.js").AgentNodeDefinition;
+                readonly frame: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly ideal: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly choose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly plan: import("../workflows/types.js").SubmittedAgentNodeDefinition;
                 readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
                 readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
             };
-            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+            includes?: {
+                readonly readySummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                    readonly completed: {
+                        readonly from: "finish";
+                        readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                        readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    };
+                }>;
+                readonly blockedSummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                    readonly completed: {
+                        readonly from: "finish";
+                        readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                        readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    };
+                }>;
+            };
             exits?: {
                 readonly ready: {
                     readonly from: "finalize";
@@ -163,17 +503,191 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                 readonly from: "blocked";
                 readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
             };
-        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+        }, {
+            readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+                readonly ready: {
+                    readonly from: "ready";
+                    readonly validate: typeof parsePreparedWorkspace;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => {
+                        route: "ready" | "propose" | "blocked";
+                        selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                        preparedWorkspace?: PreparedWorkspace;
+                        repository: string;
+                        baseBranch: string;
+                        baseRevision?: string;
+                        currentBranch?: string;
+                        preExistingChangedPaths: string[];
+                        reason: string;
+                        evidence: string[];
+                    };
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                nodes: {
+                    readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: typeof parsePreparedWorkspace;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => {
+                            route: "ready" | "propose" | "blocked";
+                            selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                            preparedWorkspace?: PreparedWorkspace;
+                            repository: string;
+                            baseBranch: string;
+                            baseRevision?: string;
+                            currentBranch?: string;
+                            preExistingChangedPaths: string[];
+                            reason: string;
+                            evidence: string[];
+                        };
+                    };
+                };
+            }>;
+            readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+                readonly ready: {
+                    readonly from: "ready";
+                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                nodes: {
+                    readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                };
+            }>;
+        }> & {
             nodes: {
                 readonly prepare: import("../workflows/types.js").ComputeNodeDefinition;
-                readonly locatePlan: import("../workflows/types.js").AgentNodeDefinition;
-                readonly inspectDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-                readonly updateDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-                readonly verifyDocumentation: import("../workflows/types.js").AgentNodeDefinition;
+                readonly locatePlan: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly workspaceGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly inspectDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly updateDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
                 readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
                 readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
             };
-            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+            includes?: {
+                readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: typeof parsePreparedWorkspace;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => {
+                            route: "ready" | "propose" | "blocked";
+                            selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                            preparedWorkspace?: PreparedWorkspace;
+                            repository: string;
+                            baseBranch: string;
+                            baseRevision?: string;
+                            currentBranch?: string;
+                            preExistingChangedPaths: string[];
+                            reason: string;
+                            evidence: string[];
+                        };
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: typeof parsePreparedWorkspace;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => {
+                                route: "ready" | "propose" | "blocked";
+                                selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                preparedWorkspace?: PreparedWorkspace;
+                                repository: string;
+                                baseBranch: string;
+                                baseRevision?: string;
+                                currentBranch?: string;
+                                preExistingChangedPaths: string[];
+                                reason: string;
+                                evidence: string[];
+                            };
+                        };
+                    };
+                }>;
+                readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                    };
+                }>;
+            };
             exits?: {
                 readonly ready: {
                     readonly from: "finalize";
@@ -260,23 +774,97 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                     readonly from: "blocked";
                     readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
                 };
-            }, import("../workflows/types.js").WorkflowIncludeMap> & {
-                nodes: {
-                    readonly frame: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly propose: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly ideal: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly choose: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly plan: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
-                    readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
-                };
-                includes?: import("../workflows/types.js").WorkflowIncludeMap;
-                exits?: {
-                    readonly ready: {
-                        readonly from: "finalize";
-                        readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanReady;
+            }, {
+                readonly readySummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                    readonly completed: {
+                        readonly from: "finish";
+                        readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
                     };
-                    readonly blocked: {
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                        readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    };
+                }>;
+                readonly blockedSummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                    readonly completed: {
+                        readonly from: "finish";
+                        readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                        readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    };
+                }>;
+            }> & {
+                nodes: {
+                    readonly frame: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly ideal: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly choose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly plan: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: {
+                    readonly readySummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                            readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly completed: {
+                                readonly from: "finish";
+                                readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                            };
+                        };
+                    }>;
+                    readonly blockedSummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                            readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly completed: {
+                                readonly from: "finish";
+                                readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                            };
+                        };
+                    }>;
+                };
+                exits?: {
+                    readonly ready: {
+                        readonly from: "finalize";
+                        readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanReady;
+                    };
+                    readonly blocked: {
                         readonly from: "blocked";
                         readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
                     };
@@ -291,17 +879,191 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                     readonly from: "blocked";
                     readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
                 };
-            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+            }, {
+                readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: typeof parsePreparedWorkspace;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => {
+                            route: "ready" | "propose" | "blocked";
+                            selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                            preparedWorkspace?: PreparedWorkspace;
+                            repository: string;
+                            baseBranch: string;
+                            baseRevision?: string;
+                            currentBranch?: string;
+                            preExistingChangedPaths: string[];
+                            reason: string;
+                            evidence: string[];
+                        };
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: typeof parsePreparedWorkspace;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => {
+                                route: "ready" | "propose" | "blocked";
+                                selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                preparedWorkspace?: PreparedWorkspace;
+                                repository: string;
+                                baseBranch: string;
+                                baseRevision?: string;
+                                currentBranch?: string;
+                                preExistingChangedPaths: string[];
+                                reason: string;
+                                evidence: string[];
+                            };
+                        };
+                    };
+                }>;
+                readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                    };
+                }>;
+            }> & {
                 nodes: {
                     readonly prepare: import("../workflows/types.js").ComputeNodeDefinition;
-                    readonly locatePlan: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly inspectDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly updateDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly verifyDocumentation: import("../workflows/types.js").AgentNodeDefinition;
+                    readonly locatePlan: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly workspaceGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly inspectDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly updateDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
                     readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
                     readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
                 };
-                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                includes?: {
+                    readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: typeof parsePreparedWorkspace;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => {
+                                route: "ready" | "propose" | "blocked";
+                                selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                preparedWorkspace?: PreparedWorkspace;
+                                repository: string;
+                                baseBranch: string;
+                                baseRevision?: string;
+                                currentBranch?: string;
+                                preExistingChangedPaths: string[];
+                                reason: string;
+                                evidence: string[];
+                            };
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly ready: {
+                                readonly from: "ready";
+                                readonly validate: typeof parsePreparedWorkspace;
+                            };
+                            readonly blocked: {
+                                readonly from: "blocked";
+                                readonly validate: (value: unknown) => {
+                                    route: "ready" | "propose" | "blocked";
+                                    selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                    preparedWorkspace?: PreparedWorkspace;
+                                    repository: string;
+                                    baseBranch: string;
+                                    baseRevision?: string;
+                                    currentBranch?: string;
+                                    preExistingChangedPaths: string[];
+                                    reason: string;
+                                    evidence: string[];
+                                };
+                            };
+                        };
+                    }>;
+                    readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly ready: {
+                                readonly from: "ready";
+                                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                            };
+                            readonly blocked: {
+                                readonly from: "blocked";
+                                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                            };
+                        };
+                    }>;
+                };
                 exits?: {
                     readonly ready: {
                         readonly from: "finalize";
@@ -385,46 +1147,101 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
 }> & {
     nodes: {
         readonly prepare: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly findPlan: import("../workflows/types.js").AgentNodeDefinition;
+        readonly findPlan: import("../workflows/types.js").SubmittedAgentNodeDefinition;
         readonly routeFoundPlan: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly routeWorkspace: import("../workflows/types.js").ComputeNodeDefinition;
         readonly adoptPlan: import("../workflows/types.js").ComputeNodeDefinition;
         readonly timeoutFallbackGuard: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly timeoutFallback: import("../workflows/types.js").AgentNodeDefinition;
+        readonly timeoutFallback: import("../workflows/types.js").SubmittedAgentNodeDefinition;
         readonly routeTimeoutFallback: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly propagateSupportedFailure: import("../workflows/types.js").ComputeNodeDefinition;
         readonly routeVerifyP2Result: import("../workflows/types.js").ComputeNodeDefinition;
         readonly routeInspectCommentsResult: import("../workflows/types.js").ComputeNodeDefinition;
         readonly routeInspectCiResult: import("../workflows/types.js").ComputeNodeDefinition;
         readonly routeFinalizeDeliveryResult: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly implement: import("../workflows/types.js").AgentNodeDefinition;
-        readonly classifyImplementation: import("../workflows/types.js").AgentNodeDefinition;
+        readonly implement: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly classifyImplementation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly createBlockerClaim: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly routeBlockerClaim: import("../workflows/types.js").ComputeNodeDefinition;
         readonly challengeBlockerGuard: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly challengeBlocker: import("../workflows/types.js").AgentNodeDefinition;
-        readonly planVerification: import("../workflows/types.js").AgentNodeDefinition;
-        readonly runVerification: import("../workflows/types.js").FunctionActionNodeDefinition;
-        readonly verify: import("../workflows/types.js").AgentNodeDefinition;
-        readonly classifyVerification: import("../workflows/types.js").AgentNodeDefinition;
-        readonly fix: import("../workflows/types.js").AgentNodeDefinition;
-        readonly publish: import("../workflows/types.js").AgentNodeDefinition;
+        readonly challengeBlocker: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly routeChallenge: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly selectVerificationPath: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly planVerification: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly routeVerifiedWorkspace: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly routeFinalizeDefaultBranchResult: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly finalizeDefaultBranch: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly fix: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly publish: import("../workflows/types.js").SubmittedAgentNodeDefinition;
         readonly selectReviewCommands: import("../workflows/types.js").ComputeNodeDefinition;
         readonly runReview: import("../workflows/types.js").FunctionActionNodeDefinition;
-        readonly repairReviewCommand: import("../workflows/types.js").AgentNodeDefinition;
-        readonly assessReview: import("../workflows/types.js").AgentNodeDefinition;
+        readonly repairReviewCommand: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly assessReview: import("../workflows/types.js").SubmittedAgentNodeDefinition;
         readonly triageReview: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly addressP2: import("../workflows/types.js").AgentNodeDefinition;
-        readonly verifyP2: import("../workflows/types.js").AgentNodeDefinition;
-        readonly inspectComments: import("../workflows/types.js").AgentNodeDefinition;
-        readonly inspectCi: import("../workflows/types.js").AgentNodeDefinition;
+        readonly addressP2: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly verifyP2: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly inspectComments: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly inspectCi: import("../workflows/types.js").SubmittedAgentNodeDefinition;
         readonly trackCi: import("../workflows/types.js").FunctionActionNodeDefinition;
-        readonly repairCiCommand: import("../workflows/types.js").AgentNodeDefinition;
-        readonly assessTrackedCi: import("../workflows/types.js").AgentNodeDefinition;
-        readonly opportunisticTest: import("../workflows/types.js").AgentNodeDefinition;
-        readonly classifyCi: import("../workflows/types.js").AgentNodeDefinition;
-        readonly finalizeDelivery: import("../workflows/types.js").AgentNodeDefinition;
+        readonly repairCiCommand: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly assessTrackedCi: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly opportunisticTest: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly classifyCi: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly finalizeDelivery: import("../workflows/types.js").SubmittedAgentNodeDefinition;
         readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
         readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
     };
     includes?: {
+        readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+            readonly ready: {
+                readonly from: "ready";
+                readonly validate: typeof parsePreparedWorkspace;
+            };
+            readonly blocked: {
+                readonly from: "blocked";
+                readonly validate: (value: unknown) => {
+                    route: "ready" | "propose" | "blocked";
+                    selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                    preparedWorkspace?: PreparedWorkspace;
+                    repository: string;
+                    baseBranch: string;
+                    baseRevision?: string;
+                    currentBranch?: string;
+                    preExistingChangedPaths: string[];
+                    reason: string;
+                    evidence: string[];
+                };
+            };
+        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+            nodes: {
+                readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+            };
+            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+            exits?: {
+                readonly ready: {
+                    readonly from: "ready";
+                    readonly validate: typeof parsePreparedWorkspace;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => {
+                        route: "ready" | "propose" | "blocked";
+                        selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                        preparedWorkspace?: PreparedWorkspace;
+                        repository: string;
+                        baseBranch: string;
+                        baseRevision?: string;
+                        currentBranch?: string;
+                        preExistingChangedPaths: string[];
+                        reason: string;
+                        evidence: string[];
+                    };
+                };
+            };
+        }>;
         readonly documentation: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodocInput, {
             readonly ready: {
                 readonly from: "finalize";
@@ -434,17 +1251,191 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                 readonly from: "blocked";
                 readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
             };
-        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+        }, {
+            readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+                readonly ready: {
+                    readonly from: "ready";
+                    readonly validate: typeof parsePreparedWorkspace;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => {
+                        route: "ready" | "propose" | "blocked";
+                        selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                        preparedWorkspace?: PreparedWorkspace;
+                        repository: string;
+                        baseBranch: string;
+                        baseRevision?: string;
+                        currentBranch?: string;
+                        preExistingChangedPaths: string[];
+                        reason: string;
+                        evidence: string[];
+                    };
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                nodes: {
+                    readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: typeof parsePreparedWorkspace;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => {
+                            route: "ready" | "propose" | "blocked";
+                            selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                            preparedWorkspace?: PreparedWorkspace;
+                            repository: string;
+                            baseBranch: string;
+                            baseRevision?: string;
+                            currentBranch?: string;
+                            preExistingChangedPaths: string[];
+                            reason: string;
+                            evidence: string[];
+                        };
+                    };
+                };
+            }>;
+            readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+                readonly ready: {
+                    readonly from: "ready";
+                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                nodes: {
+                    readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                    readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                };
+            }>;
+        }> & {
             nodes: {
                 readonly prepare: import("../workflows/types.js").ComputeNodeDefinition;
-                readonly locatePlan: import("../workflows/types.js").AgentNodeDefinition;
-                readonly inspectDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-                readonly updateDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-                readonly verifyDocumentation: import("../workflows/types.js").AgentNodeDefinition;
+                readonly locatePlan: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly workspaceGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly inspectDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly updateDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
                 readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
                 readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
             };
-            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+            includes?: {
+                readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: typeof parsePreparedWorkspace;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => {
+                            route: "ready" | "propose" | "blocked";
+                            selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                            preparedWorkspace?: PreparedWorkspace;
+                            repository: string;
+                            baseBranch: string;
+                            baseRevision?: string;
+                            currentBranch?: string;
+                            preExistingChangedPaths: string[];
+                            reason: string;
+                            evidence: string[];
+                        };
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: typeof parsePreparedWorkspace;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => {
+                                route: "ready" | "propose" | "blocked";
+                                selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                preparedWorkspace?: PreparedWorkspace;
+                                repository: string;
+                                baseBranch: string;
+                                baseRevision?: string;
+                                currentBranch?: string;
+                                preExistingChangedPaths: string[];
+                                reason: string;
+                                evidence: string[];
+                            };
+                        };
+                    };
+                }>;
+                readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                    };
+                }>;
+            };
             exits?: {
                 readonly ready: {
                     readonly from: "finalize";
@@ -456,6 +1447,41 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                 };
             };
         }>;
+        readonly localVerification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+            readonly ready: {
+                readonly from: "ready";
+                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+            };
+            readonly blocked: {
+                readonly from: "blocked";
+                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+            };
+        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+            nodes: {
+                readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+            };
+            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+            exits?: {
+                readonly ready: {
+                    readonly from: "ready";
+                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                };
+            };
+        }>;
         readonly redesign: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<NormalizedPlanChangeInput, {
             readonly ready: {
                 readonly from: "finalize";
@@ -475,17 +1501,91 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                     readonly from: "blocked";
                     readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
                 };
-            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+            }, {
+                readonly readySummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                    readonly completed: {
+                        readonly from: "finish";
+                        readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                        readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    };
+                }>;
+                readonly blockedSummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                    readonly completed: {
+                        readonly from: "finish";
+                        readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                        readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    };
+                }>;
+            }> & {
                 nodes: {
-                    readonly frame: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly propose: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly ideal: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly choose: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly plan: import("../workflows/types.js").AgentNodeDefinition;
+                    readonly frame: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly ideal: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly choose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly plan: import("../workflows/types.js").SubmittedAgentNodeDefinition;
                     readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
                     readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
                 };
-                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                includes?: {
+                    readonly readySummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                            readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly completed: {
+                                readonly from: "finish";
+                                readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                            };
+                        };
+                    }>;
+                    readonly blockedSummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                            readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly completed: {
+                                readonly from: "finish";
+                                readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                            };
+                        };
+                    }>;
+                };
                 exits?: {
                     readonly ready: {
                         readonly from: "finalize";
@@ -506,17 +1606,191 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                     readonly from: "blocked";
                     readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
                 };
-            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+            }, {
+                readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: typeof parsePreparedWorkspace;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => {
+                            route: "ready" | "propose" | "blocked";
+                            selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                            preparedWorkspace?: PreparedWorkspace;
+                            repository: string;
+                            baseBranch: string;
+                            baseRevision?: string;
+                            currentBranch?: string;
+                            preExistingChangedPaths: string[];
+                            reason: string;
+                            evidence: string[];
+                        };
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: typeof parsePreparedWorkspace;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => {
+                                route: "ready" | "propose" | "blocked";
+                                selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                preparedWorkspace?: PreparedWorkspace;
+                                repository: string;
+                                baseBranch: string;
+                                baseRevision?: string;
+                                currentBranch?: string;
+                                preExistingChangedPaths: string[];
+                                reason: string;
+                                evidence: string[];
+                            };
+                        };
+                    };
+                }>;
+                readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+                    readonly ready: {
+                        readonly from: "ready";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                        readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                    };
+                }>;
+            }> & {
                 nodes: {
                     readonly prepare: import("../workflows/types.js").ComputeNodeDefinition;
-                    readonly locatePlan: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly inspectDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly updateDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-                    readonly verifyDocumentation: import("../workflows/types.js").AgentNodeDefinition;
+                    readonly locatePlan: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly workspaceGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly inspectDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                    readonly updateDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
                     readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
                     readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
                 };
-                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                includes?: {
+                    readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: typeof parsePreparedWorkspace;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => {
+                                route: "ready" | "propose" | "blocked";
+                                selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                preparedWorkspace?: PreparedWorkspace;
+                                repository: string;
+                                baseBranch: string;
+                                baseRevision?: string;
+                                currentBranch?: string;
+                                preExistingChangedPaths: string[];
+                                reason: string;
+                                evidence: string[];
+                            };
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly ready: {
+                                readonly from: "ready";
+                                readonly validate: typeof parsePreparedWorkspace;
+                            };
+                            readonly blocked: {
+                                readonly from: "blocked";
+                                readonly validate: (value: unknown) => {
+                                    route: "ready" | "propose" | "blocked";
+                                    selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                    preparedWorkspace?: PreparedWorkspace;
+                                    repository: string;
+                                    baseBranch: string;
+                                    baseRevision?: string;
+                                    currentBranch?: string;
+                                    preExistingChangedPaths: string[];
+                                    reason: string;
+                                    evidence: string[];
+                                };
+                            };
+                        };
+                    }>;
+                    readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly ready: {
+                                readonly from: "ready";
+                                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                            };
+                            readonly blocked: {
+                                readonly from: "blocked";
+                                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                            };
+                        };
+                    }>;
+                };
                 exits?: {
                     readonly ready: {
                         readonly from: "finalize";
@@ -603,17 +1877,91 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                         readonly from: "blocked";
                         readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
                     };
-                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                }, {
+                    readonly readySummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                            readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly completed: {
+                                readonly from: "finish";
+                                readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                            };
+                        };
+                    }>;
+                    readonly blockedSummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                        readonly completed: {
+                            readonly from: "finish";
+                            readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                            readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly completed: {
+                                readonly from: "finish";
+                                readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                            };
+                        };
+                    }>;
+                }> & {
                     nodes: {
-                        readonly frame: import("../workflows/types.js").AgentNodeDefinition;
-                        readonly propose: import("../workflows/types.js").AgentNodeDefinition;
-                        readonly ideal: import("../workflows/types.js").AgentNodeDefinition;
-                        readonly choose: import("../workflows/types.js").AgentNodeDefinition;
-                        readonly plan: import("../workflows/types.js").AgentNodeDefinition;
+                        readonly frame: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly ideal: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly choose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly plan: import("../workflows/types.js").SubmittedAgentNodeDefinition;
                         readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
                         readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
                     };
-                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    includes?: {
+                        readonly readySummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                            readonly completed: {
+                                readonly from: "finish";
+                                readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                            };
+                        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                            nodes: {
+                                readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                                readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                            };
+                            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                            exits?: {
+                                readonly completed: {
+                                    readonly from: "finish";
+                                    readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                                };
+                            };
+                        }>;
+                        readonly blockedSummary: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plain-summary.workflow.js").PlainSummaryInput, {
+                            readonly completed: {
+                                readonly from: "finish";
+                                readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                            };
+                        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                            nodes: {
+                                readonly summarize: import("../workflows/types.js").AssistantAgentNodeDefinition;
+                                readonly finish: import("../workflows/types.js").ComputeNodeDefinition;
+                            };
+                            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                            exits?: {
+                                readonly completed: {
+                                    readonly from: "finish";
+                                    readonly validate: (value: unknown) => import("./plain-summary.workflow.js").PlainSummaryResult;
+                                };
+                            };
+                        }>;
+                    };
                     exits?: {
                         readonly ready: {
                             readonly from: "finalize";
@@ -634,17 +1982,191 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                         readonly from: "blocked";
                         readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
                     };
-                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                }, {
+                    readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: typeof parsePreparedWorkspace;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => {
+                                route: "ready" | "propose" | "blocked";
+                                selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                preparedWorkspace?: PreparedWorkspace;
+                                repository: string;
+                                baseBranch: string;
+                                baseRevision?: string;
+                                currentBranch?: string;
+                                preExistingChangedPaths: string[];
+                                reason: string;
+                                evidence: string[];
+                            };
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly ready: {
+                                readonly from: "ready";
+                                readonly validate: typeof parsePreparedWorkspace;
+                            };
+                            readonly blocked: {
+                                readonly from: "blocked";
+                                readonly validate: (value: unknown) => {
+                                    route: "ready" | "propose" | "blocked";
+                                    selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                    preparedWorkspace?: PreparedWorkspace;
+                                    repository: string;
+                                    baseBranch: string;
+                                    baseRevision?: string;
+                                    currentBranch?: string;
+                                    preExistingChangedPaths: string[];
+                                    reason: string;
+                                    evidence: string[];
+                                };
+                            };
+                        };
+                    }>;
+                    readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+                        readonly ready: {
+                            readonly from: "ready";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                        };
+                    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                        nodes: {
+                            readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                            readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                            readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                            readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                        };
+                        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                        exits?: {
+                            readonly ready: {
+                                readonly from: "ready";
+                                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                            };
+                            readonly blocked: {
+                                readonly from: "blocked";
+                                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                            };
+                        };
+                    }>;
+                }> & {
                     nodes: {
                         readonly prepare: import("../workflows/types.js").ComputeNodeDefinition;
-                        readonly locatePlan: import("../workflows/types.js").AgentNodeDefinition;
-                        readonly inspectDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-                        readonly updateDocumentation: import("../workflows/types.js").AgentNodeDefinition;
-                        readonly verifyDocumentation: import("../workflows/types.js").AgentNodeDefinition;
+                        readonly locatePlan: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly workspaceGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly inspectDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                        readonly updateDocumentation: import("../workflows/types.js").SubmittedAgentNodeDefinition;
                         readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
                         readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
                     };
-                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    includes?: {
+                        readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
+                            readonly ready: {
+                                readonly from: "ready";
+                                readonly validate: typeof parsePreparedWorkspace;
+                            };
+                            readonly blocked: {
+                                readonly from: "blocked";
+                                readonly validate: (value: unknown) => {
+                                    route: "ready" | "propose" | "blocked";
+                                    selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                    preparedWorkspace?: PreparedWorkspace;
+                                    repository: string;
+                                    baseBranch: string;
+                                    baseRevision?: string;
+                                    currentBranch?: string;
+                                    preExistingChangedPaths: string[];
+                                    reason: string;
+                                    evidence: string[];
+                                };
+                            };
+                        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                            nodes: {
+                                readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
+                                readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                                readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
+                                readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                                readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                            };
+                            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                            exits?: {
+                                readonly ready: {
+                                    readonly from: "ready";
+                                    readonly validate: typeof parsePreparedWorkspace;
+                                };
+                                readonly blocked: {
+                                    readonly from: "blocked";
+                                    readonly validate: (value: unknown) => {
+                                        route: "ready" | "propose" | "blocked";
+                                        selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
+                                        preparedWorkspace?: PreparedWorkspace;
+                                        repository: string;
+                                        baseBranch: string;
+                                        baseRevision?: string;
+                                        currentBranch?: string;
+                                        preExistingChangedPaths: string[];
+                                        reason: string;
+                                        evidence: string[];
+                                    };
+                                };
+                            };
+                        }>;
+                        readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+                            readonly ready: {
+                                readonly from: "ready";
+                                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                            };
+                            readonly blocked: {
+                                readonly from: "blocked";
+                                readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                            };
+                        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                            nodes: {
+                                readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+                                readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                                readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+                                readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+                                readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+                                readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                                readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+                                readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                                readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+                                readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+                                readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                            };
+                            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                            exits?: {
+                                readonly ready: {
+                                    readonly from: "ready";
+                                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                                };
+                                readonly blocked: {
+                                    readonly from: "blocked";
+                                    readonly validate: (value: unknown) => import("./change-verification.workflow.js").ChangeVerificationResult;
+                                };
+                            };
+                        }>;
+                    };
                     exits?: {
                         readonly ready: {
                             readonly from: "finalize";