Is there anything that prevents `nacked` and `nonAcked` to contain duplicates which would lead to `newNacked.size` being equal to `ack.nacks.size` even though it doesn't contain all the elements asked for by `ack.nacks`?

Yes the code below should filter out those, I see that, but I haven't read the other side of the communication :wink:.