Python默认加载模块的构成及相关官方说明咨询

我近期在研读Python模块与导入系统的官方文档，留意到sys.modules会存储所有已加载的模块。执行以下脚本，就能获取默认加载的模块名称（注：显式导入的sys可能本身就已默认加载，因为import操作会先检查模块是否已存在于加载列表中）：

import sys
print(sys.modules.keys())

观察结果后我发现：

• 存在内置模块集合，但通过sys.builtin_module_names查看时，只有部分内置模块会被默认加载；
• 默认加载的模块中，还有一部分来自Python标准模块/库（个人推测Python标准库应该包含所有内置模块）。

我想知道这些默认加载模块的具体构成是否有官方说明？

内容的提问来源于stack exchange，提问作者pythonHua