Struct Session 

pub struct Session<I = ()> { /* private fields */ }

Session state shared between the read loop and every dispatch task (SRV-010): the auth flag is a lock-free atomic flipped by HELLO/AUTH and read by the dispatch path without locks.

Implementations

impl<I> Session<I>

pub fn connection_id(&self) -> u64

Listener-scoped connection id, surfaced in the metadata-shape HELLO reply (SRV-014).

pub fn is_authenticated(&self) -> bool

Lock-free read of the auth flag (SRV-010).

pub fn with_principal<R>( &self, read: impl FnOnce(Option<&Principal<I>>) -> R, ) -> R

Read the resolved principal without cloning it — the authorization path (SRV-012).

Authorization runs on every privileged command, so it must not pay a String clone (or a credential-store lookup) to ask one question:

let is_admin = session.with_principal(|p| {
    p.map(|p| p.identity.is_admin).unwrap_or(false)
});

pub fn principal_name(&self) -> Option<String>

The principal’s name, if one was resolved.

Convenience for the common case; prefer with_principal on a hot authorization path, since this clones the name.

pub fn push_sender(&self) -> Option<&PushSender>

Typed push channel for this connection (SRV-013). Some only under push = Enabled profiles; under Reserved no push emission is possible.

impl<I: Clone> Session<I>

pub fn principal(&self) -> Option<Principal<I>>

A clone of the principal resolved by the last successful HELLO/AUTH.

Available when the identity is Clone; on an authorization hot path prefer with_principal, which clones nothing.

Trait Implementations

impl<I: Debug> Debug for Session<I>

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

Formats the value using the given formatter.