Draft WD09 line 1246 section 4.4 Message ordering needs to state that:
Duplicate Control Packets sent after a reconnect of the TCP connection MUST be sent in the same order that they were originally sent.
so that message ordering is preserved across a communications failure.