import { z } from 'zod';
/**
 * Evolution schema limits + the two leaf independent-verdict schemas.
 *
 * Relocated verbatim from `evolution-types.ts` so that module stays under the
 * repo file-size cap. Everything here is built from `zod` and the limit
 * constants alone, so this module has no back-edge into `evolution-types.ts`;
 * that module re-exports the schemas and their inferred types from its own
 * path, so every importer keeps using the path it already imports from.
 */
export declare const EVO_TARGET_RELEASE_ID_MAX = 256;
export declare const EVO_OPTIMIZATION_DIMENSION_MAX = 200;
export declare const EVO_AUTHOR_ID_MAX = 200;
export declare const EVO_RISK_TAG_MAX = 200;
export declare const EVO_RED_LINE_MAX = 2000;
export declare const EVO_SOURCE_TRACE_MAX = 256;
export declare const EVO_EVAL_ID_MAX = 128;
export declare const EVO_DIMENSION_ITEM_MAX = 200;
export declare const EVO_SCORING_SCALE_MAX = 10;
export declare const EVO_REFUTE_PARAGRAPH_MAX = 8000;
export declare const EVO_SKEPTIC_RISK_MAX = 2000;
export declare const EVO_POINTER_MAX = 512;
/**
 * is a SEPARATE sub-agent that only sees the evaluation package.
 */
export declare const IndependentEvaluatorResultSchema: z.ZodObject<{
    score: z.ZodNumber;
    riskTags: z.ZodDefault<z.ZodArray<z.ZodString>>;
    refuteParagraph: z.ZodString;
}, z.core.$strip>;
export type IndependentEvaluatorResult = z.infer<typeof IndependentEvaluatorResultSchema>;
/**
 * that attempts to refute the proposal.
 */
export declare const RegressionSkepticResultSchema: z.ZodObject<{
    driftRisks: z.ZodDefault<z.ZodArray<z.ZodString>>;
    overfitRisks: z.ZodDefault<z.ZodArray<z.ZodString>>;
    safetyRegressionRisks: z.ZodDefault<z.ZodArray<z.ZodString>>;
    blocker: z.ZodOptional<z.ZodString>;
}, z.core.$strip>;
export type RegressionSkepticResult = z.infer<typeof RegressionSkepticResultSchema>;