Struct LeaseSummary 

#[non_exhaustive]
pub struct LeaseSummary {
    pub lease_epoch: LeaseEpoch,
    pub worker_instance_id: WorkerInstanceId,
    pub expires_at: TimestampMs,
    pub lease_id: LeaseId,
    pub attempt_index: AttemptIndex,
    pub last_heartbeat_at: Option<TimestampMs>,
}

Currently-held lease summary inside an ExecutionSnapshot.

#[non_exhaustive]. New fields may be added in minor releases — use LeaseSummary::new plus the fluent with_* setters to construct one, and match with .. in destructuring.

Field provenance (FF#278)

• lease_id — minted at claim time (ff_claim_execution / ff_claim_resumed_execution), cleared atomically with the other lease fields on revoke/expire/complete. Stable for the lifetime of a single lease; a fresh one is minted per re-claim. Defaults to the nil UUID when a backend does not surface per-lease ids (treat as “field not populated”).
• attempt_index — the 1-based attempt counter (current_attempt_index on exec_core). Set atomically with current_attempt_id at claim time; always populated while a Valkey-backed lease is held.
• last_heartbeat_at — the most recent ff_renew_lease timestamp (lease_last_renewed_at on exec_core). None when the field is empty (e.g. legacy data pre-0.9, or a backend that does not surface per-renewal heartbeats).

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

lease_epoch: LeaseEpoch

worker_instance_id: WorkerInstanceId

expires_at: TimestampMs

lease_id: LeaseId

Per-lease unique identity. Correlates audit-log entries, reclaim events, and recovery traces.

attempt_index: AttemptIndex

1-based attempt counter; .0 mirrors current_attempt_index on exec_core.

last_heartbeat_at: Option<TimestampMs>

Most recent heartbeat (lease-renewal) timestamp. None when the backend does not surface per-renewal ticks on this lease.

Implementations

impl LeaseSummary

pub fn new( lease_epoch: LeaseEpoch, worker_instance_id: WorkerInstanceId, expires_at: TimestampMs, ) -> Self

Construct a LeaseSummary with the three always-present fields. Use the with_* setters to populate the FF#278 additions (lease_id, attempt_index, last_heartbeat_at); otherwise they default to the nil / zero / empty forms, which callers should treat as “field not surfaced by this backend”.

See ExecutionSnapshot::new for the broader #[non_exhaustive] construction rationale.

pub fn with_lease_id(self, lease_id: LeaseId) -> Self

Set the lease’s unique identity (FF#278).

pub fn with_attempt_index(self, attempt_index: AttemptIndex) -> Self

Set the 1-based attempt counter (FF#278).

pub fn with_last_heartbeat_at(self, ts: TimestampMs) -> Self

Set the most recent heartbeat timestamp (FF#278).

Trait Implementations

impl Clone for LeaseSummary

fn clone(&self) -> LeaseSummary

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LeaseSummary

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for LeaseSummary

fn eq(&self, other: &LeaseSummary) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for LeaseSummary

impl StructuralPartialEq for LeaseSummary