I recently bought a second fan for the computer room. This one is stateful as well it would seem.
I has a power button at top. A fan toggle with 3 speeds. a light on and off and a color temperature switch. I got a few commands to record but not all of them.
the remote info is as follows:
FCC ID: A25-TX028
IC ID 10924a-TX028
Let me know if I can do any testing or supply any more information to help.