import { z } from "zod";
export declare const SeveritySchema: z.ZodEnum<["error", "warning", "info"]>;
export type Severity = z.infer<typeof SeveritySchema>;
export declare const EvalDetailSchema: z.ZodObject<{
    criterion: z.ZodString;
    passed: z.ZodBoolean;
    message: z.ZodString;
    file: z.ZodOptional<z.ZodString>;
    line: z.ZodOptional<z.ZodNumber>;
    severity: z.ZodEnum<["error", "warning", "info"]>;
}, "strip", z.ZodTypeAny, {
    message: string;
    severity: "info" | "error" | "warning";
    passed: boolean;
    criterion: string;
    file?: string | undefined;
    line?: number | undefined;
}, {
    message: string;
    severity: "info" | "error" | "warning";
    passed: boolean;
    criterion: string;
    file?: string | undefined;
    line?: number | undefined;
}>;
export type EvalDetail = z.infer<typeof EvalDetailSchema>;
export declare const CriterionResultSchema: z.ZodObject<{
    criterionId: z.ZodString;
    description: z.ZodString;
    required: z.ZodBoolean;
    result: z.ZodEnum<["pass", "fail", "skipped"]>;
    evidence: z.ZodOptional<z.ZodString>;
    feedback: z.ZodOptional<z.ZodString>;
}, "strip", z.ZodTypeAny, {
    description: string;
    required: boolean;
    criterionId: string;
    result: "pass" | "fail" | "skipped";
    feedback?: string | undefined;
    evidence?: string | undefined;
}, {
    description: string;
    required: boolean;
    criterionId: string;
    result: "pass" | "fail" | "skipped";
    feedback?: string | undefined;
    evidence?: string | undefined;
}>;
export type CriterionResult = z.infer<typeof CriterionResultSchema>;
export declare const RegressionSchema: z.ZodObject<{
    description: z.ZodString;
    evidence: z.ZodString;
    severity: z.ZodEnum<["critical", "major", "minor"]>;
}, "strip", z.ZodTypeAny, {
    severity: "critical" | "major" | "minor";
    description: string;
    evidence: string;
}, {
    severity: "critical" | "major" | "minor";
    description: string;
    evidence: string;
}>;
export type Regression = z.infer<typeof RegressionSchema>;
export declare const GeneratorFeedbackItemSchema: z.ZodObject<{
    priority: z.ZodEnum<["critical", "high", "medium", "low"]>;
    category: z.ZodEnum<["bug", "missing-feature", "regression", "quality", "performance"]>;
    file: z.ZodOptional<z.ZodString>;
    line: z.ZodOptional<z.ZodNumber>;
    description: z.ZodString;
    expected: z.ZodOptional<z.ZodString>;
    reproduction: z.ZodOptional<z.ZodString>;
}, "strip", z.ZodTypeAny, {
    category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
    description: string;
    priority: "high" | "medium" | "low" | "critical";
    expected?: string | undefined;
    file?: string | undefined;
    line?: number | undefined;
    reproduction?: string | undefined;
}, {
    category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
    description: string;
    priority: "high" | "medium" | "low" | "critical";
    expected?: string | undefined;
    file?: string | undefined;
    line?: number | undefined;
    reproduction?: string | undefined;
}>;
export type GeneratorFeedbackItem = z.infer<typeof GeneratorFeedbackItemSchema>;
export declare const EvalResultSchema: z.ZodObject<{
    evaluator: z.ZodString;
    passed: z.ZodBoolean;
    score: z.ZodOptional<z.ZodNumber>;
    details: z.ZodArray<z.ZodObject<{
        criterion: z.ZodString;
        passed: z.ZodBoolean;
        message: z.ZodString;
        file: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        severity: z.ZodEnum<["error", "warning", "info"]>;
    }, "strip", z.ZodTypeAny, {
        message: string;
        severity: "info" | "error" | "warning";
        passed: boolean;
        criterion: string;
        file?: string | undefined;
        line?: number | undefined;
    }, {
        message: string;
        severity: "info" | "error" | "warning";
        passed: boolean;
        criterion: string;
        file?: string | undefined;
        line?: number | undefined;
    }>, "many">;
    summary: z.ZodString;
    feedback: z.ZodString;
    timestamp: z.ZodString;
    iteration: z.ZodOptional<z.ZodNumber>;
    contractId: z.ZodOptional<z.ZodString>;
    criteriaResults: z.ZodOptional<z.ZodArray<z.ZodObject<{
        criterionId: z.ZodString;
        description: z.ZodString;
        required: z.ZodBoolean;
        result: z.ZodEnum<["pass", "fail", "skipped"]>;
        evidence: z.ZodOptional<z.ZodString>;
        feedback: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        description: string;
        required: boolean;
        criterionId: string;
        result: "pass" | "fail" | "skipped";
        feedback?: string | undefined;
        evidence?: string | undefined;
    }, {
        description: string;
        required: boolean;
        criterionId: string;
        result: "pass" | "fail" | "skipped";
        feedback?: string | undefined;
        evidence?: string | undefined;
    }>, "many">>;
    regressions: z.ZodOptional<z.ZodArray<z.ZodObject<{
        description: z.ZodString;
        evidence: z.ZodString;
        severity: z.ZodEnum<["critical", "major", "minor"]>;
    }, "strip", z.ZodTypeAny, {
        severity: "critical" | "major" | "minor";
        description: string;
        evidence: string;
    }, {
        severity: "critical" | "major" | "minor";
        description: string;
        evidence: string;
    }>, "many">>;
    designScore: z.ZodOptional<z.ZodNumber>;
    generatorFeedback: z.ZodOptional<z.ZodArray<z.ZodObject<{
        priority: z.ZodEnum<["critical", "high", "medium", "low"]>;
        category: z.ZodEnum<["bug", "missing-feature", "regression", "quality", "performance"]>;
        file: z.ZodOptional<z.ZodString>;
        line: z.ZodOptional<z.ZodNumber>;
        description: z.ZodString;
        expected: z.ZodOptional<z.ZodString>;
        reproduction: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
        description: string;
        priority: "high" | "medium" | "low" | "critical";
        expected?: string | undefined;
        file?: string | undefined;
        line?: number | undefined;
        reproduction?: string | undefined;
    }, {
        category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
        description: string;
        priority: "high" | "medium" | "low" | "critical";
        expected?: string | undefined;
        file?: string | undefined;
        line?: number | undefined;
        reproduction?: string | undefined;
    }>, "many">>;
    lensVerdicts: z.ZodOptional<z.ZodArray<z.ZodObject<{
        lens: z.ZodString;
        passed: z.ZodBoolean;
        summary: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        summary: string;
        passed: boolean;
        lens: string;
    }, {
        summary: string;
        passed: boolean;
        lens: string;
    }>, "many">>;
}, "strip", z.ZodTypeAny, {
    summary: string;
    details: {
        message: string;
        severity: "info" | "error" | "warning";
        passed: boolean;
        criterion: string;
        file?: string | undefined;
        line?: number | undefined;
    }[];
    timestamp: string;
    evaluator: string;
    passed: boolean;
    feedback: string;
    contractId?: string | undefined;
    score?: number | undefined;
    iteration?: number | undefined;
    criteriaResults?: {
        description: string;
        required: boolean;
        criterionId: string;
        result: "pass" | "fail" | "skipped";
        feedback?: string | undefined;
        evidence?: string | undefined;
    }[] | undefined;
    regressions?: {
        severity: "critical" | "major" | "minor";
        description: string;
        evidence: string;
    }[] | undefined;
    designScore?: number | undefined;
    generatorFeedback?: {
        category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
        description: string;
        priority: "high" | "medium" | "low" | "critical";
        expected?: string | undefined;
        file?: string | undefined;
        line?: number | undefined;
        reproduction?: string | undefined;
    }[] | undefined;
    lensVerdicts?: {
        summary: string;
        passed: boolean;
        lens: string;
    }[] | undefined;
}, {
    summary: string;
    details: {
        message: string;
        severity: "info" | "error" | "warning";
        passed: boolean;
        criterion: string;
        file?: string | undefined;
        line?: number | undefined;
    }[];
    timestamp: string;
    evaluator: string;
    passed: boolean;
    feedback: string;
    contractId?: string | undefined;
    score?: number | undefined;
    iteration?: number | undefined;
    criteriaResults?: {
        description: string;
        required: boolean;
        criterionId: string;
        result: "pass" | "fail" | "skipped";
        feedback?: string | undefined;
        evidence?: string | undefined;
    }[] | undefined;
    regressions?: {
        severity: "critical" | "major" | "minor";
        description: string;
        evidence: string;
    }[] | undefined;
    designScore?: number | undefined;
    generatorFeedback?: {
        category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
        description: string;
        priority: "high" | "medium" | "low" | "critical";
        expected?: string | undefined;
        file?: string | undefined;
        line?: number | undefined;
        reproduction?: string | undefined;
    }[] | undefined;
    lensVerdicts?: {
        summary: string;
        passed: boolean;
        lens: string;
    }[] | undefined;
}>;
export type EvalResult = z.infer<typeof EvalResultSchema>;
export declare const SprintEvaluationSchema: z.ZodObject<{
    sprintId: z.ZodString;
    round: z.ZodNumber;
    results: z.ZodArray<z.ZodObject<{
        evaluator: z.ZodString;
        passed: z.ZodBoolean;
        score: z.ZodOptional<z.ZodNumber>;
        details: z.ZodArray<z.ZodObject<{
            criterion: z.ZodString;
            passed: z.ZodBoolean;
            message: z.ZodString;
            file: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            severity: z.ZodEnum<["error", "warning", "info"]>;
        }, "strip", z.ZodTypeAny, {
            message: string;
            severity: "info" | "error" | "warning";
            passed: boolean;
            criterion: string;
            file?: string | undefined;
            line?: number | undefined;
        }, {
            message: string;
            severity: "info" | "error" | "warning";
            passed: boolean;
            criterion: string;
            file?: string | undefined;
            line?: number | undefined;
        }>, "many">;
        summary: z.ZodString;
        feedback: z.ZodString;
        timestamp: z.ZodString;
        iteration: z.ZodOptional<z.ZodNumber>;
        contractId: z.ZodOptional<z.ZodString>;
        criteriaResults: z.ZodOptional<z.ZodArray<z.ZodObject<{
            criterionId: z.ZodString;
            description: z.ZodString;
            required: z.ZodBoolean;
            result: z.ZodEnum<["pass", "fail", "skipped"]>;
            evidence: z.ZodOptional<z.ZodString>;
            feedback: z.ZodOptional<z.ZodString>;
        }, "strip", z.ZodTypeAny, {
            description: string;
            required: boolean;
            criterionId: string;
            result: "pass" | "fail" | "skipped";
            feedback?: string | undefined;
            evidence?: string | undefined;
        }, {
            description: string;
            required: boolean;
            criterionId: string;
            result: "pass" | "fail" | "skipped";
            feedback?: string | undefined;
            evidence?: string | undefined;
        }>, "many">>;
        regressions: z.ZodOptional<z.ZodArray<z.ZodObject<{
            description: z.ZodString;
            evidence: z.ZodString;
            severity: z.ZodEnum<["critical", "major", "minor"]>;
        }, "strip", z.ZodTypeAny, {
            severity: "critical" | "major" | "minor";
            description: string;
            evidence: string;
        }, {
            severity: "critical" | "major" | "minor";
            description: string;
            evidence: string;
        }>, "many">>;
        designScore: z.ZodOptional<z.ZodNumber>;
        generatorFeedback: z.ZodOptional<z.ZodArray<z.ZodObject<{
            priority: z.ZodEnum<["critical", "high", "medium", "low"]>;
            category: z.ZodEnum<["bug", "missing-feature", "regression", "quality", "performance"]>;
            file: z.ZodOptional<z.ZodString>;
            line: z.ZodOptional<z.ZodNumber>;
            description: z.ZodString;
            expected: z.ZodOptional<z.ZodString>;
            reproduction: z.ZodOptional<z.ZodString>;
        }, "strip", z.ZodTypeAny, {
            category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
            description: string;
            priority: "high" | "medium" | "low" | "critical";
            expected?: string | undefined;
            file?: string | undefined;
            line?: number | undefined;
            reproduction?: string | undefined;
        }, {
            category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
            description: string;
            priority: "high" | "medium" | "low" | "critical";
            expected?: string | undefined;
            file?: string | undefined;
            line?: number | undefined;
            reproduction?: string | undefined;
        }>, "many">>;
        lensVerdicts: z.ZodOptional<z.ZodArray<z.ZodObject<{
            lens: z.ZodString;
            passed: z.ZodBoolean;
            summary: z.ZodString;
        }, "strip", z.ZodTypeAny, {
            summary: string;
            passed: boolean;
            lens: string;
        }, {
            summary: string;
            passed: boolean;
            lens: string;
        }>, "many">>;
    }, "strip", z.ZodTypeAny, {
        summary: string;
        details: {
            message: string;
            severity: "info" | "error" | "warning";
            passed: boolean;
            criterion: string;
            file?: string | undefined;
            line?: number | undefined;
        }[];
        timestamp: string;
        evaluator: string;
        passed: boolean;
        feedback: string;
        contractId?: string | undefined;
        score?: number | undefined;
        iteration?: number | undefined;
        criteriaResults?: {
            description: string;
            required: boolean;
            criterionId: string;
            result: "pass" | "fail" | "skipped";
            feedback?: string | undefined;
            evidence?: string | undefined;
        }[] | undefined;
        regressions?: {
            severity: "critical" | "major" | "minor";
            description: string;
            evidence: string;
        }[] | undefined;
        designScore?: number | undefined;
        generatorFeedback?: {
            category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
            description: string;
            priority: "high" | "medium" | "low" | "critical";
            expected?: string | undefined;
            file?: string | undefined;
            line?: number | undefined;
            reproduction?: string | undefined;
        }[] | undefined;
        lensVerdicts?: {
            summary: string;
            passed: boolean;
            lens: string;
        }[] | undefined;
    }, {
        summary: string;
        details: {
            message: string;
            severity: "info" | "error" | "warning";
            passed: boolean;
            criterion: string;
            file?: string | undefined;
            line?: number | undefined;
        }[];
        timestamp: string;
        evaluator: string;
        passed: boolean;
        feedback: string;
        contractId?: string | undefined;
        score?: number | undefined;
        iteration?: number | undefined;
        criteriaResults?: {
            description: string;
            required: boolean;
            criterionId: string;
            result: "pass" | "fail" | "skipped";
            feedback?: string | undefined;
            evidence?: string | undefined;
        }[] | undefined;
        regressions?: {
            severity: "critical" | "major" | "minor";
            description: string;
            evidence: string;
        }[] | undefined;
        designScore?: number | undefined;
        generatorFeedback?: {
            category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
            description: string;
            priority: "high" | "medium" | "low" | "critical";
            expected?: string | undefined;
            file?: string | undefined;
            line?: number | undefined;
            reproduction?: string | undefined;
        }[] | undefined;
        lensVerdicts?: {
            summary: string;
            passed: boolean;
            lens: string;
        }[] | undefined;
    }>, "many">;
    overallPassed: z.ZodBoolean;
    aggregateFeedback: z.ZodString;
}, "strip", z.ZodTypeAny, {
    sprintId: string;
    round: number;
    results: {
        summary: string;
        details: {
            message: string;
            severity: "info" | "error" | "warning";
            passed: boolean;
            criterion: string;
            file?: string | undefined;
            line?: number | undefined;
        }[];
        timestamp: string;
        evaluator: string;
        passed: boolean;
        feedback: string;
        contractId?: string | undefined;
        score?: number | undefined;
        iteration?: number | undefined;
        criteriaResults?: {
            description: string;
            required: boolean;
            criterionId: string;
            result: "pass" | "fail" | "skipped";
            feedback?: string | undefined;
            evidence?: string | undefined;
        }[] | undefined;
        regressions?: {
            severity: "critical" | "major" | "minor";
            description: string;
            evidence: string;
        }[] | undefined;
        designScore?: number | undefined;
        generatorFeedback?: {
            category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
            description: string;
            priority: "high" | "medium" | "low" | "critical";
            expected?: string | undefined;
            file?: string | undefined;
            line?: number | undefined;
            reproduction?: string | undefined;
        }[] | undefined;
        lensVerdicts?: {
            summary: string;
            passed: boolean;
            lens: string;
        }[] | undefined;
    }[];
    overallPassed: boolean;
    aggregateFeedback: string;
}, {
    sprintId: string;
    round: number;
    results: {
        summary: string;
        details: {
            message: string;
            severity: "info" | "error" | "warning";
            passed: boolean;
            criterion: string;
            file?: string | undefined;
            line?: number | undefined;
        }[];
        timestamp: string;
        evaluator: string;
        passed: boolean;
        feedback: string;
        contractId?: string | undefined;
        score?: number | undefined;
        iteration?: number | undefined;
        criteriaResults?: {
            description: string;
            required: boolean;
            criterionId: string;
            result: "pass" | "fail" | "skipped";
            feedback?: string | undefined;
            evidence?: string | undefined;
        }[] | undefined;
        regressions?: {
            severity: "critical" | "major" | "minor";
            description: string;
            evidence: string;
        }[] | undefined;
        designScore?: number | undefined;
        generatorFeedback?: {
            category: "bug" | "missing-feature" | "regression" | "quality" | "performance";
            description: string;
            priority: "high" | "medium" | "low" | "critical";
            expected?: string | undefined;
            file?: string | undefined;
            line?: number | undefined;
            reproduction?: string | undefined;
        }[] | undefined;
        lensVerdicts?: {
            summary: string;
            passed: boolean;
            lens: string;
        }[] | undefined;
    }[];
    overallPassed: boolean;
    aggregateFeedback: string;
}>;
export type SprintEvaluation = z.infer<typeof SprintEvaluationSchema>;
/**
 * Aggregate multiple eval results into a sprint evaluation.
 */
export declare function aggregateResults(sprintId: string, round: number, results: EvalResult[]): SprintEvaluation;
/**
 * Format a sprint evaluation into a human-readable feedback string.
 */
export declare function formatFeedback(evaluation: SprintEvaluation): string;
//# sourceMappingURL=eval-result.d.ts.map