@contextrail/code-review-agent 0.1.1-alpha.0

package/dist/output/schema.d.ts

@@ -0,0 +1,1515 @@
+import { z } from 'zod';
+/**
+ * Individual finding schema.
+ * Matches the finding structure from reviewerFindingsSchema.
+ */
+/**
+ * Azure JSON Schema validator workaround:
+ * Azure incorrectly requires ALL properties to be in the 'required' array, even optional ones.
+ * To work around this, we make optional fields nullable and required, then filter nulls in post-processing.
+ * This satisfies Azure's broken validator while maintaining optional semantics.
+ */
+export declare const findingSchema: z.ZodObject<{
+    severity: z.ZodEnum<["critical", "major", "minor", "info", "pass"]>;
+    title: z.ZodString;
+    description: z.ZodString;
+    rationale: z.ZodString;
+    suggestedFix: z.ZodNullable<z.ZodString>;
+    file: z.ZodNullable<z.ZodString>;
+    line: z.ZodNullable<z.ZodNumber>;
+    endLine: z.ZodNullable<z.ZodNumber>;
+    contextIdsUsed: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+    contextIdsViolated: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+    contextTitles: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    title: string;
+    description: string;
+    severity: "info" | "critical" | "major" | "minor" | "pass";
+    rationale: string;
+    suggestedFix: string | null;
+    file: string | null;
+    line: number | null;
+    endLine: number | null;
+    contextIdsUsed: string[] | null;
+    contextIdsViolated: string[] | null;
+    contextTitles: string[] | null;
+}, {
+    title: string;
+    description: string;
+    severity: "info" | "critical" | "major" | "minor" | "pass";
+    rationale: string;
+    suggestedFix: string | null;
+    file: string | null;
+    line: number | null;
+    endLine: number | null;
+    contextIdsUsed: string[] | null;
+    contextIdsViolated: string[] | null;
+    contextTitles: string[] | null;
+}>;
+export type Finding = z.infer<typeof findingSchema>;
+/**
+ * Normalize LLM finding shape for provider/schema compatibility.
+ * Azure requires all properties to be present in JSON schema outputs, so
+ * nullable fields must remain present (as null) rather than being removed.
+ * Empty attribution arrays are normalized to null for consistency.
+ */
+export declare const cleanFinding: (finding: Finding) => Finding;
+/**
+ * Reviewer findings schema.
+ * Used by agentic executor output.
+ */
+export declare const reviewerFindingsSchema: z.ZodObject<{
+    findings: z.ZodArray<z.ZodObject<{
+        severity: z.ZodEnum<["critical", "major", "minor", "info", "pass"]>;
+        title: z.ZodString;
+        description: z.ZodString;
+        rationale: z.ZodString;
+        suggestedFix: z.ZodNullable<z.ZodString>;
+        file: z.ZodNullable<z.ZodString>;
+        line: z.ZodNullable<z.ZodNumber>;
+        endLine: z.ZodNullable<z.ZodNumber>;
+        contextIdsUsed: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+        contextIdsViolated: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+        contextTitles: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+    }, {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+    }>, "many">;
+    validated: z.ZodBoolean;
+    notes: z.ZodNullable<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    findings: {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+    }[];
+    validated: boolean;
+    notes: string | null;
+}, {
+    findings: {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+    }[];
+    validated: boolean;
+    notes: string | null;
+}>;
+export type ReviewerFindings = z.infer<typeof reviewerFindingsSchema>;
+/**
+ * Per-reviewer result schema.
+ * Includes reviewer name and their findings.
+ */
+export declare const reviewerResultSchema: z.ZodObject<{
+    reviewer: z.ZodString;
+    findings: z.ZodArray<z.ZodObject<{
+        severity: z.ZodEnum<["critical", "major", "minor", "info", "pass"]>;
+        title: z.ZodString;
+        description: z.ZodString;
+        rationale: z.ZodString;
+        suggestedFix: z.ZodNullable<z.ZodString>;
+        file: z.ZodNullable<z.ZodString>;
+        line: z.ZodNullable<z.ZodNumber>;
+        endLine: z.ZodNullable<z.ZodNumber>;
+        contextIdsUsed: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+        contextIdsViolated: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+        contextTitles: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+    }, {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+    }>, "many">;
+    validated: z.ZodBoolean;
+    notes: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    findings: {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+    }[];
+    validated: boolean;
+    reviewer: string;
+    notes?: string | undefined;
+}, {
+    findings: {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+    }[];
+    validated: boolean;
+    reviewer: string;
+    notes?: string | undefined;
+}>;
+export type ReviewerResult = z.infer<typeof reviewerResultSchema>;
+/**
+ * Overall review decision schema.
+ */
+export declare const reviewDecisionSchema: z.ZodObject<{
+    decision: z.ZodEnum<["approve", "request-changes"]>;
+    summary: z.ZodString;
+    rationale: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    rationale: string;
+    decision: "approve" | "request-changes";
+    summary: string;
+}, {
+    rationale: string;
+    decision: "approve" | "request-changes";
+    summary: string;
+}>;
+export type ReviewDecision = z.infer<typeof reviewDecisionSchema>;
+/**
+ * Summary statistics schema.
+ */
+export declare const summarySchema: z.ZodObject<{
+    totalFindings: z.ZodNumber;
+    bySeverity: z.ZodObject<{
+        critical: z.ZodNumber;
+        major: z.ZodNumber;
+        minor: z.ZodNumber;
+        info: z.ZodNumber;
+        pass: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        info: number;
+        critical: number;
+        major: number;
+        minor: number;
+        pass: number;
+    }, {
+        info: number;
+        critical: number;
+        major: number;
+        minor: number;
+        pass: number;
+    }>;
+    byReviewer: z.ZodRecord<z.ZodString, z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    totalFindings: number;
+    bySeverity: {
+        info: number;
+        critical: number;
+        major: number;
+        minor: number;
+        pass: number;
+    };
+    byReviewer: Record<string, number>;
+}, {
+    totalFindings: number;
+    bySeverity: {
+        info: number;
+        critical: number;
+        major: number;
+        minor: number;
+        pass: number;
+    };
+    byReviewer: Record<string, number>;
+}>;
+export type Summary = z.infer<typeof summarySchema>;
+/**
+ * Review metadata schema.
+ */
+export declare const metadataSchema: z.ZodObject<{
+    timestamp: z.ZodString;
+    mode: z.ZodEnum<["diff", "file-list"]>;
+    fileCount: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    timestamp: string;
+    mode: "diff" | "file-list";
+    fileCount: number;
+}, {
+    timestamp: string;
+    mode: "diff" | "file-list";
+    fileCount: number;
+}>;
+export type Metadata = z.infer<typeof metadataSchema>;
+/**
+ * Complete aggregated review result schema.
+ */
+export declare const reviewResultSchema: z.ZodObject<{
+    metadata: z.ZodObject<{
+        timestamp: z.ZodString;
+        mode: z.ZodEnum<["diff", "file-list"]>;
+        fileCount: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        timestamp: string;
+        mode: "diff" | "file-list";
+        fileCount: number;
+    }, {
+        timestamp: string;
+        mode: "diff" | "file-list";
+        fileCount: number;
+    }>;
+    understanding: z.ZodString;
+    decision: z.ZodObject<{
+        decision: z.ZodEnum<["approve", "request-changes"]>;
+        summary: z.ZodString;
+        rationale: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        rationale: string;
+        decision: "approve" | "request-changes";
+        summary: string;
+    }, {
+        rationale: string;
+        decision: "approve" | "request-changes";
+        summary: string;
+    }>;
+    failures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        reviewer: z.ZodString;
+        message: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        message: string;
+        reviewer: string;
+    }, {
+        message: string;
+        reviewer: string;
+    }>, "many">>;
+    synthesis: z.ZodOptional<z.ZodLazy<z.ZodObject<{
+        findings: z.ZodArray<z.ZodObject<{
+            severity: z.ZodEnum<["critical", "major", "minor", "info", "pass"]>;
+            title: z.ZodString;
+            description: z.ZodString;
+            rationale: z.ZodString;
+            suggestedFix: z.ZodNullable<z.ZodString>;
+            file: z.ZodNullable<z.ZodString>;
+            line: z.ZodNullable<z.ZodNumber>;
+            endLine: z.ZodNullable<z.ZodNumber>;
+            contextIdsUsed: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+            contextIdsViolated: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+            contextTitles: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+        } & {
+            sourceReviewers: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+            sourceReviewers: string[];
+        }, {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+            sourceReviewers: string[];
+        }>, "many">;
+        contradictions: z.ZodArray<z.ZodObject<{
+            findingA: z.ZodString;
+            findingB: z.ZodString;
+            reviewerA: z.ZodString;
+            reviewerB: z.ZodString;
+            context: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            context: string;
+            findingA: string;
+            findingB: string;
+            reviewerA: string;
+            reviewerB: string;
+        }, {
+            context: string;
+            findingA: string;
+            findingB: string;
+            reviewerA: string;
+            reviewerB: string;
+        }>, "many">;
+        compoundRisks: z.ZodArray<z.ZodObject<{
+            description: z.ZodString;
+            affectedFindings: z.ZodArray<z.ZodString, "many">;
+            severity: z.ZodEnum<["critical", "major", "minor", "info"]>;
+        }, "strip", z.ZodTypeAny, {
+            description: string;
+            severity: "info" | "critical" | "major" | "minor";
+            affectedFindings: string[];
+        }, {
+            description: string;
+            severity: "info" | "critical" | "major" | "minor";
+            affectedFindings: string[];
+        }>, "many">;
+        notes: z.ZodNullable<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        findings: {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+            sourceReviewers: string[];
+        }[];
+        notes: string | null;
+        contradictions: {
+            context: string;
+            findingA: string;
+            findingB: string;
+            reviewerA: string;
+            reviewerB: string;
+        }[];
+        compoundRisks: {
+            description: string;
+            severity: "info" | "critical" | "major" | "minor";
+            affectedFindings: string[];
+        }[];
+    }, {
+        findings: {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+            sourceReviewers: string[];
+        }[];
+        notes: string | null;
+        contradictions: {
+            context: string;
+            findingA: string;
+            findingB: string;
+            reviewerA: string;
+            reviewerB: string;
+        }[];
+        compoundRisks: {
+            description: string;
+            severity: "info" | "critical" | "major" | "minor";
+            affectedFindings: string[];
+        }[];
+    }>>>;
+    reviewers: z.ZodArray<z.ZodObject<{
+        reviewer: z.ZodString;
+        findings: z.ZodArray<z.ZodObject<{
+            severity: z.ZodEnum<["critical", "major", "minor", "info", "pass"]>;
+            title: z.ZodString;
+            description: z.ZodString;
+            rationale: z.ZodString;
+            suggestedFix: z.ZodNullable<z.ZodString>;
+            file: z.ZodNullable<z.ZodString>;
+            line: z.ZodNullable<z.ZodNumber>;
+            endLine: z.ZodNullable<z.ZodNumber>;
+            contextIdsUsed: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+            contextIdsViolated: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+            contextTitles: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+        }, {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+        }>, "many">;
+        validated: z.ZodBoolean;
+        notes: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        findings: {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+        }[];
+        validated: boolean;
+        reviewer: string;
+        notes?: string | undefined;
+    }, {
+        findings: {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+        }[];
+        validated: boolean;
+        reviewer: string;
+        notes?: string | undefined;
+    }>, "many">;
+    summary: z.ZodObject<{
+        totalFindings: z.ZodNumber;
+        bySeverity: z.ZodObject<{
+            critical: z.ZodNumber;
+            major: z.ZodNumber;
+            minor: z.ZodNumber;
+            info: z.ZodNumber;
+            pass: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            info: number;
+            critical: number;
+            major: number;
+            minor: number;
+            pass: number;
+        }, {
+            info: number;
+            critical: number;
+            major: number;
+            minor: number;
+            pass: number;
+        }>;
+        byReviewer: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        totalFindings: number;
+        bySeverity: {
+            info: number;
+            critical: number;
+            major: number;
+            minor: number;
+            pass: number;
+        };
+        byReviewer: Record<string, number>;
+    }, {
+        totalFindings: number;
+        bySeverity: {
+            info: number;
+            critical: number;
+            major: number;
+            minor: number;
+            pass: number;
+        };
+        byReviewer: Record<string, number>;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    decision: {
+        rationale: string;
+        decision: "approve" | "request-changes";
+        summary: string;
+    };
+    summary: {
+        totalFindings: number;
+        bySeverity: {
+            info: number;
+            critical: number;
+            major: number;
+            minor: number;
+            pass: number;
+        };
+        byReviewer: Record<string, number>;
+    };
+    metadata: {
+        timestamp: string;
+        mode: "diff" | "file-list";
+        fileCount: number;
+    };
+    understanding: string;
+    reviewers: {
+        findings: {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+        }[];
+        validated: boolean;
+        reviewer: string;
+        notes?: string | undefined;
+    }[];
+    failures?: {
+        message: string;
+        reviewer: string;
+    }[] | undefined;
+    synthesis?: {
+        findings: {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+            sourceReviewers: string[];
+        }[];
+        notes: string | null;
+        contradictions: {
+            context: string;
+            findingA: string;
+            findingB: string;
+            reviewerA: string;
+            reviewerB: string;
+        }[];
+        compoundRisks: {
+            description: string;
+            severity: "info" | "critical" | "major" | "minor";
+            affectedFindings: string[];
+        }[];
+    } | undefined;
+}, {
+    decision: {
+        rationale: string;
+        decision: "approve" | "request-changes";
+        summary: string;
+    };
+    summary: {
+        totalFindings: number;
+        bySeverity: {
+            info: number;
+            critical: number;
+            major: number;
+            minor: number;
+            pass: number;
+        };
+        byReviewer: Record<string, number>;
+    };
+    metadata: {
+        timestamp: string;
+        mode: "diff" | "file-list";
+        fileCount: number;
+    };
+    understanding: string;
+    reviewers: {
+        findings: {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+        }[];
+        validated: boolean;
+        reviewer: string;
+        notes?: string | undefined;
+    }[];
+    failures?: {
+        message: string;
+        reviewer: string;
+    }[] | undefined;
+    synthesis?: {
+        findings: {
+            title: string;
+            description: string;
+            severity: "info" | "critical" | "major" | "minor" | "pass";
+            rationale: string;
+            suggestedFix: string | null;
+            file: string | null;
+            line: number | null;
+            endLine: number | null;
+            contextIdsUsed: string[] | null;
+            contextIdsViolated: string[] | null;
+            contextTitles: string[] | null;
+            sourceReviewers: string[];
+        }[];
+        notes: string | null;
+        contradictions: {
+            context: string;
+            findingA: string;
+            findingB: string;
+            reviewerA: string;
+            reviewerB: string;
+        }[];
+        compoundRisks: {
+            description: string;
+            severity: "info" | "critical" | "major" | "minor";
+            affectedFindings: string[];
+        }[];
+    } | undefined;
+}>;
+export type ReviewResult = z.infer<typeof reviewResultSchema>;
+/**
+ * Token usage schema for a single operation (iteration, chunk, etc.)
+ */
+export declare const tokenUsageSchema: z.ZodObject<{
+    promptTokens: z.ZodNumber;
+    completionTokens: z.ZodNumber;
+    totalTokens: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    promptTokens: number;
+    completionTokens: number;
+    totalTokens: number;
+}, {
+    promptTokens: number;
+    completionTokens: number;
+    totalTokens: number;
+}>;
+export type TokenUsage = z.infer<typeof tokenUsageSchema>;
+/**
+ * Per-chunk token usage schema.
+ */
+export declare const chunkTokenUsageSchema: z.ZodObject<{
+    chunkIndex: z.ZodNumber;
+    usage: z.ZodObject<{
+        promptTokens: z.ZodNumber;
+        completionTokens: z.ZodNumber;
+        totalTokens: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    }, {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    chunkIndex: number;
+    usage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+}, {
+    chunkIndex: number;
+    usage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+}>;
+export type ChunkTokenUsage = z.infer<typeof chunkTokenUsageSchema>;
+/**
+ * Per-iteration token usage schema.
+ */
+export declare const iterationTokenUsageSchema: z.ZodObject<{
+    iteration: z.ZodNumber;
+    usage: z.ZodObject<{
+        promptTokens: z.ZodNumber;
+        completionTokens: z.ZodNumber;
+        totalTokens: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    }, {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    }>;
+    chunks: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        chunkIndex: z.ZodNumber;
+        usage: z.ZodObject<{
+            promptTokens: z.ZodNumber;
+            completionTokens: z.ZodNumber;
+            totalTokens: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        }, {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        chunkIndex: number;
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+    }, {
+        chunkIndex: number;
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+    }>, "many">>;
+}, "strip", z.ZodTypeAny, {
+    usage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+    iteration: number;
+    chunks?: {
+        chunkIndex: number;
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+    }[] | undefined;
+}, {
+    usage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+    iteration: number;
+    chunks?: {
+        chunkIndex: number;
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+    }[] | undefined;
+}>;
+export type IterationTokenUsage = z.infer<typeof iterationTokenUsageSchema>;
+/**
+ * Per-reviewer token budget metrics schema.
+ */
+export declare const reviewerTokenMetricsSchema: z.ZodObject<{
+    reviewer: z.ZodString;
+    totalUsage: z.ZodObject<{
+        promptTokens: z.ZodNumber;
+        completionTokens: z.ZodNumber;
+        totalTokens: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    }, {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    }>;
+    iterations: z.ZodArray<z.ZodObject<{
+        iteration: z.ZodNumber;
+        usage: z.ZodObject<{
+            promptTokens: z.ZodNumber;
+            completionTokens: z.ZodNumber;
+            totalTokens: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        }, {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        }>;
+        chunks: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            chunkIndex: z.ZodNumber;
+            usage: z.ZodObject<{
+                promptTokens: z.ZodNumber;
+                completionTokens: z.ZodNumber;
+                totalTokens: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            }, {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            chunkIndex: number;
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+        }, {
+            chunkIndex: number;
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+        }>, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        iteration: number;
+        chunks?: {
+            chunkIndex: number;
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+        }[] | undefined;
+    }, {
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        iteration: number;
+        chunks?: {
+            chunkIndex: number;
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+        }[] | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    reviewer: string;
+    totalUsage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+    iterations: {
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        iteration: number;
+        chunks?: {
+            chunkIndex: number;
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+        }[] | undefined;
+    }[];
+}, {
+    reviewer: string;
+    totalUsage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+    iterations: {
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        iteration: number;
+        chunks?: {
+            chunkIndex: number;
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+        }[] | undefined;
+    }[];
+}>;
+export type ReviewerTokenMetrics = z.infer<typeof reviewerTokenMetricsSchema>;
+/**
+ * Aggregation token usage schema.
+ */
+export declare const aggregationTokenUsageSchema: z.ZodObject<{
+    operation: z.ZodString;
+    usage: z.ZodObject<{
+        promptTokens: z.ZodNumber;
+        completionTokens: z.ZodNumber;
+        totalTokens: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    }, {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    usage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+    operation: string;
+}, {
+    usage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+    operation: string;
+}>;
+export type AggregationTokenUsage = z.infer<typeof aggregationTokenUsageSchema>;
+/**
+ * Complete token budget metrics schema.
+ */
+export declare const tokenBudgetMetricsSchema: z.ZodObject<{
+    reviewers: z.ZodArray<z.ZodObject<{
+        reviewer: z.ZodString;
+        totalUsage: z.ZodObject<{
+            promptTokens: z.ZodNumber;
+            completionTokens: z.ZodNumber;
+            totalTokens: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        }, {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        }>;
+        iterations: z.ZodArray<z.ZodObject<{
+            iteration: z.ZodNumber;
+            usage: z.ZodObject<{
+                promptTokens: z.ZodNumber;
+                completionTokens: z.ZodNumber;
+                totalTokens: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            }, {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            }>;
+            chunks: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                chunkIndex: z.ZodNumber;
+                usage: z.ZodObject<{
+                    promptTokens: z.ZodNumber;
+                    completionTokens: z.ZodNumber;
+                    totalTokens: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    promptTokens: number;
+                    completionTokens: number;
+                    totalTokens: number;
+                }, {
+                    promptTokens: number;
+                    completionTokens: number;
+                    totalTokens: number;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                chunkIndex: number;
+                usage: {
+                    promptTokens: number;
+                    completionTokens: number;
+                    totalTokens: number;
+                };
+            }, {
+                chunkIndex: number;
+                usage: {
+                    promptTokens: number;
+                    completionTokens: number;
+                    totalTokens: number;
+                };
+            }>, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+            iteration: number;
+            chunks?: {
+                chunkIndex: number;
+                usage: {
+                    promptTokens: number;
+                    completionTokens: number;
+                    totalTokens: number;
+                };
+            }[] | undefined;
+        }, {
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+            iteration: number;
+            chunks?: {
+                chunkIndex: number;
+                usage: {
+                    promptTokens: number;
+                    completionTokens: number;
+                    totalTokens: number;
+                };
+            }[] | undefined;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        reviewer: string;
+        totalUsage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        iterations: {
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+            iteration: number;
+            chunks?: {
+                chunkIndex: number;
+                usage: {
+                    promptTokens: number;
+                    completionTokens: number;
+                    totalTokens: number;
+                };
+            }[] | undefined;
+        }[];
+    }, {
+        reviewer: string;
+        totalUsage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        iterations: {
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+            iteration: number;
+            chunks?: {
+                chunkIndex: number;
+                usage: {
+                    promptTokens: number;
+                    completionTokens: number;
+                    totalTokens: number;
+                };
+            }[] | undefined;
+        }[];
+    }>, "many">;
+    aggregation: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        operation: z.ZodString;
+        usage: z.ZodObject<{
+            promptTokens: z.ZodNumber;
+            completionTokens: z.ZodNumber;
+            totalTokens: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        }, {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        operation: string;
+    }, {
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        operation: string;
+    }>, "many">>;
+    totalUsage: z.ZodObject<{
+        promptTokens: z.ZodNumber;
+        completionTokens: z.ZodNumber;
+        totalTokens: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    }, {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    reviewers: {
+        reviewer: string;
+        totalUsage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        iterations: {
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+            iteration: number;
+            chunks?: {
+                chunkIndex: number;
+                usage: {
+                    promptTokens: number;
+                    completionTokens: number;
+                    totalTokens: number;
+                };
+            }[] | undefined;
+        }[];
+    }[];
+    totalUsage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+    aggregation?: {
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        operation: string;
+    }[] | undefined;
+}, {
+    reviewers: {
+        reviewer: string;
+        totalUsage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        iterations: {
+            usage: {
+                promptTokens: number;
+                completionTokens: number;
+                totalTokens: number;
+            };
+            iteration: number;
+            chunks?: {
+                chunkIndex: number;
+                usage: {
+                    promptTokens: number;
+                    completionTokens: number;
+                    totalTokens: number;
+                };
+            }[] | undefined;
+        }[];
+    }[];
+    totalUsage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+    aggregation?: {
+        usage: {
+            promptTokens: number;
+            completionTokens: number;
+            totalTokens: number;
+        };
+        operation: string;
+    }[] | undefined;
+}>;
+export type TokenBudgetMetrics = z.infer<typeof tokenBudgetMetricsSchema>;
+/**
+ * Synthesized finding schema.
+ * Includes source reviewer attribution for deduplicated findings.
+ */
+export declare const synthesizedFindingSchema: z.ZodObject<{
+    severity: z.ZodEnum<["critical", "major", "minor", "info", "pass"]>;
+    title: z.ZodString;
+    description: z.ZodString;
+    rationale: z.ZodString;
+    suggestedFix: z.ZodNullable<z.ZodString>;
+    file: z.ZodNullable<z.ZodString>;
+    line: z.ZodNullable<z.ZodNumber>;
+    endLine: z.ZodNullable<z.ZodNumber>;
+    contextIdsUsed: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+    contextIdsViolated: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+    contextTitles: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+} & {
+    sourceReviewers: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    title: string;
+    description: string;
+    severity: "info" | "critical" | "major" | "minor" | "pass";
+    rationale: string;
+    suggestedFix: string | null;
+    file: string | null;
+    line: number | null;
+    endLine: number | null;
+    contextIdsUsed: string[] | null;
+    contextIdsViolated: string[] | null;
+    contextTitles: string[] | null;
+    sourceReviewers: string[];
+}, {
+    title: string;
+    description: string;
+    severity: "info" | "critical" | "major" | "minor" | "pass";
+    rationale: string;
+    suggestedFix: string | null;
+    file: string | null;
+    line: number | null;
+    endLine: number | null;
+    contextIdsUsed: string[] | null;
+    contextIdsViolated: string[] | null;
+    contextTitles: string[] | null;
+    sourceReviewers: string[];
+}>;
+export type SynthesizedFinding = z.infer<typeof synthesizedFindingSchema>;
+/**
+ * Contradiction schema.
+ * Flags when reviewers disagree about the same issue.
+ */
+export declare const contradictionSchema: z.ZodObject<{
+    findingA: z.ZodString;
+    findingB: z.ZodString;
+    reviewerA: z.ZodString;
+    reviewerB: z.ZodString;
+    context: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    context: string;
+    findingA: string;
+    findingB: string;
+    reviewerA: string;
+    reviewerB: string;
+}, {
+    context: string;
+    findingA: string;
+    findingB: string;
+    reviewerA: string;
+    reviewerB: string;
+}>;
+export type Contradiction = z.infer<typeof contradictionSchema>;
+/**
+ * Synthesis result schema.
+ * Output from cross-reviewer synthesis step.
+ */
+export declare const synthesisResultSchema: z.ZodObject<{
+    findings: z.ZodArray<z.ZodObject<{
+        severity: z.ZodEnum<["critical", "major", "minor", "info", "pass"]>;
+        title: z.ZodString;
+        description: z.ZodString;
+        rationale: z.ZodString;
+        suggestedFix: z.ZodNullable<z.ZodString>;
+        file: z.ZodNullable<z.ZodString>;
+        line: z.ZodNullable<z.ZodNumber>;
+        endLine: z.ZodNullable<z.ZodNumber>;
+        contextIdsUsed: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+        contextIdsViolated: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+        contextTitles: z.ZodNullable<z.ZodArray<z.ZodString, "many">>;
+    } & {
+        sourceReviewers: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+        sourceReviewers: string[];
+    }, {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+        sourceReviewers: string[];
+    }>, "many">;
+    contradictions: z.ZodArray<z.ZodObject<{
+        findingA: z.ZodString;
+        findingB: z.ZodString;
+        reviewerA: z.ZodString;
+        reviewerB: z.ZodString;
+        context: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        context: string;
+        findingA: string;
+        findingB: string;
+        reviewerA: string;
+        reviewerB: string;
+    }, {
+        context: string;
+        findingA: string;
+        findingB: string;
+        reviewerA: string;
+        reviewerB: string;
+    }>, "many">;
+    compoundRisks: z.ZodArray<z.ZodObject<{
+        description: z.ZodString;
+        affectedFindings: z.ZodArray<z.ZodString, "many">;
+        severity: z.ZodEnum<["critical", "major", "minor", "info"]>;
+    }, "strip", z.ZodTypeAny, {
+        description: string;
+        severity: "info" | "critical" | "major" | "minor";
+        affectedFindings: string[];
+    }, {
+        description: string;
+        severity: "info" | "critical" | "major" | "minor";
+        affectedFindings: string[];
+    }>, "many">;
+    notes: z.ZodNullable<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    findings: {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+        sourceReviewers: string[];
+    }[];
+    notes: string | null;
+    contradictions: {
+        context: string;
+        findingA: string;
+        findingB: string;
+        reviewerA: string;
+        reviewerB: string;
+    }[];
+    compoundRisks: {
+        description: string;
+        severity: "info" | "critical" | "major" | "minor";
+        affectedFindings: string[];
+    }[];
+}, {
+    findings: {
+        title: string;
+        description: string;
+        severity: "info" | "critical" | "major" | "minor" | "pass";
+        rationale: string;
+        suggestedFix: string | null;
+        file: string | null;
+        line: number | null;
+        endLine: number | null;
+        contextIdsUsed: string[] | null;
+        contextIdsViolated: string[] | null;
+        contextTitles: string[] | null;
+        sourceReviewers: string[];
+    }[];
+    notes: string | null;
+    contradictions: {
+        context: string;
+        findingA: string;
+        findingB: string;
+        reviewerA: string;
+        reviewerB: string;
+    }[];
+    compoundRisks: {
+        description: string;
+        severity: "info" | "critical" | "major" | "minor";
+        affectedFindings: string[];
+    }[];
+}>;
+export type SynthesisResult = z.infer<typeof synthesisResultSchema>;