Struct LeaseToken 

pub struct LeaseToken {
    pub token_id: String,
    pub lease_name: String,
    pub resource_ref: String,
    pub acquired_at: DateTime<Utc>,
    pub expires_at: DateTime<Utc>,
    pub on_expire: String,
}

A single-use capability over a resource, valid only while τ is in the [acquired_at, expires_at) window. The token is effectively frozen — extension is implemented by minting a new token and revoking the old, preserving the linearity invariant.

Fields

token_id: String

lease_name: String

resource_ref: String

acquired_at: DateTime<Utc>

expires_at: DateTime<Utc>

on_expire: String

Implementations

impl LeaseToken

pub fn envelope(&self, now: DateTime<Utc>) -> LambdaEnvelope

Current ΛD envelope — c decays to 0.0 when τ expires.

pub fn remaining_seconds(&self, now: DateTime<Utc>) -> f64

Remaining window in seconds (0 if already expired).

Trait Implementations

impl Clone for LeaseToken

fn clone(&self) -> LeaseToken

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeaseToken

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

Formats the value using the given formatter.

impl Eq for LeaseToken

impl Hash for LeaseToken

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for LeaseToken

fn eq(&self, other: &LeaseToken) -> 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 StructuralPartialEq for LeaseToken