Enum SessionValidationOutcome 

pub enum SessionValidationOutcome {
    Authenticated {
        subject: SubjectId,
        session_id: SessionId,
        expires_at: u64,
    },
    Unauthenticated,
}

The result of validating a session secret against the store (RFC-006 §13.3).

Variants

Authenticated

Session is valid. The host application must still check authorization (RFC-001: codlet authenticates; the host authorizes).

Fields

subject: SubjectId

The host-owned subject this session is bound to.

session_id: SessionId

The opaque session record identifier (not a bearer credential).

expires_at: u64

Expiry as Unix seconds (UTC). For display / renewal decisions only; the store already filtered out expired sessions.

Unauthenticated

No valid session: cookie absent, not found, expired, or revoked. All cases collapse to one response type to prevent enumeration (INV-8, RFC-006 §13.5).

Implementations

impl SessionValidationOutcome

pub fn is_authenticated(&self) -> bool

Return true if the outcome is SessionValidationOutcome::Authenticated.

pub fn subject(&self) -> Option<&SubjectId>

Return the authenticated subject, if any.

Trait Implementations

impl Clone for SessionValidationOutcome

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 SessionValidationOutcome

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

Formats the value using the given formatter.

impl Eq for SessionValidationOutcome

impl PartialEq for SessionValidationOutcome

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SessionValidationOutcome