import type { DurableClosedPromotionJournal } from './runtime-promotion-journal.js';
import type { RuntimePromotionCleanupCompletion, RuntimePromotionOperation } from './runtime-promotion-types.js';
/**
 * Same-invocation cleanup under the fresh promotion's still-held normal lease.
 * The terminal identity is an exact just-observed authority assertion here; a
 * later recovery flow must use its own current-valid successor proof instead.
 * An identity mismatch or ambiguous artifact leaves the exact closed receipt.
 */
export declare function cleanupFreshClosedRuntimePromotion(operation: RuntimePromotionOperation, initialReceipt: DurableClosedPromotionJournal): Promise<RuntimePromotionCleanupCompletion>;
//# sourceMappingURL=runtime-promotion-cleanup.d.ts.map