import type { AttemptLeaseProvider } from './runtime-host-contract.js';
/**
 * Lease provider for fresh, process-local executions.
 *
 * It can prove only closures observed by this exact provider instance. An
 * attempt absent from the local ledger may belong to another live process, so
 * restart recovery stays fail-closed instead of inventing a close proof.
 */
export declare function createInProcessAttemptLeaseProvider(): AttemptLeaseProvider;
//# sourceMappingURL=in-process-attempt-lease.d.ts.map