import { z } from 'zod';
export declare const DappOperationRecoveryProfileSchema: "network.xyo.dapp.operation.recovery.profile" & {
    readonly __schema: true;
};
export declare const DappOperationRecoverySnapshotSchema: "network.xyo.dapp.operation.recovery.snapshot" & {
    readonly __schema: true;
};
export declare const DappOperationRecoveryMaximumOperations = 128;
export declare const DappRecoveryGuarantees: readonly ["retained-state-validation", "original-effect-binding", "uncertain-outcome-preservation", "retained-artifact-reuse", "cross-context-exclusion", "page-termination", "process-termination"];
export declare const DappRecoveryGuaranteeZod: z.ZodEnum<{
    "retained-state-validation": "retained-state-validation";
    "original-effect-binding": "original-effect-binding";
    "uncertain-outcome-preservation": "uncertain-outcome-preservation";
    "retained-artifact-reuse": "retained-artifact-reuse";
    "cross-context-exclusion": "cross-context-exclusion";
    "page-termination": "page-termination";
    "process-termination": "process-termination";
}>;
export type DappRecoveryGuarantee = z.infer<typeof DappRecoveryGuaranteeZod>;
export declare const DappOperationRecoveryRequirementZod: z.ZodObject<{
    portId: z.ZodString;
    operationId: z.ZodString;
    recovery: z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"read-only">;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"external">;
        capabilityId: z.ZodString;
        requiredGuarantees: z.ZodArray<z.ZodEnum<{
            "retained-state-validation": "retained-state-validation";
            "original-effect-binding": "original-effect-binding";
            "uncertain-outcome-preservation": "uncertain-outcome-preservation";
            "retained-artifact-reuse": "retained-artifact-reuse";
            "cross-context-exclusion": "cross-context-exclusion";
            "page-termination": "page-termination";
            "process-termination": "process-termination";
        }>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"kit-journal">;
        capabilityId: z.ZodString;
        requiredGuarantees: z.ZodArray<z.ZodEnum<{
            "retained-state-validation": "retained-state-validation";
            "original-effect-binding": "original-effect-binding";
            "uncertain-outcome-preservation": "uncertain-outcome-preservation";
            "retained-artifact-reuse": "retained-artifact-reuse";
            "cross-context-exclusion": "cross-context-exclusion";
            "page-termination": "page-termination";
            "process-termination": "process-termination";
        }>>;
    }, z.core.$strict>], "kind">;
}, z.core.$strict>;
export type DappOperationRecoveryRequirement = z.infer<typeof DappOperationRecoveryRequirementZod>;
export declare const DappOperationRecoveryProfileZod: z.ZodObject<{
    schema: z.ZodLiteral<"network.xyo.dapp.operation.recovery.profile" & {
        readonly __schema: true;
    }>;
    schemaVersion: z.ZodLiteral<1>;
    operations: z.ZodArray<z.ZodObject<{
        portId: z.ZodString;
        operationId: z.ZodString;
        recovery: z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"read-only">;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"external">;
            capabilityId: z.ZodString;
            requiredGuarantees: z.ZodArray<z.ZodEnum<{
                "retained-state-validation": "retained-state-validation";
                "original-effect-binding": "original-effect-binding";
                "uncertain-outcome-preservation": "uncertain-outcome-preservation";
                "retained-artifact-reuse": "retained-artifact-reuse";
                "cross-context-exclusion": "cross-context-exclusion";
                "page-termination": "page-termination";
                "process-termination": "process-termination";
            }>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"kit-journal">;
            capabilityId: z.ZodString;
            requiredGuarantees: z.ZodArray<z.ZodEnum<{
                "retained-state-validation": "retained-state-validation";
                "original-effect-binding": "original-effect-binding";
                "uncertain-outcome-preservation": "uncertain-outcome-preservation";
                "retained-artifact-reuse": "retained-artifact-reuse";
                "cross-context-exclusion": "cross-context-exclusion";
                "page-termination": "page-termination";
                "process-termination": "process-termination";
            }>>;
        }, z.core.$strict>], "kind">;
    }, z.core.$strict>>;
}, z.core.$strict>;
export type DappOperationRecoveryProfile = z.infer<typeof DappOperationRecoveryProfileZod>;
export declare const DappOperationRecoveryBindingZod: z.ZodObject<{
    reference: z.ZodObject<{
        engineInstanceId: z.ZodString;
        systemId: z.ZodString;
        systemInstanceId: z.ZodString;
    }, z.core.$strict>;
    dappId: z.ZodString;
    hostSessionId: z.ZodString;
    planId: z.ZodString;
    network: z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"offline">;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"xl1">;
        chainId: z.ZodString;
        genesisHash: z.ZodString;
    }, z.core.$strict>], "kind">;
    authorityScopeId: z.ZodString;
}, z.core.$strict>;
export type DappOperationRecoveryBinding = z.infer<typeof DappOperationRecoveryBindingZod>;
export declare const DappRecoveryCapabilityZod: z.ZodDiscriminatedUnion<[z.ZodObject<{
    kind: z.ZodLiteral<"external">;
    capabilityId: z.ZodString;
    guarantees: z.ZodArray<z.ZodEnum<{
        "retained-state-validation": "retained-state-validation";
        "original-effect-binding": "original-effect-binding";
        "uncertain-outcome-preservation": "uncertain-outcome-preservation";
        "retained-artifact-reuse": "retained-artifact-reuse";
        "cross-context-exclusion": "cross-context-exclusion";
        "page-termination": "page-termination";
        "process-termination": "process-termination";
    }>>;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"kit-journal">;
    capabilityId: z.ZodString;
    guarantees: z.ZodArray<z.ZodEnum<{
        "retained-state-validation": "retained-state-validation";
        "original-effect-binding": "original-effect-binding";
        "uncertain-outcome-preservation": "uncertain-outcome-preservation";
        "retained-artifact-reuse": "retained-artifact-reuse";
        "cross-context-exclusion": "cross-context-exclusion";
        "page-termination": "page-termination";
        "process-termination": "process-termination";
    }>>;
    journalDurability: z.ZodEnum<{
        "crash-durable": "crash-durable";
        "test-memory": "test-memory";
    }>;
}, z.core.$strict>], "kind">;
export type DappRecoveryCapability = z.infer<typeof DappRecoveryCapabilityZod>;
export declare const DappOperationRecoveryStateZod: z.ZodEnum<{
    pending: "pending";
    ready: "ready";
    unavailable: "unavailable";
    uncertain: "uncertain";
    corrupt: "corrupt";
}>;
export type DappOperationRecoveryState = z.infer<typeof DappOperationRecoveryStateZod>;
export declare const DappOperationRecoverySnapshotZod: z.ZodObject<{
    schema: z.ZodLiteral<"network.xyo.dapp.operation.recovery.snapshot" & {
        readonly __schema: true;
    }>;
    schemaVersion: z.ZodLiteral<1>;
    binding: z.ZodObject<{
        reference: z.ZodObject<{
            engineInstanceId: z.ZodString;
            systemId: z.ZodString;
            systemInstanceId: z.ZodString;
        }, z.core.$strict>;
        dappId: z.ZodString;
        hostSessionId: z.ZodString;
        planId: z.ZodString;
        network: z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"offline">;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"xl1">;
            chainId: z.ZodString;
            genesisHash: z.ZodString;
        }, z.core.$strict>], "kind">;
        authorityScopeId: z.ZodString;
    }, z.core.$strict>;
    portId: z.ZodString;
    operationId: z.ZodString;
    capability: z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"external">;
        capabilityId: z.ZodString;
        guarantees: z.ZodArray<z.ZodEnum<{
            "retained-state-validation": "retained-state-validation";
            "original-effect-binding": "original-effect-binding";
            "uncertain-outcome-preservation": "uncertain-outcome-preservation";
            "retained-artifact-reuse": "retained-artifact-reuse";
            "cross-context-exclusion": "cross-context-exclusion";
            "page-termination": "page-termination";
            "process-termination": "process-termination";
        }>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"kit-journal">;
        capabilityId: z.ZodString;
        guarantees: z.ZodArray<z.ZodEnum<{
            "retained-state-validation": "retained-state-validation";
            "original-effect-binding": "original-effect-binding";
            "uncertain-outcome-preservation": "uncertain-outcome-preservation";
            "retained-artifact-reuse": "retained-artifact-reuse";
            "cross-context-exclusion": "cross-context-exclusion";
            "page-termination": "page-termination";
            "process-termination": "process-termination";
        }>>;
        journalDurability: z.ZodEnum<{
            "crash-durable": "crash-durable";
            "test-memory": "test-memory";
        }>;
    }, z.core.$strict>], "kind">;
    state: z.ZodEnum<{
        pending: "pending";
        ready: "ready";
        unavailable: "unavailable";
        uncertain: "uncertain";
        corrupt: "corrupt";
    }>;
    reasonCodes: z.ZodArray<z.ZodString>;
    operationRefs: z.ZodArray<z.ZodString>;
}, z.core.$strict>;
export type DappOperationRecoverySnapshot = z.infer<typeof DappOperationRecoverySnapshotZod>;
//# sourceMappingURL=operationRecoveryModel.d.ts.map