Es handelt sich um ein vollständig spezifiziertes, standardkonformes Verhalten, das durch die CommonMark-Spezifikation § 4.6 – HTML-Blöcke definiert ist.
Die entscheidende Regel ist HTML-Blocktyp 6. Die CommonMark-Spezifikation listet div (zusammen mit p, blockquote, table, h1–h6, ul, ol, li, hr usw.) explizit als Block-Element auf. Wenn der Parser eine Zeile erkennt, die mit einem dieser Tags beginnt, öffnet er einen HTML-Block mit folgender Endbedingung:
Endbedingung: Die Zeile wird durch eine leere Zeile abgeschlossen.
Deine anderen Beispiele sind Inline-Elemente und verhalten sich anders.