Module session 

Phase 3: Session types infrastructure for protocol verification.

This module provides runtime support for session types, enabling protocol verification at runtime. It includes:

• SessionId: Unique identifier for protocol sessions
• SenderHandle: Handle for replying to messages within a session
• SessionRegistry: Per-agent registry of active sessions
• ProtocolStateMachine: Trait for protocol state machines

Structs

SenderHandle

Handle for sending replies within a protocol session.

SessionId

Unique identifier for a protocol session.

SessionRegistry

Registry of active protocol sessions for an agent.

SessionState

State of an active protocol session.

Enums

ProtocolViolation

Protocol violation error details.

Traits

ProtocolStateMachine

Trait for protocol state machines.

Functions

shared_registry

Create a new shared session registry.

Type Aliases

SharedSessionRegistry

Thread-safe shared session registry.