clinkx 1.1.0 → 1.1.2

package/clinkx-workflows/dist/verified-repair/contract.d.ts

@@ -0,0 +1,1910 @@
+import { z } from "zod";
+export declare const VERIFIED_REPAIR_WORKFLOW = "verified-repair";
+export declare const VERIFIED_REPAIR_RECORD_PATH = "verified-repair-record.v1.json";
+export declare const MAX_REPAIR_CONTRACT_BYTES: number;
+export declare const MAX_REPAIR_PROPOSAL_BYTES: number;
+export declare const MAX_REPAIR_PACKET_BYTES: number;
+export declare const MAX_REPAIR_RECORD_BYTES: number;
+export declare const MAX_REPLACEMENT_FILE_BYTES: number;
+export declare const MAX_REPLACEMENT_BATCH_BYTES: number;
+export declare const REPAIR_REFS: {
+    readonly capture: "capture.packet";
+    readonly investigate: "investigate.proposal";
+    readonly reproduce: "reproduce.proof";
+    readonly repair: "repair.proposal";
+    readonly fixed: "fixed.proof";
+    readonly review: "review.review";
+    readonly independent: "independent.proof";
+    readonly record: "record.record";
+};
+export declare const DigestSchema: z.ZodString;
+export declare const RelativePathSchema: z.ZodEffects<z.ZodString, string, string>;
+export declare const RepairRouteSchema: z.ZodObject<{
+    cli_name: z.ZodString;
+    model: z.ZodOptional<z.ZodString>;
+    effort: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    cli_name: string;
+    model?: string | undefined;
+    effort?: string | undefined;
+}, {
+    cli_name: string;
+    model?: string | undefined;
+    effort?: string | undefined;
+}>;
+export declare const RepairRoutesSchema: z.ZodObject<{
+    investigator: z.ZodObject<{
+        cli_name: z.ZodString;
+        model: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    }, {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    }>;
+    repair_author: z.ZodObject<{
+        cli_name: z.ZodString;
+        model: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    }, {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    }>;
+    verifier: z.ZodObject<{
+        cli_name: z.ZodString;
+        model: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    }, {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    investigator: {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    };
+    repair_author: {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    };
+    verifier: {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    };
+}, {
+    investigator: {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    };
+    repair_author: {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    };
+    verifier: {
+        cli_name: string;
+        model?: string | undefined;
+        effort?: string | undefined;
+    };
+}>;
+export type RepairRoutes = z.infer<typeof RepairRoutesSchema>;
+export declare const RegressionObservationSchema: z.ZodObject<{
+    schema_version: z.ZodLiteral<"clinkx-regression-outcome-v1">;
+    case_id: z.ZodString;
+    assertion_id: z.ZodString;
+    check_id: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    schema_version: "clinkx-regression-outcome-v1";
+    case_id: string;
+    assertion_id: string;
+    check_id: string;
+}, {
+    schema_version: "clinkx-regression-outcome-v1";
+    case_id: string;
+    assertion_id: string;
+    check_id: string;
+}>;
+export declare const RegressionOutcomeSchema: z.ZodObject<{
+    schema_version: z.ZodLiteral<"clinkx-regression-outcome-v1">;
+    case_id: z.ZodString;
+    assertion_id: z.ZodString;
+    outcome: z.ZodEnum<["assertion_failed", "assertion_passed", "harness_error"]>;
+}, "strict", z.ZodTypeAny, {
+    schema_version: "clinkx-regression-outcome-v1";
+    case_id: string;
+    assertion_id: string;
+    outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+}, {
+    schema_version: "clinkx-regression-outcome-v1";
+    case_id: string;
+    assertion_id: string;
+    outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+}>;
+export type RegressionOutcome = z.infer<typeof RegressionOutcomeSchema>;
+export declare const RepairInputSchema: z.ZodEffects<z.ZodObject<{
+    schema_version: z.ZodLiteral<"clinkx-verified-repair-input-v1">;
+    project_path: z.ZodEffects<z.ZodString, string, string>;
+    evidence_parent: z.ZodEffects<z.ZodString, string, string>;
+    verification_copy_parent: z.ZodEffects<z.ZodString, string, string>;
+    defect: z.ZodObject<{
+        description: z.ZodString;
+        expected_behavior: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        description: string;
+        expected_behavior: string;
+    }, {
+        description: string;
+        expected_behavior: string;
+    }>;
+    source_inputs: z.ZodEffects<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">, string[], string[]>;
+    regression_paths: z.ZodEffects<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">, string[], string[]>;
+    implementation_paths: z.ZodEffects<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">, string[], string[]>;
+    regression_manifest: z.ZodEffects<z.ZodString, string, string>;
+    required_manifest: z.ZodEffects<z.ZodString, string, string>;
+    copy_preparation: z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
+        status: z.ZodLiteral<"declared">;
+        manifest: z.ZodEffects<z.ZodString, string, string>;
+    }, "strict", z.ZodTypeAny, {
+        status: "declared";
+        manifest: string;
+    }, {
+        status: "declared";
+        manifest: string;
+    }>, z.ZodObject<{
+        status: z.ZodLiteral<"unavailable">;
+        reason: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        status: "unavailable";
+        reason: string;
+    }, {
+        status: "unavailable";
+        reason: string;
+    }>]>;
+    observation: z.ZodObject<{
+        schema_version: z.ZodLiteral<"clinkx-regression-outcome-v1">;
+        case_id: z.ZodString;
+        assertion_id: z.ZodString;
+        check_id: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        schema_version: "clinkx-regression-outcome-v1";
+        case_id: string;
+        assertion_id: string;
+        check_id: string;
+    }, {
+        schema_version: "clinkx-regression-outcome-v1";
+        case_id: string;
+        assertion_id: string;
+        check_id: string;
+    }>;
+    exclusive_write_ownership: z.ZodLiteral<true>;
+}, "strict", z.ZodTypeAny, {
+    schema_version: "clinkx-verified-repair-input-v1";
+    observation: {
+        schema_version: "clinkx-regression-outcome-v1";
+        case_id: string;
+        assertion_id: string;
+        check_id: string;
+    };
+    project_path: string;
+    evidence_parent: string;
+    verification_copy_parent: string;
+    defect: {
+        description: string;
+        expected_behavior: string;
+    };
+    source_inputs: string[];
+    regression_paths: string[];
+    implementation_paths: string[];
+    regression_manifest: string;
+    required_manifest: string;
+    copy_preparation: {
+        status: "declared";
+        manifest: string;
+    } | {
+        status: "unavailable";
+        reason: string;
+    };
+    exclusive_write_ownership: true;
+}, {
+    schema_version: "clinkx-verified-repair-input-v1";
+    observation: {
+        schema_version: "clinkx-regression-outcome-v1";
+        case_id: string;
+        assertion_id: string;
+        check_id: string;
+    };
+    project_path: string;
+    evidence_parent: string;
+    verification_copy_parent: string;
+    defect: {
+        description: string;
+        expected_behavior: string;
+    };
+    source_inputs: string[];
+    regression_paths: string[];
+    implementation_paths: string[];
+    regression_manifest: string;
+    required_manifest: string;
+    copy_preparation: {
+        status: "declared";
+        manifest: string;
+    } | {
+        status: "unavailable";
+        reason: string;
+    };
+    exclusive_write_ownership: true;
+}>, {
+    schema_version: "clinkx-verified-repair-input-v1";
+    observation: {
+        schema_version: "clinkx-regression-outcome-v1";
+        case_id: string;
+        assertion_id: string;
+        check_id: string;
+    };
+    project_path: string;
+    evidence_parent: string;
+    verification_copy_parent: string;
+    defect: {
+        description: string;
+        expected_behavior: string;
+    };
+    source_inputs: string[];
+    regression_paths: string[];
+    implementation_paths: string[];
+    regression_manifest: string;
+    required_manifest: string;
+    copy_preparation: {
+        status: "declared";
+        manifest: string;
+    } | {
+        status: "unavailable";
+        reason: string;
+    };
+    exclusive_write_ownership: true;
+}, {
+    schema_version: "clinkx-verified-repair-input-v1";
+    observation: {
+        schema_version: "clinkx-regression-outcome-v1";
+        case_id: string;
+        assertion_id: string;
+        check_id: string;
+    };
+    project_path: string;
+    evidence_parent: string;
+    verification_copy_parent: string;
+    defect: {
+        description: string;
+        expected_behavior: string;
+    };
+    source_inputs: string[];
+    regression_paths: string[];
+    implementation_paths: string[];
+    regression_manifest: string;
+    required_manifest: string;
+    copy_preparation: {
+        status: "declared";
+        manifest: string;
+    } | {
+        status: "unavailable";
+        reason: string;
+    };
+    exclusive_write_ownership: true;
+}>;
+export type RepairInput = z.infer<typeof RepairInputSchema>;
+export declare const RepairSourceFactSchema: z.ZodObject<{
+    path: z.ZodEffects<z.ZodString, string, string>;
+    sha256: z.ZodString;
+    size_bytes: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    path: string;
+    sha256: string;
+    size_bytes: number;
+}, {
+    path: string;
+    sha256: string;
+    size_bytes: number;
+}>;
+export type RepairSourceFact = z.infer<typeof RepairSourceFactSchema>;
+export declare const RepairCitationSchema: z.ZodEffects<z.ZodObject<{
+    path: z.ZodEffects<z.ZodString, string, string>;
+    sha256: z.ZodString;
+    start_line: z.ZodNumber;
+    end_line: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    path: string;
+    sha256: string;
+    start_line: number;
+    end_line: number;
+}, {
+    path: string;
+    sha256: string;
+    start_line: number;
+    end_line: number;
+}>, {
+    path: string;
+    sha256: string;
+    start_line: number;
+    end_line: number;
+}, {
+    path: string;
+    sha256: string;
+    start_line: number;
+    end_line: number;
+}>;
+export type RepairCitation = z.infer<typeof RepairCitationSchema>;
+export declare const ReplacementSchema: z.ZodObject<{
+    path: z.ZodEffects<z.ZodString, string, string>;
+    original_sha256: z.ZodString;
+    replacement_text: z.ZodEffects<z.ZodString, string, string>;
+}, "strict", z.ZodTypeAny, {
+    path: string;
+    original_sha256: string;
+    replacement_text: string;
+}, {
+    path: string;
+    original_sha256: string;
+    replacement_text: string;
+}>;
+export declare const ReplacementBatchSchema: z.ZodEffects<z.ZodArray<z.ZodObject<{
+    path: z.ZodEffects<z.ZodString, string, string>;
+    original_sha256: z.ZodString;
+    replacement_text: z.ZodEffects<z.ZodString, string, string>;
+}, "strict", z.ZodTypeAny, {
+    path: string;
+    original_sha256: string;
+    replacement_text: string;
+}, {
+    path: string;
+    original_sha256: string;
+    replacement_text: string;
+}>, "many">, {
+    path: string;
+    original_sha256: string;
+    replacement_text: string;
+}[], {
+    path: string;
+    original_sha256: string;
+    replacement_text: string;
+}[]>;
+export type RepairReplacement = z.infer<typeof ReplacementSchema>;
+export declare const RepairDiagnosisSchema: z.ZodObject<{
+    explanation: z.ZodString;
+    expected_behavior: z.ZodString;
+    citations: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        path: z.ZodEffects<z.ZodString, string, string>;
+        sha256: z.ZodString;
+        start_line: z.ZodNumber;
+        end_line: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }>, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    expected_behavior: string;
+    explanation: string;
+    citations: {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }[];
+}, {
+    expected_behavior: string;
+    explanation: string;
+    citations: {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }[];
+}>;
+export declare const InvestigationSchema: z.ZodObject<{
+    schema_version: z.ZodLiteral<"clinkx-verified-repair-investigation-v1">;
+    frozen_digest: z.ZodString;
+    diagnosis: z.ZodObject<{
+        explanation: z.ZodString;
+        expected_behavior: z.ZodString;
+        citations: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            path: z.ZodEffects<z.ZodString, string, string>;
+            sha256: z.ZodString;
+            start_line: z.ZodNumber;
+            end_line: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }>, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        expected_behavior: string;
+        explanation: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+    }, {
+        expected_behavior: string;
+        explanation: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+    }>;
+    regression_replacements: z.ZodEffects<z.ZodArray<z.ZodObject<{
+        path: z.ZodEffects<z.ZodString, string, string>;
+        original_sha256: z.ZodString;
+        replacement_text: z.ZodEffects<z.ZodString, string, string>;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }, {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }>, "many">, {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }[], {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }[]>;
+}, "strict", z.ZodTypeAny, {
+    schema_version: "clinkx-verified-repair-investigation-v1";
+    frozen_digest: string;
+    diagnosis: {
+        expected_behavior: string;
+        explanation: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+    };
+    regression_replacements: {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }[];
+}, {
+    schema_version: "clinkx-verified-repair-investigation-v1";
+    frozen_digest: string;
+    diagnosis: {
+        expected_behavior: string;
+        explanation: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+    };
+    regression_replacements: {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }[];
+}>;
+export type RepairInvestigation = z.infer<typeof InvestigationSchema>;
+export declare const FixProposalSchema: z.ZodObject<{
+    schema_version: z.ZodLiteral<"clinkx-verified-repair-fix-v1">;
+    frozen_digest: z.ZodString;
+    explanation: z.ZodString;
+    citations: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        path: z.ZodEffects<z.ZodString, string, string>;
+        sha256: z.ZodString;
+        start_line: z.ZodNumber;
+        end_line: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }>, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }>, "many">;
+    implementation_replacements: z.ZodEffects<z.ZodArray<z.ZodObject<{
+        path: z.ZodEffects<z.ZodString, string, string>;
+        original_sha256: z.ZodString;
+        replacement_text: z.ZodEffects<z.ZodString, string, string>;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }, {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }>, "many">, {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }[], {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }[]>;
+}, "strict", z.ZodTypeAny, {
+    schema_version: "clinkx-verified-repair-fix-v1";
+    frozen_digest: string;
+    explanation: string;
+    citations: {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }[];
+    implementation_replacements: {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }[];
+}, {
+    schema_version: "clinkx-verified-repair-fix-v1";
+    frozen_digest: string;
+    explanation: string;
+    citations: {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }[];
+    implementation_replacements: {
+        path: string;
+        original_sha256: string;
+        replacement_text: string;
+    }[];
+}>;
+export type RepairFixProposal = z.infer<typeof FixProposalSchema>;
+export declare const RepairPhaseSchema: z.ZodEnum<["capture", "reproduce", "fixed_regression", "fixed_required", "copy_preparation", "copy_fixed", "copy_without_fix", "copy_restored", "final_required"]>;
+export declare const RepairProofRefSchema: z.ZodObject<{
+    phase: z.ZodEnum<["capture", "reproduce", "fixed_regression", "fixed_required", "copy_preparation", "copy_fixed", "copy_without_fix", "copy_restored", "final_required"]>;
+    evidence_directory: z.ZodEffects<z.ZodString, string, string>;
+    expectations_sha256: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+    evidence_directory: string;
+    expectations_sha256: string;
+}, {
+    phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+    evidence_directory: string;
+    expectations_sha256: string;
+}>;
+export type RepairProofRef = z.infer<typeof RepairProofRefSchema>;
+export declare const RepairPhaseProofSchema: z.ZodObject<{
+    phase: z.ZodEnum<["capture", "reproduce", "fixed_regression", "fixed_required", "copy_preparation", "copy_fixed", "copy_without_fix", "copy_restored", "final_required"]>;
+    evidence_directory: z.ZodEffects<z.ZodString, string, string>;
+    expectations_sha256: z.ZodString;
+} & {
+    project_path: z.ZodEffects<z.ZodString, string, string>;
+    source_digest: z.ZodString;
+    coverage_status: z.ZodEnum<["complete", "incomplete", "inapplicable", "failed"]>;
+    outcome: z.ZodOptional<z.ZodObject<{
+        schema_version: z.ZodLiteral<"clinkx-regression-outcome-v1">;
+        case_id: z.ZodString;
+        assertion_id: z.ZodString;
+        outcome: z.ZodEnum<["assertion_failed", "assertion_passed", "harness_error"]>;
+    }, "strict", z.ZodTypeAny, {
+        schema_version: "clinkx-regression-outcome-v1";
+        case_id: string;
+        assertion_id: string;
+        outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+    }, {
+        schema_version: "clinkx-regression-outcome-v1";
+        case_id: string;
+        assertion_id: string;
+        outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+    }>>;
+    applicable: z.ZodBoolean;
+}, "strict", z.ZodTypeAny, {
+    phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+    project_path: string;
+    evidence_directory: string;
+    expectations_sha256: string;
+    source_digest: string;
+    coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+    applicable: boolean;
+    outcome?: {
+        schema_version: "clinkx-regression-outcome-v1";
+        case_id: string;
+        assertion_id: string;
+        outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+    } | undefined;
+}, {
+    phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+    project_path: string;
+    evidence_directory: string;
+    expectations_sha256: string;
+    source_digest: string;
+    coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+    applicable: boolean;
+    outcome?: {
+        schema_version: "clinkx-regression-outcome-v1";
+        case_id: string;
+        assertion_id: string;
+        outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+    } | undefined;
+}>;
+export type RepairPhaseProof = z.infer<typeof RepairPhaseProofSchema>;
+export declare const RepairFindingSchema: z.ZodObject<{
+    severity: z.ZodEnum<["material", "nonblocking"]>;
+    message: z.ZodString;
+    citations: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        path: z.ZodEffects<z.ZodString, string, string>;
+        sha256: z.ZodString;
+        start_line: z.ZodNumber;
+        end_line: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }>, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    message: string;
+    severity: "material" | "nonblocking";
+    citations: {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }[];
+}, {
+    message: string;
+    severity: "material" | "nonblocking";
+    citations: {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }[];
+}>;
+export declare const RepairReviewSchema: z.ZodEffects<z.ZodObject<{
+    schema_version: z.ZodLiteral<"clinkx-verified-repair-review-v1">;
+    frozen_digest: z.ZodString;
+    fixed_source_digest: z.ZodString;
+    proof_refs: z.ZodArray<z.ZodObject<{
+        phase: z.ZodEnum<["capture", "reproduce", "fixed_regression", "fixed_required", "copy_preparation", "copy_fixed", "copy_without_fix", "copy_restored", "final_required"]>;
+        evidence_directory: z.ZodEffects<z.ZodString, string, string>;
+        expectations_sha256: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        evidence_directory: string;
+        expectations_sha256: string;
+    }, {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        evidence_directory: string;
+        expectations_sha256: string;
+    }>, "many">;
+    verdict: z.ZodEnum<["approve", "request_changes"]>;
+    findings: z.ZodArray<z.ZodObject<{
+        severity: z.ZodEnum<["material", "nonblocking"]>;
+        message: z.ZodString;
+        citations: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            path: z.ZodEffects<z.ZodString, string, string>;
+            sha256: z.ZodString;
+            start_line: z.ZodNumber;
+            end_line: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }>, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        message: string;
+        severity: "material" | "nonblocking";
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+    }, {
+        message: string;
+        severity: "material" | "nonblocking";
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+    }>, "many">;
+    causality: z.ZodString;
+    scope: z.ZodString;
+    citations: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        path: z.ZodEffects<z.ZodString, string, string>;
+        sha256: z.ZodString;
+        start_line: z.ZodNumber;
+        end_line: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }>, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }, {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    schema_version: "clinkx-verified-repair-review-v1";
+    verdict: "approve" | "request_changes";
+    findings: {
+        message: string;
+        severity: "material" | "nonblocking";
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+    }[];
+    frozen_digest: string;
+    citations: {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }[];
+    fixed_source_digest: string;
+    proof_refs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        evidence_directory: string;
+        expectations_sha256: string;
+    }[];
+    causality: string;
+    scope: string;
+}, {
+    schema_version: "clinkx-verified-repair-review-v1";
+    verdict: "approve" | "request_changes";
+    findings: {
+        message: string;
+        severity: "material" | "nonblocking";
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+    }[];
+    frozen_digest: string;
+    citations: {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }[];
+    fixed_source_digest: string;
+    proof_refs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        evidence_directory: string;
+        expectations_sha256: string;
+    }[];
+    causality: string;
+    scope: string;
+}>, {
+    schema_version: "clinkx-verified-repair-review-v1";
+    verdict: "approve" | "request_changes";
+    findings: {
+        message: string;
+        severity: "material" | "nonblocking";
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+    }[];
+    frozen_digest: string;
+    citations: {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }[];
+    fixed_source_digest: string;
+    proof_refs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        evidence_directory: string;
+        expectations_sha256: string;
+    }[];
+    causality: string;
+    scope: string;
+}, {
+    schema_version: "clinkx-verified-repair-review-v1";
+    verdict: "approve" | "request_changes";
+    findings: {
+        message: string;
+        severity: "material" | "nonblocking";
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+    }[];
+    frozen_digest: string;
+    citations: {
+        path: string;
+        sha256: string;
+        start_line: number;
+        end_line: number;
+    }[];
+    fixed_source_digest: string;
+    proof_refs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        evidence_directory: string;
+        expectations_sha256: string;
+    }[];
+    causality: string;
+    scope: string;
+}>;
+export type RepairReview = z.infer<typeof RepairReviewSchema>;
+export declare const RepairPacketSchema: z.ZodEffects<z.ZodObject<{
+    schema_version: z.ZodLiteral<"clinkx-verified-repair-packet-v1">;
+    frozen_digest: z.ZodString;
+    phase: z.ZodEnum<["capture", "reproduce", "fixed", "independent"]>;
+    source_facts: z.ZodArray<z.ZodObject<{
+        path: z.ZodEffects<z.ZodString, string, string>;
+        sha256: z.ZodString;
+        size_bytes: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }, {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }>, "many">;
+    proofs: z.ZodArray<z.ZodObject<{
+        phase: z.ZodEnum<["capture", "reproduce", "fixed_regression", "fixed_required", "copy_preparation", "copy_fixed", "copy_without_fix", "copy_restored", "final_required"]>;
+        evidence_directory: z.ZodEffects<z.ZodString, string, string>;
+        expectations_sha256: z.ZodString;
+    } & {
+        project_path: z.ZodEffects<z.ZodString, string, string>;
+        source_digest: z.ZodString;
+        coverage_status: z.ZodEnum<["complete", "incomplete", "inapplicable", "failed"]>;
+        outcome: z.ZodOptional<z.ZodObject<{
+            schema_version: z.ZodLiteral<"clinkx-regression-outcome-v1">;
+            case_id: z.ZodString;
+            assertion_id: z.ZodString;
+            outcome: z.ZodEnum<["assertion_failed", "assertion_passed", "harness_error"]>;
+        }, "strict", z.ZodTypeAny, {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        }, {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        }>>;
+        applicable: z.ZodBoolean;
+    }, "strict", z.ZodTypeAny, {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }, {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }>, "many">;
+    context: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    schema_version: "clinkx-verified-repair-packet-v1";
+    phase: "capture" | "reproduce" | "fixed" | "independent";
+    context: string;
+    frozen_digest: string;
+    source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    proofs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }[];
+}, {
+    schema_version: "clinkx-verified-repair-packet-v1";
+    phase: "capture" | "reproduce" | "fixed" | "independent";
+    context: string;
+    frozen_digest: string;
+    source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    proofs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }[];
+}>, {
+    schema_version: "clinkx-verified-repair-packet-v1";
+    phase: "capture" | "reproduce" | "fixed" | "independent";
+    context: string;
+    frozen_digest: string;
+    source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    proofs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }[];
+}, {
+    schema_version: "clinkx-verified-repair-packet-v1";
+    phase: "capture" | "reproduce" | "fixed" | "independent";
+    context: string;
+    frozen_digest: string;
+    source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    proofs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }[];
+}>;
+export type RepairPacket = z.infer<typeof RepairPacketSchema>;
+export declare const RepairAppliedPathSchema: z.ZodObject<{
+    phase: z.ZodEnum<["regression", "implementation"]>;
+    path: z.ZodEffects<z.ZodString, string, string>;
+    original_sha256: z.ZodString;
+    replacement_sha256: z.ZodString;
+    status: z.ZodEnum<["applied", "original", "replacement", "unknown"]>;
+}, "strict", z.ZodTypeAny, {
+    status: "unknown" | "applied" | "original" | "replacement";
+    path: string;
+    phase: "regression" | "implementation";
+    original_sha256: string;
+    replacement_sha256: string;
+}, {
+    status: "unknown" | "applied" | "original" | "replacement";
+    path: string;
+    phase: "regression" | "implementation";
+    original_sha256: string;
+    replacement_sha256: string;
+}>;
+export declare const RepairRecordSchema: z.ZodEffects<z.ZodObject<{
+    schema_version: z.ZodLiteral<"clinkx-verified-repair-record-v1">;
+    run_id: z.ZodString;
+    execution_status: z.ZodEnum<["completed", "failed", "cancelled", "interrupted"]>;
+    repair_status: z.ZodEnum<["verified", "blocked", "incomplete", "failed"]>;
+    frozen_digest: z.ZodString;
+    project_path: z.ZodEffects<z.ZodString, string, string>;
+    routes: z.ZodObject<{
+        investigator: z.ZodObject<{
+            cli_name: z.ZodString;
+            model: z.ZodOptional<z.ZodString>;
+            effort: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        }, {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        }>;
+        repair_author: z.ZodObject<{
+            cli_name: z.ZodString;
+            model: z.ZodOptional<z.ZodString>;
+            effort: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        }, {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        }>;
+        verifier: z.ZodObject<{
+            cli_name: z.ZodString;
+            model: z.ZodOptional<z.ZodString>;
+            effort: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        }, {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        investigator: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        repair_author: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        verifier: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+    }, {
+        investigator: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        repair_author: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        verifier: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+    }>;
+    source_facts: z.ZodArray<z.ZodObject<{
+        path: z.ZodEffects<z.ZodString, string, string>;
+        sha256: z.ZodString;
+        size_bytes: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }, {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }>, "many">;
+    current_source_facts: z.ZodArray<z.ZodObject<{
+        path: z.ZodEffects<z.ZodString, string, string>;
+        sha256: z.ZodString;
+        size_bytes: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }, {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }>, "many">;
+    fixed_source_digest: z.ZodOptional<z.ZodString>;
+    applied_paths: z.ZodArray<z.ZodObject<{
+        phase: z.ZodEnum<["regression", "implementation"]>;
+        path: z.ZodEffects<z.ZodString, string, string>;
+        original_sha256: z.ZodString;
+        replacement_sha256: z.ZodString;
+        status: z.ZodEnum<["applied", "original", "replacement", "unknown"]>;
+    }, "strict", z.ZodTypeAny, {
+        status: "unknown" | "applied" | "original" | "replacement";
+        path: string;
+        phase: "regression" | "implementation";
+        original_sha256: string;
+        replacement_sha256: string;
+    }, {
+        status: "unknown" | "applied" | "original" | "replacement";
+        path: string;
+        phase: "regression" | "implementation";
+        original_sha256: string;
+        replacement_sha256: string;
+    }>, "many">;
+    proofs: z.ZodArray<z.ZodObject<{
+        phase: z.ZodEnum<["capture", "reproduce", "fixed_regression", "fixed_required", "copy_preparation", "copy_fixed", "copy_without_fix", "copy_restored", "final_required"]>;
+        evidence_directory: z.ZodEffects<z.ZodString, string, string>;
+        expectations_sha256: z.ZodString;
+    } & {
+        project_path: z.ZodEffects<z.ZodString, string, string>;
+        source_digest: z.ZodString;
+        coverage_status: z.ZodEnum<["complete", "incomplete", "inapplicable", "failed"]>;
+        outcome: z.ZodOptional<z.ZodObject<{
+            schema_version: z.ZodLiteral<"clinkx-regression-outcome-v1">;
+            case_id: z.ZodString;
+            assertion_id: z.ZodString;
+            outcome: z.ZodEnum<["assertion_failed", "assertion_passed", "harness_error"]>;
+        }, "strict", z.ZodTypeAny, {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        }, {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        }>>;
+        applicable: z.ZodBoolean;
+    }, "strict", z.ZodTypeAny, {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }, {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }>, "many">;
+    review: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+        schema_version: z.ZodLiteral<"clinkx-verified-repair-review-v1">;
+        frozen_digest: z.ZodString;
+        fixed_source_digest: z.ZodString;
+        proof_refs: z.ZodArray<z.ZodObject<{
+            phase: z.ZodEnum<["capture", "reproduce", "fixed_regression", "fixed_required", "copy_preparation", "copy_fixed", "copy_without_fix", "copy_restored", "final_required"]>;
+            evidence_directory: z.ZodEffects<z.ZodString, string, string>;
+            expectations_sha256: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+            evidence_directory: string;
+            expectations_sha256: string;
+        }, {
+            phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+            evidence_directory: string;
+            expectations_sha256: string;
+        }>, "many">;
+        verdict: z.ZodEnum<["approve", "request_changes"]>;
+        findings: z.ZodArray<z.ZodObject<{
+            severity: z.ZodEnum<["material", "nonblocking"]>;
+            message: z.ZodString;
+            citations: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                path: z.ZodEffects<z.ZodString, string, string>;
+                sha256: z.ZodString;
+                start_line: z.ZodNumber;
+                end_line: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }, {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }>, {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }, {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            message: string;
+            severity: "material" | "nonblocking";
+            citations: {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }[];
+        }, {
+            message: string;
+            severity: "material" | "nonblocking";
+            citations: {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }[];
+        }>, "many">;
+        causality: z.ZodString;
+        scope: z.ZodString;
+        citations: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            path: z.ZodEffects<z.ZodString, string, string>;
+            sha256: z.ZodString;
+            start_line: z.ZodNumber;
+            end_line: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }>, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }, {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        schema_version: "clinkx-verified-repair-review-v1";
+        verdict: "approve" | "request_changes";
+        findings: {
+            message: string;
+            severity: "material" | "nonblocking";
+            citations: {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }[];
+        }[];
+        frozen_digest: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+        fixed_source_digest: string;
+        proof_refs: {
+            phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+            evidence_directory: string;
+            expectations_sha256: string;
+        }[];
+        causality: string;
+        scope: string;
+    }, {
+        schema_version: "clinkx-verified-repair-review-v1";
+        verdict: "approve" | "request_changes";
+        findings: {
+            message: string;
+            severity: "material" | "nonblocking";
+            citations: {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }[];
+        }[];
+        frozen_digest: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+        fixed_source_digest: string;
+        proof_refs: {
+            phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+            evidence_directory: string;
+            expectations_sha256: string;
+        }[];
+        causality: string;
+        scope: string;
+    }>, {
+        schema_version: "clinkx-verified-repair-review-v1";
+        verdict: "approve" | "request_changes";
+        findings: {
+            message: string;
+            severity: "material" | "nonblocking";
+            citations: {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }[];
+        }[];
+        frozen_digest: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+        fixed_source_digest: string;
+        proof_refs: {
+            phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+            evidence_directory: string;
+            expectations_sha256: string;
+        }[];
+        causality: string;
+        scope: string;
+    }, {
+        schema_version: "clinkx-verified-repair-review-v1";
+        verdict: "approve" | "request_changes";
+        findings: {
+            message: string;
+            severity: "material" | "nonblocking";
+            citations: {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }[];
+        }[];
+        frozen_digest: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+        fixed_source_digest: string;
+        proof_refs: {
+            phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+            evidence_directory: string;
+            expectations_sha256: string;
+        }[];
+        causality: string;
+        scope: string;
+    }>>;
+    gaps: z.ZodArray<z.ZodString, "many">;
+    error_phase: z.ZodOptional<z.ZodString>;
+    owner_acceptance: z.ZodLiteral<"not_recorded">;
+    owner_next_steps: z.ZodArray<z.ZodString, "many">;
+    limitations: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    schema_version: "clinkx-verified-repair-record-v1";
+    execution_status: "failed" | "cancelled" | "completed" | "interrupted";
+    run_id: string;
+    gaps: string[];
+    frozen_digest: string;
+    routes: {
+        investigator: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        repair_author: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        verifier: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+    };
+    owner_acceptance: "not_recorded";
+    owner_next_steps: string[];
+    limitations: string[];
+    project_path: string;
+    source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    proofs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }[];
+    repair_status: "failed" | "incomplete" | "verified" | "blocked";
+    current_source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    applied_paths: {
+        status: "unknown" | "applied" | "original" | "replacement";
+        path: string;
+        phase: "regression" | "implementation";
+        original_sha256: string;
+        replacement_sha256: string;
+    }[];
+    fixed_source_digest?: string | undefined;
+    review?: {
+        schema_version: "clinkx-verified-repair-review-v1";
+        verdict: "approve" | "request_changes";
+        findings: {
+            message: string;
+            severity: "material" | "nonblocking";
+            citations: {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }[];
+        }[];
+        frozen_digest: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+        fixed_source_digest: string;
+        proof_refs: {
+            phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+            evidence_directory: string;
+            expectations_sha256: string;
+        }[];
+        causality: string;
+        scope: string;
+    } | undefined;
+    error_phase?: string | undefined;
+}, {
+    schema_version: "clinkx-verified-repair-record-v1";
+    execution_status: "failed" | "cancelled" | "completed" | "interrupted";
+    run_id: string;
+    gaps: string[];
+    frozen_digest: string;
+    routes: {
+        investigator: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        repair_author: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        verifier: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+    };
+    owner_acceptance: "not_recorded";
+    owner_next_steps: string[];
+    limitations: string[];
+    project_path: string;
+    source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    proofs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }[];
+    repair_status: "failed" | "incomplete" | "verified" | "blocked";
+    current_source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    applied_paths: {
+        status: "unknown" | "applied" | "original" | "replacement";
+        path: string;
+        phase: "regression" | "implementation";
+        original_sha256: string;
+        replacement_sha256: string;
+    }[];
+    fixed_source_digest?: string | undefined;
+    review?: {
+        schema_version: "clinkx-verified-repair-review-v1";
+        verdict: "approve" | "request_changes";
+        findings: {
+            message: string;
+            severity: "material" | "nonblocking";
+            citations: {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }[];
+        }[];
+        frozen_digest: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+        fixed_source_digest: string;
+        proof_refs: {
+            phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+            evidence_directory: string;
+            expectations_sha256: string;
+        }[];
+        causality: string;
+        scope: string;
+    } | undefined;
+    error_phase?: string | undefined;
+}>, {
+    schema_version: "clinkx-verified-repair-record-v1";
+    execution_status: "failed" | "cancelled" | "completed" | "interrupted";
+    run_id: string;
+    gaps: string[];
+    frozen_digest: string;
+    routes: {
+        investigator: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        repair_author: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        verifier: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+    };
+    owner_acceptance: "not_recorded";
+    owner_next_steps: string[];
+    limitations: string[];
+    project_path: string;
+    source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    proofs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }[];
+    repair_status: "failed" | "incomplete" | "verified" | "blocked";
+    current_source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    applied_paths: {
+        status: "unknown" | "applied" | "original" | "replacement";
+        path: string;
+        phase: "regression" | "implementation";
+        original_sha256: string;
+        replacement_sha256: string;
+    }[];
+    fixed_source_digest?: string | undefined;
+    review?: {
+        schema_version: "clinkx-verified-repair-review-v1";
+        verdict: "approve" | "request_changes";
+        findings: {
+            message: string;
+            severity: "material" | "nonblocking";
+            citations: {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }[];
+        }[];
+        frozen_digest: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+        fixed_source_digest: string;
+        proof_refs: {
+            phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+            evidence_directory: string;
+            expectations_sha256: string;
+        }[];
+        causality: string;
+        scope: string;
+    } | undefined;
+    error_phase?: string | undefined;
+}, {
+    schema_version: "clinkx-verified-repair-record-v1";
+    execution_status: "failed" | "cancelled" | "completed" | "interrupted";
+    run_id: string;
+    gaps: string[];
+    frozen_digest: string;
+    routes: {
+        investigator: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        repair_author: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+        verifier: {
+            cli_name: string;
+            model?: string | undefined;
+            effort?: string | undefined;
+        };
+    };
+    owner_acceptance: "not_recorded";
+    owner_next_steps: string[];
+    limitations: string[];
+    project_path: string;
+    source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    proofs: {
+        phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+        project_path: string;
+        evidence_directory: string;
+        expectations_sha256: string;
+        source_digest: string;
+        coverage_status: "failed" | "complete" | "incomplete" | "inapplicable";
+        applicable: boolean;
+        outcome?: {
+            schema_version: "clinkx-regression-outcome-v1";
+            case_id: string;
+            assertion_id: string;
+            outcome: "assertion_failed" | "assertion_passed" | "harness_error";
+        } | undefined;
+    }[];
+    repair_status: "failed" | "incomplete" | "verified" | "blocked";
+    current_source_facts: {
+        path: string;
+        sha256: string;
+        size_bytes: number;
+    }[];
+    applied_paths: {
+        status: "unknown" | "applied" | "original" | "replacement";
+        path: string;
+        phase: "regression" | "implementation";
+        original_sha256: string;
+        replacement_sha256: string;
+    }[];
+    fixed_source_digest?: string | undefined;
+    review?: {
+        schema_version: "clinkx-verified-repair-review-v1";
+        verdict: "approve" | "request_changes";
+        findings: {
+            message: string;
+            severity: "material" | "nonblocking";
+            citations: {
+                path: string;
+                sha256: string;
+                start_line: number;
+                end_line: number;
+            }[];
+        }[];
+        frozen_digest: string;
+        citations: {
+            path: string;
+            sha256: string;
+            start_line: number;
+            end_line: number;
+        }[];
+        fixed_source_digest: string;
+        proof_refs: {
+            phase: "copy_preparation" | "capture" | "reproduce" | "fixed_regression" | "fixed_required" | "copy_fixed" | "copy_without_fix" | "copy_restored" | "final_required";
+            evidence_directory: string;
+            expectations_sha256: string;
+        }[];
+        causality: string;
+        scope: string;
+    } | undefined;
+    error_phase?: string | undefined;
+}>;
+export type RepairRecord = z.infer<typeof RepairRecordSchema>;
+export declare function assertRepairBounded(value: unknown, maximum: number): void;
+export declare function repairSourceDigest(facts: readonly RepairSourceFact[]): string;
+export declare function assertRepairCitations(citations: readonly RepairCitation[], facts: readonly RepairSourceFact[], sourceText?: ReadonlyMap<string, string>): void;
+export declare function assertIndependentRepairReview(review: RepairReview, frozenDigest: string, fixedFacts: readonly RepairSourceFact[], proofRefs: readonly RepairProofRef[], sourceText?: ReadonlyMap<string, string>): void;
+export declare function parseRegressionOutcome(text: string, expected: z.infer<typeof RegressionObservationSchema>): RegressionOutcome;