hex-audit 0.4.0

package/dist/core/schema.d.ts

@@ -0,0 +1,3197 @@
+import { z } from 'zod';
+export declare const EvidenceSchema: z.ZodObject<{
+    file: z.ZodString;
+    line_start: z.ZodNumber;
+    line_end: z.ZodNumber;
+    snippet: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    file: string;
+    line_start: number;
+    line_end: number;
+    snippet?: string | undefined;
+}, {
+    file: string;
+    line_start: number;
+    line_end: number;
+    snippet?: string | undefined;
+}>;
+export declare const ConfidenceSchema: z.ZodEnum<["high", "medium", "low"]>;
+export declare const SeveritySchema: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
+export declare const DerivedFromSchema: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+export declare const ConfigSchema: z.ZodObject<{
+    version: z.ZodDefault<z.ZodString>;
+    project: z.ZodObject<{
+        name: z.ZodString;
+        project_dir: z.ZodString;
+        commit: z.ZodString;
+        chain: z.ZodDefault<z.ZodString>;
+        solidity_version: z.ZodString;
+        docs_url: z.ZodOptional<z.ZodString>;
+        scope: z.ZodArray<z.ZodString, "many">;
+        exclude: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        name: string;
+        project_dir: string;
+        commit: string;
+        chain: string;
+        solidity_version: string;
+        scope: string[];
+        exclude: string[];
+        docs_url?: string | undefined;
+    }, {
+        name: string;
+        project_dir: string;
+        commit: string;
+        solidity_version: string;
+        scope: string[];
+        chain?: string | undefined;
+        docs_url?: string | undefined;
+        exclude?: string[] | undefined;
+    }>;
+    settings: z.ZodObject<{
+        output_dir: z.ZodDefault<z.ZodString>;
+        ai_model: z.ZodDefault<z.ZodString>;
+        finding_template: z.ZodDefault<z.ZodString>;
+        ai: z.ZodOptional<z.ZodObject<{
+            auditagent_scan_id: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            auditagent_scan_id?: string | undefined;
+        }, {
+            auditagent_scan_id?: string | undefined;
+        }>>;
+        github: z.ZodOptional<z.ZodObject<{
+            repo: z.ZodString;
+            default_labels: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            severity_label_prefix: z.ZodDefault<z.ZodString>;
+            publish_status: z.ZodDefault<z.ZodArray<z.ZodEnum<["verified", "pending_validation"]>, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            repo: string;
+            default_labels: string[];
+            severity_label_prefix: string;
+            publish_status: ("verified" | "pending_validation")[];
+        }, {
+            repo: string;
+            default_labels?: string[] | undefined;
+            severity_label_prefix?: string | undefined;
+            publish_status?: ("verified" | "pending_validation")[] | undefined;
+        }>>;
+        report: z.ZodOptional<z.ZodObject<{
+            repository_url: z.ZodOptional<z.ZodString>;
+            initial_commit: z.ZodOptional<z.ZodString>;
+            final_commit: z.ZodOptional<z.ZodString>;
+            initial_report_date: z.ZodOptional<z.ZodString>;
+            final_report_date: z.ZodOptional<z.ZodString>;
+            audit_type: z.ZodDefault<z.ZodString>;
+            doc_assessment: z.ZodOptional<z.ZodEnum<["High", "Medium", "Low"]>>;
+            test_assessment: z.ZodOptional<z.ZodEnum<["High", "Medium", "Low"]>>;
+        }, "strip", z.ZodTypeAny, {
+            audit_type: string;
+            repository_url?: string | undefined;
+            initial_commit?: string | undefined;
+            final_commit?: string | undefined;
+            initial_report_date?: string | undefined;
+            final_report_date?: string | undefined;
+            doc_assessment?: "High" | "Medium" | "Low" | undefined;
+            test_assessment?: "High" | "Medium" | "Low" | undefined;
+        }, {
+            repository_url?: string | undefined;
+            initial_commit?: string | undefined;
+            final_commit?: string | undefined;
+            initial_report_date?: string | undefined;
+            final_report_date?: string | undefined;
+            audit_type?: string | undefined;
+            doc_assessment?: "High" | "Medium" | "Low" | undefined;
+            test_assessment?: "High" | "Medium" | "Low" | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        output_dir: string;
+        ai_model: string;
+        finding_template: string;
+        ai?: {
+            auditagent_scan_id?: string | undefined;
+        } | undefined;
+        github?: {
+            repo: string;
+            default_labels: string[];
+            severity_label_prefix: string;
+            publish_status: ("verified" | "pending_validation")[];
+        } | undefined;
+        report?: {
+            audit_type: string;
+            repository_url?: string | undefined;
+            initial_commit?: string | undefined;
+            final_commit?: string | undefined;
+            initial_report_date?: string | undefined;
+            final_report_date?: string | undefined;
+            doc_assessment?: "High" | "Medium" | "Low" | undefined;
+            test_assessment?: "High" | "Medium" | "Low" | undefined;
+        } | undefined;
+    }, {
+        output_dir?: string | undefined;
+        ai_model?: string | undefined;
+        finding_template?: string | undefined;
+        ai?: {
+            auditagent_scan_id?: string | undefined;
+        } | undefined;
+        github?: {
+            repo: string;
+            default_labels?: string[] | undefined;
+            severity_label_prefix?: string | undefined;
+            publish_status?: ("verified" | "pending_validation")[] | undefined;
+        } | undefined;
+        report?: {
+            repository_url?: string | undefined;
+            initial_commit?: string | undefined;
+            final_commit?: string | undefined;
+            initial_report_date?: string | undefined;
+            final_report_date?: string | undefined;
+            audit_type?: string | undefined;
+            doc_assessment?: "High" | "Medium" | "Low" | undefined;
+            test_assessment?: "High" | "Medium" | "Low" | undefined;
+        } | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    version: string;
+    project: {
+        name: string;
+        project_dir: string;
+        commit: string;
+        chain: string;
+        solidity_version: string;
+        scope: string[];
+        exclude: string[];
+        docs_url?: string | undefined;
+    };
+    settings: {
+        output_dir: string;
+        ai_model: string;
+        finding_template: string;
+        ai?: {
+            auditagent_scan_id?: string | undefined;
+        } | undefined;
+        github?: {
+            repo: string;
+            default_labels: string[];
+            severity_label_prefix: string;
+            publish_status: ("verified" | "pending_validation")[];
+        } | undefined;
+        report?: {
+            audit_type: string;
+            repository_url?: string | undefined;
+            initial_commit?: string | undefined;
+            final_commit?: string | undefined;
+            initial_report_date?: string | undefined;
+            final_report_date?: string | undefined;
+            doc_assessment?: "High" | "Medium" | "Low" | undefined;
+            test_assessment?: "High" | "Medium" | "Low" | undefined;
+        } | undefined;
+    };
+}, {
+    project: {
+        name: string;
+        project_dir: string;
+        commit: string;
+        solidity_version: string;
+        scope: string[];
+        chain?: string | undefined;
+        docs_url?: string | undefined;
+        exclude?: string[] | undefined;
+    };
+    settings: {
+        output_dir?: string | undefined;
+        ai_model?: string | undefined;
+        finding_template?: string | undefined;
+        ai?: {
+            auditagent_scan_id?: string | undefined;
+        } | undefined;
+        github?: {
+            repo: string;
+            default_labels?: string[] | undefined;
+            severity_label_prefix?: string | undefined;
+            publish_status?: ("verified" | "pending_validation")[] | undefined;
+        } | undefined;
+        report?: {
+            repository_url?: string | undefined;
+            initial_commit?: string | undefined;
+            final_commit?: string | undefined;
+            initial_report_date?: string | undefined;
+            final_report_date?: string | undefined;
+            audit_type?: string | undefined;
+            doc_assessment?: "High" | "Medium" | "Low" | undefined;
+            test_assessment?: "High" | "Medium" | "Low" | undefined;
+        } | undefined;
+    };
+    version?: string | undefined;
+}>;
+export declare const CoveragePerContractSchema: z.ZodObject<{
+    contract: z.ZodString;
+    file: z.ZodString;
+    line_pct: z.ZodNumber;
+    branch_pct: z.ZodNumber;
+    uncovered_lines: z.ZodArray<z.ZodNumber, "many">;
+}, "strip", z.ZodTypeAny, {
+    file: string;
+    contract: string;
+    line_pct: number;
+    branch_pct: number;
+    uncovered_lines: number[];
+}, {
+    file: string;
+    contract: string;
+    line_pct: number;
+    branch_pct: number;
+    uncovered_lines: number[];
+}>;
+export declare const TestCoverageSchema: z.ZodObject<{
+    status: z.ZodEnum<["available", "failed", "skipped"]>;
+    failure_reason: z.ZodNullable<z.ZodString>;
+    overall_line_pct: z.ZodNullable<z.ZodNumber>;
+    overall_branch_pct: z.ZodNullable<z.ZodNumber>;
+    per_contract: z.ZodArray<z.ZodObject<{
+        contract: z.ZodString;
+        file: z.ZodString;
+        line_pct: z.ZodNumber;
+        branch_pct: z.ZodNumber;
+        uncovered_lines: z.ZodArray<z.ZodNumber, "many">;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        contract: string;
+        line_pct: number;
+        branch_pct: number;
+        uncovered_lines: number[];
+    }, {
+        file: string;
+        contract: string;
+        line_pct: number;
+        branch_pct: number;
+        uncovered_lines: number[];
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    status: "available" | "failed" | "skipped";
+    failure_reason: string | null;
+    overall_line_pct: number | null;
+    overall_branch_pct: number | null;
+    per_contract: {
+        file: string;
+        contract: string;
+        line_pct: number;
+        branch_pct: number;
+        uncovered_lines: number[];
+    }[];
+}, {
+    status: "available" | "failed" | "skipped";
+    failure_reason: string | null;
+    overall_line_pct: number | null;
+    overall_branch_pct: number | null;
+    per_contract: {
+        file: string;
+        contract: string;
+        line_pct: number;
+        branch_pct: number;
+        uncovered_lines: number[];
+    }[];
+}>;
+export declare const PerContractStatsSchema: z.ZodObject<{
+    file: z.ZodString;
+    contract: z.ZodString;
+    type: z.ZodEnum<["contract", "interface", "library", "abstract"]>;
+    nsloc: z.ZodNumber;
+    functions: z.ZodNumber;
+    external_functions: z.ZodNumber;
+    public_functions: z.ZodNumber;
+    internal_functions: z.ZodNumber;
+    private_functions: z.ZodDefault<z.ZodNumber>;
+    modifiers: z.ZodNumber;
+    events: z.ZodNumber;
+    errors: z.ZodNumber;
+    assembly_lines: z.ZodNumber;
+    inherits: z.ZodArray<z.ZodString, "many">;
+    nsloc_with_deps: z.ZodOptional<z.ZodNumber>;
+    total_functions: z.ZodOptional<z.ZodNumber>;
+    total_external_functions: z.ZodOptional<z.ZodNumber>;
+    total_public_functions: z.ZodOptional<z.ZodNumber>;
+    total_modifiers: z.ZodOptional<z.ZodNumber>;
+    total_events: z.ZodOptional<z.ZodNumber>;
+    total_errors: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    file: string;
+    type: "contract" | "interface" | "library" | "abstract";
+    contract: string;
+    nsloc: number;
+    functions: number;
+    external_functions: number;
+    public_functions: number;
+    internal_functions: number;
+    private_functions: number;
+    modifiers: number;
+    events: number;
+    errors: number;
+    assembly_lines: number;
+    inherits: string[];
+    nsloc_with_deps?: number | undefined;
+    total_functions?: number | undefined;
+    total_external_functions?: number | undefined;
+    total_public_functions?: number | undefined;
+    total_modifiers?: number | undefined;
+    total_events?: number | undefined;
+    total_errors?: number | undefined;
+}, {
+    file: string;
+    type: "contract" | "interface" | "library" | "abstract";
+    contract: string;
+    nsloc: number;
+    functions: number;
+    external_functions: number;
+    public_functions: number;
+    internal_functions: number;
+    modifiers: number;
+    events: number;
+    errors: number;
+    assembly_lines: number;
+    inherits: string[];
+    private_functions?: number | undefined;
+    nsloc_with_deps?: number | undefined;
+    total_functions?: number | undefined;
+    total_external_functions?: number | undefined;
+    total_public_functions?: number | undefined;
+    total_modifiers?: number | undefined;
+    total_events?: number | undefined;
+    total_errors?: number | undefined;
+}>;
+export declare const DependencyEntrySchema: z.ZodObject<{
+    package: z.ZodString;
+    version: z.ZodNullable<z.ZodString>;
+    imports: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    version: string | null;
+    package: string;
+    imports: number;
+}, {
+    version: string | null;
+    package: string;
+    imports: number;
+}>;
+export declare const StatsSchema: z.ZodObject<{
+    generated_at: z.ZodString;
+    totals: z.ZodObject<{
+        files: z.ZodNumber;
+        contracts: z.ZodNumber;
+        interfaces: z.ZodNumber;
+        libraries: z.ZodNumber;
+        abstract_contracts: z.ZodNumber;
+        total_lines: z.ZodNumber;
+        nsloc: z.ZodNumber;
+        comment_lines: z.ZodNumber;
+        blank_lines: z.ZodNumber;
+        assembly_lines: z.ZodNumber;
+        nsloc_with_deps: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        nsloc: number;
+        assembly_lines: number;
+        files: number;
+        contracts: number;
+        interfaces: number;
+        libraries: number;
+        abstract_contracts: number;
+        total_lines: number;
+        comment_lines: number;
+        blank_lines: number;
+        nsloc_with_deps?: number | undefined;
+    }, {
+        nsloc: number;
+        assembly_lines: number;
+        files: number;
+        contracts: number;
+        interfaces: number;
+        libraries: number;
+        abstract_contracts: number;
+        total_lines: number;
+        comment_lines: number;
+        blank_lines: number;
+        nsloc_with_deps?: number | undefined;
+    }>;
+    solidity_version: z.ZodString;
+    erc_eip_usage: z.ZodArray<z.ZodString, "many">;
+    dependencies: z.ZodArray<z.ZodObject<{
+        package: z.ZodString;
+        version: z.ZodNullable<z.ZodString>;
+        imports: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        version: string | null;
+        package: string;
+        imports: number;
+    }, {
+        version: string | null;
+        package: string;
+        imports: number;
+    }>, "many">;
+    test_coverage: z.ZodNullable<z.ZodObject<{
+        status: z.ZodEnum<["available", "failed", "skipped"]>;
+        failure_reason: z.ZodNullable<z.ZodString>;
+        overall_line_pct: z.ZodNullable<z.ZodNumber>;
+        overall_branch_pct: z.ZodNullable<z.ZodNumber>;
+        per_contract: z.ZodArray<z.ZodObject<{
+            contract: z.ZodString;
+            file: z.ZodString;
+            line_pct: z.ZodNumber;
+            branch_pct: z.ZodNumber;
+            uncovered_lines: z.ZodArray<z.ZodNumber, "many">;
+        }, "strip", z.ZodTypeAny, {
+            file: string;
+            contract: string;
+            line_pct: number;
+            branch_pct: number;
+            uncovered_lines: number[];
+        }, {
+            file: string;
+            contract: string;
+            line_pct: number;
+            branch_pct: number;
+            uncovered_lines: number[];
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        status: "available" | "failed" | "skipped";
+        failure_reason: string | null;
+        overall_line_pct: number | null;
+        overall_branch_pct: number | null;
+        per_contract: {
+            file: string;
+            contract: string;
+            line_pct: number;
+            branch_pct: number;
+            uncovered_lines: number[];
+        }[];
+    }, {
+        status: "available" | "failed" | "skipped";
+        failure_reason: string | null;
+        overall_line_pct: number | null;
+        overall_branch_pct: number | null;
+        per_contract: {
+            file: string;
+            contract: string;
+            line_pct: number;
+            branch_pct: number;
+            uncovered_lines: number[];
+        }[];
+    }>>;
+    per_contract: z.ZodArray<z.ZodObject<{
+        file: z.ZodString;
+        contract: z.ZodString;
+        type: z.ZodEnum<["contract", "interface", "library", "abstract"]>;
+        nsloc: z.ZodNumber;
+        functions: z.ZodNumber;
+        external_functions: z.ZodNumber;
+        public_functions: z.ZodNumber;
+        internal_functions: z.ZodNumber;
+        private_functions: z.ZodDefault<z.ZodNumber>;
+        modifiers: z.ZodNumber;
+        events: z.ZodNumber;
+        errors: z.ZodNumber;
+        assembly_lines: z.ZodNumber;
+        inherits: z.ZodArray<z.ZodString, "many">;
+        nsloc_with_deps: z.ZodOptional<z.ZodNumber>;
+        total_functions: z.ZodOptional<z.ZodNumber>;
+        total_external_functions: z.ZodOptional<z.ZodNumber>;
+        total_public_functions: z.ZodOptional<z.ZodNumber>;
+        total_modifiers: z.ZodOptional<z.ZodNumber>;
+        total_events: z.ZodOptional<z.ZodNumber>;
+        total_errors: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        type: "contract" | "interface" | "library" | "abstract";
+        contract: string;
+        nsloc: number;
+        functions: number;
+        external_functions: number;
+        public_functions: number;
+        internal_functions: number;
+        private_functions: number;
+        modifiers: number;
+        events: number;
+        errors: number;
+        assembly_lines: number;
+        inherits: string[];
+        nsloc_with_deps?: number | undefined;
+        total_functions?: number | undefined;
+        total_external_functions?: number | undefined;
+        total_public_functions?: number | undefined;
+        total_modifiers?: number | undefined;
+        total_events?: number | undefined;
+        total_errors?: number | undefined;
+    }, {
+        file: string;
+        type: "contract" | "interface" | "library" | "abstract";
+        contract: string;
+        nsloc: number;
+        functions: number;
+        external_functions: number;
+        public_functions: number;
+        internal_functions: number;
+        modifiers: number;
+        events: number;
+        errors: number;
+        assembly_lines: number;
+        inherits: string[];
+        private_functions?: number | undefined;
+        nsloc_with_deps?: number | undefined;
+        total_functions?: number | undefined;
+        total_external_functions?: number | undefined;
+        total_public_functions?: number | undefined;
+        total_modifiers?: number | undefined;
+        total_events?: number | undefined;
+        total_errors?: number | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    solidity_version: string;
+    per_contract: {
+        file: string;
+        type: "contract" | "interface" | "library" | "abstract";
+        contract: string;
+        nsloc: number;
+        functions: number;
+        external_functions: number;
+        public_functions: number;
+        internal_functions: number;
+        private_functions: number;
+        modifiers: number;
+        events: number;
+        errors: number;
+        assembly_lines: number;
+        inherits: string[];
+        nsloc_with_deps?: number | undefined;
+        total_functions?: number | undefined;
+        total_external_functions?: number | undefined;
+        total_public_functions?: number | undefined;
+        total_modifiers?: number | undefined;
+        total_events?: number | undefined;
+        total_errors?: number | undefined;
+    }[];
+    generated_at: string;
+    totals: {
+        nsloc: number;
+        assembly_lines: number;
+        files: number;
+        contracts: number;
+        interfaces: number;
+        libraries: number;
+        abstract_contracts: number;
+        total_lines: number;
+        comment_lines: number;
+        blank_lines: number;
+        nsloc_with_deps?: number | undefined;
+    };
+    erc_eip_usage: string[];
+    dependencies: {
+        version: string | null;
+        package: string;
+        imports: number;
+    }[];
+    test_coverage: {
+        status: "available" | "failed" | "skipped";
+        failure_reason: string | null;
+        overall_line_pct: number | null;
+        overall_branch_pct: number | null;
+        per_contract: {
+            file: string;
+            contract: string;
+            line_pct: number;
+            branch_pct: number;
+            uncovered_lines: number[];
+        }[];
+    } | null;
+}, {
+    solidity_version: string;
+    per_contract: {
+        file: string;
+        type: "contract" | "interface" | "library" | "abstract";
+        contract: string;
+        nsloc: number;
+        functions: number;
+        external_functions: number;
+        public_functions: number;
+        internal_functions: number;
+        modifiers: number;
+        events: number;
+        errors: number;
+        assembly_lines: number;
+        inherits: string[];
+        private_functions?: number | undefined;
+        nsloc_with_deps?: number | undefined;
+        total_functions?: number | undefined;
+        total_external_functions?: number | undefined;
+        total_public_functions?: number | undefined;
+        total_modifiers?: number | undefined;
+        total_events?: number | undefined;
+        total_errors?: number | undefined;
+    }[];
+    generated_at: string;
+    totals: {
+        nsloc: number;
+        assembly_lines: number;
+        files: number;
+        contracts: number;
+        interfaces: number;
+        libraries: number;
+        abstract_contracts: number;
+        total_lines: number;
+        comment_lines: number;
+        blank_lines: number;
+        nsloc_with_deps?: number | undefined;
+    };
+    erc_eip_usage: string[];
+    dependencies: {
+        version: string | null;
+        package: string;
+        imports: number;
+    }[];
+    test_coverage: {
+        status: "available" | "failed" | "skipped";
+        failure_reason: string | null;
+        overall_line_pct: number | null;
+        overall_branch_pct: number | null;
+        per_contract: {
+            file: string;
+            contract: string;
+            line_pct: number;
+            branch_pct: number;
+            uncovered_lines: number[];
+        }[];
+    } | null;
+}>;
+export declare const GraphNodeSchema: z.ZodObject<{
+    inherits: z.ZodArray<z.ZodString, "many">;
+    imports: z.ZodArray<z.ZodString, "many">;
+    calls: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    inherits: string[];
+    imports: string[];
+    calls: string[];
+}, {
+    inherits: string[];
+    imports: string[];
+    calls: string[];
+}>;
+export declare const ClusterSchema: z.ZodObject<{
+    id: z.ZodString;
+    contracts: z.ZodArray<z.ZodString, "many">;
+    total_nsloc: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    contracts: string[];
+    id: string;
+    total_nsloc: number;
+}, {
+    contracts: string[];
+    id: string;
+    total_nsloc: number;
+}>;
+export declare const DepsSchema: z.ZodObject<{
+    graph: z.ZodRecord<z.ZodString, z.ZodObject<{
+        inherits: z.ZodArray<z.ZodString, "many">;
+        imports: z.ZodArray<z.ZodString, "many">;
+        calls: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        inherits: string[];
+        imports: string[];
+        calls: string[];
+    }, {
+        inherits: string[];
+        imports: string[];
+        calls: string[];
+    }>>;
+    clusters: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        contracts: z.ZodArray<z.ZodString, "many">;
+        total_nsloc: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        contracts: string[];
+        id: string;
+        total_nsloc: number;
+    }, {
+        contracts: string[];
+        id: string;
+        total_nsloc: number;
+    }>, "many">;
+    inheritance_trees: z.ZodArray<z.ZodArray<z.ZodString, "many">, "many">;
+    topological_order: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    graph: Record<string, {
+        inherits: string[];
+        imports: string[];
+        calls: string[];
+    }>;
+    clusters: {
+        contracts: string[];
+        id: string;
+        total_nsloc: number;
+    }[];
+    inheritance_trees: string[][];
+    topological_order: string[];
+}, {
+    graph: Record<string, {
+        inherits: string[];
+        imports: string[];
+        calls: string[];
+    }>;
+    clusters: {
+        contracts: string[];
+        id: string;
+        total_nsloc: number;
+    }[];
+    inheritance_trees: string[][];
+    topological_order: string[];
+}>;
+export declare const AccessFunctionSchema: z.ZodObject<{
+    contract: z.ZodString;
+    function: z.ZodString;
+    visibility: z.ZodEnum<["external", "public", "internal", "private"]>;
+    state_mutability: z.ZodNullable<z.ZodEnum<["pure", "view", "nonpayable", "payable"]>>;
+    modifiers: z.ZodArray<z.ZodString, "many">;
+    evidence: z.ZodObject<{
+        file: z.ZodString;
+        line_start: z.ZodNumber;
+        line_end: z.ZodNumber;
+        snippet: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    }, {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    }>;
+    inherited_from: z.ZodOptional<z.ZodString>;
+    inheritance_depth: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    function: string;
+    contract: string;
+    modifiers: string[];
+    visibility: "external" | "public" | "internal" | "private";
+    state_mutability: "pure" | "view" | "nonpayable" | "payable" | null;
+    evidence: {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    };
+    inherited_from?: string | undefined;
+    inheritance_depth?: number | undefined;
+}, {
+    function: string;
+    contract: string;
+    modifiers: string[];
+    visibility: "external" | "public" | "internal" | "private";
+    state_mutability: "pure" | "view" | "nonpayable" | "payable" | null;
+    evidence: {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    };
+    inherited_from?: string | undefined;
+    inheritance_depth?: number | undefined;
+}>;
+export declare const RoleFunctionRefSchema: z.ZodObject<{
+    contract: z.ZodString;
+    function: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    function: string;
+    contract: string;
+}, {
+    function: string;
+    contract: string;
+}>;
+export declare const RoleKindSchema: z.ZodEnum<["access_control", "state_check", "guard", "unknown"]>;
+export declare const RoleSchema: z.ZodObject<{
+    role: z.ZodString;
+    description: z.ZodString;
+    confidence: z.ZodEnum<["high", "medium", "low"]>;
+    derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+    reasoning: z.ZodString;
+    modifier: z.ZodNullable<z.ZodString>;
+    functions: z.ZodArray<z.ZodObject<{
+        contract: z.ZodString;
+        function: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        function: string;
+        contract: string;
+    }, {
+        function: string;
+        contract: string;
+    }>, "many">;
+    warnings: z.ZodArray<z.ZodString, "many">;
+    kind: z.ZodDefault<z.ZodEnum<["access_control", "state_check", "guard", "unknown"]>>;
+    is_likely_access_control: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    functions: {
+        function: string;
+        contract: string;
+    }[];
+    role: string;
+    description: string;
+    confidence: "high" | "medium" | "low";
+    derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+    reasoning: string;
+    modifier: string | null;
+    warnings: string[];
+    kind: "unknown" | "access_control" | "state_check" | "guard";
+    is_likely_access_control: boolean;
+}, {
+    functions: {
+        function: string;
+        contract: string;
+    }[];
+    role: string;
+    description: string;
+    confidence: "high" | "medium" | "low";
+    derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+    reasoning: string;
+    modifier: string | null;
+    warnings: string[];
+    kind?: "unknown" | "access_control" | "state_check" | "guard" | undefined;
+    is_likely_access_control?: boolean | undefined;
+}>;
+export declare const AccessControlSchema: z.ZodObject<{
+    functions: z.ZodArray<z.ZodObject<{
+        contract: z.ZodString;
+        function: z.ZodString;
+        visibility: z.ZodEnum<["external", "public", "internal", "private"]>;
+        state_mutability: z.ZodNullable<z.ZodEnum<["pure", "view", "nonpayable", "payable"]>>;
+        modifiers: z.ZodArray<z.ZodString, "many">;
+        evidence: z.ZodObject<{
+            file: z.ZodString;
+            line_start: z.ZodNumber;
+            line_end: z.ZodNumber;
+            snippet: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        }, {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        }>;
+        inherited_from: z.ZodOptional<z.ZodString>;
+        inheritance_depth: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        function: string;
+        contract: string;
+        modifiers: string[];
+        visibility: "external" | "public" | "internal" | "private";
+        state_mutability: "pure" | "view" | "nonpayable" | "payable" | null;
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        inherited_from?: string | undefined;
+        inheritance_depth?: number | undefined;
+    }, {
+        function: string;
+        contract: string;
+        modifiers: string[];
+        visibility: "external" | "public" | "internal" | "private";
+        state_mutability: "pure" | "view" | "nonpayable" | "payable" | null;
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        inherited_from?: string | undefined;
+        inheritance_depth?: number | undefined;
+    }>, "many">;
+    roles: z.ZodArray<z.ZodObject<{
+        role: z.ZodString;
+        description: z.ZodString;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+        reasoning: z.ZodString;
+        modifier: z.ZodNullable<z.ZodString>;
+        functions: z.ZodArray<z.ZodObject<{
+            contract: z.ZodString;
+            function: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            function: string;
+            contract: string;
+        }, {
+            function: string;
+            contract: string;
+        }>, "many">;
+        warnings: z.ZodArray<z.ZodString, "many">;
+        kind: z.ZodDefault<z.ZodEnum<["access_control", "state_check", "guard", "unknown"]>>;
+        is_likely_access_control: z.ZodDefault<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        functions: {
+            function: string;
+            contract: string;
+        }[];
+        role: string;
+        description: string;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning: string;
+        modifier: string | null;
+        warnings: string[];
+        kind: "unknown" | "access_control" | "state_check" | "guard";
+        is_likely_access_control: boolean;
+    }, {
+        functions: {
+            function: string;
+            contract: string;
+        }[];
+        role: string;
+        description: string;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning: string;
+        modifier: string | null;
+        warnings: string[];
+        kind?: "unknown" | "access_control" | "state_check" | "guard" | undefined;
+        is_likely_access_control?: boolean | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    functions: {
+        function: string;
+        contract: string;
+        modifiers: string[];
+        visibility: "external" | "public" | "internal" | "private";
+        state_mutability: "pure" | "view" | "nonpayable" | "payable" | null;
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        inherited_from?: string | undefined;
+        inheritance_depth?: number | undefined;
+    }[];
+    roles: {
+        functions: {
+            function: string;
+            contract: string;
+        }[];
+        role: string;
+        description: string;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning: string;
+        modifier: string | null;
+        warnings: string[];
+        kind: "unknown" | "access_control" | "state_check" | "guard";
+        is_likely_access_control: boolean;
+    }[];
+}, {
+    functions: {
+        function: string;
+        contract: string;
+        modifiers: string[];
+        visibility: "external" | "public" | "internal" | "private";
+        state_mutability: "pure" | "view" | "nonpayable" | "payable" | null;
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        inherited_from?: string | undefined;
+        inheritance_depth?: number | undefined;
+    }[];
+    roles: {
+        functions: {
+            function: string;
+            contract: string;
+        }[];
+        role: string;
+        description: string;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning: string;
+        modifier: string | null;
+        warnings: string[];
+        kind?: "unknown" | "access_control" | "state_check" | "guard" | undefined;
+        is_likely_access_control?: boolean | undefined;
+    }[];
+}>;
+export declare const ReadWriteInfoSchema: z.ZodObject<{
+    functions: z.ZodArray<z.ZodString, "many">;
+    confidence: z.ZodEnum<["high", "medium", "low"]>;
+    derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+    warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    functions: string[];
+    confidence: "high" | "medium" | "low";
+    derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+    warnings?: string[] | undefined;
+}, {
+    functions: string[];
+    confidence: "high" | "medium" | "low";
+    derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+    warnings?: string[] | undefined;
+}>;
+export declare const StateVariableSchema: z.ZodObject<{
+    contract: z.ZodString;
+    name: z.ZodString;
+    type: z.ZodString;
+    visibility: z.ZodEnum<["public", "internal", "private"]>;
+    mutability: z.ZodEnum<["mutable", "constant", "immutable"]>;
+    value: z.ZodOptional<z.ZodString>;
+    evidence: z.ZodObject<{
+        file: z.ZodString;
+        line_start: z.ZodNumber;
+        line_end: z.ZodNumber;
+        snippet: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    }, {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    }>;
+    written_by: z.ZodObject<{
+        functions: z.ZodArray<z.ZodString, "many">;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+        warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        functions: string[];
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        warnings?: string[] | undefined;
+    }, {
+        functions: string[];
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        warnings?: string[] | undefined;
+    }>;
+    read_by: z.ZodObject<{
+        functions: z.ZodArray<z.ZodString, "many">;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+        warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        functions: string[];
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        warnings?: string[] | undefined;
+    }, {
+        functions: string[];
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        warnings?: string[] | undefined;
+    }>;
+    has_setter: z.ZodBoolean;
+    is_bounded: z.ZodBoolean;
+    bound_description: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    is_unused: z.ZodOptional<z.ZodBoolean>;
+    storage_slot: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+}, "strip", z.ZodTypeAny, {
+    type: string;
+    name: string;
+    contract: string;
+    visibility: "public" | "internal" | "private";
+    evidence: {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    };
+    mutability: "mutable" | "constant" | "immutable";
+    written_by: {
+        functions: string[];
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        warnings?: string[] | undefined;
+    };
+    read_by: {
+        functions: string[];
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        warnings?: string[] | undefined;
+    };
+    has_setter: boolean;
+    is_bounded: boolean;
+    value?: string | undefined;
+    bound_description?: string | null | undefined;
+    is_unused?: boolean | undefined;
+    storage_slot?: number | null | undefined;
+}, {
+    type: string;
+    name: string;
+    contract: string;
+    visibility: "public" | "internal" | "private";
+    evidence: {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    };
+    mutability: "mutable" | "constant" | "immutable";
+    written_by: {
+        functions: string[];
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        warnings?: string[] | undefined;
+    };
+    read_by: {
+        functions: string[];
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        warnings?: string[] | undefined;
+    };
+    has_setter: boolean;
+    is_bounded: boolean;
+    value?: string | undefined;
+    bound_description?: string | null | undefined;
+    is_unused?: boolean | undefined;
+    storage_slot?: number | null | undefined;
+}>;
+export declare const StorageCollisionVariableSchema: z.ZodObject<{
+    contract: z.ZodString;
+    name: z.ZodString;
+    type: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    type: string;
+    name: string;
+    contract: string;
+}, {
+    type: string;
+    name: string;
+    contract: string;
+}>;
+export declare const StorageCollisionSchema: z.ZodObject<{
+    slot: z.ZodNumber;
+    offset: z.ZodDefault<z.ZodNumber>;
+    variables: z.ZodArray<z.ZodObject<{
+        contract: z.ZodString;
+        name: z.ZodString;
+        type: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        type: string;
+        name: string;
+        contract: string;
+    }, {
+        type: string;
+        name: string;
+        contract: string;
+    }>, "many">;
+    severity: z.ZodDefault<z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>>;
+    description: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    description: string;
+    slot: number;
+    offset: number;
+    variables: {
+        type: string;
+        name: string;
+        contract: string;
+    }[];
+    severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+}, {
+    description: string;
+    slot: number;
+    variables: {
+        type: string;
+        name: string;
+        contract: string;
+    }[];
+    offset?: number | undefined;
+    severity?: "Critical" | "High" | "Medium" | "Low" | "Info" | undefined;
+}>;
+export declare const StateVarsSchema: z.ZodObject<{
+    variables: z.ZodArray<z.ZodObject<{
+        contract: z.ZodString;
+        name: z.ZodString;
+        type: z.ZodString;
+        visibility: z.ZodEnum<["public", "internal", "private"]>;
+        mutability: z.ZodEnum<["mutable", "constant", "immutable"]>;
+        value: z.ZodOptional<z.ZodString>;
+        evidence: z.ZodObject<{
+            file: z.ZodString;
+            line_start: z.ZodNumber;
+            line_end: z.ZodNumber;
+            snippet: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        }, {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        }>;
+        written_by: z.ZodObject<{
+            functions: z.ZodArray<z.ZodString, "many">;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+            warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        }, {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        }>;
+        read_by: z.ZodObject<{
+            functions: z.ZodArray<z.ZodString, "many">;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+            warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        }, {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        }>;
+        has_setter: z.ZodBoolean;
+        is_bounded: z.ZodBoolean;
+        bound_description: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        is_unused: z.ZodOptional<z.ZodBoolean>;
+        storage_slot: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    }, "strip", z.ZodTypeAny, {
+        type: string;
+        name: string;
+        contract: string;
+        visibility: "public" | "internal" | "private";
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        mutability: "mutable" | "constant" | "immutable";
+        written_by: {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        };
+        read_by: {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        };
+        has_setter: boolean;
+        is_bounded: boolean;
+        value?: string | undefined;
+        bound_description?: string | null | undefined;
+        is_unused?: boolean | undefined;
+        storage_slot?: number | null | undefined;
+    }, {
+        type: string;
+        name: string;
+        contract: string;
+        visibility: "public" | "internal" | "private";
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        mutability: "mutable" | "constant" | "immutable";
+        written_by: {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        };
+        read_by: {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        };
+        has_setter: boolean;
+        is_bounded: boolean;
+        value?: string | undefined;
+        bound_description?: string | null | undefined;
+        is_unused?: boolean | undefined;
+        storage_slot?: number | null | undefined;
+    }>, "many">;
+    storage_layout_source: z.ZodNullable<z.ZodEnum<["compiler-artifact"]>>;
+    storage_collisions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        slot: z.ZodNumber;
+        offset: z.ZodDefault<z.ZodNumber>;
+        variables: z.ZodArray<z.ZodObject<{
+            contract: z.ZodString;
+            name: z.ZodString;
+            type: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            type: string;
+            name: string;
+            contract: string;
+        }, {
+            type: string;
+            name: string;
+            contract: string;
+        }>, "many">;
+        severity: z.ZodDefault<z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>>;
+        description: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        description: string;
+        slot: number;
+        offset: number;
+        variables: {
+            type: string;
+            name: string;
+            contract: string;
+        }[];
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    }, {
+        description: string;
+        slot: number;
+        variables: {
+            type: string;
+            name: string;
+            contract: string;
+        }[];
+        offset?: number | undefined;
+        severity?: "Critical" | "High" | "Medium" | "Low" | "Info" | undefined;
+    }>, "many">>;
+}, "strip", z.ZodTypeAny, {
+    variables: {
+        type: string;
+        name: string;
+        contract: string;
+        visibility: "public" | "internal" | "private";
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        mutability: "mutable" | "constant" | "immutable";
+        written_by: {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        };
+        read_by: {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        };
+        has_setter: boolean;
+        is_bounded: boolean;
+        value?: string | undefined;
+        bound_description?: string | null | undefined;
+        is_unused?: boolean | undefined;
+        storage_slot?: number | null | undefined;
+    }[];
+    storage_layout_source: "compiler-artifact" | null;
+    storage_collisions: {
+        description: string;
+        slot: number;
+        offset: number;
+        variables: {
+            type: string;
+            name: string;
+            contract: string;
+        }[];
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    }[];
+}, {
+    variables: {
+        type: string;
+        name: string;
+        contract: string;
+        visibility: "public" | "internal" | "private";
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        mutability: "mutable" | "constant" | "immutable";
+        written_by: {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        };
+        read_by: {
+            functions: string[];
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            warnings?: string[] | undefined;
+        };
+        has_setter: boolean;
+        is_bounded: boolean;
+        value?: string | undefined;
+        bound_description?: string | null | undefined;
+        is_unused?: boolean | undefined;
+        storage_slot?: number | null | undefined;
+    }[];
+    storage_layout_source: "compiler-artifact" | null;
+    storage_collisions?: {
+        description: string;
+        slot: number;
+        variables: {
+            type: string;
+            name: string;
+            contract: string;
+        }[];
+        offset?: number | undefined;
+        severity?: "Critical" | "High" | "Medium" | "Low" | "Info" | undefined;
+    }[] | undefined;
+}>;
+export declare const ConfidenceValueSchema: z.ZodObject<{
+    value: z.ZodUnion<[z.ZodBoolean, z.ZodString]>;
+    confidence: z.ZodEnum<["high", "medium", "low"]>;
+    derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    guard_type: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    value: string | boolean;
+    confidence: "high" | "medium" | "low";
+    derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+    reasoning?: string | undefined;
+    warnings?: string[] | undefined;
+    guard_type?: string | undefined;
+}, {
+    value: string | boolean;
+    confidence: "high" | "medium" | "low";
+    derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+    reasoning?: string | undefined;
+    warnings?: string[] | undefined;
+    guard_type?: string | undefined;
+}>;
+export declare const ExternalCallSchema: z.ZodObject<{
+    contract: z.ZodString;
+    function: z.ZodString;
+    evidence: z.ZodObject<{
+        file: z.ZodString;
+        line_start: z.ZodNumber;
+        line_end: z.ZodNumber;
+        snippet: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    }, {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    }>;
+    target: z.ZodString;
+    method: z.ZodString;
+    return_checked: z.ZodObject<{
+        value: z.ZodUnion<[z.ZodBoolean, z.ZodString]>;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+        reasoning: z.ZodOptional<z.ZodString>;
+        warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        guard_type: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    }, {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    }>;
+    inside_reentrancy_guard: z.ZodObject<{
+        value: z.ZodUnion<[z.ZodBoolean, z.ZodString]>;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+        reasoning: z.ZodOptional<z.ZodString>;
+        warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        guard_type: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    }, {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    }>;
+    call_type: z.ZodString;
+    trust_level: z.ZodObject<{
+        value: z.ZodUnion<[z.ZodBoolean, z.ZodString]>;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+        reasoning: z.ZodOptional<z.ZodString>;
+        warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        guard_type: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    }, {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    function: string;
+    contract: string;
+    evidence: {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    };
+    target: string;
+    method: string;
+    return_checked: {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    };
+    inside_reentrancy_guard: {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    };
+    call_type: string;
+    trust_level: {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    };
+}, {
+    function: string;
+    contract: string;
+    evidence: {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    };
+    target: string;
+    method: string;
+    return_checked: {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    };
+    inside_reentrancy_guard: {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    };
+    call_type: string;
+    trust_level: {
+        value: string | boolean;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        reasoning?: string | undefined;
+        warnings?: string[] | undefined;
+        guard_type?: string | undefined;
+    };
+}>;
+export declare const ExternalCallsSchema: z.ZodObject<{
+    calls: z.ZodArray<z.ZodObject<{
+        contract: z.ZodString;
+        function: z.ZodString;
+        evidence: z.ZodObject<{
+            file: z.ZodString;
+            line_start: z.ZodNumber;
+            line_end: z.ZodNumber;
+            snippet: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        }, {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        }>;
+        target: z.ZodString;
+        method: z.ZodString;
+        return_checked: z.ZodObject<{
+            value: z.ZodUnion<[z.ZodBoolean, z.ZodString]>;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+            reasoning: z.ZodOptional<z.ZodString>;
+            warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            guard_type: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        }, {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        }>;
+        inside_reentrancy_guard: z.ZodObject<{
+            value: z.ZodUnion<[z.ZodBoolean, z.ZodString]>;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+            reasoning: z.ZodOptional<z.ZodString>;
+            warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            guard_type: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        }, {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        }>;
+        call_type: z.ZodString;
+        trust_level: z.ZodObject<{
+            value: z.ZodUnion<[z.ZodBoolean, z.ZodString]>;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+            reasoning: z.ZodOptional<z.ZodString>;
+            warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            guard_type: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        }, {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        function: string;
+        contract: string;
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        target: string;
+        method: string;
+        return_checked: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+        inside_reentrancy_guard: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+        call_type: string;
+        trust_level: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+    }, {
+        function: string;
+        contract: string;
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        target: string;
+        method: string;
+        return_checked: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+        inside_reentrancy_guard: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+        call_type: string;
+        trust_level: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    calls: {
+        function: string;
+        contract: string;
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        target: string;
+        method: string;
+        return_checked: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+        inside_reentrancy_guard: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+        call_type: string;
+        trust_level: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+    }[];
+}, {
+    calls: {
+        function: string;
+        contract: string;
+        evidence: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        };
+        target: string;
+        method: string;
+        return_checked: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+        inside_reentrancy_guard: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+        call_type: string;
+        trust_level: {
+            value: string | boolean;
+            confidence: "high" | "medium" | "low";
+            derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+            reasoning?: string | undefined;
+            warnings?: string[] | undefined;
+            guard_type?: string | undefined;
+        };
+    }[];
+}>;
+export declare const FindingLocationSchema: z.ZodObject<{
+    file: z.ZodString;
+    snippet: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    file: string;
+    snippet?: string | undefined;
+}, {
+    file: string;
+    snippet?: string | undefined;
+}>;
+export declare const GithubCommentSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodNumber>;
+    author: z.ZodString;
+    body: z.ZodString;
+    created_at: z.ZodString;
+    url: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    author: string;
+    body: string;
+    created_at: string;
+    id?: number | undefined;
+    url?: string | undefined;
+}, {
+    author: string;
+    body: string;
+    created_at: string;
+    id?: number | undefined;
+    url?: string | undefined;
+}>;
+export declare const GithubLinkSchema: z.ZodObject<{
+    issue_number: z.ZodNumber;
+    issue_url: z.ZodString;
+    state: z.ZodDefault<z.ZodEnum<["open", "closed"]>>;
+    last_synced_at: z.ZodString;
+    sync_status: z.ZodDefault<z.ZodEnum<["in_sync", "local_ahead", "remote_ahead", "conflict"]>>;
+    comments: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodOptional<z.ZodNumber>;
+        author: z.ZodString;
+        body: z.ZodString;
+        created_at: z.ZodString;
+        url: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        author: string;
+        body: string;
+        created_at: string;
+        id?: number | undefined;
+        url?: string | undefined;
+    }, {
+        author: string;
+        body: string;
+        created_at: string;
+        id?: number | undefined;
+        url?: string | undefined;
+    }>, "many">>;
+}, "strip", z.ZodTypeAny, {
+    issue_number: number;
+    issue_url: string;
+    state: "open" | "closed";
+    last_synced_at: string;
+    sync_status: "in_sync" | "local_ahead" | "remote_ahead" | "conflict";
+    comments: {
+        author: string;
+        body: string;
+        created_at: string;
+        id?: number | undefined;
+        url?: string | undefined;
+    }[];
+}, {
+    issue_number: number;
+    issue_url: string;
+    last_synced_at: string;
+    state?: "open" | "closed" | undefined;
+    sync_status?: "in_sync" | "local_ahead" | "remote_ahead" | "conflict" | undefined;
+    comments?: {
+        author: string;
+        body: string;
+        created_at: string;
+        id?: number | undefined;
+        url?: string | undefined;
+    }[] | undefined;
+}>;
+export declare const ResolutionSchema: z.ZodEnum<["Fixed", "Mitigated", "Acknowledged", "Not Fixed", "Unresolved"]>;
+export declare const FindingSchema: z.ZodObject<{
+    id: z.ZodString;
+    title: z.ZodString;
+    severity: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
+    category: z.ZodString;
+    description: z.ZodString;
+    root_cause: z.ZodObject<{
+        locations: z.ZodArray<z.ZodObject<{
+            file: z.ZodString;
+            snippet: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            file: string;
+            snippet?: string | undefined;
+        }, {
+            file: string;
+            snippet?: string | undefined;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        locations: {
+            file: string;
+            snippet?: string | undefined;
+        }[];
+    }, {
+        locations: {
+            file: string;
+            snippet?: string | undefined;
+        }[];
+    }>;
+    poc: z.ZodObject<{
+        status: z.ZodEnum<["passing", "failing", "not_started"]>;
+        file: z.ZodNullable<z.ZodString>;
+        validation_memo: z.ZodNullable<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        file: string | null;
+        status: "passing" | "failing" | "not_started";
+        validation_memo: string | null;
+    }, {
+        file: string | null;
+        status: "passing" | "failing" | "not_started";
+        validation_memo: string | null;
+    }>;
+    recommendation: z.ZodString;
+    references: z.ZodObject<{
+        external_links: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        external_links: string[];
+    }, {
+        external_links: string[];
+    }>;
+    created_at: z.ZodString;
+    github: z.ZodOptional<z.ZodObject<{
+        issue_number: z.ZodNumber;
+        issue_url: z.ZodString;
+        state: z.ZodDefault<z.ZodEnum<["open", "closed"]>>;
+        last_synced_at: z.ZodString;
+        sync_status: z.ZodDefault<z.ZodEnum<["in_sync", "local_ahead", "remote_ahead", "conflict"]>>;
+        comments: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodOptional<z.ZodNumber>;
+            author: z.ZodString;
+            body: z.ZodString;
+            created_at: z.ZodString;
+            url: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            author: string;
+            body: string;
+            created_at: string;
+            id?: number | undefined;
+            url?: string | undefined;
+        }, {
+            author: string;
+            body: string;
+            created_at: string;
+            id?: number | undefined;
+            url?: string | undefined;
+        }>, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        issue_number: number;
+        issue_url: string;
+        state: "open" | "closed";
+        last_synced_at: string;
+        sync_status: "in_sync" | "local_ahead" | "remote_ahead" | "conflict";
+        comments: {
+            author: string;
+            body: string;
+            created_at: string;
+            id?: number | undefined;
+            url?: string | undefined;
+        }[];
+    }, {
+        issue_number: number;
+        issue_url: string;
+        last_synced_at: string;
+        state?: "open" | "closed" | undefined;
+        sync_status?: "in_sync" | "local_ahead" | "remote_ahead" | "conflict" | undefined;
+        comments?: {
+            author: string;
+            body: string;
+            created_at: string;
+            id?: number | undefined;
+            url?: string | undefined;
+        }[] | undefined;
+    }>>;
+    update_from_client: z.ZodOptional<z.ZodString>;
+    resolution: z.ZodOptional<z.ZodEnum<["Fixed", "Mitigated", "Acknowledged", "Not Fixed", "Unresolved"]>>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    description: string;
+    severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    created_at: string;
+    title: string;
+    category: string;
+    root_cause: {
+        locations: {
+            file: string;
+            snippet?: string | undefined;
+        }[];
+    };
+    poc: {
+        file: string | null;
+        status: "passing" | "failing" | "not_started";
+        validation_memo: string | null;
+    };
+    recommendation: string;
+    references: {
+        external_links: string[];
+    };
+    github?: {
+        issue_number: number;
+        issue_url: string;
+        state: "open" | "closed";
+        last_synced_at: string;
+        sync_status: "in_sync" | "local_ahead" | "remote_ahead" | "conflict";
+        comments: {
+            author: string;
+            body: string;
+            created_at: string;
+            id?: number | undefined;
+            url?: string | undefined;
+        }[];
+    } | undefined;
+    update_from_client?: string | undefined;
+    resolution?: "Fixed" | "Mitigated" | "Acknowledged" | "Not Fixed" | "Unresolved" | undefined;
+}, {
+    id: string;
+    description: string;
+    severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    created_at: string;
+    title: string;
+    category: string;
+    root_cause: {
+        locations: {
+            file: string;
+            snippet?: string | undefined;
+        }[];
+    };
+    poc: {
+        file: string | null;
+        status: "passing" | "failing" | "not_started";
+        validation_memo: string | null;
+    };
+    recommendation: string;
+    references: {
+        external_links: string[];
+    };
+    github?: {
+        issue_number: number;
+        issue_url: string;
+        last_synced_at: string;
+        state?: "open" | "closed" | undefined;
+        sync_status?: "in_sync" | "local_ahead" | "remote_ahead" | "conflict" | undefined;
+        comments?: {
+            author: string;
+            body: string;
+            created_at: string;
+            id?: number | undefined;
+            url?: string | undefined;
+        }[] | undefined;
+    } | undefined;
+    update_from_client?: string | undefined;
+    resolution?: "Fixed" | "Mitigated" | "Acknowledged" | "Not Fixed" | "Unresolved" | undefined;
+}>;
+export declare const FindingsSchema: z.ZodObject<{
+    findings: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        severity: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
+        category: z.ZodString;
+        description: z.ZodString;
+        root_cause: z.ZodObject<{
+            locations: z.ZodArray<z.ZodObject<{
+                file: z.ZodString;
+                snippet: z.ZodOptional<z.ZodString>;
+            }, "strip", z.ZodTypeAny, {
+                file: string;
+                snippet?: string | undefined;
+            }, {
+                file: string;
+                snippet?: string | undefined;
+            }>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            locations: {
+                file: string;
+                snippet?: string | undefined;
+            }[];
+        }, {
+            locations: {
+                file: string;
+                snippet?: string | undefined;
+            }[];
+        }>;
+        poc: z.ZodObject<{
+            status: z.ZodEnum<["passing", "failing", "not_started"]>;
+            file: z.ZodNullable<z.ZodString>;
+            validation_memo: z.ZodNullable<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            file: string | null;
+            status: "passing" | "failing" | "not_started";
+            validation_memo: string | null;
+        }, {
+            file: string | null;
+            status: "passing" | "failing" | "not_started";
+            validation_memo: string | null;
+        }>;
+        recommendation: z.ZodString;
+        references: z.ZodObject<{
+            external_links: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            external_links: string[];
+        }, {
+            external_links: string[];
+        }>;
+        created_at: z.ZodString;
+        github: z.ZodOptional<z.ZodObject<{
+            issue_number: z.ZodNumber;
+            issue_url: z.ZodString;
+            state: z.ZodDefault<z.ZodEnum<["open", "closed"]>>;
+            last_synced_at: z.ZodString;
+            sync_status: z.ZodDefault<z.ZodEnum<["in_sync", "local_ahead", "remote_ahead", "conflict"]>>;
+            comments: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodOptional<z.ZodNumber>;
+                author: z.ZodString;
+                body: z.ZodString;
+                created_at: z.ZodString;
+                url: z.ZodOptional<z.ZodString>;
+            }, "strip", z.ZodTypeAny, {
+                author: string;
+                body: string;
+                created_at: string;
+                id?: number | undefined;
+                url?: string | undefined;
+            }, {
+                author: string;
+                body: string;
+                created_at: string;
+                id?: number | undefined;
+                url?: string | undefined;
+            }>, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            issue_number: number;
+            issue_url: string;
+            state: "open" | "closed";
+            last_synced_at: string;
+            sync_status: "in_sync" | "local_ahead" | "remote_ahead" | "conflict";
+            comments: {
+                author: string;
+                body: string;
+                created_at: string;
+                id?: number | undefined;
+                url?: string | undefined;
+            }[];
+        }, {
+            issue_number: number;
+            issue_url: string;
+            last_synced_at: string;
+            state?: "open" | "closed" | undefined;
+            sync_status?: "in_sync" | "local_ahead" | "remote_ahead" | "conflict" | undefined;
+            comments?: {
+                author: string;
+                body: string;
+                created_at: string;
+                id?: number | undefined;
+                url?: string | undefined;
+            }[] | undefined;
+        }>>;
+        update_from_client: z.ZodOptional<z.ZodString>;
+        resolution: z.ZodOptional<z.ZodEnum<["Fixed", "Mitigated", "Acknowledged", "Not Fixed", "Unresolved"]>>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        description: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        created_at: string;
+        title: string;
+        category: string;
+        root_cause: {
+            locations: {
+                file: string;
+                snippet?: string | undefined;
+            }[];
+        };
+        poc: {
+            file: string | null;
+            status: "passing" | "failing" | "not_started";
+            validation_memo: string | null;
+        };
+        recommendation: string;
+        references: {
+            external_links: string[];
+        };
+        github?: {
+            issue_number: number;
+            issue_url: string;
+            state: "open" | "closed";
+            last_synced_at: string;
+            sync_status: "in_sync" | "local_ahead" | "remote_ahead" | "conflict";
+            comments: {
+                author: string;
+                body: string;
+                created_at: string;
+                id?: number | undefined;
+                url?: string | undefined;
+            }[];
+        } | undefined;
+        update_from_client?: string | undefined;
+        resolution?: "Fixed" | "Mitigated" | "Acknowledged" | "Not Fixed" | "Unresolved" | undefined;
+    }, {
+        id: string;
+        description: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        created_at: string;
+        title: string;
+        category: string;
+        root_cause: {
+            locations: {
+                file: string;
+                snippet?: string | undefined;
+            }[];
+        };
+        poc: {
+            file: string | null;
+            status: "passing" | "failing" | "not_started";
+            validation_memo: string | null;
+        };
+        recommendation: string;
+        references: {
+            external_links: string[];
+        };
+        github?: {
+            issue_number: number;
+            issue_url: string;
+            last_synced_at: string;
+            state?: "open" | "closed" | undefined;
+            sync_status?: "in_sync" | "local_ahead" | "remote_ahead" | "conflict" | undefined;
+            comments?: {
+                author: string;
+                body: string;
+                created_at: string;
+                id?: number | undefined;
+                url?: string | undefined;
+            }[] | undefined;
+        } | undefined;
+        update_from_client?: string | undefined;
+        resolution?: "Fixed" | "Mitigated" | "Acknowledged" | "Not Fixed" | "Unresolved" | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    findings: {
+        id: string;
+        description: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        created_at: string;
+        title: string;
+        category: string;
+        root_cause: {
+            locations: {
+                file: string;
+                snippet?: string | undefined;
+            }[];
+        };
+        poc: {
+            file: string | null;
+            status: "passing" | "failing" | "not_started";
+            validation_memo: string | null;
+        };
+        recommendation: string;
+        references: {
+            external_links: string[];
+        };
+        github?: {
+            issue_number: number;
+            issue_url: string;
+            state: "open" | "closed";
+            last_synced_at: string;
+            sync_status: "in_sync" | "local_ahead" | "remote_ahead" | "conflict";
+            comments: {
+                author: string;
+                body: string;
+                created_at: string;
+                id?: number | undefined;
+                url?: string | undefined;
+            }[];
+        } | undefined;
+        update_from_client?: string | undefined;
+        resolution?: "Fixed" | "Mitigated" | "Acknowledged" | "Not Fixed" | "Unresolved" | undefined;
+    }[];
+}, {
+    findings: {
+        id: string;
+        description: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        created_at: string;
+        title: string;
+        category: string;
+        root_cause: {
+            locations: {
+                file: string;
+                snippet?: string | undefined;
+            }[];
+        };
+        poc: {
+            file: string | null;
+            status: "passing" | "failing" | "not_started";
+            validation_memo: string | null;
+        };
+        recommendation: string;
+        references: {
+            external_links: string[];
+        };
+        github?: {
+            issue_number: number;
+            issue_url: string;
+            last_synced_at: string;
+            state?: "open" | "closed" | undefined;
+            sync_status?: "in_sync" | "local_ahead" | "remote_ahead" | "conflict" | undefined;
+            comments?: {
+                author: string;
+                body: string;
+                created_at: string;
+                id?: number | undefined;
+                url?: string | undefined;
+            }[] | undefined;
+        } | undefined;
+        update_from_client?: string | undefined;
+        resolution?: "Fixed" | "Mitigated" | "Acknowledged" | "Not Fixed" | "Unresolved" | undefined;
+    }[];
+}>;
+export declare const TrackingSourceSchema: z.ZodEnum<["manual", "auditagent", "conformance", "github"]>;
+export declare const TrackingEntrySchema: z.ZodObject<{
+    id: z.ZodString;
+    title: z.ZodString;
+    severity: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
+    source: z.ZodEnum<["manual", "auditagent", "conformance", "github"]>;
+    status: z.ZodEnum<["verified", "pending_validation", "rejected", "duplicate", "unverified"]>;
+    poc_status: z.ZodEnum<["passing", "failing", "not_started"]>;
+    poc_file: z.ZodNullable<z.ZodString>;
+    duplicates: z.ZodArray<z.ZodString, "many">;
+    duplicate_of: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    notes: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    status: "verified" | "pending_validation" | "rejected" | "duplicate" | "unverified";
+    id: string;
+    severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    title: string;
+    source: "manual" | "github" | "auditagent" | "conformance";
+    poc_status: "passing" | "failing" | "not_started";
+    poc_file: string | null;
+    duplicates: string[];
+    notes: string;
+    duplicate_of?: string | null | undefined;
+}, {
+    status: "verified" | "pending_validation" | "rejected" | "duplicate" | "unverified";
+    id: string;
+    severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    title: string;
+    source: "manual" | "github" | "auditagent" | "conformance";
+    poc_status: "passing" | "failing" | "not_started";
+    poc_file: string | null;
+    duplicates: string[];
+    notes: string;
+    duplicate_of?: string | null | undefined;
+}>;
+export declare const TrackingSchema: z.ZodObject<{
+    findings: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        severity: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
+        source: z.ZodEnum<["manual", "auditagent", "conformance", "github"]>;
+        status: z.ZodEnum<["verified", "pending_validation", "rejected", "duplicate", "unverified"]>;
+        poc_status: z.ZodEnum<["passing", "failing", "not_started"]>;
+        poc_file: z.ZodNullable<z.ZodString>;
+        duplicates: z.ZodArray<z.ZodString, "many">;
+        duplicate_of: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        notes: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: "verified" | "pending_validation" | "rejected" | "duplicate" | "unverified";
+        id: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        source: "manual" | "github" | "auditagent" | "conformance";
+        poc_status: "passing" | "failing" | "not_started";
+        poc_file: string | null;
+        duplicates: string[];
+        notes: string;
+        duplicate_of?: string | null | undefined;
+    }, {
+        status: "verified" | "pending_validation" | "rejected" | "duplicate" | "unverified";
+        id: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        source: "manual" | "github" | "auditagent" | "conformance";
+        poc_status: "passing" | "failing" | "not_started";
+        poc_file: string | null;
+        duplicates: string[];
+        notes: string;
+        duplicate_of?: string | null | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    findings: {
+        status: "verified" | "pending_validation" | "rejected" | "duplicate" | "unverified";
+        id: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        source: "manual" | "github" | "auditagent" | "conformance";
+        poc_status: "passing" | "failing" | "not_started";
+        poc_file: string | null;
+        duplicates: string[];
+        notes: string;
+        duplicate_of?: string | null | undefined;
+    }[];
+}, {
+    findings: {
+        status: "verified" | "pending_validation" | "rejected" | "duplicate" | "unverified";
+        id: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        source: "manual" | "github" | "auditagent" | "conformance";
+        poc_status: "passing" | "failing" | "not_started";
+        poc_file: string | null;
+        duplicates: string[];
+        notes: string;
+        duplicate_of?: string | null | undefined;
+    }[];
+}>;
+export declare const MatchAgreementSchema: z.ZodEnum<["same", "overlapping", "different"]>;
+export declare const MatchSignalsSchema: z.ZodObject<{
+    contract: z.ZodBoolean;
+    function: z.ZodBoolean;
+    root_cause: z.ZodEnum<["same", "overlapping", "different"]>;
+    attack_vector: z.ZodEnum<["same", "overlapping", "different"]>;
+}, "strip", z.ZodTypeAny, {
+    function: boolean;
+    contract: boolean;
+    root_cause: "same" | "overlapping" | "different";
+    attack_vector: "same" | "overlapping" | "different";
+}, {
+    function: boolean;
+    contract: boolean;
+    root_cause: "same" | "overlapping" | "different";
+    attack_vector: "same" | "overlapping" | "different";
+}>;
+export declare const ComparisonDuplicateSchema: z.ZodObject<{
+    ai_finding: z.ZodString;
+    matches: z.ZodString;
+    confidence: z.ZodEnum<["high", "medium", "low"]>;
+    match_signals: z.ZodOptional<z.ZodObject<{
+        contract: z.ZodBoolean;
+        function: z.ZodBoolean;
+        root_cause: z.ZodEnum<["same", "overlapping", "different"]>;
+        attack_vector: z.ZodEnum<["same", "overlapping", "different"]>;
+    }, "strip", z.ZodTypeAny, {
+        function: boolean;
+        contract: boolean;
+        root_cause: "same" | "overlapping" | "different";
+        attack_vector: "same" | "overlapping" | "different";
+    }, {
+        function: boolean;
+        contract: boolean;
+        root_cause: "same" | "overlapping" | "different";
+        attack_vector: "same" | "overlapping" | "different";
+    }>>;
+    reasoning: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    confidence: "high" | "medium" | "low";
+    ai_finding: string;
+    matches: string;
+    reasoning?: string | undefined;
+    match_signals?: {
+        function: boolean;
+        contract: boolean;
+        root_cause: "same" | "overlapping" | "different";
+        attack_vector: "same" | "overlapping" | "different";
+    } | undefined;
+}, {
+    confidence: "high" | "medium" | "low";
+    ai_finding: string;
+    matches: string;
+    reasoning?: string | undefined;
+    match_signals?: {
+        function: boolean;
+        contract: boolean;
+        root_cause: "same" | "overlapping" | "different";
+        attack_vector: "same" | "overlapping" | "different";
+    } | undefined;
+}>;
+export declare const ComparisonNovelSchema: z.ZodObject<{
+    id: z.ZodString;
+    source: z.ZodString;
+    original_id: z.ZodString;
+    title: z.ZodString;
+    validity: z.ZodEnum<["likely_valid", "needs_review", "likely_false_positive"]>;
+    reasoning: z.ZodString;
+    priority: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    reasoning: string;
+    title: string;
+    source: string;
+    original_id: string;
+    validity: "likely_valid" | "needs_review" | "likely_false_positive";
+    priority: number;
+}, {
+    id: string;
+    reasoning: string;
+    title: string;
+    source: string;
+    original_id: string;
+    validity: "likely_valid" | "needs_review" | "likely_false_positive";
+    priority: number;
+}>;
+export declare const ComparisonRejectedSchema: z.ZodObject<{
+    id: z.ZodString;
+    reason: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    reason: string;
+}, {
+    id: string;
+    reason: string;
+}>;
+export declare const ComparisonSchema: z.ZodObject<{
+    duplicates: z.ZodArray<z.ZodObject<{
+        ai_finding: z.ZodString;
+        matches: z.ZodString;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        match_signals: z.ZodOptional<z.ZodObject<{
+            contract: z.ZodBoolean;
+            function: z.ZodBoolean;
+            root_cause: z.ZodEnum<["same", "overlapping", "different"]>;
+            attack_vector: z.ZodEnum<["same", "overlapping", "different"]>;
+        }, "strip", z.ZodTypeAny, {
+            function: boolean;
+            contract: boolean;
+            root_cause: "same" | "overlapping" | "different";
+            attack_vector: "same" | "overlapping" | "different";
+        }, {
+            function: boolean;
+            contract: boolean;
+            root_cause: "same" | "overlapping" | "different";
+            attack_vector: "same" | "overlapping" | "different";
+        }>>;
+        reasoning: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        confidence: "high" | "medium" | "low";
+        ai_finding: string;
+        matches: string;
+        reasoning?: string | undefined;
+        match_signals?: {
+            function: boolean;
+            contract: boolean;
+            root_cause: "same" | "overlapping" | "different";
+            attack_vector: "same" | "overlapping" | "different";
+        } | undefined;
+    }, {
+        confidence: "high" | "medium" | "low";
+        ai_finding: string;
+        matches: string;
+        reasoning?: string | undefined;
+        match_signals?: {
+            function: boolean;
+            contract: boolean;
+            root_cause: "same" | "overlapping" | "different";
+            attack_vector: "same" | "overlapping" | "different";
+        } | undefined;
+    }>, "many">;
+    novel: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        source: z.ZodString;
+        original_id: z.ZodString;
+        title: z.ZodString;
+        validity: z.ZodEnum<["likely_valid", "needs_review", "likely_false_positive"]>;
+        reasoning: z.ZodString;
+        priority: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        reasoning: string;
+        title: string;
+        source: string;
+        original_id: string;
+        validity: "likely_valid" | "needs_review" | "likely_false_positive";
+        priority: number;
+    }, {
+        id: string;
+        reasoning: string;
+        title: string;
+        source: string;
+        original_id: string;
+        validity: "likely_valid" | "needs_review" | "likely_false_positive";
+        priority: number;
+    }>, "many">;
+    rejected: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        reason: string;
+    }, {
+        id: string;
+        reason: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    rejected: {
+        id: string;
+        reason: string;
+    }[];
+    duplicates: {
+        confidence: "high" | "medium" | "low";
+        ai_finding: string;
+        matches: string;
+        reasoning?: string | undefined;
+        match_signals?: {
+            function: boolean;
+            contract: boolean;
+            root_cause: "same" | "overlapping" | "different";
+            attack_vector: "same" | "overlapping" | "different";
+        } | undefined;
+    }[];
+    novel: {
+        id: string;
+        reasoning: string;
+        title: string;
+        source: string;
+        original_id: string;
+        validity: "likely_valid" | "needs_review" | "likely_false_positive";
+        priority: number;
+    }[];
+}, {
+    rejected: {
+        id: string;
+        reason: string;
+    }[];
+    duplicates: {
+        confidence: "high" | "medium" | "low";
+        ai_finding: string;
+        matches: string;
+        reasoning?: string | undefined;
+        match_signals?: {
+            function: boolean;
+            contract: boolean;
+            root_cause: "same" | "overlapping" | "different";
+            attack_vector: "same" | "overlapping" | "different";
+        } | undefined;
+    }[];
+    novel: {
+        id: string;
+        reasoning: string;
+        title: string;
+        source: string;
+        original_id: string;
+        validity: "likely_valid" | "needs_review" | "likely_false_positive";
+        priority: number;
+    }[];
+}>;
+export declare const SpecItemSchema: z.ZodObject<{
+    id: z.ZodString;
+    source: z.ZodEnum<["external_docs", "natspec", "interface", "erc_eip"]>;
+    spec_text: z.ZodString;
+    spec_location: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    status: z.ZodEnum<["CONFORMS", "DEVIATES", "PARTIAL", "UNVERIFIABLE", "UNDOCUMENTED"]>;
+    finding: z.ZodString;
+    code_location: z.ZodOptional<z.ZodObject<{
+        file: z.ZodString;
+        line_start: z.ZodNumber;
+        line_end: z.ZodNumber;
+        snippet: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    }, {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    }>>;
+    severity_hint: z.ZodOptional<z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>>;
+    confidence: z.ZodEnum<["high", "medium", "low"]>;
+}, "strip", z.ZodTypeAny, {
+    status: "CONFORMS" | "DEVIATES" | "PARTIAL" | "UNVERIFIABLE" | "UNDOCUMENTED";
+    id: string;
+    confidence: "high" | "medium" | "low";
+    source: "interface" | "external_docs" | "natspec" | "erc_eip";
+    spec_text: string;
+    spec_location: Record<string, unknown>;
+    finding: string;
+    code_location?: {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    } | undefined;
+    severity_hint?: "Critical" | "High" | "Medium" | "Low" | "Info" | undefined;
+}, {
+    status: "CONFORMS" | "DEVIATES" | "PARTIAL" | "UNVERIFIABLE" | "UNDOCUMENTED";
+    id: string;
+    confidence: "high" | "medium" | "low";
+    source: "interface" | "external_docs" | "natspec" | "erc_eip";
+    spec_text: string;
+    spec_location: Record<string, unknown>;
+    finding: string;
+    code_location?: {
+        file: string;
+        line_start: number;
+        line_end: number;
+        snippet?: string | undefined;
+    } | undefined;
+    severity_hint?: "Critical" | "High" | "Medium" | "Low" | "Info" | undefined;
+}>;
+export declare const SpecConformanceSchema: z.ZodObject<{
+    checked_at: z.ZodString;
+    sources_checked: z.ZodObject<{
+        external_docs: z.ZodBoolean;
+        natspec: z.ZodBoolean;
+        interfaces: z.ZodBoolean;
+        erc_eip: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        interfaces: boolean;
+        external_docs: boolean;
+        natspec: boolean;
+        erc_eip: string[];
+    }, {
+        interfaces: boolean;
+        external_docs: boolean;
+        natspec: boolean;
+        erc_eip: string[];
+    }>;
+    summary: z.ZodObject<{
+        total_checks: z.ZodNumber;
+        conforms: z.ZodNumber;
+        deviates: z.ZodNumber;
+        partial: z.ZodNumber;
+        unverifiable: z.ZodNumber;
+        undocumented: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        partial: number;
+        total_checks: number;
+        conforms: number;
+        deviates: number;
+        unverifiable: number;
+        undocumented: number;
+    }, {
+        partial: number;
+        total_checks: number;
+        conforms: number;
+        deviates: number;
+        unverifiable: number;
+        undocumented: number;
+    }>;
+    items: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        source: z.ZodEnum<["external_docs", "natspec", "interface", "erc_eip"]>;
+        spec_text: z.ZodString;
+        spec_location: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        status: z.ZodEnum<["CONFORMS", "DEVIATES", "PARTIAL", "UNVERIFIABLE", "UNDOCUMENTED"]>;
+        finding: z.ZodString;
+        code_location: z.ZodOptional<z.ZodObject<{
+            file: z.ZodString;
+            line_start: z.ZodNumber;
+            line_end: z.ZodNumber;
+            snippet: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        }, {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        }>>;
+        severity_hint: z.ZodOptional<z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>>;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+    }, "strip", z.ZodTypeAny, {
+        status: "CONFORMS" | "DEVIATES" | "PARTIAL" | "UNVERIFIABLE" | "UNDOCUMENTED";
+        id: string;
+        confidence: "high" | "medium" | "low";
+        source: "interface" | "external_docs" | "natspec" | "erc_eip";
+        spec_text: string;
+        spec_location: Record<string, unknown>;
+        finding: string;
+        code_location?: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        } | undefined;
+        severity_hint?: "Critical" | "High" | "Medium" | "Low" | "Info" | undefined;
+    }, {
+        status: "CONFORMS" | "DEVIATES" | "PARTIAL" | "UNVERIFIABLE" | "UNDOCUMENTED";
+        id: string;
+        confidence: "high" | "medium" | "low";
+        source: "interface" | "external_docs" | "natspec" | "erc_eip";
+        spec_text: string;
+        spec_location: Record<string, unknown>;
+        finding: string;
+        code_location?: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        } | undefined;
+        severity_hint?: "Critical" | "High" | "Medium" | "Low" | "Info" | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    checked_at: string;
+    sources_checked: {
+        interfaces: boolean;
+        external_docs: boolean;
+        natspec: boolean;
+        erc_eip: string[];
+    };
+    summary: {
+        partial: number;
+        total_checks: number;
+        conforms: number;
+        deviates: number;
+        unverifiable: number;
+        undocumented: number;
+    };
+    items: {
+        status: "CONFORMS" | "DEVIATES" | "PARTIAL" | "UNVERIFIABLE" | "UNDOCUMENTED";
+        id: string;
+        confidence: "high" | "medium" | "low";
+        source: "interface" | "external_docs" | "natspec" | "erc_eip";
+        spec_text: string;
+        spec_location: Record<string, unknown>;
+        finding: string;
+        code_location?: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        } | undefined;
+        severity_hint?: "Critical" | "High" | "Medium" | "Low" | "Info" | undefined;
+    }[];
+}, {
+    checked_at: string;
+    sources_checked: {
+        interfaces: boolean;
+        external_docs: boolean;
+        natspec: boolean;
+        erc_eip: string[];
+    };
+    summary: {
+        partial: number;
+        total_checks: number;
+        conforms: number;
+        deviates: number;
+        unverifiable: number;
+        undocumented: number;
+    };
+    items: {
+        status: "CONFORMS" | "DEVIATES" | "PARTIAL" | "UNVERIFIABLE" | "UNDOCUMENTED";
+        id: string;
+        confidence: "high" | "medium" | "low";
+        source: "interface" | "external_docs" | "natspec" | "erc_eip";
+        spec_text: string;
+        spec_location: Record<string, unknown>;
+        finding: string;
+        code_location?: {
+            file: string;
+            line_start: number;
+            line_end: number;
+            snippet?: string | undefined;
+        } | undefined;
+        severity_hint?: "Critical" | "High" | "Medium" | "Low" | "Info" | undefined;
+    }[];
+}>;
+export declare const AiResultFindingSchema: z.ZodObject<{
+    id: z.ZodString;
+    tool: z.ZodString;
+    title: z.ZodString;
+    severity: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
+    description: z.ZodString;
+    affected_code: z.ZodArray<z.ZodObject<{
+        file: z.ZodString;
+        snippet: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        snippet?: string | undefined;
+    }, {
+        file: string;
+        snippet?: string | undefined;
+    }>, "many">;
+    confidence: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
+    category: z.ZodOptional<z.ZodString>;
+    raw_category: z.ZodOptional<z.ZodString>;
+    ai_consensus: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    description: string;
+    severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    title: string;
+    tool: string;
+    affected_code: {
+        file: string;
+        snippet?: string | undefined;
+    }[];
+    confidence?: "high" | "medium" | "low" | undefined;
+    category?: string | undefined;
+    raw_category?: string | undefined;
+    ai_consensus?: number | undefined;
+}, {
+    id: string;
+    description: string;
+    severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    title: string;
+    tool: string;
+    affected_code: {
+        file: string;
+        snippet?: string | undefined;
+    }[];
+    confidence?: "high" | "medium" | "low" | undefined;
+    category?: string | undefined;
+    raw_category?: string | undefined;
+    ai_consensus?: number | undefined;
+}>;
+export declare const AiResultFileSchema: z.ZodObject<{
+    tool: z.ZodString;
+    ran_at: z.ZodString;
+    duration_seconds: z.ZodOptional<z.ZodNumber>;
+    total_findings: z.ZodNumber;
+    findings: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        tool: z.ZodString;
+        title: z.ZodString;
+        severity: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
+        description: z.ZodString;
+        affected_code: z.ZodArray<z.ZodObject<{
+            file: z.ZodString;
+            snippet: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            file: string;
+            snippet?: string | undefined;
+        }, {
+            file: string;
+            snippet?: string | undefined;
+        }>, "many">;
+        confidence: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
+        category: z.ZodOptional<z.ZodString>;
+        raw_category: z.ZodOptional<z.ZodString>;
+        ai_consensus: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        description: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        tool: string;
+        affected_code: {
+            file: string;
+            snippet?: string | undefined;
+        }[];
+        confidence?: "high" | "medium" | "low" | undefined;
+        category?: string | undefined;
+        raw_category?: string | undefined;
+        ai_consensus?: number | undefined;
+    }, {
+        id: string;
+        description: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        tool: string;
+        affected_code: {
+            file: string;
+            snippet?: string | undefined;
+        }[];
+        confidence?: "high" | "medium" | "low" | undefined;
+        category?: string | undefined;
+        raw_category?: string | undefined;
+        ai_consensus?: number | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    findings: {
+        id: string;
+        description: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        tool: string;
+        affected_code: {
+            file: string;
+            snippet?: string | undefined;
+        }[];
+        confidence?: "high" | "medium" | "low" | undefined;
+        category?: string | undefined;
+        raw_category?: string | undefined;
+        ai_consensus?: number | undefined;
+    }[];
+    tool: string;
+    ran_at: string;
+    total_findings: number;
+    duration_seconds?: number | undefined;
+}, {
+    findings: {
+        id: string;
+        description: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        tool: string;
+        affected_code: {
+            file: string;
+            snippet?: string | undefined;
+        }[];
+        confidence?: "high" | "medium" | "low" | undefined;
+        category?: string | undefined;
+        raw_category?: string | undefined;
+        ai_consensus?: number | undefined;
+    }[];
+    tool: string;
+    ran_at: string;
+    total_findings: number;
+    duration_seconds?: number | undefined;
+}>;
+export declare const AiToolStatusSchema: z.ZodObject<{
+    status: z.ZodEnum<["completed", "running", "failed", "not_started", "pending_scan"]>;
+    ran_at: z.ZodOptional<z.ZodString>;
+    started_at: z.ZodOptional<z.ZodString>;
+    pid: z.ZodOptional<z.ZodNumber>;
+    findings_count: z.ZodOptional<z.ZodNumber>;
+    error: z.ZodOptional<z.ZodString>;
+    scan_id: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "failed" | "not_started" | "completed" | "running" | "pending_scan";
+    ran_at?: string | undefined;
+    started_at?: string | undefined;
+    pid?: number | undefined;
+    findings_count?: number | undefined;
+    error?: string | undefined;
+    scan_id?: string | undefined;
+}, {
+    status: "failed" | "not_started" | "completed" | "running" | "pending_scan";
+    ran_at?: string | undefined;
+    started_at?: string | undefined;
+    pid?: number | undefined;
+    findings_count?: number | undefined;
+    error?: string | undefined;
+    scan_id?: string | undefined;
+}>;
+export declare const AiStatusSchema: z.ZodObject<{
+    tools: z.ZodRecord<z.ZodString, z.ZodObject<{
+        status: z.ZodEnum<["completed", "running", "failed", "not_started", "pending_scan"]>;
+        ran_at: z.ZodOptional<z.ZodString>;
+        started_at: z.ZodOptional<z.ZodString>;
+        pid: z.ZodOptional<z.ZodNumber>;
+        findings_count: z.ZodOptional<z.ZodNumber>;
+        error: z.ZodOptional<z.ZodString>;
+        scan_id: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "failed" | "not_started" | "completed" | "running" | "pending_scan";
+        ran_at?: string | undefined;
+        started_at?: string | undefined;
+        pid?: number | undefined;
+        findings_count?: number | undefined;
+        error?: string | undefined;
+        scan_id?: string | undefined;
+    }, {
+        status: "failed" | "not_started" | "completed" | "running" | "pending_scan";
+        ran_at?: string | undefined;
+        started_at?: string | undefined;
+        pid?: number | undefined;
+        findings_count?: number | undefined;
+        error?: string | undefined;
+        scan_id?: string | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    tools: Record<string, {
+        status: "failed" | "not_started" | "completed" | "running" | "pending_scan";
+        ran_at?: string | undefined;
+        started_at?: string | undefined;
+        pid?: number | undefined;
+        findings_count?: number | undefined;
+        error?: string | undefined;
+        scan_id?: string | undefined;
+    }>;
+}, {
+    tools: Record<string, {
+        status: "failed" | "not_started" | "completed" | "running" | "pending_scan";
+        ran_at?: string | undefined;
+        started_at?: string | undefined;
+        pid?: number | undefined;
+        findings_count?: number | undefined;
+        error?: string | undefined;
+        scan_id?: string | undefined;
+    }>;
+}>;
+export declare const GithubSyncStatusSchema: z.ZodObject<{
+    repo: z.ZodString;
+    last_synced_at: z.ZodString;
+    pushed: z.ZodDefault<z.ZodNumber>;
+    updated: z.ZodDefault<z.ZodNumber>;
+    pulled: z.ZodDefault<z.ZodNumber>;
+    teammate_findings: z.ZodDefault<z.ZodNumber>;
+    duplicates_detected: z.ZodDefault<z.ZodNumber>;
+    errors: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    repo: string;
+    errors: string[];
+    last_synced_at: string;
+    pushed: number;
+    updated: number;
+    pulled: number;
+    teammate_findings: number;
+    duplicates_detected: number;
+}, {
+    repo: string;
+    last_synced_at: string;
+    errors?: string[] | undefined;
+    pushed?: number | undefined;
+    updated?: number | undefined;
+    pulled?: number | undefined;
+    teammate_findings?: number | undefined;
+    duplicates_detected?: number | undefined;
+}>;
+//# sourceMappingURL=schema.d.ts.map