java.lang 的正式规范在哪里?

Where is the formal specification for java.lang?

有 JLS(和 JVMS)定义 "core" java。还有很多扩展其功能的 JSR。但是 Java 的标准库是否有像 java.lang 这样的规范?

我找到的最接近的是 Java™ Platform, Standard Edition 8 API Specification,但感觉更像是文档而不是规范。该文档是 java 标准库 API 的官方规范吗? oracle 以外的供应商(如 AdoptOpenJdk 等)是否阅读了这个类似文档的规范并实施了他们的 JRE 版本?或者还有另一个 "formal/official" 规范?

是的,Java 文档注释根据 their statement:

定义了官方 API 规范

Our documentation comments define the official Java Platform API Specification

Java API 没有其他 "more official" 文档。他们详细说明了使用 Java 文档作为链接文章中的规范:

There are commonly two different ways to write doc comments -- as API specifications, or as programming guide documentation. These two targets are described in the following sections. A staff with generous resources can afford to blend both into the same documentation (properly "chunked"); however, our priorities dictate that we give prime focus to writing API specifications in doc comments. This is why developers often need to turn to other documents, such as Java SE Technical Documentation and The Java Tutorials for programming guides