import { z } from "zod";
/**
 * One challenge round's submission from the second-order adversary agent: the
 * improvement findings it surfaced this round. An EMPTY `findings` array is the
 * loop-until-dry terminator — a round that surfaces nothing new converges the loop
 * (the review is done only when a round yields nothing, not when it first has an
 * answer). Findings carry their true lens; the deterministic loop grounds them,
 * dedupes them against prior rounds, and sets `systemic:true`.
 */
export declare const SystemicChallengeSubmissionSchema: z.ZodObject<{
    findings: z.ZodDefault<z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        title: z.ZodString;
        category: z.ZodString;
        severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
        confidence: z.ZodEnum<["high", "medium", "low"]>;
        lens: z.ZodString;
        summary: z.ZodString;
        affected_files: z.ZodArray<z.ZodEffects<z.ZodObject<{
            path: z.ZodString;
            line_start: z.ZodOptional<z.ZodNumber>;
            line_end: z.ZodOptional<z.ZodNumber>;
            symbol: z.ZodOptional<z.ZodString>;
            quoted_text: z.ZodOptional<z.ZodString>;
            hash_at_plan_time: z.ZodOptional<z.ZodString>;
        }, "strip", z.ZodTypeAny, {
            path: string;
            symbol?: string | undefined;
            line_start?: number | undefined;
            line_end?: number | undefined;
            quoted_text?: string | undefined;
            hash_at_plan_time?: string | undefined;
        }, {
            path: string;
            symbol?: string | undefined;
            line_start?: number | undefined;
            line_end?: number | undefined;
            quoted_text?: string | undefined;
            hash_at_plan_time?: string | undefined;
        }>, {
            path: string;
            symbol?: string | undefined;
            line_start?: number | undefined;
            line_end?: number | undefined;
            quoted_text?: string | undefined;
            hash_at_plan_time?: string | undefined;
        }, {
            path: string;
            symbol?: string | undefined;
            line_start?: number | undefined;
            line_end?: number | undefined;
            quoted_text?: string | undefined;
            hash_at_plan_time?: string | undefined;
        }>, "many">;
        impact: z.ZodOptional<z.ZodString>;
        likelihood: z.ZodOptional<z.ZodString>;
        evidence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        systemic: z.ZodOptional<z.ZodBoolean>;
        related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        theme_id: z.ZodOptional<z.ZodString>;
        blast_radius: z.ZodOptional<z.ZodNumber>;
        evidence_grounded: z.ZodOptional<z.ZodBoolean>;
        grounding: z.ZodOptional<z.ZodObject<{
            status: z.ZodEnum<["grounded", "ungrounded", "refuted"]>;
            reason: z.ZodOptional<z.ZodString>;
        }, "strip", z.ZodTypeAny, {
            status: "grounded" | "ungrounded" | "refuted";
            reason?: string | undefined;
        }, {
            status: "grounded" | "ungrounded" | "refuted";
            reason?: string | undefined;
        }>>;
        executable_anchor: z.ZodOptional<z.ZodObject<{
            command: z.ZodArray<z.ZodString, "many">;
            confirm_if: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
                kind: z.ZodLiteral<"exit_zero">;
            }, "strip", z.ZodTypeAny, {
                kind: "exit_zero";
            }, {
                kind: "exit_zero";
            }>, z.ZodObject<{
                kind: z.ZodLiteral<"exit_nonzero">;
            }, "strip", z.ZodTypeAny, {
                kind: "exit_nonzero";
            }, {
                kind: "exit_nonzero";
            }>, z.ZodObject<{
                kind: z.ZodLiteral<"output_includes">;
                text: z.ZodString;
            }, "strip", z.ZodTypeAny, {
                kind: "output_includes";
                text: string;
            }, {
                kind: "output_includes";
                text: string;
            }>, z.ZodObject<{
                kind: z.ZodLiteral<"output_excludes">;
                text: z.ZodString;
            }, "strip", z.ZodTypeAny, {
                kind: "output_excludes";
                text: string;
            }, {
                kind: "output_excludes";
                text: string;
            }>]>;
            claim: z.ZodOptional<z.ZodString>;
        }, "strip", z.ZodTypeAny, {
            command: string[];
            confirm_if: {
                kind: "exit_zero";
            } | {
                kind: "exit_nonzero";
            } | {
                kind: "output_includes";
                text: string;
            } | {
                kind: "output_excludes";
                text: string;
            };
            claim?: string | undefined;
        }, {
            command: string[];
            confirm_if: {
                kind: "exit_zero";
            } | {
                kind: "exit_nonzero";
            } | {
                kind: "output_includes";
                text: string;
            } | {
                kind: "output_excludes";
                text: string;
            };
            claim?: string | undefined;
        }>>;
        contract_goal_id: z.ZodOptional<z.ZodString>;
        contract_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        verification_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        targeted_commands: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        analyzer_provenance: z.ZodOptional<z.ZodObject<{
            analyzer_id: z.ZodString;
            rule: z.ZodOptional<z.ZodString>;
            path: z.ZodString;
            snippet_hash: z.ZodString;
        }, "strict", z.ZodTypeAny, {
            path: string;
            analyzer_id: string;
            snippet_hash: string;
            rule?: string | undefined;
        }, {
            path: string;
            analyzer_id: string;
            snippet_hash: string;
            rule?: string | undefined;
        }>>;
    }, "strip", z.ZodTypeAny, {
        id: string;
        confidence: "high" | "low" | "medium";
        title: string;
        category: string;
        severity: "high" | "low" | "critical" | "medium" | "info";
        lens: string;
        summary: string;
        affected_files: {
            path: string;
            symbol?: string | undefined;
            line_start?: number | undefined;
            line_end?: number | undefined;
            quoted_text?: string | undefined;
            hash_at_plan_time?: string | undefined;
        }[];
        impact?: string | undefined;
        likelihood?: string | undefined;
        evidence?: string[] | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | undefined;
        grounding?: {
            status: "grounded" | "ungrounded" | "refuted";
            reason?: string | undefined;
        } | undefined;
        executable_anchor?: {
            command: string[];
            confirm_if: {
                kind: "exit_zero";
            } | {
                kind: "exit_nonzero";
            } | {
                kind: "output_includes";
                text: string;
            } | {
                kind: "output_excludes";
                text: string;
            };
            claim?: string | undefined;
        } | undefined;
        contract_goal_id?: string | undefined;
        contract_obligation_ids?: string[] | undefined;
        verification_obligation_ids?: string[] | undefined;
        targeted_commands?: string[] | undefined;
        analyzer_provenance?: {
            path: string;
            analyzer_id: string;
            snippet_hash: string;
            rule?: string | undefined;
        } | undefined;
    }, {
        id: string;
        confidence: "high" | "low" | "medium";
        title: string;
        category: string;
        severity: "high" | "low" | "critical" | "medium" | "info";
        lens: string;
        summary: string;
        affected_files: {
            path: string;
            symbol?: string | undefined;
            line_start?: number | undefined;
            line_end?: number | undefined;
            quoted_text?: string | undefined;
            hash_at_plan_time?: string | undefined;
        }[];
        impact?: string | undefined;
        likelihood?: string | undefined;
        evidence?: string[] | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | undefined;
        grounding?: {
            status: "grounded" | "ungrounded" | "refuted";
            reason?: string | undefined;
        } | undefined;
        executable_anchor?: {
            command: string[];
            confirm_if: {
                kind: "exit_zero";
            } | {
                kind: "exit_nonzero";
            } | {
                kind: "output_includes";
                text: string;
            } | {
                kind: "output_excludes";
                text: string;
            };
            claim?: string | undefined;
        } | undefined;
        contract_goal_id?: string | undefined;
        contract_obligation_ids?: string[] | undefined;
        verification_obligation_ids?: string[] | undefined;
        targeted_commands?: string[] | undefined;
        analyzer_provenance?: {
            path: string;
            analyzer_id: string;
            snippet_hash: string;
            rule?: string | undefined;
        } | undefined;
    }>, "many">>;
}, "strict", z.ZodTypeAny, {
    findings: {
        id: string;
        confidence: "high" | "low" | "medium";
        title: string;
        category: string;
        severity: "high" | "low" | "critical" | "medium" | "info";
        lens: string;
        summary: string;
        affected_files: {
            path: string;
            symbol?: string | undefined;
            line_start?: number | undefined;
            line_end?: number | undefined;
            quoted_text?: string | undefined;
            hash_at_plan_time?: string | undefined;
        }[];
        impact?: string | undefined;
        likelihood?: string | undefined;
        evidence?: string[] | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | undefined;
        grounding?: {
            status: "grounded" | "ungrounded" | "refuted";
            reason?: string | undefined;
        } | undefined;
        executable_anchor?: {
            command: string[];
            confirm_if: {
                kind: "exit_zero";
            } | {
                kind: "exit_nonzero";
            } | {
                kind: "output_includes";
                text: string;
            } | {
                kind: "output_excludes";
                text: string;
            };
            claim?: string | undefined;
        } | undefined;
        contract_goal_id?: string | undefined;
        contract_obligation_ids?: string[] | undefined;
        verification_obligation_ids?: string[] | undefined;
        targeted_commands?: string[] | undefined;
        analyzer_provenance?: {
            path: string;
            analyzer_id: string;
            snippet_hash: string;
            rule?: string | undefined;
        } | undefined;
    }[];
}, {
    findings?: {
        id: string;
        confidence: "high" | "low" | "medium";
        title: string;
        category: string;
        severity: "high" | "low" | "critical" | "medium" | "info";
        lens: string;
        summary: string;
        affected_files: {
            path: string;
            symbol?: string | undefined;
            line_start?: number | undefined;
            line_end?: number | undefined;
            quoted_text?: string | undefined;
            hash_at_plan_time?: string | undefined;
        }[];
        impact?: string | undefined;
        likelihood?: string | undefined;
        evidence?: string[] | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | undefined;
        grounding?: {
            status: "grounded" | "ungrounded" | "refuted";
            reason?: string | undefined;
        } | undefined;
        executable_anchor?: {
            command: string[];
            confirm_if: {
                kind: "exit_zero";
            } | {
                kind: "exit_nonzero";
            } | {
                kind: "output_includes";
                text: string;
            } | {
                kind: "output_excludes";
                text: string;
            };
            claim?: string | undefined;
        } | undefined;
        contract_goal_id?: string | undefined;
        contract_obligation_ids?: string[] | undefined;
        verification_obligation_ids?: string[] | undefined;
        targeted_commands?: string[] | undefined;
        analyzer_provenance?: {
            path: string;
            analyzer_id: string;
            snippet_hash: string;
            rule?: string | undefined;
        } | undefined;
    }[] | undefined;
}>;
export type SystemicChallengeSubmission = z.infer<typeof SystemicChallengeSubmissionSchema>;
//# sourceMappingURL=systemicChallenge.d.ts.map