import { z } from "zod";
export declare const WorkerFindingLocationSchema: 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>;
}, "strict", 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;
}>;
export declare const WorkerFindingSchema: z.ZodObject<{
    id: z.ZodString;
    confidence: z.ZodEnum<["high", "medium", "low"]>;
    title: z.ZodString;
    severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
    summary: z.ZodString;
    impact: z.ZodOptional<z.ZodString>;
    likelihood: z.ZodOptional<z.ZodString>;
    systemic: z.ZodOptional<z.ZodBoolean>;
    theme_id: z.ZodOptional<z.ZodString>;
    blast_radius: z.ZodOptional<z.ZodNumber>;
    evidence_grounded: z.ZodOptional<z.ZodBoolean>;
    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;
    }>>;
} & {
    category: z.ZodString;
    lens: z.ZodOptional<z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>>;
    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>;
    }, "strict", 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">;
    evidence: z.ZodArray<z.ZodString, "many">;
    reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
}, "strict", z.ZodTypeAny, {
    id: string;
    confidence: "high" | "low" | "medium";
    title: string;
    category: string;
    severity: "high" | "low" | "critical" | "medium" | "info";
    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;
    }[];
    evidence: string[];
    lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
    impact?: string | undefined;
    likelihood?: string | undefined;
    reproduction?: string[] | undefined;
    systemic?: boolean | undefined;
    related_findings?: string[] | undefined;
    theme_id?: string | undefined;
    blast_radius?: number | undefined;
    evidence_grounded?: boolean | 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";
    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;
    }[];
    evidence: string[];
    lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
    impact?: string | undefined;
    likelihood?: string | undefined;
    reproduction?: string[] | undefined;
    systemic?: boolean | undefined;
    related_findings?: string[] | undefined;
    theme_id?: string | undefined;
    blast_radius?: number | undefined;
    evidence_grounded?: boolean | 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;
}>;
/** One finding as the strict projection parses it (ingestion's parse output). */
export type WorkerFinding = z.infer<typeof WorkerFindingSchema>;
export declare const WorkerAuditTaskSchema: z.ZodObject<{
    task_id: z.ZodString;
    unit_id: z.ZodString;
    pass_id: z.ZodString;
    inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
    rationale: z.ZodString;
    priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
    status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
    completed_at: z.ZodOptional<z.ZodString>;
    completion_reason: z.ZodOptional<z.ZodString>;
} & {
    lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
    file_paths: z.ZodArray<z.ZodString, "many">;
    file_line_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
    line_ranges: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
        path: z.ZodString;
        start: z.ZodNumber;
        end: z.ZodNumber;
    }, "strict", z.ZodTypeAny, {
        path: string;
        end: number;
        start: number;
    }, {
        path: string;
        end: number;
        start: number;
    }>, {
        path: string;
        end: number;
        start: number;
    }, {
        path: string;
        end: number;
        start: number;
    }>, "many">>;
    token_estimate: z.ZodOptional<z.ZodNumber>;
    risk_estimate: z.ZodOptional<z.ZodNumber>;
    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
}, "strict", z.ZodTypeAny, {
    unit_id: string;
    file_paths: string[];
    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
    rationale: string;
    task_id: string;
    pass_id: string;
    status?: "complete" | "pending" | undefined;
    tags?: string[] | undefined;
    token_estimate?: number | undefined;
    completed_at?: string | undefined;
    file_line_counts?: Record<string, number> | undefined;
    inputs?: Record<string, string> | undefined;
    line_ranges?: {
        path: string;
        end: number;
        start: number;
    }[] | undefined;
    priority?: "high" | "low" | "medium" | undefined;
    risk_estimate?: number | undefined;
    completion_reason?: string | undefined;
}, {
    unit_id: string;
    file_paths: string[];
    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
    rationale: string;
    task_id: string;
    pass_id: string;
    status?: "complete" | "pending" | undefined;
    tags?: string[] | undefined;
    token_estimate?: number | undefined;
    completed_at?: string | undefined;
    file_line_counts?: Record<string, number> | undefined;
    inputs?: Record<string, string> | undefined;
    line_ranges?: {
        path: string;
        end: number;
        start: number;
    }[] | undefined;
    priority?: "high" | "low" | "medium" | undefined;
    risk_estimate?: number | undefined;
    completion_reason?: string | undefined;
}>;
export declare const WorkerAuditResultSchema: z.ZodObject<{
    task_id: z.ZodString;
    unit_id: z.ZodString;
    pass_id: z.ZodString;
    agent_role: z.ZodOptional<z.ZodString>;
    notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    requires_followup: z.ZodOptional<z.ZodBoolean>;
    run_id: z.ZodOptional<z.ZodString>;
    instance_id: z.ZodOptional<z.ZodString>;
    identity_key: z.ZodOptional<z.ZodString>;
    idempotency_key: z.ZodOptional<z.ZodString>;
    emit_source: z.ZodOptional<z.ZodEnum<["base", "deepening", "steward", "redispatch"]>>;
    attempt: z.ZodOptional<z.ZodNumber>;
} & {
    lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
    file_coverage: z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        total_lines: z.ZodNumber;
        reviewed_lines: z.ZodOptional<z.ZodNumber>;
    }, "strict", z.ZodTypeAny, {
        path: string;
        total_lines: number;
        reviewed_lines?: number | undefined;
    }, {
        path: string;
        total_lines: number;
        reviewed_lines?: number | undefined;
    }>, "many">;
    findings: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        confidence: z.ZodEnum<["high", "medium", "low"]>;
        title: z.ZodString;
        severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
        summary: z.ZodString;
        impact: z.ZodOptional<z.ZodString>;
        likelihood: z.ZodOptional<z.ZodString>;
        systemic: z.ZodOptional<z.ZodBoolean>;
        theme_id: z.ZodOptional<z.ZodString>;
        blast_radius: z.ZodOptional<z.ZodNumber>;
        evidence_grounded: z.ZodOptional<z.ZodBoolean>;
        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;
        }>>;
    } & {
        category: z.ZodString;
        lens: z.ZodOptional<z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>>;
        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>;
        }, "strict", 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">;
        evidence: z.ZodArray<z.ZodString, "many">;
        reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    }, "strict", z.ZodTypeAny, {
        id: string;
        confidence: "high" | "low" | "medium";
        title: string;
        category: string;
        severity: "high" | "low" | "critical" | "medium" | "info";
        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;
        }[];
        evidence: string[];
        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
        impact?: string | undefined;
        likelihood?: string | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | 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";
        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;
        }[];
        evidence: string[];
        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
        impact?: string | undefined;
        likelihood?: string | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | 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">;
    reviewed_clean: z.ZodOptional<z.ZodBoolean>;
    followup_tasks: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    verification: z.ZodOptional<z.ZodObject<{
        verified: z.ZodBoolean;
        needs_followup: z.ZodBoolean;
        concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        coverage_concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        confidence_concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    } & {
        followup_tasks: z.ZodOptional<z.ZodArray<z.ZodObject<{
            task_id: z.ZodString;
            unit_id: z.ZodString;
            pass_id: z.ZodString;
            inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
            rationale: z.ZodString;
            priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
            status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
            completed_at: z.ZodOptional<z.ZodString>;
            completion_reason: z.ZodOptional<z.ZodString>;
        } & {
            lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
            file_paths: z.ZodArray<z.ZodString, "many">;
            file_line_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
            line_ranges: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
                path: z.ZodString;
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, "strict", z.ZodTypeAny, {
                path: string;
                end: number;
                start: number;
            }, {
                path: string;
                end: number;
                start: number;
            }>, {
                path: string;
                end: number;
                start: number;
            }, {
                path: string;
                end: number;
                start: number;
            }>, "many">>;
            token_estimate: z.ZodOptional<z.ZodNumber>;
            risk_estimate: z.ZodOptional<z.ZodNumber>;
            tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        }, "strict", z.ZodTypeAny, {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }, {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }>, "many">>;
    }, "strict", z.ZodTypeAny, {
        verified: boolean;
        needs_followup: boolean;
        concerns?: string[] | undefined;
        coverage_concerns?: string[] | undefined;
        confidence_concerns?: string[] | undefined;
        followup_tasks?: {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }[] | undefined;
    }, {
        verified: boolean;
        needs_followup: boolean;
        concerns?: string[] | undefined;
        coverage_concerns?: string[] | undefined;
        confidence_concerns?: string[] | undefined;
        followup_tasks?: {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }[] | undefined;
    }>>;
    submitted_at: z.ZodOptional<z.ZodString>;
}, "strict", z.ZodTypeAny, {
    unit_id: string;
    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
    findings: {
        id: string;
        confidence: "high" | "low" | "medium";
        title: string;
        category: string;
        severity: "high" | "low" | "critical" | "medium" | "info";
        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;
        }[];
        evidence: string[];
        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
        impact?: string | undefined;
        likelihood?: string | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | 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;
    }[];
    task_id: string;
    pass_id: string;
    file_coverage: {
        path: string;
        total_lines: number;
        reviewed_lines?: number | undefined;
    }[];
    notes?: string[] | undefined;
    run_id?: string | undefined;
    attempt?: number | undefined;
    verification?: {
        verified: boolean;
        needs_followup: boolean;
        concerns?: string[] | undefined;
        coverage_concerns?: string[] | undefined;
        confidence_concerns?: string[] | undefined;
        followup_tasks?: {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }[] | undefined;
    } | undefined;
    followup_tasks?: string[] | undefined;
    agent_role?: string | undefined;
    reviewed_clean?: boolean | undefined;
    requires_followup?: boolean | undefined;
    submitted_at?: string | undefined;
    instance_id?: string | undefined;
    identity_key?: string | undefined;
    idempotency_key?: string | undefined;
    emit_source?: "base" | "deepening" | "steward" | "redispatch" | undefined;
}, {
    unit_id: string;
    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
    findings: {
        id: string;
        confidence: "high" | "low" | "medium";
        title: string;
        category: string;
        severity: "high" | "low" | "critical" | "medium" | "info";
        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;
        }[];
        evidence: string[];
        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
        impact?: string | undefined;
        likelihood?: string | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | 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;
    }[];
    task_id: string;
    pass_id: string;
    file_coverage: {
        path: string;
        total_lines: number;
        reviewed_lines?: number | undefined;
    }[];
    notes?: string[] | undefined;
    run_id?: string | undefined;
    attempt?: number | undefined;
    verification?: {
        verified: boolean;
        needs_followup: boolean;
        concerns?: string[] | undefined;
        coverage_concerns?: string[] | undefined;
        confidence_concerns?: string[] | undefined;
        followup_tasks?: {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }[] | undefined;
    } | undefined;
    followup_tasks?: string[] | undefined;
    agent_role?: string | undefined;
    reviewed_clean?: boolean | undefined;
    requires_followup?: boolean | undefined;
    submitted_at?: string | undefined;
    instance_id?: string | undefined;
    identity_key?: string | undefined;
    idempotency_key?: string | undefined;
    emit_source?: "base" | "deepening" | "steward" | "redispatch" | undefined;
}>;
export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
    task_id: z.ZodString;
    unit_id: z.ZodString;
    pass_id: z.ZodString;
    agent_role: z.ZodOptional<z.ZodString>;
    notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    requires_followup: z.ZodOptional<z.ZodBoolean>;
    run_id: z.ZodOptional<z.ZodString>;
    instance_id: z.ZodOptional<z.ZodString>;
    identity_key: z.ZodOptional<z.ZodString>;
    idempotency_key: z.ZodOptional<z.ZodString>;
    emit_source: z.ZodOptional<z.ZodEnum<["base", "deepening", "steward", "redispatch"]>>;
    attempt: z.ZodOptional<z.ZodNumber>;
} & {
    lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
    file_coverage: z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        total_lines: z.ZodNumber;
        reviewed_lines: z.ZodOptional<z.ZodNumber>;
    }, "strict", z.ZodTypeAny, {
        path: string;
        total_lines: number;
        reviewed_lines?: number | undefined;
    }, {
        path: string;
        total_lines: number;
        reviewed_lines?: number | undefined;
    }>, "many">;
    findings: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        confidence: z.ZodEnum<["high", "medium", "low"]>;
        title: z.ZodString;
        severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
        summary: z.ZodString;
        impact: z.ZodOptional<z.ZodString>;
        likelihood: z.ZodOptional<z.ZodString>;
        systemic: z.ZodOptional<z.ZodBoolean>;
        theme_id: z.ZodOptional<z.ZodString>;
        blast_radius: z.ZodOptional<z.ZodNumber>;
        evidence_grounded: z.ZodOptional<z.ZodBoolean>;
        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;
        }>>;
    } & {
        category: z.ZodString;
        lens: z.ZodOptional<z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>>;
        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>;
        }, "strict", 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">;
        evidence: z.ZodArray<z.ZodString, "many">;
        reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    }, "strict", z.ZodTypeAny, {
        id: string;
        confidence: "high" | "low" | "medium";
        title: string;
        category: string;
        severity: "high" | "low" | "critical" | "medium" | "info";
        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;
        }[];
        evidence: string[];
        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
        impact?: string | undefined;
        likelihood?: string | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | 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";
        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;
        }[];
        evidence: string[];
        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
        impact?: string | undefined;
        likelihood?: string | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | 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">;
    reviewed_clean: z.ZodOptional<z.ZodBoolean>;
    followup_tasks: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    verification: z.ZodOptional<z.ZodObject<{
        verified: z.ZodBoolean;
        needs_followup: z.ZodBoolean;
        concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        coverage_concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        confidence_concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    } & {
        followup_tasks: z.ZodOptional<z.ZodArray<z.ZodObject<{
            task_id: z.ZodString;
            unit_id: z.ZodString;
            pass_id: z.ZodString;
            inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
            rationale: z.ZodString;
            priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
            status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
            completed_at: z.ZodOptional<z.ZodString>;
            completion_reason: z.ZodOptional<z.ZodString>;
        } & {
            lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
            file_paths: z.ZodArray<z.ZodString, "many">;
            file_line_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
            line_ranges: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
                path: z.ZodString;
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, "strict", z.ZodTypeAny, {
                path: string;
                end: number;
                start: number;
            }, {
                path: string;
                end: number;
                start: number;
            }>, {
                path: string;
                end: number;
                start: number;
            }, {
                path: string;
                end: number;
                start: number;
            }>, "many">>;
            token_estimate: z.ZodOptional<z.ZodNumber>;
            risk_estimate: z.ZodOptional<z.ZodNumber>;
            tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        }, "strict", z.ZodTypeAny, {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }, {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }>, "many">>;
    }, "strict", z.ZodTypeAny, {
        verified: boolean;
        needs_followup: boolean;
        concerns?: string[] | undefined;
        coverage_concerns?: string[] | undefined;
        confidence_concerns?: string[] | undefined;
        followup_tasks?: {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }[] | undefined;
    }, {
        verified: boolean;
        needs_followup: boolean;
        concerns?: string[] | undefined;
        coverage_concerns?: string[] | undefined;
        confidence_concerns?: string[] | undefined;
        followup_tasks?: {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }[] | undefined;
    }>>;
    submitted_at: z.ZodOptional<z.ZodString>;
}, "strict", z.ZodTypeAny, {
    unit_id: string;
    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
    findings: {
        id: string;
        confidence: "high" | "low" | "medium";
        title: string;
        category: string;
        severity: "high" | "low" | "critical" | "medium" | "info";
        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;
        }[];
        evidence: string[];
        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
        impact?: string | undefined;
        likelihood?: string | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | 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;
    }[];
    task_id: string;
    pass_id: string;
    file_coverage: {
        path: string;
        total_lines: number;
        reviewed_lines?: number | undefined;
    }[];
    notes?: string[] | undefined;
    run_id?: string | undefined;
    attempt?: number | undefined;
    verification?: {
        verified: boolean;
        needs_followup: boolean;
        concerns?: string[] | undefined;
        coverage_concerns?: string[] | undefined;
        confidence_concerns?: string[] | undefined;
        followup_tasks?: {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }[] | undefined;
    } | undefined;
    followup_tasks?: string[] | undefined;
    agent_role?: string | undefined;
    reviewed_clean?: boolean | undefined;
    requires_followup?: boolean | undefined;
    submitted_at?: string | undefined;
    instance_id?: string | undefined;
    identity_key?: string | undefined;
    idempotency_key?: string | undefined;
    emit_source?: "base" | "deepening" | "steward" | "redispatch" | undefined;
}, {
    unit_id: string;
    lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
    findings: {
        id: string;
        confidence: "high" | "low" | "medium";
        title: string;
        category: string;
        severity: "high" | "low" | "critical" | "medium" | "info";
        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;
        }[];
        evidence: string[];
        lens?: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability" | undefined;
        impact?: string | undefined;
        likelihood?: string | undefined;
        reproduction?: string[] | undefined;
        systemic?: boolean | undefined;
        related_findings?: string[] | undefined;
        theme_id?: string | undefined;
        blast_radius?: number | undefined;
        evidence_grounded?: boolean | 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;
    }[];
    task_id: string;
    pass_id: string;
    file_coverage: {
        path: string;
        total_lines: number;
        reviewed_lines?: number | undefined;
    }[];
    notes?: string[] | undefined;
    run_id?: string | undefined;
    attempt?: number | undefined;
    verification?: {
        verified: boolean;
        needs_followup: boolean;
        concerns?: string[] | undefined;
        coverage_concerns?: string[] | undefined;
        confidence_concerns?: string[] | undefined;
        followup_tasks?: {
            unit_id: string;
            file_paths: string[];
            lens: "architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
            rationale: string;
            task_id: string;
            pass_id: string;
            status?: "complete" | "pending" | undefined;
            tags?: string[] | undefined;
            token_estimate?: number | undefined;
            completed_at?: string | undefined;
            file_line_counts?: Record<string, number> | undefined;
            inputs?: Record<string, string> | undefined;
            line_ranges?: {
                path: string;
                end: number;
                start: number;
            }[] | undefined;
            priority?: "high" | "low" | "medium" | undefined;
            risk_estimate?: number | undefined;
            completion_reason?: string | undefined;
        }[] | undefined;
    } | undefined;
    followup_tasks?: string[] | undefined;
    agent_role?: string | undefined;
    reviewed_clean?: boolean | undefined;
    requires_followup?: boolean | undefined;
    submitted_at?: string | undefined;
    instance_id?: string | undefined;
    identity_key?: string | undefined;
    idempotency_key?: string | undefined;
    emit_source?: "base" | "deepening" | "steward" | "redispatch" | undefined;
}>, "many">;
export declare const WORKER_SCHEMA_SOURCES: Record<string, {
    schema: z.ZodTypeAny;
    title: string;
}>;
export declare function renderWorkerJsonSchema(filename: string): Record<string, unknown>;
//# sourceMappingURL=workerSchemas.d.ts.map