Struct HeldAgentLease 

pub struct HeldAgentLease {
    store: Arc<LeaseStore>,
    lease: Lease,
    agent: String,
    lost: Arc<LostReason>,
    stopped: Arc<AtomicBool>,
    last_ok_ms: Arc<AtomicI64>,
}

A lease held for the lifetime of one CLI process. Dropping it stops the renewal task and releases the lease.

Fields

store: Arc<LeaseStore>

lease: Lease

agent: String

lost: Arc<LostReason>

Set once, by whichever notices first (the renewal task or a pre-turn verify): the refusal every later turn repeats — so the second and later refusals still name who took the agent over (ReAgent P2 on #3738), not a detail-less fallback.

stopped: Arc<AtomicBool>

last_ok_ms: Arc<AtomicI64>

When the lease was last confirmed ours (claim, renew or verify), in ms. RecordFence trusts the in-memory state only while this is within the TTL.

Implementations

impl HeldAgentLease

pub fn epoch(&self) -> u64

The ownership generation this lease was granted under.

pub fn agent_uid(&self) -> &str

The agent UID this lease is for — its key.

pub fn record_fence(&self) -> RecordFence

A cheap handle the agent’s output writer checks before each append to the agent’s shared record (spec §4.3, Phase 3).

pub fn verify(&self) -> Result<(), String>

The pre-turn fence check (spec I4). Err means another instance now holds this agent: do not start the turn. A transient I/O error is not a loss — the renewal task decides that — so it does not refuse.

Trait Implementations

impl Drop for HeldAgentLease

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.