import type { ServiceMigrationRecord, ServiceMigrationEffectProof, ServiceMigrationReloadedProof, ServiceMigrationReloadOldReceipt, ServiceMigrationRestoredProof, ServiceMigrationStartedProof, ServiceMigrationStartOldReceipt, ServiceMigrationJournal, ServiceMigrationBackup, ServiceMigrationPort } from "./service-migration-types.js";
type Proof = ServiceMigrationReloadedProof | ServiceMigrationStartedProof | ServiceMigrationRestoredProof;
interface Evidence {
    journal: ServiceMigrationJournal;
    expectedDigest: string;
    backupDigest: string;
    phase: string;
    kind: "reloaded" | "started" | "restored";
    payload?: ServiceMigrationReloadOldReceipt | ServiceMigrationStartOldReceipt;
    consumed: boolean;
}
/** 唯一效果签发入口；真实驱动完成动作/双观测后才把收据封装成一次性证明。 */
export declare class ServiceMigrationRollbackCoordinator {
    private readonly journal;
    private readonly port;
    private readonly backup;
    constructor(journal: ServiceMigrationJournal, port: Pick<ServiceMigrationPort, "reloadOriginal" | "startOriginal" | "verifyRestored">, backup: ServiceMigrationBackup);
    reload(expected: ServiceMigrationRecord): Promise<ServiceMigrationRecord>;
    start(expected: ServiceMigrationRecord): Promise<ServiceMigrationRecord>;
    complete(expected: ServiceMigrationRecord): Promise<ServiceMigrationRecord>;
}
export declare function isServiceMigrationEffectProof(input: unknown): input is ServiceMigrationEffectProof;
export declare function consumeServiceMigrationEffectProof(journal: ServiceMigrationJournal, expected: ServiceMigrationRecord, proof: Proof): Pick<Evidence, "kind" | "payload">;
export {};
//# sourceMappingURL=service-migration-effect-proof.d.ts.map