Понимание запечатанных классов в Kotlin - Запечатанный класс не верхнего уровня не виден по всему файлу

Question

В настоящее время я изучаю kotlin запечатанные классы

Согласно документации

Запечатанный класс может иметь подклассы, но все они должен быть объявлен в том же файле, что и сам запечатанный класс

Однако мое тестирование показывает, что здесь есть больше деталей, чем это.

Мне удалось выяснить, что предыдущее цитируемое утверждение относится только к объявлениям верхнего уровня (уровня пакета).

Например, запечатанный класс внутри объекта может быть расширен только вложенными членами этого запечатанного класса и не может быть распространен на тот же файл

Вопросы:

• Есть ли другие ограничения, о которых я не знаю?

• Является ли мой вывод / вывод точным?

Исходный код тестирования