Struct OwnedSession 

pub struct OwnedSession { /* private fields */ }

Capability-bearing handle returned by the preferred owned open path.

Implementations

impl OwnedSession

pub fn session_id(&self) -> SessionId

Session identifier for this owned handle.

pub fn capability(&self) -> &OwnershipCapability

Live ownership capability carried by this handle.

pub fn apply_host_mutation( &self, vm: &mut VM, mutation: SessionHostMutation, ) -> Result<(), OwnershipError>

Apply one session-local host mutation through the ownership gate.

Errors

Returns an OwnershipError if the capability is stale or lacks scope.

pub fn issue_readiness_witness( &self, vm: &mut VM, predicate_ref: impl Into<String>, ) -> Result<ReadinessWitness, OwnershipError>

Issue a single-use readiness witness for a protocol-critical check.

Errors

Returns an OwnershipError if the capability is stale or lacks session scope.

pub fn consume_readiness_witness( &self, vm: &mut VM, witness: &ReadinessWitness, ) -> Result<(), OwnershipError>

Consume a previously issued readiness witness exactly once.

Errors

Returns an OwnershipError if the witness is stale, forged, mismatched, or reused.

pub fn begin_transfer( &self, vm: &mut VM, new_owner_id: impl Into<String>, new_scope: OwnershipScope, ) -> Result<OwnershipReceipt, OwnershipError>

Begin an explicit ownership transfer from this handle.

Errors

Returns an OwnershipError if the capability is stale.

pub fn commit_transfer( &self, vm: &mut VM, receipt: &OwnershipReceipt, ) -> Result<Self, OwnershipError>

Commit an explicit ownership transfer and return the refreshed handle.

Errors

Returns an OwnershipError if the receipt is stale or mismatched.

pub fn attenuate_scope( &self, vm: &mut VM, new_scope: OwnershipScope, ) -> Result<Self, OwnershipError>

Attenuate the handle scope and return the refreshed capability.

Errors

Returns an OwnershipError if the capability is stale or transfer-pending.

pub fn release(&self, vm: &mut VM) -> Result<(), OwnershipError>

Release the live ownership claim for this handle.

Errors

Returns an OwnershipError if the capability is stale.

pub fn mark_owner_died( &self, vm: &mut VM, ) -> Result<CancellationWitness, OwnershipError>

Fault the session because the current owner died.

Errors

Returns an OwnershipError if the live owner no longer matches this handle.

pub fn cancel_abandoned_transfer( &self, vm: &mut VM, receipt: &OwnershipReceipt, ) -> Result<CancellationWitness, OwnershipError>

Cancel the session because this transfer was abandoned.

Errors

Returns an OwnershipError if the receipt no longer matches the live staged transfer.

Trait Implementations

impl Clone for OwnedSession

fn clone(&self) -> OwnedSession

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OwnedSession

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

Formats the value using the given formatter.

impl Eq for OwnedSession

impl PartialEq for OwnedSession

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