@osolmaz/pi-workflows 0.10.0 → 0.11.1

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

@@ -1,4 +1,7 @@
-import { type AutodeviseInput } from "./autodevise.workflow.js";
+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";
 export type AutoimplementInput = {
     task: string;
     plan?: unknown;
@@ -7,6 +10,24 @@ export type AutoimplementInput = {
     repository?: string;
     baseBranch?: string;
     merge?: boolean;
+    documents?: string[];
+    documentation?: {
+        status: "current";
+        planDigest: string;
+        documents: string[];
+    };
+    approval?: {
+        audience: string;
+        maxReplans: number;
+    };
+};
+export type ExistingPlanDiscovery = {
+    route: "found" | "blocked";
+    plan?: unknown;
+    documentation?: "current" | "missing" | "stale";
+    documents: string[];
+    reason: string;
+    evidence: unknown;
 };
 type ReviewFinding = {
     severity: "P0" | "P1" | "P2" | "lower";
@@ -48,14 +69,101 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
         readonly validate: (value: unknown) => AutoimplementBlocked;
     };
 }, {
-    readonly redesign: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodeviseInput, {
+    readonly documentation: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodocInput, {
         readonly ready: {
             readonly from: "finalize";
-            readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseReady;
+            readonly validate: (value: unknown) => import("./autodoc.workflow.js").DocumentedPlan;
         };
         readonly blocked: {
             readonly from: "blocked";
-            readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseBlocked;
+            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<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 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: {
@@ -71,20 +179,26 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
         exits?: {
             readonly ready: {
                 readonly from: "finalize";
-                readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseReady;
+                readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanReady;
             };
             readonly blocked: {
                 readonly from: "blocked";
-                readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseBlocked;
+                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;
@@ -108,14 +222,101 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
         readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
     };
     includes?: {
-        readonly redesign: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodeviseInput, {
+        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<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 ready: {
                 readonly from: "finalize";
-                readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseReady;
+                readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanReady;
             };
             readonly blocked: {
                 readonly from: "blocked";
-                readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseBlocked;
+                readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
             };
         }, import("../workflows/types.js").WorkflowIncludeMap> & {
             nodes: {
@@ -131,11 +332,11 @@ export declare const autoimplementWorkflow: import("../workflows/types.js").Work
             exits?: {
                 readonly ready: {
                     readonly from: "finalize";
-                    readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseReady;
+                    readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanReady;
                 };
                 readonly blocked: {
                     readonly from: "blocked";
-                    readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseBlocked;
+                    readonly validate: (value: unknown) => import("./autoplan.workflow.js").AutoplanBlocked;
                 };
             };
         }>;