import { z } from "zod";
export declare const POD_TRANSFORMATION_PROOF_SCHEMA_ID: "lyt.pod-transformation-proof";
export declare const POD_TRANSFORMATION_PROOF_SCHEMA_VERSION: 1;
export declare const POD_GENERATED_LEDGER_NAMESPACES: readonly ["aliases", "destination-policy", "mesh-edges", "machines", "meshes", "subscriptions", "vaults"];
export declare const MAX_POD_TRANSFORMATION_PATHS = 256;
export declare const MAX_POD_TRANSFORMATION_PATH_LENGTH = 512;
export declare const MAX_POD_TRANSFORMATION_CONTENT_BYTES: number;
declare const proofSchema: z.ZodEffects<z.ZodEffects<z.ZodObject<{
    schema_id: z.ZodLiteral<"lyt.pod-transformation-proof">;
    schema_version: z.ZodLiteral<1>;
    generator_id: z.ZodString;
    generator_version: z.ZodString;
    pod_rid: z.ZodString;
    operation_id: z.ZodString;
    replay_key_digest: z.ZodString;
    before_commit: z.ZodString;
    after_commit: z.ZodString;
    affected_paths: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
    tree_digest: z.ZodString;
    content_digest: z.ZodString;
}, "strict", z.ZodTypeAny, {
    pod_rid: string;
    operation_id: string;
    replay_key_digest: string;
    schema_id: "lyt.pod-transformation-proof";
    schema_version: 1;
    generator_id: string;
    generator_version: string;
    before_commit: string;
    after_commit: string;
    affected_paths: string[];
    tree_digest: string;
    content_digest: string;
}, {
    pod_rid: string;
    operation_id: string;
    replay_key_digest: string;
    schema_id: "lyt.pod-transformation-proof";
    schema_version: 1;
    generator_id: string;
    generator_version: string;
    before_commit: string;
    after_commit: string;
    affected_paths: string[];
    tree_digest: string;
    content_digest: string;
}>, {
    pod_rid: string;
    operation_id: string;
    replay_key_digest: string;
    schema_id: "lyt.pod-transformation-proof";
    schema_version: 1;
    generator_id: string;
    generator_version: string;
    before_commit: string;
    after_commit: string;
    affected_paths: string[];
    tree_digest: string;
    content_digest: string;
}, {
    pod_rid: string;
    operation_id: string;
    replay_key_digest: string;
    schema_id: "lyt.pod-transformation-proof";
    schema_version: 1;
    generator_id: string;
    generator_version: string;
    before_commit: string;
    after_commit: string;
    affected_paths: string[];
    tree_digest: string;
    content_digest: string;
}>, {
    affected_paths: string[];
    pod_rid: string;
    operation_id: string;
    replay_key_digest: string;
    schema_id: "lyt.pod-transformation-proof";
    schema_version: 1;
    generator_id: string;
    generator_version: string;
    before_commit: string;
    after_commit: string;
    tree_digest: string;
    content_digest: string;
}, {
    pod_rid: string;
    operation_id: string;
    replay_key_digest: string;
    schema_id: "lyt.pod-transformation-proof";
    schema_version: 1;
    generator_id: string;
    generator_version: string;
    before_commit: string;
    after_commit: string;
    affected_paths: string[];
    tree_digest: string;
    content_digest: string;
}>;
export type PodTransformationProofV1 = z.output<typeof proofSchema>;
declare const subjectCorroborationSchema: z.ZodObject<{
    record_id: z.ZodString;
    record_digest: z.ZodString;
    pod_rid: z.ZodString;
    operation_id: z.ZodString;
    replay_key_digest: z.ZodString;
    proof_digest: z.ZodString;
    record_kind: z.ZodLiteral<"pod-transformation-subject-v1">;
}, "strict", z.ZodTypeAny, {
    pod_rid: string;
    operation_id: string;
    replay_key_digest: string;
    record_kind: "pod-transformation-subject-v1";
    record_id: string;
    record_digest: string;
    proof_digest: string;
}, {
    pod_rid: string;
    operation_id: string;
    replay_key_digest: string;
    record_kind: "pod-transformation-subject-v1";
    record_id: string;
    record_digest: string;
    proof_digest: string;
}>;
declare const ledgerCorroborationSchema: z.ZodObject<{
    record_id: z.ZodString;
    record_digest: z.ZodString;
    pod_rid: z.ZodString;
    operation_id: z.ZodString;
    replay_key_digest: z.ZodString;
    proof_digest: z.ZodString;
    record_kind: z.ZodLiteral<"pod-ledger-receipt-v1">;
}, "strict", z.ZodTypeAny, {
    pod_rid: string;
    operation_id: string;
    replay_key_digest: string;
    record_kind: "pod-ledger-receipt-v1";
    record_id: string;
    record_digest: string;
    proof_digest: string;
}, {
    pod_rid: string;
    operation_id: string;
    replay_key_digest: string;
    record_kind: "pod-ledger-receipt-v1";
    record_id: string;
    record_digest: string;
    proof_digest: string;
}>;
export type PodTransformationSubjectCorroborationV1 = z.infer<typeof subjectCorroborationSchema>;
export type PodTransformationLedgerCorroborationV1 = z.infer<typeof ledgerCorroborationSchema>;
export interface DerivePodTransformationProofArgs {
    repository_root: string;
    pod_rid: string;
    operation_id: string;
    replay_key_digest: string;
    generator_id: string;
    generator_version: string;
    before_commit: string;
    after_commit: string;
    affected_paths: readonly string[];
}
export interface PodTransformationRecordIds {
    ledger_record_id: string;
    subject_record_id: string;
}
export interface ReceiptBoundPodProvenanceInput {
    proof: unknown;
    expected_proof_digest: unknown;
    subject_evidence: unknown;
    ledger_evidence: unknown;
}
declare const byteTransitionSchema: z.ZodEffects<z.ZodObject<{
    path: z.ZodEffects<z.ZodString, string, string>;
    before_digest: z.ZodNullable<z.ZodString>;
    after_digest: z.ZodNullable<z.ZodString>;
}, "strict", z.ZodTypeAny, {
    path: string;
    before_digest: string | null;
    after_digest: string | null;
}, {
    path: string;
    before_digest: string | null;
    after_digest: string | null;
}>, {
    path: string;
    before_digest: string | null;
    after_digest: string | null;
}, {
    path: string;
    before_digest: string | null;
    after_digest: string | null;
}>;
export type PodGeneratedByteTransitionV1 = z.infer<typeof byteTransitionSchema>;
export interface DeterministicLegacyPodProvenanceInput {
    generator_version: unknown;
    known_generator_versions: unknown;
    expected: unknown;
    observed: unknown;
    has_contradictions: unknown;
}
export type PodTransformationProvenance = "receipt-proven" | "deterministic-legacy-proven" | "ambiguous";
export declare function parsePodTransformationProofV1(input: unknown): PodTransformationProofV1;
export declare function serializePodTransformationProofV1(input: unknown): string;
export declare function digestPodTransformationProofV1(input: unknown): string;
export declare function derivePodTransformationRecordIds(operationId: string): PodTransformationRecordIds;
export declare function digestPodTransformationEvidenceRecordV1(input: unknown): string;
export declare function derivePodTransformationProofV1(args: DerivePodTransformationProofArgs): Promise<PodTransformationProofV1>;
export declare function classifyReceiptBoundPodProvenance(input: ReceiptBoundPodProvenanceInput): PodTransformationProvenance;
export declare function classifyDeterministicLegacyPodProvenance(input: DeterministicLegacyPodProvenanceInput): PodTransformationProvenance;
export declare function isPodGeneratedArtifactPath(path: string): boolean;
export {};
//# sourceMappingURL=pod-transformation-proof.d.ts.map