@osolmaz/pi-workflows 0.12.1 → 0.13.1

package/dist/builtins/plan-change.workflow.d.ts

@@ -1,7 +1,9 @@
 import type { WorkflowNodeContext } from "../workflows/types.js";
 import { type AutodocInput, type DocumentedPlan } from "./autodoc.workflow.js";
 import { type AutoplanInput, type AutoplanReady } from "./autoplan.workflow.js";
+import type { VerificationCheck } from "./change-verification.workflow.js";
 import { type PlanApprovalContinue, type NormalizedPlanApprovalInput, type PlanApprovalPolicy, type PlanApprovalResolution, type ResolvedPlanApprovalPolicy } from "./plan-approval.workflow.js";
+import { parsePreparedWorkspace, type PreparedWorkspace } from "./workspace-preparation.workflow.js";
 export type PlanChangeInput = {
     task: string;
     scope?: string;
@@ -11,6 +13,9 @@ export type PlanChangeInput = {
     previousPlan?: unknown;
     newEvidence?: unknown;
     approval?: PlanApprovalPolicy;
+    preparedWorkspace?: PreparedWorkspace;
+    directDefaultBranchAuthorized?: boolean;
+    verificationChecks?: VerificationCheck[];
 };
 export type NormalizedPlanChangeInput = Omit<PlanChangeInput, "approval"> & {
     approval: ResolvedPlanApprovalPolicy;
@@ -48,17 +53,91 @@ export declare const planChangeWorkflow: import("../workflows/types.js").Workflo
             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";
@@ -79,17 +158,191 @@ export declare const planChangeWorkflow: import("../workflows/types.js").Workflo
             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<import("./workspace-preparation.workflow.js").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<import("./change-verification.workflow.js").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<import("./workspace-preparation.workflow.js").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<import("./change-verification.workflow.js").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";
@@ -176,17 +429,91 @@ export declare const planChangeWorkflow: import("../workflows/types.js").Workflo
                 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";
@@ -207,17 +534,191 @@ export declare const planChangeWorkflow: import("../workflows/types.js").Workflo
                 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<import("./workspace-preparation.workflow.js").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<import("./change-verification.workflow.js").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<import("./workspace-preparation.workflow.js").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<import("./change-verification.workflow.js").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";