Crosswake.Companions.Sigra.StepUp (crosswake v0.1.2)

View Source

Pure Sigra step-up intent contracts.

Step-up locators are bounded client-presented correlation artifacts. Host-owned server records and projected SessionAuthorityLane structs remain the source of truth for lifecycle, replay, expiry, route binding, and session renewal.

Summary

Functions

lifecycle_states()
new_session_renewal_instructions(attrs)
new_step_up_audit_event(attrs)
new_step_up_challenge(attrs)
new_step_up_completion(attrs)
new_step_up_consume_request(attrs)
new_step_up_intent_locator(attrs)
new_step_up_intent_record(attrs)
validate_session_renewal_instructions(instructions)
validate_step_up_audit_event(event)
validate_step_up_challenge(challenge)
validate_step_up_completion(completion)
validate_step_up_consume_request(request)
validate_step_up_intent_locator(locator)
validate_step_up_intent_record(record)

Functions

lifecycle_states()

@spec lifecycle_states() :: [atom()]

new_session_renewal_instructions(attrs)

@spec new_session_renewal_instructions(map() | keyword()) ::
  {:ok, Crosswake.Companions.Sigra.StepUp.SessionRenewalInstructions.t()}
  | {:error, keyword()}

new_step_up_audit_event(attrs)

@spec new_step_up_audit_event(map() | keyword()) ::
  {:ok, Crosswake.Companions.Sigra.StepUp.StepUpAuditEvent.t()}
  | {:error, keyword()}

new_step_up_challenge(attrs)

@spec new_step_up_challenge(map() | keyword()) ::
  {:ok, Crosswake.Companions.Sigra.StepUp.StepUpChallenge.t()}
  | {:error, keyword()}

new_step_up_completion(attrs)

@spec new_step_up_completion(map() | keyword()) ::
  {:ok, Crosswake.Companions.Sigra.StepUp.StepUpCompletion.t()}
  | {:error, keyword()}

new_step_up_consume_request(attrs)

@spec new_step_up_consume_request(map() | keyword()) ::
  {:ok, Crosswake.Companions.Sigra.StepUp.StepUpConsumeRequest.t()}
  | {:error, keyword()}

new_step_up_intent_locator(attrs)

@spec new_step_up_intent_locator(map() | keyword()) ::
  {:ok, Crosswake.Companions.Sigra.StepUp.StepUpIntentLocator.t()}
  | {:error, keyword()}

new_step_up_intent_record(attrs)

@spec new_step_up_intent_record(map() | keyword()) ::
  {:ok, Crosswake.Companions.Sigra.StepUp.StepUpIntentRecord.t()}
  | {:error, keyword()}

validate_session_renewal_instructions(instructions)

@spec validate_session_renewal_instructions(
  Crosswake.Companions.Sigra.StepUp.SessionRenewalInstructions.t()
) :: :ok | {:error, keyword()}

validate_step_up_audit_event(event)

@spec validate_step_up_audit_event(
  Crosswake.Companions.Sigra.StepUp.StepUpAuditEvent.t()
) ::
  :ok | {:error, keyword()}

validate_step_up_challenge(challenge)

@spec validate_step_up_challenge(
  Crosswake.Companions.Sigra.StepUp.StepUpChallenge.t()
) ::
  :ok | {:error, keyword()}

validate_step_up_completion(completion)

@spec validate_step_up_completion(
  Crosswake.Companions.Sigra.StepUp.StepUpCompletion.t()
) ::
  :ok | {:error, keyword()}

validate_step_up_consume_request(request)

@spec validate_step_up_consume_request(
  Crosswake.Companions.Sigra.StepUp.StepUpConsumeRequest.t()
) ::
  :ok | {:error, keyword()}

validate_step_up_intent_locator(locator)

@spec validate_step_up_intent_locator(
  Crosswake.Companions.Sigra.StepUp.StepUpIntentLocator.t()
) ::
  :ok | {:error, keyword()}

validate_step_up_intent_record(record)

@spec validate_step_up_intent_record(
  Crosswake.Companions.Sigra.StepUp.StepUpIntentRecord.t()
) ::
  :ok | {:error, keyword()}