@type compaction() :: %{
  reserve_tokens: pos_integer(),
  keep_recent_tokens: pos_integer(),
  fallback: :truncate
}

@type t() :: %Alloy.Agent.Config{
  code_execution: boolean(),
  compaction: compaction(),
  compaction_explicit: %{
    reserve_tokens: boolean(),
    keep_recent_tokens: boolean()
  },
  context: map(),
  fallback_providers: [{module(), map()}],
  max_budget_cents: number() | nil,
  max_pending: non_neg_integer(),
  max_retries: non_neg_integer(),
  max_tokens: pos_integer(),
  max_tokens_explicit?: boolean(),
  max_turns: pos_integer(),
  middleware: [module()],
  model_metadata_overrides: map(),
  on_compaction: (list(), Alloy.Agent.State.t() -> any()) | nil,
  on_shutdown: (Alloy.Session.t() -> any()) | nil,
  provider: module(),
  provider_config: map(),
  pubsub: module() | nil,
  retry_backoff_ms: pos_integer(),
  subscribe: [String.t()],
  system_prompt: String.t() | nil,
  timeout_ms: pos_integer(),
  tool_timeout: pos_integer(),
  tools: [module()],
  until_tool: String.t() | nil,
  working_directory: String.t()
}