import { type ChangeVerificationInput, type ChangeVerificationResult, type VerificationCheck } from "./change-verification.workflow.js";
import { parsePreparedWorkspace, type PreparedWorkspace, type WorkspaceMode, type WorkspacePreparationInput } from "./workspace-preparation.workflow.js";
export type AutodocInput = {
    task: string;
    plan?: unknown;
    repository?: string;
    baseBranch?: string;
    scope?: string;
    workspaceMode?: WorkspaceMode;
    directDefaultBranchAuthorized?: boolean;
    preparedWorkspace?: PreparedWorkspace;
    verificationChecks?: VerificationCheck[];
    documents?: string[];
    evidence?: unknown;
};
export type DocumentedPlan = {
    status: "ready";
    task: string;
    plan: unknown;
    planDigest: string;
    documentation: {
        state: "current" | "updated";
        files: string[];
        digests: Record<string, string>;
        evidence: unknown;
    };
    verification: ChangeVerificationResult | {
        route: "ready";
        reason: string;
    };
    workspace?: PreparedWorkspace;
};
export type AutodocBlocked = {
    status: "blocked";
    task: string;
    reason: string;
    evidence: unknown;
    sourceNode?: string;
};
export declare const autodocWorkflow: import("../workflows/types.js").WorkflowDefinition<AutodocInput, {
    readonly ready: {
        readonly from: "finalize";
        readonly validate: (value: unknown) => DocumentedPlan;
    };
    readonly blocked: {
        readonly from: "blocked";
        readonly validate: (value: unknown) => AutodocBlocked;
    };
}, {
    readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
        readonly ready: {
            readonly from: "ready";
            readonly validate: typeof parsePreparedWorkspace;
        };
        readonly blocked: {
            readonly from: "blocked";
            readonly validate: (value: unknown) => {
                route: "ready" | "propose" | "blocked";
                selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
                preparedWorkspace?: PreparedWorkspace;
                repository: string;
                baseBranch: string;
                baseRevision?: string;
                currentBranch?: string;
                preExistingChangedPaths: string[];
                reason: string;
                evidence: string[];
            };
        };
    }, import("../workflows/types.js").WorkflowIncludeMap> & {
        nodes: {
            readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
            readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
            readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
            readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
            readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
        };
        includes?: import("../workflows/types.js").WorkflowIncludeMap;
        exits?: {
            readonly ready: {
                readonly from: "ready";
                readonly validate: typeof parsePreparedWorkspace;
            };
            readonly blocked: {
                readonly from: "blocked";
                readonly validate: (value: unknown) => {
                    route: "ready" | "propose" | "blocked";
                    selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
                    preparedWorkspace?: PreparedWorkspace;
                    repository: string;
                    baseBranch: string;
                    baseRevision?: string;
                    currentBranch?: string;
                    preExistingChangedPaths: string[];
                    reason: string;
                    evidence: string[];
                };
            };
        };
    }>;
    readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
        readonly ready: {
            readonly from: "ready";
            readonly validate: (value: unknown) => ChangeVerificationResult;
        };
        readonly blocked: {
            readonly from: "blocked";
            readonly validate: (value: unknown) => 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) => ChangeVerificationResult;
            };
            readonly blocked: {
                readonly from: "blocked";
                readonly validate: (value: unknown) => ChangeVerificationResult;
            };
        };
    }>;
}> & {
    nodes: {
        readonly prepare: import("../workflows/types.js").ComputeNodeDefinition;
        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?: {
        readonly workspace: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<WorkspacePreparationInput, {
            readonly ready: {
                readonly from: "ready";
                readonly validate: typeof parsePreparedWorkspace;
            };
            readonly blocked: {
                readonly from: "blocked";
                readonly validate: (value: unknown) => {
                    route: "ready" | "propose" | "blocked";
                    selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
                    preparedWorkspace?: PreparedWorkspace;
                    repository: string;
                    baseBranch: string;
                    baseRevision?: string;
                    currentBranch?: string;
                    preExistingChangedPaths: string[];
                    reason: string;
                    evidence: string[];
                };
            };
        }, import("../workflows/types.js").WorkflowIncludeMap> & {
            nodes: {
                readonly inspect: import("../workflows/types.js").FunctionActionNodeDefinition;
                readonly propose: import("../workflows/types.js").SubmittedAgentNodeDefinition;
                readonly apply: import("../workflows/types.js").FunctionActionNodeDefinition;
                readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
                readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
            };
            includes?: import("../workflows/types.js").WorkflowIncludeMap;
            exits?: {
                readonly ready: {
                    readonly from: "ready";
                    readonly validate: typeof parsePreparedWorkspace;
                };
                readonly blocked: {
                    readonly from: "blocked";
                    readonly validate: (value: unknown) => {
                        route: "ready" | "propose" | "blocked";
                        selectedMode?: import("./workspace-preparation.workflow.js").PreparedWorkspaceMode;
                        preparedWorkspace?: PreparedWorkspace;
                        repository: string;
                        baseBranch: string;
                        baseRevision?: string;
                        currentBranch?: string;
                        preExistingChangedPaths: string[];
                        reason: string;
                        evidence: string[];
                    };
                };
            };
        }>;
        readonly verification: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
            readonly ready: {
                readonly from: "ready";
                readonly validate: (value: unknown) => ChangeVerificationResult;
            };
            readonly blocked: {
                readonly from: "blocked";
                readonly validate: (value: unknown) => 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) => ChangeVerificationResult;
                };
                readonly blocked: {
                    readonly from: "blocked";
                    readonly validate: (value: unknown) => ChangeVerificationResult;
                };
            };
        }>;
    };
    exits?: {
        readonly ready: {
            readonly from: "finalize";
            readonly validate: (value: unknown) => DocumentedPlan;
        };
        readonly blocked: {
            readonly from: "blocked";
            readonly validate: (value: unknown) => AutodocBlocked;
        };
    };
};
export default autodocWorkflow;