bankai/lease

Claim leases (bk-ccbf): a claim stamps an expiry so a dead agent’s claim can be reclaimed instead of jamming work forever.

Values

</>

pub const default_ttl_seconds: Int

</>

pub fn fresh(now: Int, ttl_seconds: Int) -> option.Option(Int)

Lease expiry for a claim made at now (µs) with ttl_seconds.

</>

pub fn is_expired(lease: option.Option(Int), now: Int) -> Bool

True when the lease exists and its expiry is at or before now.

</>

pub fn ttl_from(value: option.Option(String)) -> Int

Parse a –ttl flag value, defaulting when absent/garbage.