Struct ProcessLease 

pub struct ProcessLease {
    pub schema_version: u32,
    pub process_id: String,
    pub owner: LeaseOwnerIdentity,
    pub lease_token: String,
    pub fencing_token: u64,
    pub claimed_at_epoch_ms: u64,
    pub expires_at_epoch_ms: u64,
}

Durable lease over a non-terminal background process.

The lease pair (owner, lease_token) plus fencing_token are how lash guarantees that one non-terminal process is re-executed by exactly one worker at a time — even after a crash, even across two workers that both sweep the same registry for recoverable work. The durable backend (lash-sqlite-store) uses these to serialize concurrent claims on the same process_id; future distributed durable backends use the same fields to coordinate workers that don’t share a file system.

The owner is a full LeaseOwnerIdentity: its persisted liveness metadata is what lets a sweeping worker prove a busy holder is definitely dead and reclaim the lease before the TTL through ProcessRegistry::reclaim_process_lease, mirroring the session execution lane.

This is not single-process theatre. The owner / fencing-token / lease-token triple is the public contract that lets any backend detect and reject stale writers. Treat it as load-bearing, not defensive.

Fields

schema_version: u32

process_id: String

owner: LeaseOwnerIdentity

lease_token: String

fencing_token: u64

claimed_at_epoch_ms: u64

expires_at_epoch_ms: u64

Trait Implementations

impl Clone for ProcessLease

fn clone(&self) -> ProcessLease

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProcessLease

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProcessLease

fn deserialize<__D>( __deserializer: __D, ) -> Result<ProcessLease, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProcessLease

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.