@osolmaz/pi-workflows 0.9.1 → 0.11.0

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

@@ -0,0 +1,353 @@
+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;
+    scope?: string;
+    constraints?: string[];
+    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";
+    kind: "design" | "implementation";
+    summary: string;
+};
+type ReviewAssessment = {
+    route: "critical" | "p2" | "clean" | "command_error";
+    invocationSucceeded: boolean;
+    p0: ReviewFinding[];
+    p1: ReviewFinding[];
+    p2: ReviewFinding[];
+    lower: ReviewFinding[];
+    reason: string;
+};
+export type AutoimplementCompleted = {
+    status: "completed";
+    task: string;
+    plan: unknown;
+    implementation: unknown;
+    verification: unknown;
+    reviewRounds: ReviewAssessment[];
+    ci: unknown;
+    delivery: unknown;
+};
+export type AutoimplementBlocked = {
+    status: "blocked";
+    task: string;
+    reason: string;
+    evidence: unknown;
+};
+export declare const autoimplementWorkflow: import("../workflows/types.js").WorkflowDefinition<AutoimplementInput, {
+    readonly completed: {
+        readonly from: "finalize";
+        readonly validate: (value: unknown) => AutoimplementCompleted;
+    };
+    readonly blocked: {
+        readonly from: "blocked";
+        readonly validate: (value: unknown) => AutoimplementBlocked;
+    };
+}, {
+    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("./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;
+            };
+        };
+    }>;
+}> & {
+    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 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?: {
+        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("./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;
+                };
+            };
+        }>;
+    };
+    exits?: {
+        readonly completed: {
+            readonly from: "finalize";
+            readonly validate: (value: unknown) => AutoimplementCompleted;
+        };
+        readonly blocked: {
+            readonly from: "blocked";
+            readonly validate: (value: unknown) => AutoimplementBlocked;
+        };
+    };
+};
+export default autoimplementWorkflow;