Module leader_lease 

Durable, append-only leader fencing.

Structs

AssignmentDrainDecision

Immutable settlement of one exact assignment-drain transition.

AssignmentRecoveryDecision

Immutable authorization to install one staged failure-recovery assignment.

ClusterOutcomeInventory

Live cluster outcomes and their retention horizons from one audited authority head.

ClusterOutcomeRetentionBoundary

Exact continuity retained when old cluster checkpoint outcomes are compacted.

LeaderCandidacy

Coalescing-safe local candidacy state. A generation change means a published grant was lost and must never reuse its fencing token, even when the current state is eligible again.

LeaderLease

Durable leader lease record.

LeaderLeaseConfig

Renewal timings for the leader lease.

LeaderLeaseManager

Acquires and renews leadership while candidacy remains true.

LeaderLeaseObservation

Candidate-local proof that one rival liveness identity remained current for a full TTL.

LeaderLeaseOwner

Exact process incarnation eligible to hold the leader lease.

LeaderLeaseStore

Append-only object-store authority for the cluster leader.

Enums

AssignmentDrainVerdict

Terminal result for an assignment-drain transition.

ClusterCheckpointAuthorityError

Failure while using the leader sequence as the cluster checkpoint-decision authority.

LeaseError

Leader lease storage or validation failure.

LeaseOutcome

Result of an acquisition or renewal attempt.

RecordAssignmentDrainDecisionResult

Result of admitting a drain decision through the shared authority sequence.

RecordAssignmentRecoveryDecisionResult

Result of admitting a recovery decision through the shared authority sequence.

Functions

lease_grants_leadership

Whether the exact owner has a durable record and a live process-local deadline.

lease_grants_proof

Whether a captured proof still matches the current exact grant and local deadline.