import { z } from 'zod';
export declare const promptKinds: readonly ["execution_kickoff", "review_remediation_kickoff", "pr_draft_kickoff", "recovery_kickoff", "verification_decision"];
export declare const promptEnvelopeSchema: z.ZodObject<{
    promptVersion: z.ZodString;
    promptKind: z.ZodEnum<{
        verification_decision: "verification_decision";
        execution_kickoff: "execution_kickoff";
        review_remediation_kickoff: "review_remediation_kickoff";
        pr_draft_kickoff: "pr_draft_kickoff";
        recovery_kickoff: "recovery_kickoff";
    }>;
    createdAt: z.ZodString;
    source: z.ZodLiteral<"silvan">;
    id: z.ZodString;
    inputsDigest: z.ZodString;
    model: z.ZodOptional<z.ZodObject<{
        provider: z.ZodString;
        model: z.ZodString;
    }, z.core.$strip>>;
}, z.core.$strict>;
declare const executionKickoffBodySchema: z.ZodObject<{
    objective: z.ZodString;
    context: z.ZodObject<{
        task: z.ZodObject<{
            key: z.ZodString;
            title: z.ZodString;
            summary: z.ZodString;
            acceptanceCriteria: z.ZodArray<z.ZodString>;
        }, z.core.$strip>;
        repo: z.ZodObject<{
            type: z.ZodString;
            frameworks: z.ZodArray<z.ZodString>;
            keyPackages: z.ZodArray<z.ZodString>;
            entrypoints: z.ZodArray<z.ZodString>;
        }, z.core.$strip>;
    }, z.core.$strip>;
    constraints: z.ZodObject<{
        mustDo: z.ZodArray<z.ZodString>;
        mustNotDo: z.ZodArray<z.ZodString>;
        assumptions: z.ZodArray<z.ZodString>;
    }, z.core.$strip>;
    executionRules: z.ZodObject<{
        readBeforeWrite: z.ZodBoolean;
        noSpeculativeChanges: z.ZodBoolean;
        toolDrivenOnly: z.ZodBoolean;
        smallCommitsPreferred: z.ZodBoolean;
    }, z.core.$strip>;
    successDefinition: z.ZodObject<{
        functional: z.ZodArray<z.ZodString>;
        verification: z.ZodArray<z.ZodString>;
        nonGoals: z.ZodArray<z.ZodString>;
    }, z.core.$strip>;
    suggestedApproach: z.ZodArray<z.ZodString>;
}, z.core.$strict>;
declare const reviewRemediationBodySchema: z.ZodObject<{
    objective: z.ZodString;
    context: z.ZodObject<{
        task: z.ZodObject<{
            key: z.ZodString;
            title: z.ZodString;
            acceptanceCriteria: z.ZodArray<z.ZodString>;
        }, z.core.$strip>;
        pr: z.ZodObject<{
            id: z.ZodString;
            url: z.ZodOptional<z.ZodString>;
            branch: z.ZodString;
        }, z.core.$strip>;
        review: z.ZodObject<{
            unresolvedThreadCount: z.ZodNumber;
            threadFingerprints: z.ZodArray<z.ZodObject<{
                threadId: z.ZodString;
                commentIds: z.ZodArray<z.ZodString>;
                path: z.ZodNullable<z.ZodString>;
                line: z.ZodOptional<z.ZodNumber>;
                isOutdated: z.ZodBoolean;
                bodyHash: z.ZodString;
                excerpt: z.ZodOptional<z.ZodString>;
            }, z.core.$strip>>;
        }, z.core.$strip>;
        ci: z.ZodObject<{
            state: z.ZodEnum<{
                pending: "pending";
                passing: "passing";
                failing: "failing";
                unknown: "unknown";
            }>;
            summary: z.ZodOptional<z.ZodString>;
            failedChecks: z.ZodArray<z.ZodString>;
        }, z.core.$strip>;
        repo: z.ZodObject<{
            frameworks: z.ZodArray<z.ZodString>;
            verificationCommands: z.ZodArray<z.ZodString>;
        }, z.core.$strip>;
    }, z.core.$strip>;
    constraints: z.ZodObject<{
        mustDo: z.ZodArray<z.ZodString>;
        mustNotDo: z.ZodArray<z.ZodString>;
        assumptions: z.ZodArray<z.ZodString>;
    }, z.core.$strip>;
    executionRules: z.ZodObject<{
        toolDrivenOnly: z.ZodBoolean;
        readBeforeWrite: z.ZodBoolean;
        noSpeculativeChanges: z.ZodBoolean;
        preferSmallScopedFixes: z.ZodBoolean;
        avoidUnrelatedRefactors: z.ZodBoolean;
        batchRelatedComments: z.ZodBoolean;
        resolveThreadsOnlyAfterProof: z.ZodBoolean;
    }, z.core.$strip>;
    loopPolicy: z.ZodObject<{
        prioritizeCiFailuresFirst: z.ZodBoolean;
        maxIterations: z.ZodNumber;
        stopWhen: z.ZodObject<{
            ciPassing: z.ZodBoolean;
            noUnresolvedThreads: z.ZodBoolean;
        }, z.core.$strip>;
    }, z.core.$strip>;
    successDefinition: z.ZodObject<{
        functional: z.ZodArray<z.ZodString>;
        verification: z.ZodArray<z.ZodString>;
        review: z.ZodArray<z.ZodString>;
    }, z.core.$strip>;
    suggestedApproach: z.ZodArray<z.ZodString>;
    threadStrategy: z.ZodObject<{
        clusterThemes: z.ZodArray<z.ZodObject<{
            theme: z.ZodString;
            threadIds: z.ZodArray<z.ZodString>;
            rationale: z.ZodString;
        }, z.core.$strip>>;
        needsFullThreadFetch: z.ZodArray<z.ZodString>;
        ignoreAsOutdated: z.ZodArray<z.ZodString>;
    }, z.core.$strip>;
}, z.core.$strict>;
export declare const executionKickoffPromptSchema: z.ZodObject<{
    promptVersion: z.ZodString;
    createdAt: z.ZodString;
    source: z.ZodLiteral<"silvan">;
    id: z.ZodString;
    inputsDigest: z.ZodString;
    model: z.ZodOptional<z.ZodObject<{
        provider: z.ZodString;
        model: z.ZodString;
    }, z.core.$strip>>;
    promptKind: z.ZodLiteral<"execution_kickoff">;
    body: z.ZodObject<{
        objective: z.ZodString;
        context: z.ZodObject<{
            task: z.ZodObject<{
                key: z.ZodString;
                title: z.ZodString;
                summary: z.ZodString;
                acceptanceCriteria: z.ZodArray<z.ZodString>;
            }, z.core.$strip>;
            repo: z.ZodObject<{
                type: z.ZodString;
                frameworks: z.ZodArray<z.ZodString>;
                keyPackages: z.ZodArray<z.ZodString>;
                entrypoints: z.ZodArray<z.ZodString>;
            }, z.core.$strip>;
        }, z.core.$strip>;
        constraints: z.ZodObject<{
            mustDo: z.ZodArray<z.ZodString>;
            mustNotDo: z.ZodArray<z.ZodString>;
            assumptions: z.ZodArray<z.ZodString>;
        }, z.core.$strip>;
        executionRules: z.ZodObject<{
            readBeforeWrite: z.ZodBoolean;
            noSpeculativeChanges: z.ZodBoolean;
            toolDrivenOnly: z.ZodBoolean;
            smallCommitsPreferred: z.ZodBoolean;
        }, z.core.$strip>;
        successDefinition: z.ZodObject<{
            functional: z.ZodArray<z.ZodString>;
            verification: z.ZodArray<z.ZodString>;
            nonGoals: z.ZodArray<z.ZodString>;
        }, z.core.$strip>;
        suggestedApproach: z.ZodArray<z.ZodString>;
    }, z.core.$strict>;
}, z.core.$strip>;
export declare const reviewRemediationPromptSchema: z.ZodObject<{
    promptVersion: z.ZodString;
    createdAt: z.ZodString;
    source: z.ZodLiteral<"silvan">;
    id: z.ZodString;
    inputsDigest: z.ZodString;
    model: z.ZodOptional<z.ZodObject<{
        provider: z.ZodString;
        model: z.ZodString;
    }, z.core.$strip>>;
    promptKind: z.ZodLiteral<"review_remediation_kickoff">;
    body: z.ZodObject<{
        objective: z.ZodString;
        context: z.ZodObject<{
            task: z.ZodObject<{
                key: z.ZodString;
                title: z.ZodString;
                acceptanceCriteria: z.ZodArray<z.ZodString>;
            }, z.core.$strip>;
            pr: z.ZodObject<{
                id: z.ZodString;
                url: z.ZodOptional<z.ZodString>;
                branch: z.ZodString;
            }, z.core.$strip>;
            review: z.ZodObject<{
                unresolvedThreadCount: z.ZodNumber;
                threadFingerprints: z.ZodArray<z.ZodObject<{
                    threadId: z.ZodString;
                    commentIds: z.ZodArray<z.ZodString>;
                    path: z.ZodNullable<z.ZodString>;
                    line: z.ZodOptional<z.ZodNumber>;
                    isOutdated: z.ZodBoolean;
                    bodyHash: z.ZodString;
                    excerpt: z.ZodOptional<z.ZodString>;
                }, z.core.$strip>>;
            }, z.core.$strip>;
            ci: z.ZodObject<{
                state: z.ZodEnum<{
                    pending: "pending";
                    passing: "passing";
                    failing: "failing";
                    unknown: "unknown";
                }>;
                summary: z.ZodOptional<z.ZodString>;
                failedChecks: z.ZodArray<z.ZodString>;
            }, z.core.$strip>;
            repo: z.ZodObject<{
                frameworks: z.ZodArray<z.ZodString>;
                verificationCommands: z.ZodArray<z.ZodString>;
            }, z.core.$strip>;
        }, z.core.$strip>;
        constraints: z.ZodObject<{
            mustDo: z.ZodArray<z.ZodString>;
            mustNotDo: z.ZodArray<z.ZodString>;
            assumptions: z.ZodArray<z.ZodString>;
        }, z.core.$strip>;
        executionRules: z.ZodObject<{
            toolDrivenOnly: z.ZodBoolean;
            readBeforeWrite: z.ZodBoolean;
            noSpeculativeChanges: z.ZodBoolean;
            preferSmallScopedFixes: z.ZodBoolean;
            avoidUnrelatedRefactors: z.ZodBoolean;
            batchRelatedComments: z.ZodBoolean;
            resolveThreadsOnlyAfterProof: z.ZodBoolean;
        }, z.core.$strip>;
        loopPolicy: z.ZodObject<{
            prioritizeCiFailuresFirst: z.ZodBoolean;
            maxIterations: z.ZodNumber;
            stopWhen: z.ZodObject<{
                ciPassing: z.ZodBoolean;
                noUnresolvedThreads: z.ZodBoolean;
            }, z.core.$strip>;
        }, z.core.$strip>;
        successDefinition: z.ZodObject<{
            functional: z.ZodArray<z.ZodString>;
            verification: z.ZodArray<z.ZodString>;
            review: z.ZodArray<z.ZodString>;
        }, z.core.$strip>;
        suggestedApproach: z.ZodArray<z.ZodString>;
        threadStrategy: z.ZodObject<{
            clusterThemes: z.ZodArray<z.ZodObject<{
                theme: z.ZodString;
                threadIds: z.ZodArray<z.ZodString>;
                rationale: z.ZodString;
            }, z.core.$strip>>;
            needsFullThreadFetch: z.ZodArray<z.ZodString>;
            ignoreAsOutdated: z.ZodArray<z.ZodString>;
        }, z.core.$strip>;
    }, z.core.$strict>;
}, z.core.$strip>;
export declare const promptSchemaByKind: {
    execution_kickoff: z.ZodObject<{
        promptVersion: z.ZodString;
        createdAt: z.ZodString;
        source: z.ZodLiteral<"silvan">;
        id: z.ZodString;
        inputsDigest: z.ZodString;
        model: z.ZodOptional<z.ZodObject<{
            provider: z.ZodString;
            model: z.ZodString;
        }, z.core.$strip>>;
        promptKind: z.ZodLiteral<"execution_kickoff">;
        body: z.ZodObject<{
            objective: z.ZodString;
            context: z.ZodObject<{
                task: z.ZodObject<{
                    key: z.ZodString;
                    title: z.ZodString;
                    summary: z.ZodString;
                    acceptanceCriteria: z.ZodArray<z.ZodString>;
                }, z.core.$strip>;
                repo: z.ZodObject<{
                    type: z.ZodString;
                    frameworks: z.ZodArray<z.ZodString>;
                    keyPackages: z.ZodArray<z.ZodString>;
                    entrypoints: z.ZodArray<z.ZodString>;
                }, z.core.$strip>;
            }, z.core.$strip>;
            constraints: z.ZodObject<{
                mustDo: z.ZodArray<z.ZodString>;
                mustNotDo: z.ZodArray<z.ZodString>;
                assumptions: z.ZodArray<z.ZodString>;
            }, z.core.$strip>;
            executionRules: z.ZodObject<{
                readBeforeWrite: z.ZodBoolean;
                noSpeculativeChanges: z.ZodBoolean;
                toolDrivenOnly: z.ZodBoolean;
                smallCommitsPreferred: z.ZodBoolean;
            }, z.core.$strip>;
            successDefinition: z.ZodObject<{
                functional: z.ZodArray<z.ZodString>;
                verification: z.ZodArray<z.ZodString>;
                nonGoals: z.ZodArray<z.ZodString>;
            }, z.core.$strip>;
            suggestedApproach: z.ZodArray<z.ZodString>;
        }, z.core.$strict>;
    }, z.core.$strip>;
    review_remediation_kickoff: z.ZodObject<{
        promptVersion: z.ZodString;
        createdAt: z.ZodString;
        source: z.ZodLiteral<"silvan">;
        id: z.ZodString;
        inputsDigest: z.ZodString;
        model: z.ZodOptional<z.ZodObject<{
            provider: z.ZodString;
            model: z.ZodString;
        }, z.core.$strip>>;
        promptKind: z.ZodLiteral<"review_remediation_kickoff">;
        body: z.ZodObject<{
            objective: z.ZodString;
            context: z.ZodObject<{
                task: z.ZodObject<{
                    key: z.ZodString;
                    title: z.ZodString;
                    acceptanceCriteria: z.ZodArray<z.ZodString>;
                }, z.core.$strip>;
                pr: z.ZodObject<{
                    id: z.ZodString;
                    url: z.ZodOptional<z.ZodString>;
                    branch: z.ZodString;
                }, z.core.$strip>;
                review: z.ZodObject<{
                    unresolvedThreadCount: z.ZodNumber;
                    threadFingerprints: z.ZodArray<z.ZodObject<{
                        threadId: z.ZodString;
                        commentIds: z.ZodArray<z.ZodString>;
                        path: z.ZodNullable<z.ZodString>;
                        line: z.ZodOptional<z.ZodNumber>;
                        isOutdated: z.ZodBoolean;
                        bodyHash: z.ZodString;
                        excerpt: z.ZodOptional<z.ZodString>;
                    }, z.core.$strip>>;
                }, z.core.$strip>;
                ci: z.ZodObject<{
                    state: z.ZodEnum<{
                        pending: "pending";
                        passing: "passing";
                        failing: "failing";
                        unknown: "unknown";
                    }>;
                    summary: z.ZodOptional<z.ZodString>;
                    failedChecks: z.ZodArray<z.ZodString>;
                }, z.core.$strip>;
                repo: z.ZodObject<{
                    frameworks: z.ZodArray<z.ZodString>;
                    verificationCommands: z.ZodArray<z.ZodString>;
                }, z.core.$strip>;
            }, z.core.$strip>;
            constraints: z.ZodObject<{
                mustDo: z.ZodArray<z.ZodString>;
                mustNotDo: z.ZodArray<z.ZodString>;
                assumptions: z.ZodArray<z.ZodString>;
            }, z.core.$strip>;
            executionRules: z.ZodObject<{
                toolDrivenOnly: z.ZodBoolean;
                readBeforeWrite: z.ZodBoolean;
                noSpeculativeChanges: z.ZodBoolean;
                preferSmallScopedFixes: z.ZodBoolean;
                avoidUnrelatedRefactors: z.ZodBoolean;
                batchRelatedComments: z.ZodBoolean;
                resolveThreadsOnlyAfterProof: z.ZodBoolean;
            }, z.core.$strip>;
            loopPolicy: z.ZodObject<{
                prioritizeCiFailuresFirst: z.ZodBoolean;
                maxIterations: z.ZodNumber;
                stopWhen: z.ZodObject<{
                    ciPassing: z.ZodBoolean;
                    noUnresolvedThreads: z.ZodBoolean;
                }, z.core.$strip>;
            }, z.core.$strip>;
            successDefinition: z.ZodObject<{
                functional: z.ZodArray<z.ZodString>;
                verification: z.ZodArray<z.ZodString>;
                review: z.ZodArray<z.ZodString>;
            }, z.core.$strip>;
            suggestedApproach: z.ZodArray<z.ZodString>;
            threadStrategy: z.ZodObject<{
                clusterThemes: z.ZodArray<z.ZodObject<{
                    theme: z.ZodString;
                    threadIds: z.ZodArray<z.ZodString>;
                    rationale: z.ZodString;
                }, z.core.$strip>>;
                needsFullThreadFetch: z.ZodArray<z.ZodString>;
                ignoreAsOutdated: z.ZodArray<z.ZodString>;
            }, z.core.$strip>;
        }, z.core.$strict>;
    }, z.core.$strip>;
};
export type ExecutionKickoffBody = z.infer<typeof executionKickoffBodySchema>;
export type ReviewRemediationBody = z.infer<typeof reviewRemediationBodySchema>;
export {};