Yes, I got a complaint about duplicate events being sent for a contact sensor recently. I’m pretty sure this only recently started popping up. According to the documentation and how the system has worked for some time:
It is supposed to work as you describe. Only events where the state is changed are to be propagated through the system unless the event is created with the “isStateChange” attribute set to true (which is necessary in some cases like a button device).