@osolmaz/pi-workflows 0.11.2 → 0.12.1

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

@@ -1,7 +1,8 @@
 import type { WorkflowNodeContext } from "../workflows/types.js";
 import { type AutodocInput } from "./autodoc.workflow.js";
-import { type AutoplanInput } from "./autoplan.workflow.js";
-import { type PlanApprovalInput } from "./plan-approval.workflow.js";
+import { type AutoimplementConcurrency } from "./autoimplement-command-batches.js";
+import { type PlanApprovalPolicy } from "./plan-approval.workflow.js";
+import { type NormalizedPlanChangeInput } from "./plan-change.workflow.js";
 export type AutoimplementInput = {
     task: string;
     plan?: unknown;
@@ -16,10 +17,8 @@ export type AutoimplementInput = {
         planDigest: string;
         documents: string[];
     };
-    approval?: {
-        audience: string;
-        maxReplans: number;
-    };
+    approval?: PlanApprovalPolicy;
+    concurrency?: Partial<AutoimplementConcurrency>;
 };
 export type ExistingPlanDiscovery = {
     route: "found" | "blocked";
@@ -34,6 +33,19 @@ type ReviewFinding = {
     kind: "design" | "implementation";
     summary: string;
 };
+type RepositoryReviewAssessment = {
+    id: string;
+    repository: string;
+    baseBranch: string;
+    headRevision: string;
+    dependencyFingerprint?: string;
+    invocationSucceeded: boolean;
+    p0: ReviewFinding[];
+    p1: ReviewFinding[];
+    p2: ReviewFinding[];
+    lower: ReviewFinding[];
+    reason: string;
+};
 type ReviewAssessment = {
     route: "critical" | "p2" | "clean" | "command_error";
     invocationSucceeded: boolean;
@@ -42,6 +54,7 @@ type ReviewAssessment = {
     p2: ReviewFinding[];
     lower: ReviewFinding[];
     reason: string;
+    repositories?: RepositoryReviewAssessment[];
 };
 export type AutoimplementCompleted = {
     status: "completed";
@@ -100,83 +113,17 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
             };
         };
     }>;
-    readonly approval: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<PlanApprovalInput, {
-        readonly continue: {
-            readonly from: "continued";
-            readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalContinue;
-        };
-        readonly stop: {
-            readonly from: "stopped";
-            readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalStop;
-        };
-        readonly replan: {
-            readonly from: "replan";
-            readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalReplan;
-        };
-    }, import("../workflows/types.js").WorkflowIncludeMap> & {
-        nodes: {
-            readonly approve: import("../workflows/types.js").WorkflowNodeCommon & {
-                nodeType: "checkpoint";
-                summary?: string;
-                run?: (context: WorkflowNodeContext) => import("../workflows/types.js").MaybePromise<unknown>;
-                humanDecision?: import("../workflows/types.js").HumanDecisionNodeContract;
-            } & {
-                readonly __humanChoices?: {
-                    readonly continue: {
-                        readonly label: "Yes, continue";
-                    };
-                    readonly stop: {
-                        readonly label: "No, stop";
-                    };
-                    readonly replan: {
-                        readonly label: "Replan";
-                        readonly input: import("../workflows/types.js").HumanDecisionTextInput & {
-                            name: "instructions";
-                        };
-                    };
-                };
-            };
-            readonly continued: import("../workflows/types.js").ComputeNodeDefinition;
-            readonly stopped: import("../workflows/types.js").ComputeNodeDefinition;
-            readonly replan: import("../workflows/types.js").ComputeNodeDefinition;
-        };
-        includes?: import("../workflows/types.js").WorkflowIncludeMap;
-        exits?: {
-            readonly continue: {
-                readonly from: "continued";
-                readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalContinue;
-            };
-            readonly stop: {
-                readonly from: "stopped";
-                readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalStop;
-            };
-            readonly replan: {
-                readonly from: "replan";
-                readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalReplan;
-            };
-        };
-    }>;
-    readonly redesign: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutoplanInput, {
+    readonly redesign: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<NormalizedPlanChangeInput, {
         readonly ready: {
             readonly from: "finalize";
-            readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanReady;
+            readonly validate: (value: unknown) => import("./plan-change.workflow.js").PlanChangeReady;
         };
         readonly blocked: {
             readonly from: "blocked";
-            readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
+            readonly validate: (value: unknown) => import("./plan-change.workflow.js").PlanChangeBlocked;
         };
-    }, 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 design: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./autoplan.workflow.js").AutoplanInput, {
             readonly ready: {
                 readonly from: "finalize";
                 readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanReady;
@@ -185,43 +132,28 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                 readonly from: "blocked";
                 readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
             };
-        };
-    }>;
-}> & {
-    nodes: {
-        readonly prepare: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly findPlan: import("../workflows/types.js").AgentNodeDefinition;
-        readonly routeFoundPlan: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly adoptPlan: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly maybeApproval: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly replanGuard: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly implement: import("../workflows/types.js").AgentNodeDefinition;
-        readonly classifyImplementation: import("../workflows/types.js").AgentNodeDefinition;
-        readonly challengeBlockerGuard: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly challengeBlocker: import("../workflows/types.js").AgentNodeDefinition;
-        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 authorReviewCommand: import("../workflows/types.js").AgentNodeDefinition;
-        readonly runReview: import("../workflows/types.js").ShellActionNodeDefinition;
-        readonly repairReviewCommand: import("../workflows/types.js").AgentNodeDefinition;
-        readonly assessReview: import("../workflows/types.js").AgentNodeDefinition;
-        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 trackCi: import("../workflows/types.js").ShellActionNodeDefinition;
-        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 blocked: import("../workflows/types.js").ComputeNodeDefinition;
-        readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
-    };
-    includes?: {
+        }, 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 blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
+                };
+            };
+        }>;
         readonly documentation: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodocInput, {
             readonly ready: {
                 readonly from: "finalize";
@@ -253,7 +185,7 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                 };
             };
         }>;
-        readonly approval: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<PlanApprovalInput, {
+        readonly approval: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plan-approval.workflow.js").NormalizedPlanApprovalInput, {
             readonly continue: {
                 readonly from: "continued";
                 readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalContinue;
@@ -268,6 +200,7 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
             };
         }, import("../workflows/types.js").WorkflowIncludeMap> & {
             nodes: {
+                readonly routePolicy: import("../workflows/types.js").ComputeNodeDefinition;
                 readonly approve: import("../workflows/types.js").WorkflowNodeCommon & {
                     nodeType: "checkpoint";
                     summary?: string;
@@ -309,27 +242,231 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
                 };
             };
         }>;
-        readonly redesign: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutoplanInput, {
+    }> & {
+        nodes: {
+            readonly start: import("../workflows/types.js").ComputeNodeDefinition;
+            readonly assessPlan: import("../workflows/types.js").ComputeNodeDefinition;
+            readonly replanGuard: import("../workflows/types.js").ComputeNodeDefinition;
+            readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
+            readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+        };
+        includes?: {
+            readonly design: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./autoplan.workflow.js").AutoplanInput, {
+                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;
+                };
+            }, 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 blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
+                    };
+                };
+            }>;
+            readonly documentation: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodocInput, {
+                readonly ready: {
+                    readonly from: "finalize";
+                    readonly validate: (value: unknown) => import("./autodoc.workflow.js").DocumentedPlan;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                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 finalize: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly ready: {
+                        readonly from: "finalize";
+                        readonly validate: (value: unknown) => import("./autodoc.workflow.js").DocumentedPlan;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
+                    };
+                };
+            }>;
+            readonly approval: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plan-approval.workflow.js").NormalizedPlanApprovalInput, {
+                readonly continue: {
+                    readonly from: "continued";
+                    readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalContinue;
+                };
+                readonly stop: {
+                    readonly from: "stopped";
+                    readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalStop;
+                };
+                readonly replan: {
+                    readonly from: "replan";
+                    readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalReplan;
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                nodes: {
+                    readonly routePolicy: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly approve: import("../workflows/types.js").WorkflowNodeCommon & {
+                        nodeType: "checkpoint";
+                        summary?: string;
+                        run?: (context: WorkflowNodeContext) => import("../workflows/types.js").MaybePromise<unknown>;
+                        humanDecision?: import("../workflows/types.js").HumanDecisionNodeContract;
+                    } & {
+                        readonly __humanChoices?: {
+                            readonly continue: {
+                                readonly label: "Yes, continue";
+                            };
+                            readonly stop: {
+                                readonly label: "No, stop";
+                            };
+                            readonly replan: {
+                                readonly label: "Replan";
+                                readonly input: import("../workflows/types.js").HumanDecisionTextInput & {
+                                    name: "instructions";
+                                };
+                            };
+                        };
+                    };
+                    readonly continued: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly stopped: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly replan: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly continue: {
+                        readonly from: "continued";
+                        readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalContinue;
+                    };
+                    readonly stop: {
+                        readonly from: "stopped";
+                        readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalStop;
+                    };
+                    readonly replan: {
+                        readonly from: "replan";
+                        readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalReplan;
+                    };
+                };
+            }>;
+        };
+        exits?: {
             readonly ready: {
                 readonly from: "finalize";
-                readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanReady;
+                readonly validate: (value: unknown) => import("./plan-change.workflow.js").PlanChangeReady;
             };
             readonly blocked: {
                 readonly from: "blocked";
-                readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
+                readonly validate: (value: unknown) => import("./plan-change.workflow.js").PlanChangeBlocked;
+            };
+        };
+    }>;
+}> & {
+    nodes: {
+        readonly prepare: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly findPlan: import("../workflows/types.js").AgentNodeDefinition;
+        readonly routeFoundPlan: 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 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 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 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 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 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 blocked: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
+    };
+    includes?: {
+        readonly documentation: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodocInput, {
+            readonly ready: {
+                readonly from: "finalize";
+                readonly validate: (value: unknown) => import("./autodoc.workflow.js").DocumentedPlan;
+            };
+            readonly blocked: {
+                readonly from: "blocked";
+                readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
             };
         }, 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 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 finalize: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
             };
             includes?: import("../workflows/types.js").WorkflowIncludeMap;
             exits?: {
+                readonly ready: {
+                    readonly from: "finalize";
+                    readonly validate: (value: unknown) => import("./autodoc.workflow.js").DocumentedPlan;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
+                };
+            };
+        }>;
+        readonly redesign: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<NormalizedPlanChangeInput, {
+            readonly ready: {
+                readonly from: "finalize";
+                readonly validate: (value: unknown) => import("./plan-change.workflow.js").PlanChangeReady;
+            };
+            readonly blocked: {
+                readonly from: "blocked";
+                readonly validate: (value: unknown) => import("./plan-change.workflow.js").PlanChangeBlocked;
+            };
+        }, {
+            readonly design: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./autoplan.workflow.js").AutoplanInput, {
                 readonly ready: {
                     readonly from: "finalize";
                     readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanReady;
@@ -338,6 +475,254 @@ 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 blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
+                    };
+                };
+            }>;
+            readonly documentation: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodocInput, {
+                readonly ready: {
+                    readonly from: "finalize";
+                    readonly validate: (value: unknown) => import("./autodoc.workflow.js").DocumentedPlan;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                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 finalize: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly ready: {
+                        readonly from: "finalize";
+                        readonly validate: (value: unknown) => import("./autodoc.workflow.js").DocumentedPlan;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
+                    };
+                };
+            }>;
+            readonly approval: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plan-approval.workflow.js").NormalizedPlanApprovalInput, {
+                readonly continue: {
+                    readonly from: "continued";
+                    readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalContinue;
+                };
+                readonly stop: {
+                    readonly from: "stopped";
+                    readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalStop;
+                };
+                readonly replan: {
+                    readonly from: "replan";
+                    readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalReplan;
+                };
+            }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                nodes: {
+                    readonly routePolicy: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly approve: import("../workflows/types.js").WorkflowNodeCommon & {
+                        nodeType: "checkpoint";
+                        summary?: string;
+                        run?: (context: WorkflowNodeContext) => import("../workflows/types.js").MaybePromise<unknown>;
+                        humanDecision?: import("../workflows/types.js").HumanDecisionNodeContract;
+                    } & {
+                        readonly __humanChoices?: {
+                            readonly continue: {
+                                readonly label: "Yes, continue";
+                            };
+                            readonly stop: {
+                                readonly label: "No, stop";
+                            };
+                            readonly replan: {
+                                readonly label: "Replan";
+                                readonly input: import("../workflows/types.js").HumanDecisionTextInput & {
+                                    name: "instructions";
+                                };
+                            };
+                        };
+                    };
+                    readonly continued: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly stopped: import("../workflows/types.js").ComputeNodeDefinition;
+                    readonly replan: import("../workflows/types.js").ComputeNodeDefinition;
+                };
+                includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                exits?: {
+                    readonly continue: {
+                        readonly from: "continued";
+                        readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalContinue;
+                    };
+                    readonly stop: {
+                        readonly from: "stopped";
+                        readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalStop;
+                    };
+                    readonly replan: {
+                        readonly from: "replan";
+                        readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalReplan;
+                    };
+                };
+            }>;
+        }> & {
+            nodes: {
+                readonly start: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly assessPlan: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly replanGuard: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+            };
+            includes?: {
+                readonly design: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./autoplan.workflow.js").AutoplanInput, {
+                    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;
+                    };
+                }, 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 blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
+                        };
+                    };
+                }>;
+                readonly documentation: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodocInput, {
+                    readonly ready: {
+                        readonly from: "finalize";
+                        readonly validate: (value: unknown) => import("./autodoc.workflow.js").DocumentedPlan;
+                    };
+                    readonly blocked: {
+                        readonly from: "blocked";
+                        readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    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 finalize: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly ready: {
+                            readonly from: "finalize";
+                            readonly validate: (value: unknown) => import("./autodoc.workflow.js").DocumentedPlan;
+                        };
+                        readonly blocked: {
+                            readonly from: "blocked";
+                            readonly validate: (value: unknown) => import("./autodoc.workflow.js").AutodocBlocked;
+                        };
+                    };
+                }>;
+                readonly approval: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<import("./plan-approval.workflow.js").NormalizedPlanApprovalInput, {
+                    readonly continue: {
+                        readonly from: "continued";
+                        readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalContinue;
+                    };
+                    readonly stop: {
+                        readonly from: "stopped";
+                        readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalStop;
+                    };
+                    readonly replan: {
+                        readonly from: "replan";
+                        readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalReplan;
+                    };
+                }, import("../workflows/types.js").WorkflowIncludeMap> & {
+                    nodes: {
+                        readonly routePolicy: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly approve: import("../workflows/types.js").WorkflowNodeCommon & {
+                            nodeType: "checkpoint";
+                            summary?: string;
+                            run?: (context: WorkflowNodeContext) => import("../workflows/types.js").MaybePromise<unknown>;
+                            humanDecision?: import("../workflows/types.js").HumanDecisionNodeContract;
+                        } & {
+                            readonly __humanChoices?: {
+                                readonly continue: {
+                                    readonly label: "Yes, continue";
+                                };
+                                readonly stop: {
+                                    readonly label: "No, stop";
+                                };
+                                readonly replan: {
+                                    readonly label: "Replan";
+                                    readonly input: import("../workflows/types.js").HumanDecisionTextInput & {
+                                        name: "instructions";
+                                    };
+                                };
+                            };
+                        };
+                        readonly continued: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly stopped: import("../workflows/types.js").ComputeNodeDefinition;
+                        readonly replan: import("../workflows/types.js").ComputeNodeDefinition;
+                    };
+                    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+                    exits?: {
+                        readonly continue: {
+                            readonly from: "continued";
+                            readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalContinue;
+                        };
+                        readonly stop: {
+                            readonly from: "stopped";
+                            readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalStop;
+                        };
+                        readonly replan: {
+                            readonly from: "replan";
+                            readonly validate: (value: unknown) => import("./plan-approval.workflow.js").PlanApprovalReplan;
+                        };
+                    };
+                }>;
+            };
+            exits?: {
+                readonly ready: {
+                    readonly from: "finalize";
+                    readonly validate: (value: unknown) => import("./plan-change.workflow.js").PlanChangeReady;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => import("./plan-change.workflow.js").PlanChangeBlocked;
+                };
             };
         }>;
     };