Crosswake. Companions. Sigra. Handoff
(crosswake v0.1.2)
View Source
Pure Sigra session handoff contracts.
Handoff envelopes are bounded client-presented locators. Server-side ticket
records and projected SessionAuthorityLane structs remain the authority
source of truth for replay, revocation, expiry, binding, and session renewal.
Summary
Functions
@spec lifecycle_states() :: [atom()]
@spec validate_handoff_audit_event( Crosswake.Companions.Sigra.Handoff.HandoffAuditEvent.t() ) :: :ok | {:error, keyword()}
@spec validate_handoff_envelope( Crosswake.Companions.Sigra.Handoff.HandoffEnvelope.t() ) :: :ok | {:error, keyword()}
@spec validate_handoff_redemption( Crosswake.Companions.Sigra.Handoff.HandoffRedemption.t() ) :: :ok | {:error, keyword()}
@spec validate_handoff_redemption_request( Crosswake.Companions.Sigra.Handoff.HandoffRedemptionRequest.t() ) :: :ok | {:error, keyword()}
@spec validate_handoff_ticket_record( Crosswake.Companions.Sigra.Handoff.HandoffTicketRecord.t() ) :: :ok | {:error, keyword()}
@spec validate_session_renewal_instructions( Crosswake.Companions.Sigra.Handoff.SessionRenewalInstructions.t() ) :: :ok | {:error, keyword()}