Engine state: current labels, remembered approvals, monotonic spec.
@type t() :: %Raxol.Agent.Authorization.Engine.State{ approvals: MapSet.t(), labels: map(), monotonic: map() }