@NMMJB смысла в спецификации JVM не было бы никакого, если бы она повторяла Java спецификацию. Это разные вещи и отождествлять два языка (или, тем более, язык и спецификацию), которые работают на разных уровнях, несколько странно. Джава - всего лишь такая же прослойка, как Kotlin, и тот факт, что KotlinJVM код можно как-то там показать на джаве, связан со стремлением разработчиков котлина сделать интеропнрабельный с Java язык. В каком-то смысле, вы пытаетесь сказать, что (по аналогии) C (Java) == assembler (JVM спецификация)