Фишка в том, что я в детстве невнимательно читал JLS.
Поле считается константным, если оно финальное и инициализировано константным выражением в месте объявления. Про static здесь ни слова.
В итоге класс А после декомпиляции выглядит так, как показано на картинке.
B и C (E, F) этому правилу не подчиняются, поэтому все поля честно используются.
D тоже «нормальный» — котлин решил не повторять «странностей» джавы, потому что сейчас уже ясно, что такая конструкция может использоваться для десериализации.
