Proposed textual addition to WD04 following review of MQTT-270 (Server Initiated Disconnect) which has been closed.
WD04 Section 3.14.1 describes the DISCONNECT command packet fixed header. Line 1798 says
"The Client or Server MUST validate that the reserved bits are set to zero and close the Network Connection if they are not zero."
As a precaution I propose we should add
"A Client or Server MUST NOT send a DISCONNECT in response to a malformed DISCONNECT."
Rationale: The DISCONNECT error table in table 3.13 includes values for MALFORMED CONTROL PACKET and PROTOCOL ERROR. Sending a DISCONNECT in response to a malformed DISCONNECT introduces the possibility of an endless cycle. (i.e. the two session partners disagree on the format of the disconnect and reject each others disconnects.)