import { z } from "zod";
import type { Finding as SharedFinding } from "audit-tools/shared";
export type Lens = "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
/** Single authoritative record for one audit lens. `order_weight` governs task
 * priority ordering — lower values sort earlier (higher urgency). */
export interface LensDefinition {
    id: Lens;
    display_name: string;
    /** Lower = higher priority in task ordering. */
    order_weight: number;
    default_enabled: boolean;
}
/** Single source of truth for all lens metadata. Adding or renaming a lens
 * requires a single edit here; `ALL_LENSES`, `ENABLED_LENSES`, and
 * `LENS_ORDER` (in auditTaskUtils) are all derived from this registry. */
export declare const LENS_REGISTRY: readonly LensDefinition[];
/** Canonical list of every valid {@link Lens}. Derived from {@link LENS_REGISTRY}
 * — import {@link isLens} / `ALL_LENSES` instead of hand-copying lens lists into
 * local guards, which drift (a copy omitting "observability" caused it to be
 * wrongly rejected in flow requeue). */
export declare const ALL_LENSES: readonly Lens[];
export declare function isLens(value: unknown): value is Lens;
export declare const FileRecordSchema: z.ZodObject<{
    path: z.ZodString;
    language: z.ZodString;
    size_bytes: z.ZodNumber;
    hash: z.ZodOptional<z.ZodString>;
    excluded: z.ZodOptional<z.ZodBoolean>;
    exclusion_reason: z.ZodOptional<z.ZodString>;
}, "strip", z.ZodTypeAny, {
    path: string;
    language: string;
    size_bytes: number;
    excluded?: boolean | undefined;
    hash?: string | undefined;
    exclusion_reason?: string | undefined;
}, {
    path: string;
    language: string;
    size_bytes: number;
    excluded?: boolean | undefined;
    hash?: string | undefined;
    exclusion_reason?: string | undefined;
}>;
export declare const RepoManifestSchema: z.ZodObject<{
    repository: z.ZodObject<{
        name: z.ZodString;
        root: z.ZodOptional<z.ZodString>;
        default_branch: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        name: string;
        root?: string | undefined;
        default_branch?: string | undefined;
    }, {
        name: string;
        root?: string | undefined;
        default_branch?: string | undefined;
    }>;
    generated_at: z.ZodString;
    files: z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        language: z.ZodString;
        size_bytes: z.ZodNumber;
        hash: z.ZodOptional<z.ZodString>;
        excluded: z.ZodOptional<z.ZodBoolean>;
        exclusion_reason: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        path: string;
        language: string;
        size_bytes: number;
        excluded?: boolean | undefined;
        hash?: string | undefined;
        exclusion_reason?: string | undefined;
    }, {
        path: string;
        language: string;
        size_bytes: number;
        excluded?: boolean | undefined;
        hash?: string | undefined;
        exclusion_reason?: string | undefined;
    }>, "many">;
}, "strip", z.ZodTypeAny, {
    files: {
        path: string;
        language: string;
        size_bytes: number;
        excluded?: boolean | undefined;
        hash?: string | undefined;
        exclusion_reason?: string | undefined;
    }[];
    generated_at: string;
    repository: {
        name: string;
        root?: string | undefined;
        default_branch?: string | undefined;
    };
}, {
    files: {
        path: string;
        language: string;
        size_bytes: number;
        excluded?: boolean | undefined;
        hash?: string | undefined;
        exclusion_reason?: string | undefined;
    }[];
    generated_at: string;
    repository: {
        name: string;
        root?: string | undefined;
        default_branch?: string | undefined;
    };
}>;
export type RepoManifest = z.infer<typeof RepoManifestSchema>;
export declare const AuditUnitSchema: z.ZodObject<{
    unit_id: z.ZodString;
    name: z.ZodString;
    kind: z.ZodOptional<z.ZodString>;
    files: z.ZodArray<z.ZodString, "many">;
    risk_score: z.ZodOptional<z.ZodNumber>;
    required_lenses: z.ZodArray<z.ZodString, "many">;
    critical_flows: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
}, "strict", z.ZodTypeAny, {
    files: string[];
    unit_id: string;
    name: string;
    required_lenses: string[];
    risk_score?: number | undefined;
    kind?: string | undefined;
    critical_flows?: string[] | undefined;
}, {
    files: string[];
    unit_id: string;
    name: string;
    required_lenses: string[];
    risk_score?: number | undefined;
    kind?: string | undefined;
    critical_flows?: string[] | undefined;
}>;
export type AuditUnit = z.infer<typeof AuditUnitSchema>;
export declare const UnitManifestSchema: z.ZodObject<{
    units: z.ZodArray<z.ZodObject<{
        unit_id: z.ZodString;
        name: z.ZodString;
        kind: z.ZodOptional<z.ZodString>;
        files: z.ZodArray<z.ZodString, "many">;
        risk_score: z.ZodOptional<z.ZodNumber>;
        required_lenses: z.ZodArray<z.ZodString, "many">;
        critical_flows: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    }, "strict", z.ZodTypeAny, {
        files: string[];
        unit_id: string;
        name: string;
        required_lenses: string[];
        risk_score?: number | undefined;
        kind?: string | undefined;
        critical_flows?: string[] | undefined;
    }, {
        files: string[];
        unit_id: string;
        name: string;
        required_lenses: string[];
        risk_score?: number | undefined;
        kind?: string | undefined;
        critical_flows?: string[] | undefined;
    }>, "many">;
}, "strip", z.ZodTypeAny, {
    units: {
        files: string[];
        unit_id: string;
        name: string;
        required_lenses: string[];
        risk_score?: number | undefined;
        kind?: string | undefined;
        critical_flows?: string[] | undefined;
    }[];
}, {
    units: {
        files: string[];
        unit_id: string;
        name: string;
        required_lenses: string[];
        risk_score?: number | undefined;
        kind?: string | undefined;
        critical_flows?: string[] | undefined;
    }[];
}>;
export type UnitManifest = z.infer<typeof UnitManifestSchema>;
export interface FileCoverageRecord {
    path: string;
    total_lines: number;
    pass_id: string;
    lens?: string;
    agent_role?: string;
}
/** Single source of truth for coverage-matrix classification statuses (mirrors
 * the LENS_REGISTRY-derives-Lens pattern above). The value set is
 * {unclassified, classified} plus the audit-excluded subset of
 * FileDispositionStatus (excluded | generated | vendor | binary | doc_only)
 * plus the scope/trivial-audit statuses written by scope.ts
 * (out_of_scope_delta, out_of_scope_intent) and trivialAudit.ts
 * (excluded_trivial). The coverage_matrix JSON schema is GENERATED from
 * {@link CoverageMatrixSchema}, so it can never drift from this enum. */
export declare const ClassificationStatusSchema: z.ZodEnum<["unclassified", "classified", "excluded", "generated", "vendor", "binary", "doc_only", "out_of_scope_delta", "excluded_trivial", "out_of_scope_intent"]>;
export type ClassificationStatus = z.infer<typeof ClassificationStatusSchema>;
export declare const CoverageFileRecordSchema: z.ZodObject<{
    path: z.ZodString;
    unit_ids: z.ZodArray<z.ZodString, "many">;
    classification_status: z.ZodEnum<["unclassified", "classified", "excluded", "generated", "vendor", "binary", "doc_only", "out_of_scope_delta", "excluded_trivial", "out_of_scope_intent"]>;
    audit_status: z.ZodString;
    required_lenses: z.ZodArray<z.ZodString, "many">;
    completed_lenses: z.ZodArray<z.ZodString, "many">;
}, "strip", z.ZodTypeAny, {
    path: string;
    unit_ids: string[];
    required_lenses: string[];
    classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
    audit_status: string;
    completed_lenses: string[];
}, {
    path: string;
    unit_ids: string[];
    required_lenses: string[];
    classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
    audit_status: string;
    completed_lenses: string[];
}>;
export type CoverageFileRecord = z.infer<typeof CoverageFileRecordSchema>;
export declare const CoverageMatrixSchema: z.ZodObject<{
    files: z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        unit_ids: z.ZodArray<z.ZodString, "many">;
        classification_status: z.ZodEnum<["unclassified", "classified", "excluded", "generated", "vendor", "binary", "doc_only", "out_of_scope_delta", "excluded_trivial", "out_of_scope_intent"]>;
        audit_status: z.ZodString;
        required_lenses: z.ZodArray<z.ZodString, "many">;
        completed_lenses: z.ZodArray<z.ZodString, "many">;
    }, "strip", z.ZodTypeAny, {
        path: string;
        unit_ids: string[];
        required_lenses: string[];
        classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
        audit_status: string;
        completed_lenses: string[];
    }, {
        path: string;
        unit_ids: string[];
        required_lenses: string[];
        classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
        audit_status: string;
        completed_lenses: string[];
    }>, "many">;
}, "strip", z.ZodTypeAny, {
    files: {
        path: string;
        unit_ids: string[];
        required_lenses: string[];
        classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
        audit_status: string;
        completed_lenses: string[];
    }[];
}, {
    files: {
        path: string;
        unit_ids: string[];
        required_lenses: string[];
        classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
        audit_status: string;
        completed_lenses: string[];
    }[];
}>;
export type CoverageMatrix = z.infer<typeof CoverageMatrixSchema>;
export declare const AuditTaskSchema: z.ZodObject<{
    task_id: z.ZodString;
    unit_id: z.ZodString;
    pass_id: z.ZodString;
    lens: z.ZodString;
    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.ZodObject<{
        path: z.ZodString;
        start: z.ZodNumber;
        end: z.ZodNumber;
    }, "strip", z.ZodTypeAny, {
        path: string;
        end: number;
        start: number;
    }, {
        path: string;
        end: number;
        start: number;
    }>, "many">>;
    inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
    rationale: z.ZodString;
    priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
    /**
     * Frozen, provider-neutral estimate of the content tokens this task's files
     * contribute to a review prompt. Seeded deterministically at planning
     * (byte-based) and refined/frozen by the estimate-review step. Authoritative
     * input to just-in-time dispatch packetization — see
     * spec/audit-workflow-design.md.
     */
    token_estimate: z.ZodOptional<z.ZodNumber>;
    /**
     * Frozen, provider-neutral audit-risk score in [0,1] (likelihood × stakes of
     * latent defects). Seeded deterministically from priority/lens/tags and
     * refined/frozen by the estimate-review step. Drives task prioritization and
     * coherent review grouping; never an execution-selection decision.
     */
    risk_estimate: z.ZodOptional<z.ZodNumber>;
    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
    completed_at: z.ZodOptional<z.ZodString>;
    completion_reason: z.ZodOptional<z.ZodString>;
}, "strip", z.ZodTypeAny, {
    unit_id: string;
    file_paths: string[];
    lens: string;
    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: string;
    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 type AuditTask = z.infer<typeof AuditTaskSchema>;
export type Finding = SharedFinding;
export declare const AuditVerificationSchema: 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;
        lens: z.ZodString;
        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.ZodObject<{
            path: z.ZodString;
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, "strip", z.ZodTypeAny, {
            path: string;
            end: number;
            start: number;
        }, {
            path: string;
            end: number;
            start: number;
        }>, "many">>;
        inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
        rationale: z.ZodString;
        priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
        /**
         * Frozen, provider-neutral estimate of the content tokens this task's files
         * contribute to a review prompt. Seeded deterministically at planning
         * (byte-based) and refined/frozen by the estimate-review step. Authoritative
         * input to just-in-time dispatch packetization — see
         * spec/audit-workflow-design.md.
         */
        token_estimate: z.ZodOptional<z.ZodNumber>;
        /**
         * Frozen, provider-neutral audit-risk score in [0,1] (likelihood × stakes of
         * latent defects). Seeded deterministically from priority/lens/tags and
         * refined/frozen by the estimate-review step. Drives task prioritization and
         * coherent review grouping; never an execution-selection decision.
         */
        risk_estimate: z.ZodOptional<z.ZodNumber>;
        tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
        status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
        completed_at: z.ZodOptional<z.ZodString>;
        completion_reason: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        unit_id: string;
        file_paths: string[];
        lens: string;
        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: string;
        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">>;
}, "strip", 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: string;
        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: string;
        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;
}>;
export declare const AuditResultSchema: z.ZodObject<{
    task_id: z.ZodString;
    unit_id: z.ZodString;
    pass_id: z.ZodString;
    lens: z.ZodString;
    agent_role: z.ZodOptional<z.ZodString>;
    file_coverage: z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        total_lines: z.ZodNumber;
    }, "strip", z.ZodTypeAny, {
        path: string;
        total_lines: number;
    }, {
        path: string;
        total_lines: number;
    }>, "many">;
    findings: 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">;
    /**
     * Worker-authored affirmation that an EMPTY `findings` array is a reviewed
     * result, not a silent failure. REQUIRED when `findings` is empty and refused
     * otherwise (enforced at ingest by `validateResultFindings`, which is the gate
     * workers actually hit — the zod contract only advertises the field).
     *
     * Exists because a lane that errors, truncates, or returns an empty completion
     * produces output shaped exactly like a genuine clean review, and nothing
     * downstream could tell the two apart: a broken lane read as a weak one. An
     * affirmation cannot be produced by accident, so a zero-finding result now
     * carries positive evidence that a review happened.
     */
    reviewed_clean: z.ZodOptional<z.ZodBoolean>;
    notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    requires_followup: 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;
            lens: z.ZodString;
            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.ZodObject<{
                path: z.ZodString;
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, "strip", z.ZodTypeAny, {
                path: string;
                end: number;
                start: number;
            }, {
                path: string;
                end: number;
                start: number;
            }>, "many">>;
            inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
            rationale: z.ZodString;
            priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
            /**
             * Frozen, provider-neutral estimate of the content tokens this task's files
             * contribute to a review prompt. Seeded deterministically at planning
             * (byte-based) and refined/frozen by the estimate-review step. Authoritative
             * input to just-in-time dispatch packetization — see
             * spec/audit-workflow-design.md.
             */
            token_estimate: z.ZodOptional<z.ZodNumber>;
            /**
             * Frozen, provider-neutral audit-risk score in [0,1] (likelihood × stakes of
             * latent defects). Seeded deterministically from priority/lens/tags and
             * refined/frozen by the estimate-review step. Drives task prioritization and
             * coherent review grouping; never an execution-selection decision.
             */
            risk_estimate: z.ZodOptional<z.ZodNumber>;
            tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
            status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
            completed_at: z.ZodOptional<z.ZodString>;
            completion_reason: z.ZodOptional<z.ZodString>;
        }, "strip", z.ZodTypeAny, {
            unit_id: string;
            file_paths: string[];
            lens: string;
            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: string;
            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">>;
    }, "strip", 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: string;
            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: string;
            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;
    }>>;
    run_id: z.ZodOptional<z.ZodString>;
    submitted_at: 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>;
}, "strip", z.ZodTypeAny, {
    unit_id: string;
    lens: string;
    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;
    }[];
    task_id: string;
    pass_id: string;
    file_coverage: {
        path: string;
        total_lines: number;
    }[];
    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: string;
            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: string;
    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;
    }[];
    task_id: string;
    pass_id: string;
    file_coverage: {
        path: string;
        total_lines: number;
    }[];
    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: string;
            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 type AuditResult = z.infer<typeof AuditResultSchema>;
//# sourceMappingURL=types.d.ts.map