hex-audit 0.6.2 → 0.7.0

package/dist/core/schema.d.ts

@@ -29,6 +29,35 @@ export declare const ConfigSchema: z.ZodObject<{
         docs_url: z.ZodOptional<z.ZodString>;
         scope: z.ZodArray<z.ZodString, "many">;
         exclude: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        /** Raw --scope globs as typed (lets deleted/renamed files be tested for scope). */
+        scope_globs: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        /** `full` = audit the whole scope at `commit`; `diff` = audit `diff.base_commit` → `commit`. */
+        mode: z.ZodDefault<z.ZodEnum<["full", "diff"]>>;
+        diff: z.ZodOptional<z.ZodObject<{
+            base_commit: z.ZodString;
+            previous_audit: z.ZodOptional<z.ZodObject<{
+                kind: z.ZodEnum<["hex", "report"]>;
+                path: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                path: string;
+                kind: "hex" | "report";
+            }, {
+                path: string;
+                kind: "hex" | "report";
+            }>>;
+        }, "strip", z.ZodTypeAny, {
+            base_commit: string;
+            previous_audit?: {
+                path: string;
+                kind: "hex" | "report";
+            } | undefined;
+        }, {
+            base_commit: string;
+            previous_audit?: {
+                path: string;
+                kind: "hex" | "report";
+            } | undefined;
+        }>>;
     }, "strip", z.ZodTypeAny, {
         name: string;
         project_dir: string;
@@ -37,7 +66,16 @@ export declare const ConfigSchema: z.ZodObject<{
         solidity_version: string;
         scope: string[];
         exclude: string[];
+        mode: "full" | "diff";
         docs_url?: string | undefined;
+        scope_globs?: string[] | undefined;
+        diff?: {
+            base_commit: string;
+            previous_audit?: {
+                path: string;
+                kind: "hex" | "report";
+            } | undefined;
+        } | undefined;
     }, {
         name: string;
         project_dir: string;
@@ -47,6 +85,15 @@ export declare const ConfigSchema: z.ZodObject<{
         chain?: string | undefined;
         docs_url?: string | undefined;
         exclude?: string[] | undefined;
+        scope_globs?: string[] | undefined;
+        diff?: {
+            base_commit: string;
+            previous_audit?: {
+                path: string;
+                kind: "hex" | "report";
+            } | undefined;
+        } | undefined;
+        mode?: "full" | "diff" | undefined;
     }>;
     settings: z.ZodObject<{
         output_dir: z.ZodDefault<z.ZodString>;
@@ -113,6 +160,18 @@ export declare const ConfigSchema: z.ZodObject<{
         output_dir: string;
         ai_model: string;
         finding_template: string;
+        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;
+            kickoff_call?: string | undefined;
+            client_availability?: string | undefined;
+        } | undefined;
         ai?: {
             auditagent_scan_id?: string | undefined;
         } | undefined;
@@ -122,19 +181,19 @@ export declare const ConfigSchema: z.ZodObject<{
             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;
+            audit_type?: string | undefined;
             doc_assessment?: "High" | "Medium" | "Low" | undefined;
             test_assessment?: "High" | "Medium" | "Low" | undefined;
             kickoff_call?: string | undefined;
             client_availability?: string | undefined;
         } | undefined;
-    }, {
         output_dir?: string | undefined;
         ai_model?: string | undefined;
         finding_template?: string | undefined;
@@ -147,18 +206,6 @@ export declare const ConfigSchema: z.ZodObject<{
             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;
-            kickoff_call?: string | undefined;
-            client_availability?: string | undefined;
-        } | undefined;
     }>;
 }, "strip", z.ZodTypeAny, {
     version: string;
@@ -170,21 +217,21 @@ export declare const ConfigSchema: z.ZodObject<{
         solidity_version: string;
         scope: string[];
         exclude: string[];
+        mode: "full" | "diff";
         docs_url?: string | undefined;
+        scope_globs?: string[] | undefined;
+        diff?: {
+            base_commit: string;
+            previous_audit?: {
+                path: string;
+                kind: "hex" | "report";
+            } | undefined;
+        } | 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;
@@ -197,6 +244,15 @@ export declare const ConfigSchema: z.ZodObject<{
             kickoff_call?: string | undefined;
             client_availability?: string | undefined;
         } | undefined;
+        ai?: {
+            auditagent_scan_id?: string | undefined;
+        } | undefined;
+        github?: {
+            repo: string;
+            default_labels: string[];
+            severity_label_prefix: string;
+            publish_status: ("verified" | "pending_validation")[];
+        } | undefined;
     };
 }, {
     project: {
@@ -208,20 +264,17 @@ export declare const ConfigSchema: z.ZodObject<{
         chain?: string | undefined;
         docs_url?: string | undefined;
         exclude?: string[] | undefined;
+        scope_globs?: string[] | undefined;
+        diff?: {
+            base_commit: string;
+            previous_audit?: {
+                path: string;
+                kind: "hex" | "report";
+            } | undefined;
+        } | undefined;
+        mode?: "full" | "diff" | 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;
@@ -234,6 +287,18 @@ export declare const ConfigSchema: z.ZodObject<{
             kickoff_call?: string | undefined;
             client_availability?: string | 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;
     };
     version?: string | undefined;
 }>;
@@ -839,6 +904,7 @@ export declare const RoleSchema: z.ZodObject<{
     kind: z.ZodDefault<z.ZodEnum<["access_control", "state_check", "guard", "unknown"]>>;
     is_likely_access_control: z.ZodDefault<z.ZodBoolean>;
 }, "strip", z.ZodTypeAny, {
+    kind: "unknown" | "access_control" | "state_check" | "guard";
     functions: {
         function: string;
         contract: string;
@@ -850,7 +916,6 @@ export declare const RoleSchema: z.ZodObject<{
     reasoning: string;
     modifier: string | null;
     warnings: string[];
-    kind: "unknown" | "access_control" | "state_check" | "guard";
     is_likely_access_control: boolean;
 }, {
     functions: {
@@ -942,6 +1007,7 @@ export declare const AccessControlSchema: z.ZodObject<{
         kind: z.ZodDefault<z.ZodEnum<["access_control", "state_check", "guard", "unknown"]>>;
         is_likely_access_control: z.ZodDefault<z.ZodBoolean>;
     }, "strip", z.ZodTypeAny, {
+        kind: "unknown" | "access_control" | "state_check" | "guard";
         functions: {
             function: string;
             contract: string;
@@ -953,7 +1019,6 @@ export declare const AccessControlSchema: z.ZodObject<{
         reasoning: string;
         modifier: string | null;
         warnings: string[];
-        kind: "unknown" | "access_control" | "state_check" | "guard";
         is_likely_access_control: boolean;
     }, {
         functions: {
@@ -987,6 +1052,7 @@ export declare const AccessControlSchema: z.ZodObject<{
         inheritance_depth?: number | undefined;
     }[];
     roles: {
+        kind: "unknown" | "access_control" | "state_check" | "guard";
         functions: {
             function: string;
             contract: string;
@@ -998,7 +1064,6 @@ export declare const AccessControlSchema: z.ZodObject<{
         reasoning: string;
         modifier: string | null;
         warnings: string[];
-        kind: "unknown" | "access_control" | "state_check" | "guard";
         is_likely_access_control: boolean;
     }[];
 }, {
@@ -2429,12 +2494,12 @@ export declare const FindingsSchema: z.ZodObject<{
         source_ref?: string | null | undefined;
     }[];
 }>;
-export declare const TrackingSourceSchema: z.ZodEnum<["manual", "auditagent", "conformance", "github"]>;
+export declare const TrackingSourceSchema: z.ZodEnum<["manual", "auditagent", "conformance", "github", "ai-audit", "prior-audit"]>;
 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"]>;
+    source: z.ZodEnum<["manual", "auditagent", "conformance", "github", "ai-audit", "prior-audit"]>;
     status: z.ZodEnum<["verified", "pending_validation", "rejected", "duplicate", "unverified", "synced"]>;
     poc_status: z.ZodEnum<["passing", "failing", "not_started"]>;
     poc_file: z.ZodNullable<z.ZodString>;
@@ -2447,7 +2512,7 @@ export declare const TrackingEntrySchema: z.ZodObject<{
     id: string;
     severity: "Critical" | "High" | "Medium" | "Low" | "Info";
     title: string;
-    source: "manual" | "github" | "auditagent" | "conformance";
+    source: "manual" | "github" | "auditagent" | "conformance" | "ai-audit" | "prior-audit";
     poc_status: "passing" | "failing" | "not_started";
     poc_file: string | null;
     duplicates: string[];
@@ -2459,7 +2524,7 @@ export declare const TrackingEntrySchema: z.ZodObject<{
     id: string;
     severity: "Critical" | "High" | "Medium" | "Low" | "Info";
     title: string;
-    source: "manual" | "github" | "auditagent" | "conformance";
+    source: "manual" | "github" | "auditagent" | "conformance" | "ai-audit" | "prior-audit";
     poc_status: "passing" | "failing" | "not_started";
     poc_file: string | null;
     duplicates: string[];
@@ -2472,7 +2537,7 @@ export declare const TrackingSchema: z.ZodObject<{
         id: z.ZodString;
         title: z.ZodString;
         severity: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
-        source: z.ZodEnum<["manual", "auditagent", "conformance", "github"]>;
+        source: z.ZodEnum<["manual", "auditagent", "conformance", "github", "ai-audit", "prior-audit"]>;
         status: z.ZodEnum<["verified", "pending_validation", "rejected", "duplicate", "unverified", "synced"]>;
         poc_status: z.ZodEnum<["passing", "failing", "not_started"]>;
         poc_file: z.ZodNullable<z.ZodString>;
@@ -2485,7 +2550,7 @@ export declare const TrackingSchema: z.ZodObject<{
         id: string;
         severity: "Critical" | "High" | "Medium" | "Low" | "Info";
         title: string;
-        source: "manual" | "github" | "auditagent" | "conformance";
+        source: "manual" | "github" | "auditagent" | "conformance" | "ai-audit" | "prior-audit";
         poc_status: "passing" | "failing" | "not_started";
         poc_file: string | null;
         duplicates: string[];
@@ -2497,7 +2562,7 @@ export declare const TrackingSchema: z.ZodObject<{
         id: string;
         severity: "Critical" | "High" | "Medium" | "Low" | "Info";
         title: string;
-        source: "manual" | "github" | "auditagent" | "conformance";
+        source: "manual" | "github" | "auditagent" | "conformance" | "ai-audit" | "prior-audit";
         poc_status: "passing" | "failing" | "not_started";
         poc_file: string | null;
         duplicates: string[];
@@ -2511,7 +2576,7 @@ export declare const TrackingSchema: z.ZodObject<{
         id: string;
         severity: "Critical" | "High" | "Medium" | "Low" | "Info";
         title: string;
-        source: "manual" | "github" | "auditagent" | "conformance";
+        source: "manual" | "github" | "auditagent" | "conformance" | "ai-audit" | "prior-audit";
         poc_status: "passing" | "failing" | "not_started";
         poc_file: string | null;
         duplicates: string[];
@@ -2525,7 +2590,7 @@ export declare const TrackingSchema: z.ZodObject<{
         id: string;
         severity: "Critical" | "High" | "Medium" | "Low" | "Info";
         title: string;
-        source: "manual" | "github" | "auditagent" | "conformance";
+        source: "manual" | "github" | "auditagent" | "conformance" | "ai-audit" | "prior-audit";
         poc_status: "passing" | "failing" | "not_started";
         poc_file: string | null;
         duplicates: string[];
@@ -3000,6 +3065,10 @@ export declare const AiResultFindingSchema: z.ZodObject<{
     category: z.ZodOptional<z.ZodString>;
     raw_category: z.ZodOptional<z.ZodString>;
     ai_consensus: z.ZodOptional<z.ZodNumber>;
+    recommendation: z.ZodOptional<z.ZodString>;
+    /** /ai-audit only: the scan's `Contract|function|bug-class` key and run stamp. */
+    scan_key: z.ZodOptional<z.ZodString>;
+    scan_stamp: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
     id: string;
     description: string;
@@ -3012,8 +3081,11 @@ export declare const AiResultFindingSchema: z.ZodObject<{
     }[];
     confidence?: "high" | "medium" | "low" | undefined;
     category?: string | undefined;
+    recommendation?: string | undefined;
     raw_category?: string | undefined;
     ai_consensus?: number | undefined;
+    scan_key?: string | undefined;
+    scan_stamp?: string | undefined;
 }, {
     id: string;
     description: string;
@@ -3026,8 +3098,11 @@ export declare const AiResultFindingSchema: z.ZodObject<{
     }[];
     confidence?: "high" | "medium" | "low" | undefined;
     category?: string | undefined;
+    recommendation?: string | undefined;
     raw_category?: string | undefined;
     ai_consensus?: number | undefined;
+    scan_key?: string | undefined;
+    scan_stamp?: string | undefined;
 }>;
 export declare const AiResultFileSchema: z.ZodObject<{
     tool: z.ZodString;
@@ -3054,6 +3129,10 @@ export declare const AiResultFileSchema: z.ZodObject<{
         category: z.ZodOptional<z.ZodString>;
         raw_category: z.ZodOptional<z.ZodString>;
         ai_consensus: z.ZodOptional<z.ZodNumber>;
+        recommendation: z.ZodOptional<z.ZodString>;
+        /** /ai-audit only: the scan's `Contract|function|bug-class` key and run stamp. */
+        scan_key: z.ZodOptional<z.ZodString>;
+        scan_stamp: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
         id: string;
         description: string;
@@ -3066,8 +3145,11 @@ export declare const AiResultFileSchema: z.ZodObject<{
         }[];
         confidence?: "high" | "medium" | "low" | undefined;
         category?: string | undefined;
+        recommendation?: string | undefined;
         raw_category?: string | undefined;
         ai_consensus?: number | undefined;
+        scan_key?: string | undefined;
+        scan_stamp?: string | undefined;
     }, {
         id: string;
         description: string;
@@ -3080,8 +3162,11 @@ export declare const AiResultFileSchema: z.ZodObject<{
         }[];
         confidence?: "high" | "medium" | "low" | undefined;
         category?: string | undefined;
+        recommendation?: string | undefined;
         raw_category?: string | undefined;
         ai_consensus?: number | undefined;
+        scan_key?: string | undefined;
+        scan_stamp?: string | undefined;
     }>, "many">;
 }, "strip", z.ZodTypeAny, {
     findings: {
@@ -3096,8 +3181,11 @@ export declare const AiResultFileSchema: z.ZodObject<{
         }[];
         confidence?: "high" | "medium" | "low" | undefined;
         category?: string | undefined;
+        recommendation?: string | undefined;
         raw_category?: string | undefined;
         ai_consensus?: number | undefined;
+        scan_key?: string | undefined;
+        scan_stamp?: string | undefined;
     }[];
     tool: string;
     ran_at: string;
@@ -3116,14 +3204,623 @@ export declare const AiResultFileSchema: z.ZodObject<{
         }[];
         confidence?: "high" | "medium" | "low" | undefined;
         category?: string | undefined;
+        recommendation?: string | undefined;
         raw_category?: string | undefined;
         ai_consensus?: number | undefined;
+        scan_key?: string | undefined;
+        scan_stamp?: string | undefined;
     }[];
     tool: string;
     ran_at: string;
     total_findings: number;
     duration_seconds?: number | undefined;
 }>;
+export declare const DiffFileStatusSchema: z.ZodEnum<["added", "modified", "deleted", "renamed"]>;
+export declare const DiffFileSchema: z.ZodObject<{
+    path: z.ZodString;
+    status: z.ZodEnum<["added", "modified", "deleted", "renamed"]>;
+    old_path: z.ZodOptional<z.ZodString>;
+    additions: z.ZodNumber;
+    deletions: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    path: string;
+    status: "added" | "modified" | "deleted" | "renamed";
+    additions: number;
+    deletions: number;
+    old_path?: string | undefined;
+}, {
+    path: string;
+    status: "added" | "modified" | "deleted" | "renamed";
+    additions: number;
+    deletions: number;
+    old_path?: string | undefined;
+}>;
+export declare const DiffEntityKindSchema: z.ZodEnum<["contract", "function", "modifier", "state_variable", "event", "error", "struct", "inheritance"]>;
+export declare const DiffChangeKindSchema: z.ZodEnum<["added", "removed", "modified", "comments_only"]>;
+export declare const DiffChangeSchema: z.ZodObject<{
+    contract: z.ZodString;
+    /** Entity name; functions carry their signature, e.g. `deposit(uint256,address)`. */
+    entity: z.ZodString;
+    kind: z.ZodEnum<["contract", "function", "modifier", "state_variable", "event", "error", "struct", "inheritance"]>;
+    file: z.ZodString;
+    change: z.ZodEnum<["added", "removed", "modified", "comments_only"]>;
+    line_start: z.ZodOptional<z.ZodNumber>;
+    line_end: z.ZodOptional<z.ZodNumber>;
+    visibility: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    file: string;
+    kind: "function" | "contract" | "modifier" | "state_variable" | "event" | "error" | "struct" | "inheritance";
+    contract: string;
+    entity: string;
+    change: "added" | "modified" | "removed" | "comments_only";
+    line_start?: number | undefined;
+    line_end?: number | undefined;
+    visibility?: string | undefined;
+}, {
+    file: string;
+    kind: "function" | "contract" | "modifier" | "state_variable" | "event" | "error" | "struct" | "inheritance";
+    contract: string;
+    entity: string;
+    change: "added" | "modified" | "removed" | "comments_only";
+    line_start?: number | undefined;
+    line_end?: number | undefined;
+    visibility?: string | undefined;
+}>;
+export declare const StorageLayoutChangeSchema: z.ZodObject<{
+    contract: z.ZodString;
+    file: z.ZodString;
+    kind: z.ZodEnum<["variable_added", "variable_removed", "variable_reordered", "variable_type_changed", "inheritance_changed", "struct_changed"]>;
+    detail: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    file: string;
+    kind: "variable_added" | "variable_removed" | "variable_reordered" | "variable_type_changed" | "inheritance_changed" | "struct_changed";
+    contract: string;
+    detail: string;
+}, {
+    file: string;
+    kind: "variable_added" | "variable_removed" | "variable_reordered" | "variable_type_changed" | "inheritance_changed" | "struct_changed";
+    contract: string;
+    detail: string;
+}>;
+export declare const ImpactReasonSchema: z.ZodObject<{
+    kind: z.ZodEnum<["changed", "calls", "modifier", "reads_state", "override", "inherits"]>;
+    /** The changed or impacted entity this hop goes through, e.g. `Vault._accrue()`. */
+    via: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+    via: string;
+}, {
+    kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+    via: string;
+}>;
+export declare const ImpactedFunctionSchema: z.ZodObject<{
+    contract: z.ZodString;
+    function: z.ZodString;
+    file: z.ZodString;
+    visibility: z.ZodString;
+    is_entry_point: z.ZodBoolean;
+    /** 0 = the function itself changed; n = n hops from the nearest change. */
+    depth: z.ZodNumber;
+    reasons: z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<["changed", "calls", "modifier", "reads_state", "override", "inherits"]>;
+        /** The changed or impacted entity this hop goes through, e.g. `Vault._accrue()`. */
+        via: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+        via: string;
+    }, {
+        kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+        via: string;
+    }>, "many">;
+    confidence: z.ZodEnum<["high", "medium", "low"]>;
+    derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+    line_start: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    function: string;
+    file: string;
+    contract: string;
+    visibility: string;
+    confidence: "high" | "medium" | "low";
+    derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+    is_entry_point: boolean;
+    depth: number;
+    reasons: {
+        kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+        via: string;
+    }[];
+    line_start?: number | undefined;
+}, {
+    function: string;
+    file: string;
+    contract: string;
+    visibility: string;
+    confidence: "high" | "medium" | "low";
+    derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+    is_entry_point: boolean;
+    depth: number;
+    reasons: {
+        kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+        via: string;
+    }[];
+    line_start?: number | undefined;
+}>;
+export declare const DiffSchema: z.ZodObject<{
+    generated_at: z.ZodString;
+    base_commit: z.ZodString;
+    head_commit: z.ZodString;
+    /** Set when the working tree HEAD is not head_commit (analyses read the working tree). */
+    warnings: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        status: z.ZodEnum<["added", "modified", "deleted", "renamed"]>;
+        old_path: z.ZodOptional<z.ZodString>;
+        additions: z.ZodNumber;
+        deletions: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        status: "added" | "modified" | "deleted" | "renamed";
+        additions: number;
+        deletions: number;
+        old_path?: string | undefined;
+    }, {
+        path: string;
+        status: "added" | "modified" | "deleted" | "renamed";
+        additions: number;
+        deletions: number;
+        old_path?: string | undefined;
+    }>, "many">;
+    changes: z.ZodArray<z.ZodObject<{
+        contract: z.ZodString;
+        /** Entity name; functions carry their signature, e.g. `deposit(uint256,address)`. */
+        entity: z.ZodString;
+        kind: z.ZodEnum<["contract", "function", "modifier", "state_variable", "event", "error", "struct", "inheritance"]>;
+        file: z.ZodString;
+        change: z.ZodEnum<["added", "removed", "modified", "comments_only"]>;
+        line_start: z.ZodOptional<z.ZodNumber>;
+        line_end: z.ZodOptional<z.ZodNumber>;
+        visibility: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        kind: "function" | "contract" | "modifier" | "state_variable" | "event" | "error" | "struct" | "inheritance";
+        contract: string;
+        entity: string;
+        change: "added" | "modified" | "removed" | "comments_only";
+        line_start?: number | undefined;
+        line_end?: number | undefined;
+        visibility?: string | undefined;
+    }, {
+        file: string;
+        kind: "function" | "contract" | "modifier" | "state_variable" | "event" | "error" | "struct" | "inheritance";
+        contract: string;
+        entity: string;
+        change: "added" | "modified" | "removed" | "comments_only";
+        line_start?: number | undefined;
+        line_end?: number | undefined;
+        visibility?: string | undefined;
+    }>, "many">;
+    storage_layout_changes: z.ZodArray<z.ZodObject<{
+        contract: z.ZodString;
+        file: z.ZodString;
+        kind: z.ZodEnum<["variable_added", "variable_removed", "variable_reordered", "variable_type_changed", "inheritance_changed", "struct_changed"]>;
+        detail: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        kind: "variable_added" | "variable_removed" | "variable_reordered" | "variable_type_changed" | "inheritance_changed" | "struct_changed";
+        contract: string;
+        detail: string;
+    }, {
+        file: string;
+        kind: "variable_added" | "variable_removed" | "variable_reordered" | "variable_type_changed" | "inheritance_changed" | "struct_changed";
+        contract: string;
+        detail: string;
+    }>, "many">;
+    impacted: z.ZodArray<z.ZodObject<{
+        contract: z.ZodString;
+        function: z.ZodString;
+        file: z.ZodString;
+        visibility: z.ZodString;
+        is_entry_point: z.ZodBoolean;
+        /** 0 = the function itself changed; n = n hops from the nearest change. */
+        depth: z.ZodNumber;
+        reasons: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<["changed", "calls", "modifier", "reads_state", "override", "inherits"]>;
+            /** The changed or impacted entity this hop goes through, e.g. `Vault._accrue()`. */
+            via: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+            via: string;
+        }, {
+            kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+            via: string;
+        }>, "many">;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        derived_from: z.ZodEnum<["solc-ast", "slither", "forge", "regex", "heuristic", "compiler-layout", "manual"]>;
+        line_start: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        function: string;
+        file: string;
+        contract: string;
+        visibility: string;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        is_entry_point: boolean;
+        depth: number;
+        reasons: {
+            kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+            via: string;
+        }[];
+        line_start?: number | undefined;
+    }, {
+        function: string;
+        file: string;
+        contract: string;
+        visibility: string;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        is_entry_point: boolean;
+        depth: number;
+        reasons: {
+            kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+            via: string;
+        }[];
+        line_start?: number | undefined;
+    }>, "many">;
+    summary: z.ZodObject<{
+        files_changed: z.ZodNumber;
+        additions: z.ZodNumber;
+        deletions: z.ZodNumber;
+        functions_added: z.ZodNumber;
+        functions_modified: z.ZodNumber;
+        functions_removed: z.ZodNumber;
+        impacted_functions: z.ZodNumber;
+        impacted_entry_points: z.ZodNumber;
+        storage_layout_changes: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        additions: number;
+        deletions: number;
+        storage_layout_changes: number;
+        files_changed: number;
+        functions_added: number;
+        functions_modified: number;
+        functions_removed: number;
+        impacted_functions: number;
+        impacted_entry_points: number;
+    }, {
+        additions: number;
+        deletions: number;
+        storage_layout_changes: number;
+        files_changed: number;
+        functions_added: number;
+        functions_modified: number;
+        functions_removed: number;
+        impacted_functions: number;
+        impacted_entry_points: number;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    base_commit: string;
+    generated_at: string;
+    files: {
+        path: string;
+        status: "added" | "modified" | "deleted" | "renamed";
+        additions: number;
+        deletions: number;
+        old_path?: string | undefined;
+    }[];
+    warnings: string[];
+    summary: {
+        additions: number;
+        deletions: number;
+        storage_layout_changes: number;
+        files_changed: number;
+        functions_added: number;
+        functions_modified: number;
+        functions_removed: number;
+        impacted_functions: number;
+        impacted_entry_points: number;
+    };
+    head_commit: string;
+    changes: {
+        file: string;
+        kind: "function" | "contract" | "modifier" | "state_variable" | "event" | "error" | "struct" | "inheritance";
+        contract: string;
+        entity: string;
+        change: "added" | "modified" | "removed" | "comments_only";
+        line_start?: number | undefined;
+        line_end?: number | undefined;
+        visibility?: string | undefined;
+    }[];
+    storage_layout_changes: {
+        file: string;
+        kind: "variable_added" | "variable_removed" | "variable_reordered" | "variable_type_changed" | "inheritance_changed" | "struct_changed";
+        contract: string;
+        detail: string;
+    }[];
+    impacted: {
+        function: string;
+        file: string;
+        contract: string;
+        visibility: string;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        is_entry_point: boolean;
+        depth: number;
+        reasons: {
+            kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+            via: string;
+        }[];
+        line_start?: number | undefined;
+    }[];
+}, {
+    base_commit: string;
+    generated_at: string;
+    files: {
+        path: string;
+        status: "added" | "modified" | "deleted" | "renamed";
+        additions: number;
+        deletions: number;
+        old_path?: string | undefined;
+    }[];
+    summary: {
+        additions: number;
+        deletions: number;
+        storage_layout_changes: number;
+        files_changed: number;
+        functions_added: number;
+        functions_modified: number;
+        functions_removed: number;
+        impacted_functions: number;
+        impacted_entry_points: number;
+    };
+    head_commit: string;
+    changes: {
+        file: string;
+        kind: "function" | "contract" | "modifier" | "state_variable" | "event" | "error" | "struct" | "inheritance";
+        contract: string;
+        entity: string;
+        change: "added" | "modified" | "removed" | "comments_only";
+        line_start?: number | undefined;
+        line_end?: number | undefined;
+        visibility?: string | undefined;
+    }[];
+    storage_layout_changes: {
+        file: string;
+        kind: "variable_added" | "variable_removed" | "variable_reordered" | "variable_type_changed" | "inheritance_changed" | "struct_changed";
+        contract: string;
+        detail: string;
+    }[];
+    impacted: {
+        function: string;
+        file: string;
+        contract: string;
+        visibility: string;
+        confidence: "high" | "medium" | "low";
+        derived_from: "solc-ast" | "slither" | "forge" | "regex" | "heuristic" | "compiler-layout" | "manual";
+        is_entry_point: boolean;
+        depth: number;
+        reasons: {
+            kind: "inherits" | "calls" | "modifier" | "changed" | "reads_state" | "override";
+            via: string;
+        }[];
+        line_start?: number | undefined;
+    }[];
+    warnings?: string[] | undefined;
+}>;
+export declare const PriorFindingSchema: z.ZodObject<{
+    id: z.ZodString;
+    title: z.ZodString;
+    severity: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
+    /** The prior report's resolution (Fixed / Acknowledged / ...), when known. */
+    resolution: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodString>;
+    description: z.ZodDefault<z.ZodString>;
+    recommendation: z.ZodOptional<z.ZodString>;
+    locations: z.ZodArray<z.ZodObject<{
+        file: z.ZodString;
+        function: z.ZodOptional<z.ZodString>;
+        snippet: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        function?: string | undefined;
+        snippet?: string | undefined;
+    }, {
+        file: string;
+        function?: string | undefined;
+        snippet?: string | undefined;
+    }>, "many">;
+    source: z.ZodEnum<["hex", "report"]>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    description: string;
+    severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    title: string;
+    locations: {
+        file: string;
+        function?: string | undefined;
+        snippet?: string | undefined;
+    }[];
+    source: "hex" | "report";
+    status?: string | undefined;
+    recommendation?: string | undefined;
+    resolution?: string | undefined;
+}, {
+    id: string;
+    severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    title: string;
+    locations: {
+        file: string;
+        function?: string | undefined;
+        snippet?: string | undefined;
+    }[];
+    source: "hex" | "report";
+    status?: string | undefined;
+    description?: string | undefined;
+    recommendation?: string | undefined;
+    resolution?: string | undefined;
+}>;
+export declare const PriorFindingsSchema: z.ZodObject<{
+    imported_at: z.ZodString;
+    base_commit: z.ZodOptional<z.ZodString>;
+    source_path: z.ZodString;
+    findings: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        severity: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
+        /** The prior report's resolution (Fixed / Acknowledged / ...), when known. */
+        resolution: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodString>;
+        description: z.ZodDefault<z.ZodString>;
+        recommendation: z.ZodOptional<z.ZodString>;
+        locations: z.ZodArray<z.ZodObject<{
+            file: z.ZodString;
+            function: z.ZodOptional<z.ZodString>;
+            snippet: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            file: string;
+            function?: string | undefined;
+            snippet?: string | undefined;
+        }, {
+            file: string;
+            function?: string | undefined;
+            snippet?: string | undefined;
+        }>, "many">;
+        source: z.ZodEnum<["hex", "report"]>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        description: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        locations: {
+            file: string;
+            function?: string | undefined;
+            snippet?: string | undefined;
+        }[];
+        source: "hex" | "report";
+        status?: string | undefined;
+        recommendation?: string | undefined;
+        resolution?: string | undefined;
+    }, {
+        id: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        locations: {
+            file: string;
+            function?: string | undefined;
+            snippet?: string | undefined;
+        }[];
+        source: "hex" | "report";
+        status?: string | undefined;
+        description?: string | undefined;
+        recommendation?: string | undefined;
+        resolution?: string | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    findings: {
+        id: string;
+        description: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        locations: {
+            file: string;
+            function?: string | undefined;
+            snippet?: string | undefined;
+        }[];
+        source: "hex" | "report";
+        status?: string | undefined;
+        recommendation?: string | undefined;
+        resolution?: string | undefined;
+    }[];
+    imported_at: string;
+    source_path: string;
+    base_commit?: string | undefined;
+}, {
+    findings: {
+        id: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        locations: {
+            file: string;
+            function?: string | undefined;
+            snippet?: string | undefined;
+        }[];
+        source: "hex" | "report";
+        status?: string | undefined;
+        description?: string | undefined;
+        recommendation?: string | undefined;
+        resolution?: string | undefined;
+    }[];
+    imported_at: string;
+    source_path: string;
+    base_commit?: string | undefined;
+}>;
+export declare const PriorReviewItemSchema: z.ZodObject<{
+    id: z.ZodString;
+    title: z.ZodString;
+    severity: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
+    status: z.ZodEnum<["fixed_unchanged", "fix_touched_ok", "regressed", "acknowledged_still_present", "code_removed"]>;
+    reasoning: z.ZodString;
+    /** Board card id when a regression was materialized. */
+    issue_id: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "fixed_unchanged" | "fix_touched_ok" | "regressed" | "acknowledged_still_present" | "code_removed";
+    id: string;
+    reasoning: string;
+    severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    title: string;
+    issue_id?: string | undefined;
+}, {
+    status: "fixed_unchanged" | "fix_touched_ok" | "regressed" | "acknowledged_still_present" | "code_removed";
+    id: string;
+    reasoning: string;
+    severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+    title: string;
+    issue_id?: string | undefined;
+}>;
+export declare const PriorReviewSchema: z.ZodObject<{
+    reviewed_at: z.ZodString;
+    items: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        severity: z.ZodEnum<["Critical", "High", "Medium", "Low", "Info"]>;
+        status: z.ZodEnum<["fixed_unchanged", "fix_touched_ok", "regressed", "acknowledged_still_present", "code_removed"]>;
+        reasoning: z.ZodString;
+        /** Board card id when a regression was materialized. */
+        issue_id: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "fixed_unchanged" | "fix_touched_ok" | "regressed" | "acknowledged_still_present" | "code_removed";
+        id: string;
+        reasoning: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        issue_id?: string | undefined;
+    }, {
+        status: "fixed_unchanged" | "fix_touched_ok" | "regressed" | "acknowledged_still_present" | "code_removed";
+        id: string;
+        reasoning: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        issue_id?: string | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    items: {
+        status: "fixed_unchanged" | "fix_touched_ok" | "regressed" | "acknowledged_still_present" | "code_removed";
+        id: string;
+        reasoning: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        issue_id?: string | undefined;
+    }[];
+    reviewed_at: string;
+}, {
+    items: {
+        status: "fixed_unchanged" | "fix_touched_ok" | "regressed" | "acknowledged_still_present" | "code_removed";
+        id: string;
+        reasoning: string;
+        severity: "Critical" | "High" | "Medium" | "Low" | "Info";
+        title: string;
+        issue_id?: string | undefined;
+    }[];
+    reviewed_at: string;
+}>;
 export declare const AiToolStatusSchema: z.ZodObject<{
     status: z.ZodEnum<["completed", "running", "failed", "not_started", "pending_scan"]>;
     ran_at: z.ZodOptional<z.ZodString>;
@@ -3135,18 +3832,18 @@ export declare const AiToolStatusSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
     status: "failed" | "not_started" | "completed" | "running" | "pending_scan";
     ran_at?: string | undefined;
+    error?: 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;
+    error?: 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<{
@@ -3161,38 +3858,38 @@ export declare const AiStatusSchema: z.ZodObject<{
     }, "strip", z.ZodTypeAny, {
         status: "failed" | "not_started" | "completed" | "running" | "pending_scan";
         ran_at?: string | undefined;
+        error?: 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;
+        error?: 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;
+        error?: 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;
+        error?: string | undefined;
         started_at?: string | undefined;
         pid?: number | undefined;
         findings_count?: number | undefined;
-        error?: string | undefined;
         scan_id?: string | undefined;
     }>;
 }>;