Hi,
Du hast also einen Workaround gefunden, leider jedoch keine Lösung :-)
kann es die für Bugs denn überhaupt geben?
Wie du ja bereits geschrieben hast:
Dieser Abstand hat die Höhe des border-top des umgebenden Elements.
Woher soll man wissen, warum sich der IE so verhält?
Den Auslöser für den Bug hattest du ja auch schon erwähnt, nämlich
"Jetzt gebe man dem inneren <div> mal Layout.".
Da man die hasLayout-Eigenschaft nicht aufheben/ rückgängig machen kann, muss man sich imho in solchen Fällen halt mit dem Würgaround zufrieden geben.
Mir war dieser Bug bisher aber auch unbekannt, und Nein - erklären kann ich ihn auch nicht.
Gruß Gunther