@spec available?() :: boolean()

Returns true. Because this module is conditionally compiled, its mere existence implies mailglass_inbound is loaded. Callers should still Code.ensure_loaded?(__MODULE__) before calling.

@spec detail(
  map() | keyword(),
  keyword()
) :: map() | nil

Detail (record + evidence + matched outcome) for one inbound record.

@spec explain(struct(), struct()) :: [tuple()]

Per-clause routing-trace verdicts for a route against a message (IADM-04).

@spec explain_routes(
  module() | nil,
  struct()
) :: [%{mailbox: String.t(), verdicts: [tuple()]}]

Builds the per-route routing-trace for one inbound record (IADM-04).

Reflects the adopter's declared routes from router_module via __mailglass_inbound_routes__/0 (in declared order), reconstructs the canonical %InboundMessage{} from the stored record through MailglassInbound.Execution.message_from_record/1, and runs the in-package Router.Matcher.explain/2 per route — so the rendered verdict equals real matcher behavior (D-48-06; the view never re-implements match semantics).

Returns a list (declared route order) of %{mailbox: String.t(), verdicts: [tuple()]}. The mailbox is the route's mailbox module rendered as a string; verdicts is the per-clause list from explain/2. Returns [] when router_module is nil or does not export the reflection function.

@spec list_records(
  map() | keyword(),
  keyword()
) :: [map()]

Recent inbound records for a tenant — routes to the inbound read-model.

@spec replay(
  Ecto.UUID.t(),
  keyword()
) :: {:ok, map()} | {:error, term()}

Replays a stored inbound record by id. The caller passes tenant_id: in opts — Internal.Replay.replay/2 scopes every load to that tenant and refuses a foreign-tenant id with {:error, :not_found} (T-49-17). The admin's verify_tenant/2 gate (D-48-05) remains the first line of defence; this seam is now tenant-safe by construction too.

@spec timeline(
  map() | keyword(),
  keyword()
) :: [map()]

Execution-lineage timeline for one inbound record.