Module process_lease 

Durable ownership of one stable cluster node identity.

Each renewal appends a create-only sequence object. This gives local filesystems and object stores the same compare-and-set boundary without relying on backend-specific entity tags.

Structs

ProcessLease

Durable owner of one stable node identity.

ProcessLeaseAuthority

Shared authority for proving that an exact process incarnation has been durably revoked.

ProcessLeaseConfig

Internal renewal timings for the stable-node lease.

ProcessLeaseFence

Durable proof that one exact stable-node process term was superseded after a full lease observation. The successor is the immediate create-only takeover record, not a wall-clock expiry estimate.

ProcessLeaseManager

Renews an already-acquired process lease and publishes terminal lease loss.

ProcessLeaseObservation

Candidate-local proof that one exact durable lease record stayed current for a full TTL.

ProcessLeaseStore

Append-only object-store authority for one stable node identity.

Enums

ProcessLeaseError

Process lease storage failure.

ProcessLeaseOutcome

Result of one process-lease acquisition attempt.