Tay.Storage.Recovery.EventDecoder behaviour (tay v0.7.0)

Copy Markdown View Source

Explicit semantic capability boundary for recovery, not a physical Record codec.

Providers are trusted, explicitly configured modules. They must stay fixed for an attempt, decode into inert values, enforce budgets during decoding, and report exact payload consumption. No worker resolution, atom creation, fallback, external side effect or implicit support is permitted. Tay.Event supplies the separately approved production Event v1 implementation; this behaviour does not itself assign types, schemas or payload bytes.

Summary

Types

limits()

Callbacks

decode_payload(.., .., binary, limits)
known_type?(..)
supported_schema?(.., ..)

Types

limits()

@type limits() :: %{
  depth: pos_integer(),
  output_nodes: pos_integer(),
  binary_bytes: non_neg_integer()
}

Callbacks

decode_payload(.., .., binary, limits)

@callback decode_payload(1..254, 1..255, binary(), limits()) ::
  {:ok, term(), non_neg_integer()} | {:error, term()}

known_type?(..)

@callback known_type?(1..254) :: boolean()

supported_schema?(.., ..)

@callback supported_schema?(1..254, 1..255) :: boolean()