Struct ControlSession 

pub struct ControlSession {
    pub lease: Arc<InputLease>,
    pub gate: Arc<EffectGate>,
}

A lease-fenced, admission-gated control session: input must first pass PTY-002 fencing/sequencing (a stale controller never even reaches the hook), then EFF-001 admission, then executes and settles.

Fields

lease: Arc<InputLease>

gate: Arc<EffectGate>

Implementations

impl ControlSession

pub fn new(lease: Arc<InputLease>, gate: Arc<EffectGate>) -> Self

pub fn input<T>( &self, epoch: u64, sequence: u64, request: EffectRequest, cancel: &CancelToken, execute: impl FnOnce(&CancelToken) -> Result<T, ExecError>, ) -> Result<InputOutcome<T>, InputError>

Lease-checked, admission-gated input. Denials and pre-execute cancellation release the sequence (NotDelivered); a failure, panic or cancellation after the executor started leaves it unacknowledged (Ambiguous).

Trait Implementations

impl Clone for ControlSession

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ControlSession

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

Formats the value using the given formatter.