@type t() :: %Spectre.Operation.ExecutionContext{
  agent: module(),
  attempt: Spectre.Operation.Attempt.t(),
  cognitive: map(),
  controller: module(),
  input: term(),
  loop_id: String.t(),
  loop_kind: atom(),
  metadata: map(),
  opts: keyword(),
  progress: (term(), map() -> :ok),
  state: term(),
  subject: Spectre.Subject.t()
}