Crosswake.Shell.Denial (crosswake v0.2.0)

Stable denial envelope shared by shell activation and bounded bridge replies.

Core-owned denial envelope. Not part of the companion contract surface. Companion implementations return {:deny, Crosswake.Compatibility.Finding.t()} from route_gated?/2; core translates findings into Denial structs internally. Extension authors should never construct or return a Denial directly — reach for Crosswake.Compatibility.Finding instead.

Summary

Types

reason()

t()

Functions

new(attrs)

reasons()

to_map(denial)

Types

reason()

@type reason() ::
  :compatibility_mismatch
  | :undeclared_capability
  | :unavailable_capability
  | :commerce_corridor
  | :origin_denied
  | :inactive_route
  | :external_entry_denied
  | :pack_incompatible
  | :gate_denied
  | :kill_switch_active
  | :step_up_required
  | :notification_open_denied
  | :dependency_missing

t()

@type t() :: %Crosswake.Shell.Denial{
  code: String.t(),
  details: map(),
  hint: String.t() | nil,
  message: String.t(),
  reason: reason(),
  recovery: map(),
  route_id: String.t() | nil
}

Functions

new(attrs)

@spec new(keyword()) :: t()

reasons()

@spec reasons() :: [reason()]

to_map(denial)

@spec to_map(t()) :: map()