@ftai/dsh-plugin-acn 0.0.0-stage → 0.1.1

package/lib/types/dream/schema.d.ts

@@ -0,0 +1,1475 @@
+import { z } from 'zod';
+import { FormationValidationError } from '../formation/schema.js';
+export declare class DreamValidationError extends FormationValidationError {
+}
+export declare const text: z.ZodString;
+export declare const KeySchema: z.ZodString;
+export declare const HashSchema: z.ZodString;
+export declare const KindSchema: z.ZodEnum<{
+    quality: "quality";
+    evidence: "evidence";
+    consolidation: "consolidation";
+}>;
+export declare const ReviewSummarySchema: z.ZodObject<{
+    quality: z.ZodString;
+    evidence: z.ZodString;
+    consolidation: z.ZodString;
+}, z.core.$strict>;
+export declare const BasisSchema: z.ZodObject<{
+    claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+    removed_or_changed: z.ZodString;
+    added: z.ZodString;
+    justification: z.ZodString;
+    evidence_ids: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export declare const CoverageSchema: z.ZodObject<{
+    input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+    output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+    note: z.ZodString;
+}, z.core.$strict>;
+export declare const UpdateSchema: z.ZodObject<{
+    name: z.ZodString;
+    id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+    statement: z.ZodString;
+    scope: z.ZodString;
+    confidence: z.ZodEnum<{
+        high: "high";
+        medium: "medium";
+        low: "low";
+    }>;
+    status: z.ZodEnum<{
+        active: "active";
+        stale: "stale";
+        deprecated: "deprecated";
+    }>;
+    evidence_summary: z.ZodString;
+    source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+}, z.core.$strict>;
+export declare const GroupSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        quality: "quality";
+        evidence: "evidence";
+        consolidation: "consolidation";
+    }>;
+    reason: z.ZodString;
+    evidence_ids: z.ZodArray<z.ZodString>;
+    coverage: z.ZodArray<z.ZodObject<{
+        input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+        note: z.ZodString;
+    }, z.core.$strict>>;
+    change_basis: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        removed_or_changed: z.ZodString;
+        added: z.ZodString;
+        justification: z.ZodString;
+        evidence_ids: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+    updates: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        statement: z.ZodString;
+        scope: z.ZodString;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        status: z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>;
+        evidence_summary: z.ZodString;
+        source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const PlanSchema: z.ZodObject<{
+    review: z.ZodObject<{
+        quality: z.ZodString;
+        evidence: z.ZodString;
+        consolidation: z.ZodString;
+    }, z.core.$strict>;
+    groups: z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<{
+            quality: "quality";
+            evidence: "evidence";
+            consolidation: "consolidation";
+        }>;
+        reason: z.ZodString;
+        evidence_ids: z.ZodArray<z.ZodString>;
+        coverage: z.ZodArray<z.ZodObject<{
+            input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+            note: z.ZodString;
+        }, z.core.$strict>>;
+        change_basis: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            removed_or_changed: z.ZodString;
+            added: z.ZodString;
+            justification: z.ZodString;
+            evidence_ids: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>>;
+        updates: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            statement: z.ZodString;
+            scope: z.ZodString;
+            confidence: z.ZodEnum<{
+                high: "high";
+                medium: "medium";
+                low: "low";
+            }>;
+            status: z.ZodEnum<{
+                active: "active";
+                stale: "stale";
+                deprecated: "deprecated";
+            }>;
+            evidence_summary: z.ZodString;
+            source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strip>;
+export declare const OperationSchema: z.ZodObject<{
+    id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+    action: z.ZodEnum<{
+        keep: "keep";
+        update: "update";
+        deprecate: "deprecate";
+    }>;
+    changes: z.ZodDefault<z.ZodObject<{
+        name: z.ZodOptional<z.ZodString>;
+        statement: z.ZodOptional<z.ZodString>;
+        scope: z.ZodOptional<z.ZodString>;
+        confidence: z.ZodOptional<z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>>;
+        status: z.ZodOptional<z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>>;
+        source_claim_ids: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        evidence_summary: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export declare const DraftGroupSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        quality: "quality";
+        evidence: "evidence";
+        consolidation: "consolidation";
+    }>;
+    reason: z.ZodString;
+    evidence_ids: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    coverage: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+        note: z.ZodString;
+    }, z.core.$strict>>>;
+    change_basis: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        removed_or_changed: z.ZodString;
+        added: z.ZodString;
+        justification: z.ZodString;
+        evidence_ids: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+    operations: z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        action: z.ZodEnum<{
+            keep: "keep";
+            update: "update";
+            deprecate: "deprecate";
+        }>;
+        changes: z.ZodDefault<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            statement: z.ZodOptional<z.ZodString>;
+            scope: z.ZodOptional<z.ZodString>;
+            confidence: z.ZodOptional<z.ZodEnum<{
+                high: "high";
+                medium: "medium";
+                low: "low";
+            }>>;
+            status: z.ZodOptional<z.ZodEnum<{
+                active: "active";
+                stale: "stale";
+                deprecated: "deprecated";
+            }>>;
+            source_claim_ids: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+            evidence_summary: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const CandidateSchema: z.ZodObject<{
+    group_id: z.ZodString;
+    claim_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+    kind: z.ZodEnum<{
+        quality: "quality";
+        evidence: "evidence";
+        consolidation: "consolidation";
+    }>;
+    reason: z.ZodString;
+}, z.core.$strict>;
+export declare const KeepReasonSchema: z.ZodEnum<{
+    insufficient_evidence: "insufficient_evidence";
+    useful_knowledge: "useful_knowledge";
+    uncertain_preservation: "uncertain_preservation";
+    no_consolidation_benefit: "no_consolidation_benefit";
+    external_change: "external_change";
+}>;
+export declare const DraftResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    action: z.ZodLiteral<"stage">;
+    group: z.ZodObject<{
+        kind: z.ZodEnum<{
+            quality: "quality";
+            evidence: "evidence";
+            consolidation: "consolidation";
+        }>;
+        reason: z.ZodString;
+        evidence_ids: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        coverage: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+            note: z.ZodString;
+        }, z.core.$strict>>>;
+        change_basis: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            removed_or_changed: z.ZodString;
+            added: z.ZodString;
+            justification: z.ZodString;
+            evidence_ids: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>>;
+        operations: z.ZodArray<z.ZodObject<{
+            id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            action: z.ZodEnum<{
+                keep: "keep";
+                update: "update";
+                deprecate: "deprecate";
+            }>;
+            changes: z.ZodDefault<z.ZodObject<{
+                name: z.ZodOptional<z.ZodString>;
+                statement: z.ZodOptional<z.ZodString>;
+                scope: z.ZodOptional<z.ZodString>;
+                confidence: z.ZodOptional<z.ZodEnum<{
+                    high: "high";
+                    medium: "medium";
+                    low: "low";
+                }>>;
+                status: z.ZodOptional<z.ZodEnum<{
+                    active: "active";
+                    stale: "stale";
+                    deprecated: "deprecated";
+                }>>;
+                source_claim_ids: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+                evidence_summary: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            reason: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    action: z.ZodLiteral<"keep">;
+    reason_kind: z.ZodEnum<{
+        insufficient_evidence: "insufficient_evidence";
+        useful_knowledge: "useful_knowledge";
+        uncertain_preservation: "uncertain_preservation";
+        no_consolidation_benefit: "no_consolidation_benefit";
+        external_change: "external_change";
+    }>;
+    reason: z.ZodString;
+}, z.core.$strict>], "action">;
+export declare const DiscoverySchema: z.ZodObject<{
+    review: z.ZodObject<{
+        quality: z.ZodString;
+        evidence: z.ZodString;
+        consolidation: z.ZodString;
+    }, z.core.$strict>;
+    candidates: z.ZodArray<z.ZodObject<{
+        group_id: z.ZodString;
+        claim_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+        kind: z.ZodEnum<{
+            quality: "quality";
+            evidence: "evidence";
+            consolidation: "consolidation";
+        }>;
+        reason: z.ZodString;
+    }, z.core.$strict>>;
+    sync_candidates: z.ZodArray<z.ZodObject<{
+        source_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        carrier_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+        reason: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const QuoteSchema: z.ZodObject<{
+    claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+    field: z.ZodEnum<{
+        name: "name";
+        statement: "statement";
+        scope: "scope";
+        evidence_summary: "evidence_summary";
+    }>;
+    quote: z.ZodString;
+}, z.core.$strict>;
+export declare const SelfReviewSchema: z.ZodObject<{
+    group_id: z.ZodString;
+    validation_id: z.ZodString;
+    preservation: z.ZodArray<z.ZodObject<{
+        before: z.ZodObject<{
+            claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            field: z.ZodEnum<{
+                name: "name";
+                statement: "statement";
+                scope: "scope";
+                evidence_summary: "evidence_summary";
+            }>;
+            quote: z.ZodString;
+        }, z.core.$strict>;
+        after: z.ZodArray<z.ZodObject<{
+            claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            field: z.ZodEnum<{
+                name: "name";
+                statement: "statement";
+                scope: "scope";
+                evidence_summary: "evidence_summary";
+            }>;
+            quote: z.ZodString;
+        }, z.core.$strict>>;
+        disposition: z.ZodEnum<{
+            preserved: "preserved";
+            episodic: "episodic";
+            corrected: "corrected";
+        }>;
+        reason: z.ZodString;
+        evidence: z.ZodArray<z.ZodObject<{
+            evidence_id: z.ZodString;
+            quote: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    support: z.ZodArray<z.ZodObject<{
+        after: z.ZodObject<{
+            claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            field: z.ZodEnum<{
+                name: "name";
+                statement: "statement";
+                scope: "scope";
+                evidence_summary: "evidence_summary";
+            }>;
+            quote: z.ZodString;
+        }, z.core.$strict>;
+        before: z.ZodArray<z.ZodObject<{
+            claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            field: z.ZodEnum<{
+                name: "name";
+                statement: "statement";
+                scope: "scope";
+                evidence_summary: "evidence_summary";
+            }>;
+            quote: z.ZodString;
+        }, z.core.$strict>>;
+        evidence: z.ZodArray<z.ZodObject<{
+            evidence_id: z.ZodString;
+            quote: z.ZodString;
+        }, z.core.$strict>>;
+        reason: z.ZodString;
+    }, z.core.$strict>>;
+    scope_and_certainty: z.ZodString;
+}, z.core.$strict>;
+export declare const SemanticReviewSchema: z.ZodObject<{
+    claims: z.ZodArray<z.ZodObject<{
+        claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        final_name: z.ZodDefault<z.ZodString>;
+        name_reason: z.ZodDefault<z.ZodString>;
+        information_preserved: z.ZodString;
+        removal_or_correction: z.ZodString;
+        factual_correction: z.ZodBoolean;
+        output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+        evidence_ids: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    scope_and_certainty: z.ZodString;
+}, z.core.$strict>;
+export declare const ReviewInputSchema: z.ZodObject<{
+    group_id: z.ZodString;
+    kind: z.ZodEnum<{
+        quality: "quality";
+        evidence: "evidence";
+        consolidation: "consolidation";
+    }>;
+    reason: z.ZodString;
+    before: z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        name: z.ZodString;
+        statement: z.ZodString;
+        scope: z.ZodString;
+        holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        status: z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>;
+        created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+        source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        evidence_summary: z.ZodString;
+    }, z.core.$strip>>;
+    after: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        statement: z.ZodString;
+        scope: z.ZodString;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        status: z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>;
+        evidence_summary: z.ZodString;
+        source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+    }, z.core.$strict>>;
+    changes: z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        action: z.ZodEnum<{
+            keep: "keep";
+            update: "update";
+            deprecate: "deprecate";
+        }>;
+        changes: z.ZodDefault<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            statement: z.ZodOptional<z.ZodString>;
+            scope: z.ZodOptional<z.ZodString>;
+            confidence: z.ZodOptional<z.ZodEnum<{
+                high: "high";
+                medium: "medium";
+                low: "low";
+            }>>;
+            status: z.ZodOptional<z.ZodEnum<{
+                active: "active";
+                stale: "stale";
+                deprecated: "deprecated";
+            }>>;
+            source_claim_ids: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+            evidence_summary: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    coverage: z.ZodArray<z.ZodObject<{
+        input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+        note: z.ZodString;
+    }, z.core.$strict>>;
+    change_basis: z.ZodArray<z.ZodObject<{
+        claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        removed_or_changed: z.ZodString;
+        added: z.ZodString;
+        justification: z.ZodString;
+        evidence_ids: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    unversioned_evidence_omitted: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    evidence: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+}, z.core.$strict>;
+export declare const ValidationSchema: z.ZodObject<{
+    validation_id: z.ZodString;
+    input: z.ZodObject<{
+        group_id: z.ZodString;
+        kind: z.ZodEnum<{
+            quality: "quality";
+            evidence: "evidence";
+            consolidation: "consolidation";
+        }>;
+        reason: z.ZodString;
+        before: z.ZodArray<z.ZodObject<{
+            id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            name: z.ZodString;
+            statement: z.ZodString;
+            scope: z.ZodString;
+            holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+            confidence: z.ZodEnum<{
+                high: "high";
+                medium: "medium";
+                low: "low";
+            }>;
+            status: z.ZodEnum<{
+                active: "active";
+                stale: "stale";
+                deprecated: "deprecated";
+            }>;
+            created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+            updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+            source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+            evidence_summary: z.ZodString;
+        }, z.core.$strip>>;
+        after: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            statement: z.ZodString;
+            scope: z.ZodString;
+            confidence: z.ZodEnum<{
+                high: "high";
+                medium: "medium";
+                low: "low";
+            }>;
+            status: z.ZodEnum<{
+                active: "active";
+                stale: "stale";
+                deprecated: "deprecated";
+            }>;
+            evidence_summary: z.ZodString;
+            source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        }, z.core.$strict>>;
+        changes: z.ZodArray<z.ZodObject<{
+            id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            action: z.ZodEnum<{
+                keep: "keep";
+                update: "update";
+                deprecate: "deprecate";
+            }>;
+            changes: z.ZodDefault<z.ZodObject<{
+                name: z.ZodOptional<z.ZodString>;
+                statement: z.ZodOptional<z.ZodString>;
+                scope: z.ZodOptional<z.ZodString>;
+                confidence: z.ZodOptional<z.ZodEnum<{
+                    high: "high";
+                    medium: "medium";
+                    low: "low";
+                }>>;
+                status: z.ZodOptional<z.ZodEnum<{
+                    active: "active";
+                    stale: "stale";
+                    deprecated: "deprecated";
+                }>>;
+                source_claim_ids: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+                evidence_summary: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            reason: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        coverage: z.ZodArray<z.ZodObject<{
+            input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+            note: z.ZodString;
+        }, z.core.$strict>>;
+        change_basis: z.ZodArray<z.ZodObject<{
+            claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            removed_or_changed: z.ZodString;
+            added: z.ZodString;
+            justification: z.ZodString;
+            evidence_ids: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+        unversioned_evidence_omitted: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        evidence: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const ReviewRecordSchema: z.ZodObject<{
+    validation: z.ZodObject<{
+        validation_id: z.ZodString;
+        input: z.ZodObject<{
+            group_id: z.ZodString;
+            kind: z.ZodEnum<{
+                quality: "quality";
+                evidence: "evidence";
+                consolidation: "consolidation";
+            }>;
+            reason: z.ZodString;
+            before: z.ZodArray<z.ZodObject<{
+                id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                name: z.ZodString;
+                statement: z.ZodString;
+                scope: z.ZodString;
+                holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+                confidence: z.ZodEnum<{
+                    high: "high";
+                    medium: "medium";
+                    low: "low";
+                }>;
+                status: z.ZodEnum<{
+                    active: "active";
+                    stale: "stale";
+                    deprecated: "deprecated";
+                }>;
+                created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+                updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+                source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+                evidence_summary: z.ZodString;
+            }, z.core.$strip>>;
+            after: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                statement: z.ZodString;
+                scope: z.ZodString;
+                confidence: z.ZodEnum<{
+                    high: "high";
+                    medium: "medium";
+                    low: "low";
+                }>;
+                status: z.ZodEnum<{
+                    active: "active";
+                    stale: "stale";
+                    deprecated: "deprecated";
+                }>;
+                evidence_summary: z.ZodString;
+                source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+            }, z.core.$strict>>;
+            changes: z.ZodArray<z.ZodObject<{
+                id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                action: z.ZodEnum<{
+                    keep: "keep";
+                    update: "update";
+                    deprecate: "deprecate";
+                }>;
+                changes: z.ZodDefault<z.ZodObject<{
+                    name: z.ZodOptional<z.ZodString>;
+                    statement: z.ZodOptional<z.ZodString>;
+                    scope: z.ZodOptional<z.ZodString>;
+                    confidence: z.ZodOptional<z.ZodEnum<{
+                        high: "high";
+                        medium: "medium";
+                        low: "low";
+                    }>>;
+                    status: z.ZodOptional<z.ZodEnum<{
+                        active: "active";
+                        stale: "stale";
+                        deprecated: "deprecated";
+                    }>>;
+                    source_claim_ids: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+                    evidence_summary: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                reason: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            coverage: z.ZodArray<z.ZodObject<{
+                input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+                note: z.ZodString;
+            }, z.core.$strict>>;
+            change_basis: z.ZodArray<z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                removed_or_changed: z.ZodString;
+                added: z.ZodString;
+                justification: z.ZodString;
+                evidence_ids: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>;
+            unversioned_evidence_omitted: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            evidence: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    review: z.ZodObject<{
+        group_id: z.ZodString;
+        validation_id: z.ZodString;
+        preservation: z.ZodArray<z.ZodObject<{
+            before: z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                field: z.ZodEnum<{
+                    name: "name";
+                    statement: "statement";
+                    scope: "scope";
+                    evidence_summary: "evidence_summary";
+                }>;
+                quote: z.ZodString;
+            }, z.core.$strict>;
+            after: z.ZodArray<z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                field: z.ZodEnum<{
+                    name: "name";
+                    statement: "statement";
+                    scope: "scope";
+                    evidence_summary: "evidence_summary";
+                }>;
+                quote: z.ZodString;
+            }, z.core.$strict>>;
+            disposition: z.ZodEnum<{
+                preserved: "preserved";
+                episodic: "episodic";
+                corrected: "corrected";
+            }>;
+            reason: z.ZodString;
+            evidence: z.ZodArray<z.ZodObject<{
+                evidence_id: z.ZodString;
+                quote: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        support: z.ZodArray<z.ZodObject<{
+            after: z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                field: z.ZodEnum<{
+                    name: "name";
+                    statement: "statement";
+                    scope: "scope";
+                    evidence_summary: "evidence_summary";
+                }>;
+                quote: z.ZodString;
+            }, z.core.$strict>;
+            before: z.ZodArray<z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                field: z.ZodEnum<{
+                    name: "name";
+                    statement: "statement";
+                    scope: "scope";
+                    evidence_summary: "evidence_summary";
+                }>;
+                quote: z.ZodString;
+            }, z.core.$strict>>;
+            evidence: z.ZodArray<z.ZodObject<{
+                evidence_id: z.ZodString;
+                quote: z.ZodString;
+            }, z.core.$strict>>;
+            reason: z.ZodString;
+        }, z.core.$strict>>;
+        scope_and_certainty: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const ReviewResponseSchema: z.ZodObject<{
+    decision: z.ZodEnum<{
+        keep: "keep";
+        apply: "apply";
+        repair: "repair";
+    }>;
+    reason: z.ZodString;
+    reason_kind: z.ZodEnum<{
+        insufficient_evidence: "insufficient_evidence";
+        useful_knowledge: "useful_knowledge";
+        uncertain_preservation: "uncertain_preservation";
+        no_consolidation_benefit: "no_consolidation_benefit";
+        external_change: "external_change";
+    }>;
+    semantic: z.ZodNullable<z.ZodObject<{
+        claims: z.ZodArray<z.ZodObject<{
+            claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            final_name: z.ZodDefault<z.ZodString>;
+            name_reason: z.ZodDefault<z.ZodString>;
+            information_preserved: z.ZodString;
+            removal_or_correction: z.ZodString;
+            factual_correction: z.ZodBoolean;
+            output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+            evidence_ids: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+        scope_and_certainty: z.ZodString;
+    }, z.core.$strict>>;
+    self_review: z.ZodNullable<z.ZodObject<{
+        group_id: z.ZodString;
+        validation_id: z.ZodString;
+        preservation: z.ZodArray<z.ZodObject<{
+            before: z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                field: z.ZodEnum<{
+                    name: "name";
+                    statement: "statement";
+                    scope: "scope";
+                    evidence_summary: "evidence_summary";
+                }>;
+                quote: z.ZodString;
+            }, z.core.$strict>;
+            after: z.ZodArray<z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                field: z.ZodEnum<{
+                    name: "name";
+                    statement: "statement";
+                    scope: "scope";
+                    evidence_summary: "evidence_summary";
+                }>;
+                quote: z.ZodString;
+            }, z.core.$strict>>;
+            disposition: z.ZodEnum<{
+                preserved: "preserved";
+                episodic: "episodic";
+                corrected: "corrected";
+            }>;
+            reason: z.ZodString;
+            evidence: z.ZodArray<z.ZodObject<{
+                evidence_id: z.ZodString;
+                quote: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        support: z.ZodArray<z.ZodObject<{
+            after: z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                field: z.ZodEnum<{
+                    name: "name";
+                    statement: "statement";
+                    scope: "scope";
+                    evidence_summary: "evidence_summary";
+                }>;
+                quote: z.ZodString;
+            }, z.core.$strict>;
+            before: z.ZodArray<z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                field: z.ZodEnum<{
+                    name: "name";
+                    statement: "statement";
+                    scope: "scope";
+                    evidence_summary: "evidence_summary";
+                }>;
+                quote: z.ZodString;
+            }, z.core.$strict>>;
+            evidence: z.ZodArray<z.ZodObject<{
+                evidence_id: z.ZodString;
+                quote: z.ZodString;
+            }, z.core.$strict>>;
+            reason: z.ZodString;
+        }, z.core.$strict>>;
+        scope_and_certainty: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const PreparedGroupSchema: z.ZodObject<{
+    before: z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        name: z.ZodString;
+        statement: z.ZodString;
+        scope: z.ZodString;
+        holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        status: z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>;
+        created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+        source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        evidence_summary: z.ZodString;
+    }, z.core.$strip>>;
+    after: z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        name: z.ZodString;
+        statement: z.ZodString;
+        scope: z.ZodString;
+        holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        status: z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>;
+        created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+        source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        evidence_summary: z.ZodString;
+    }, z.core.$strip>>;
+    completed: z.ZodDefault<z.ZodBoolean>;
+    skipped: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strip>;
+export declare const CheckpointSchema: z.ZodObject<{
+    team_authorized: z.ZodOptional<z.ZodBoolean>;
+    snapshot_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+    input_versions: z.ZodRecord<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.ZodString>;
+    coverage: z.ZodJSONSchema;
+    plan: z.ZodObject<{
+        review: z.ZodObject<{
+            quality: z.ZodString;
+            evidence: z.ZodString;
+            consolidation: z.ZodString;
+        }, z.core.$strict>;
+        groups: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<{
+                quality: "quality";
+                evidence: "evidence";
+                consolidation: "consolidation";
+            }>;
+            reason: z.ZodString;
+            evidence_ids: z.ZodArray<z.ZodString>;
+            coverage: z.ZodArray<z.ZodObject<{
+                input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+                note: z.ZodString;
+            }, z.core.$strict>>;
+            change_basis: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                removed_or_changed: z.ZodString;
+                added: z.ZodString;
+                justification: z.ZodString;
+                evidence_ids: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>>;
+            updates: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                statement: z.ZodString;
+                scope: z.ZodString;
+                confidence: z.ZodEnum<{
+                    high: "high";
+                    medium: "medium";
+                    low: "low";
+                }>;
+                status: z.ZodEnum<{
+                    active: "active";
+                    stale: "stale";
+                    deprecated: "deprecated";
+                }>;
+                evidence_summary: z.ZodString;
+                source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+    }, z.core.$strip>;
+    receipts: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+    exploration_receipts: z.ZodOptional<z.ZodNumber>;
+    groups: z.ZodArray<z.ZodObject<{
+        before: z.ZodArray<z.ZodObject<{
+            id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            name: z.ZodString;
+            statement: z.ZodString;
+            scope: z.ZodString;
+            holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+            confidence: z.ZodEnum<{
+                high: "high";
+                medium: "medium";
+                low: "low";
+            }>;
+            status: z.ZodEnum<{
+                active: "active";
+                stale: "stale";
+                deprecated: "deprecated";
+            }>;
+            created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+            updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+            source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+            evidence_summary: z.ZodString;
+        }, z.core.$strip>>;
+        after: z.ZodArray<z.ZodObject<{
+            id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            name: z.ZodString;
+            statement: z.ZodString;
+            scope: z.ZodString;
+            holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+            confidence: z.ZodEnum<{
+                high: "high";
+                medium: "medium";
+                low: "low";
+            }>;
+            status: z.ZodEnum<{
+                active: "active";
+                stale: "stale";
+                deprecated: "deprecated";
+            }>;
+            created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+            updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+            source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+            evidence_summary: z.ZodString;
+        }, z.core.$strip>>;
+        completed: z.ZodDefault<z.ZodBoolean>;
+        skipped: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>>;
+    safety_reviews: z.ZodDefault<z.ZodArray<z.ZodJSONSchema>>;
+    self_reviews: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        validation: z.ZodObject<{
+            validation_id: z.ZodString;
+            input: z.ZodObject<{
+                group_id: z.ZodString;
+                kind: z.ZodEnum<{
+                    quality: "quality";
+                    evidence: "evidence";
+                    consolidation: "consolidation";
+                }>;
+                reason: z.ZodString;
+                before: z.ZodArray<z.ZodObject<{
+                    id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    name: z.ZodString;
+                    statement: z.ZodString;
+                    scope: z.ZodString;
+                    holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+                    confidence: z.ZodEnum<{
+                        high: "high";
+                        medium: "medium";
+                        low: "low";
+                    }>;
+                    status: z.ZodEnum<{
+                        active: "active";
+                        stale: "stale";
+                        deprecated: "deprecated";
+                    }>;
+                    created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+                    updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+                    source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+                    evidence_summary: z.ZodString;
+                }, z.core.$strip>>;
+                after: z.ZodArray<z.ZodObject<{
+                    name: z.ZodString;
+                    id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    statement: z.ZodString;
+                    scope: z.ZodString;
+                    confidence: z.ZodEnum<{
+                        high: "high";
+                        medium: "medium";
+                        low: "low";
+                    }>;
+                    status: z.ZodEnum<{
+                        active: "active";
+                        stale: "stale";
+                        deprecated: "deprecated";
+                    }>;
+                    evidence_summary: z.ZodString;
+                    source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+                }, z.core.$strict>>;
+                changes: z.ZodArray<z.ZodObject<{
+                    id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    action: z.ZodEnum<{
+                        keep: "keep";
+                        update: "update";
+                        deprecate: "deprecate";
+                    }>;
+                    changes: z.ZodDefault<z.ZodObject<{
+                        name: z.ZodOptional<z.ZodString>;
+                        statement: z.ZodOptional<z.ZodString>;
+                        scope: z.ZodOptional<z.ZodString>;
+                        confidence: z.ZodOptional<z.ZodEnum<{
+                            high: "high";
+                            medium: "medium";
+                            low: "low";
+                        }>>;
+                        status: z.ZodOptional<z.ZodEnum<{
+                            active: "active";
+                            stale: "stale";
+                            deprecated: "deprecated";
+                        }>>;
+                        source_claim_ids: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+                        evidence_summary: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>>;
+                    reason: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                coverage: z.ZodArray<z.ZodObject<{
+                    input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+                    note: z.ZodString;
+                }, z.core.$strict>>;
+                change_basis: z.ZodArray<z.ZodObject<{
+                    claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    removed_or_changed: z.ZodString;
+                    added: z.ZodString;
+                    justification: z.ZodString;
+                    evidence_ids: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>>;
+                unversioned_evidence_omitted: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                evidence: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        review: z.ZodObject<{
+            group_id: z.ZodString;
+            validation_id: z.ZodString;
+            preservation: z.ZodArray<z.ZodObject<{
+                before: z.ZodObject<{
+                    claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    field: z.ZodEnum<{
+                        name: "name";
+                        statement: "statement";
+                        scope: "scope";
+                        evidence_summary: "evidence_summary";
+                    }>;
+                    quote: z.ZodString;
+                }, z.core.$strict>;
+                after: z.ZodArray<z.ZodObject<{
+                    claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    field: z.ZodEnum<{
+                        name: "name";
+                        statement: "statement";
+                        scope: "scope";
+                        evidence_summary: "evidence_summary";
+                    }>;
+                    quote: z.ZodString;
+                }, z.core.$strict>>;
+                disposition: z.ZodEnum<{
+                    preserved: "preserved";
+                    episodic: "episodic";
+                    corrected: "corrected";
+                }>;
+                reason: z.ZodString;
+                evidence: z.ZodArray<z.ZodObject<{
+                    evidence_id: z.ZodString;
+                    quote: z.ZodString;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            support: z.ZodArray<z.ZodObject<{
+                after: z.ZodObject<{
+                    claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    field: z.ZodEnum<{
+                        name: "name";
+                        statement: "statement";
+                        scope: "scope";
+                        evidence_summary: "evidence_summary";
+                    }>;
+                    quote: z.ZodString;
+                }, z.core.$strict>;
+                before: z.ZodArray<z.ZodObject<{
+                    claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    field: z.ZodEnum<{
+                        name: "name";
+                        statement: "statement";
+                        scope: "scope";
+                        evidence_summary: "evidence_summary";
+                    }>;
+                    quote: z.ZodString;
+                }, z.core.$strict>>;
+                evidence: z.ZodArray<z.ZodObject<{
+                    evidence_id: z.ZodString;
+                    quote: z.ZodString;
+                }, z.core.$strict>>;
+                reason: z.ZodString;
+            }, z.core.$strict>>;
+            scope_and_certainty: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>>;
+    trace_id: z.core.$ZodBranded<z.ZodString, "TraceId", "out">;
+    applied: z.ZodDefault<z.ZodBoolean>;
+    success_at: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+    self_versions: z.ZodDefault<z.ZodRecord<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.ZodString>>;
+    operation: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        job_id: z.ZodString;
+        group_id: z.ZodString;
+        validation_id: z.ZodString;
+        review: z.ZodObject<{
+            claims: z.ZodArray<z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                final_name: z.ZodDefault<z.ZodString>;
+                name_reason: z.ZodDefault<z.ZodString>;
+                information_preserved: z.ZodString;
+                removal_or_correction: z.ZodString;
+                factual_correction: z.ZodBoolean;
+                output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+                evidence_ids: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>;
+            scope_and_certainty: z.ZodString;
+        }, z.core.$strict>;
+        hard_validation_passed: z.ZodBoolean;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export declare const DreamStateSchema: z.ZodObject<{
+    last_success_at: z.ZodDefault<z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+    last_input_snapshot_at: z.ZodDefault<z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+    known_versions: z.ZodDefault<z.ZodRecord<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.ZodString>>;
+}, z.core.$strip>;
+export declare const OriginSchema: z.ZodObject<{
+    snapshot_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+    claims: z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        name: z.ZodString;
+        statement: z.ZodString;
+        scope: z.ZodString;
+        holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        status: z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>;
+        created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+        source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        evidence_summary: z.ZodString;
+    }, z.core.$strip>>;
+    coverage: z.ZodJSONSchema;
+    workspace_root: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export declare const ProgressSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    discovery: z.ZodObject<{
+        review: z.ZodObject<{
+            quality: z.ZodString;
+            evidence: z.ZodString;
+            consolidation: z.ZodString;
+        }, z.core.$strict>;
+        candidates: z.ZodArray<z.ZodObject<{
+            group_id: z.ZodString;
+            claim_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+            kind: z.ZodEnum<{
+                quality: "quality";
+                evidence: "evidence";
+                consolidation: "consolidation";
+            }>;
+            reason: z.ZodString;
+        }, z.core.$strict>>;
+        sync_candidates: z.ZodArray<z.ZodObject<{
+            source_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            carrier_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+            reason: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    entries: z.ZodArray<z.ZodObject<{
+        candidate: z.ZodObject<{
+            group_id: z.ZodString;
+            claim_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+            kind: z.ZodEnum<{
+                quality: "quality";
+                evidence: "evidence";
+                consolidation: "consolidation";
+            }>;
+            reason: z.ZodString;
+        }, z.core.$strict>;
+        status: z.ZodEnum<{
+            skipped: "skipped";
+            pending: "pending";
+            executed: "executed";
+            kept: "kept";
+        }>;
+        reason: z.ZodString;
+        draft: z.ZodNullable<z.ZodObject<{
+            kind: z.ZodEnum<{
+                quality: "quality";
+                evidence: "evidence";
+                consolidation: "consolidation";
+            }>;
+            reason: z.ZodString;
+            evidence_ids: z.ZodArray<z.ZodString>;
+            coverage: z.ZodArray<z.ZodObject<{
+                input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+                note: z.ZodString;
+            }, z.core.$strict>>;
+            change_basis: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                removed_or_changed: z.ZodString;
+                added: z.ZodString;
+                justification: z.ZodString;
+                evidence_ids: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>>;
+            updates: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                statement: z.ZodString;
+                scope: z.ZodString;
+                confidence: z.ZodEnum<{
+                    high: "high";
+                    medium: "medium";
+                    low: "low";
+                }>;
+                status: z.ZodEnum<{
+                    active: "active";
+                    stale: "stale";
+                    deprecated: "deprecated";
+                }>;
+                evidence_summary: z.ZodString;
+                source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        validation: z.ZodNullable<z.ZodObject<{
+            validation_id: z.ZodString;
+            input: z.ZodObject<{
+                group_id: z.ZodString;
+                kind: z.ZodEnum<{
+                    quality: "quality";
+                    evidence: "evidence";
+                    consolidation: "consolidation";
+                }>;
+                reason: z.ZodString;
+                before: z.ZodArray<z.ZodObject<{
+                    id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    name: z.ZodString;
+                    statement: z.ZodString;
+                    scope: z.ZodString;
+                    holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+                    confidence: z.ZodEnum<{
+                        high: "high";
+                        medium: "medium";
+                        low: "low";
+                    }>;
+                    status: z.ZodEnum<{
+                        active: "active";
+                        stale: "stale";
+                        deprecated: "deprecated";
+                    }>;
+                    created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+                    updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+                    source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+                    evidence_summary: z.ZodString;
+                }, z.core.$strip>>;
+                after: z.ZodArray<z.ZodObject<{
+                    name: z.ZodString;
+                    id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    statement: z.ZodString;
+                    scope: z.ZodString;
+                    confidence: z.ZodEnum<{
+                        high: "high";
+                        medium: "medium";
+                        low: "low";
+                    }>;
+                    status: z.ZodEnum<{
+                        active: "active";
+                        stale: "stale";
+                        deprecated: "deprecated";
+                    }>;
+                    evidence_summary: z.ZodString;
+                    source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+                }, z.core.$strict>>;
+                changes: z.ZodArray<z.ZodObject<{
+                    id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    action: z.ZodEnum<{
+                        keep: "keep";
+                        update: "update";
+                        deprecate: "deprecate";
+                    }>;
+                    changes: z.ZodDefault<z.ZodObject<{
+                        name: z.ZodOptional<z.ZodString>;
+                        statement: z.ZodOptional<z.ZodString>;
+                        scope: z.ZodOptional<z.ZodString>;
+                        confidence: z.ZodOptional<z.ZodEnum<{
+                            high: "high";
+                            medium: "medium";
+                            low: "low";
+                        }>>;
+                        status: z.ZodOptional<z.ZodEnum<{
+                            active: "active";
+                            stale: "stale";
+                            deprecated: "deprecated";
+                        }>>;
+                        source_claim_ids: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+                        evidence_summary: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>>;
+                    reason: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                coverage: z.ZodArray<z.ZodObject<{
+                    input_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+                    note: z.ZodString;
+                }, z.core.$strict>>;
+                change_basis: z.ZodArray<z.ZodObject<{
+                    claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    removed_or_changed: z.ZodString;
+                    added: z.ZodString;
+                    justification: z.ZodString;
+                    evidence_ids: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>>;
+                unversioned_evidence_omitted: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                evidence: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+        review: z.ZodNullable<z.ZodObject<{
+            decision: z.ZodEnum<{
+                keep: "keep";
+                apply: "apply";
+                repair: "repair";
+            }>;
+            reason: z.ZodString;
+            reason_kind: z.ZodEnum<{
+                insufficient_evidence: "insufficient_evidence";
+                useful_knowledge: "useful_knowledge";
+                uncertain_preservation: "uncertain_preservation";
+                no_consolidation_benefit: "no_consolidation_benefit";
+                external_change: "external_change";
+            }>;
+            semantic: z.ZodNullable<z.ZodObject<{
+                claims: z.ZodArray<z.ZodObject<{
+                    claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                    final_name: z.ZodDefault<z.ZodString>;
+                    name_reason: z.ZodDefault<z.ZodString>;
+                    information_preserved: z.ZodString;
+                    removal_or_correction: z.ZodString;
+                    factual_correction: z.ZodBoolean;
+                    output_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+                    evidence_ids: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>>;
+                scope_and_certainty: z.ZodString;
+            }, z.core.$strict>>;
+            self_review: z.ZodNullable<z.ZodObject<{
+                group_id: z.ZodString;
+                validation_id: z.ZodString;
+                preservation: z.ZodArray<z.ZodObject<{
+                    before: z.ZodObject<{
+                        claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                        field: z.ZodEnum<{
+                            name: "name";
+                            statement: "statement";
+                            scope: "scope";
+                            evidence_summary: "evidence_summary";
+                        }>;
+                        quote: z.ZodString;
+                    }, z.core.$strict>;
+                    after: z.ZodArray<z.ZodObject<{
+                        claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                        field: z.ZodEnum<{
+                            name: "name";
+                            statement: "statement";
+                            scope: "scope";
+                            evidence_summary: "evidence_summary";
+                        }>;
+                        quote: z.ZodString;
+                    }, z.core.$strict>>;
+                    disposition: z.ZodEnum<{
+                        preserved: "preserved";
+                        episodic: "episodic";
+                        corrected: "corrected";
+                    }>;
+                    reason: z.ZodString;
+                    evidence: z.ZodArray<z.ZodObject<{
+                        evidence_id: z.ZodString;
+                        quote: z.ZodString;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+                support: z.ZodArray<z.ZodObject<{
+                    after: z.ZodObject<{
+                        claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                        field: z.ZodEnum<{
+                            name: "name";
+                            statement: "statement";
+                            scope: "scope";
+                            evidence_summary: "evidence_summary";
+                        }>;
+                        quote: z.ZodString;
+                    }, z.core.$strict>;
+                    before: z.ZodArray<z.ZodObject<{
+                        claim_id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+                        field: z.ZodEnum<{
+                            name: "name";
+                            statement: "statement";
+                            scope: "scope";
+                            evidence_summary: "evidence_summary";
+                        }>;
+                        quote: z.ZodString;
+                    }, z.core.$strict>>;
+                    evidence: z.ZodArray<z.ZodObject<{
+                        evidence_id: z.ZodString;
+                        quote: z.ZodString;
+                    }, z.core.$strict>>;
+                    reason: z.ZodString;
+                }, z.core.$strict>>;
+                scope_and_certainty: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    syncCompleted: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+    finished: z.ZodBoolean;
+    finish_reminder_sent: z.ZodDefault<z.ZodBoolean>;
+    proposal_attempted: z.ZodDefault<z.ZodBoolean>;
+    exploration_receipts: z.ZodDefault<z.ZodNumber>;
+    summary: z.ZodNullable<z.ZodObject<{
+        checked: z.ZodString;
+        findings: z.ZodString;
+        uncertainties: z.ZodString;
+        next_steps: z.ZodString;
+    }, z.core.$strict>>;
+    compactedThrough: z.ZodDefault<z.ZodNumber>;
+    autonomy: z.ZodOptional<z.ZodObject<{
+        steps: z.ZodNumber;
+        epoch: z.ZodNumber;
+        limit: z.ZodNumber;
+        read_ids: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+        wrap_up: z.ZodOptional<z.ZodObject<{
+            steps: z.ZodNumber;
+            limit: z.ZodNumber;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type Group = z.infer<typeof GroupSchema>;
+export type DraftGroup = z.infer<typeof DraftGroupSchema>;
+export type Candidate = z.infer<typeof CandidateSchema>;
+export type Validation = z.infer<typeof ValidationSchema>;
+export type SemanticReview = z.infer<typeof SemanticReviewSchema>;
+export type SelfReview = z.infer<typeof SelfReviewSchema>;
+export type Checkpoint = z.infer<typeof CheckpointSchema>;
+export type Progress = z.infer<typeof ProgressSchema>;
+export type PreparedGroup = z.infer<typeof PreparedGroupSchema>;
+export declare function requireDream(condition: boolean, message: string): asserts condition;