…т вложенных типов)

Самоссылающиеся структуры (узел дерева: `* Потомки - Массив из см. Узел`)
образуют бесконечный тип — eager-материализация его не вмещает, поэтому раньше
вложенность обрывалась на первом уровне.

Решение — ленивый разворот, управляемый курсором. Авто-комплит разыменовывает
выражение конечной глубины, поэтому материализовывать бесконечный тип не нужно:
- новый LazyTypeSet — неизменяемая, немемоизирующая ссылка на возвращаемый тип
  локальной функции; реальный тип берётся из кэша на момент чтения;
- TypeSet получил декорации lazyElements/lazyFields; геттеры
  getElementTypes/getLocalFields/getFieldTypes/getAllFieldNames форсят их на
  чтении, поэтому потребители (инференсер/автокомплит/hover) не меняются;
- equals/hashCode остаются конечными и по значению (ключ ленивой ссылки —
  символ функции, не результат форса);
- SymbolTypeIndex: вложенная см.-ссылка на локальную функцию навешивается
  лениво (withLazyElement/withLazyField), верхнеуровневые ссылки и
  квалифицированные/типовые — по-прежнему eager.

Глубина рекурсии ограничивается выражением под курсором; хранимый граф конечен.

Тесты: RecursiveSeeRefInferenceTest (глубокая навигация Корень.Потомки[0].
Потомки[0].Значение -> Строка; промежуточный уровень раскрывает поля).

Refs #4194

Co-Authored-By: Claude Opus 4.8 <[email protected]>
Claude-Session: https://claude.ai/code/session_01QcYuuctkrfWkmGqXaUmx5S

Массив из см. Модуль.Метод — квалифицированная ссылка не лениво и, не
разрешившись, не даёт тип элемента (ветки resolveCollection/localFunctionSeeRef).

Co-Authored-By: Claude Opus 4.8 <[email protected]>
Claude-Session: https://claude.ai/code/session_01QcYuuctkrfWkmGqXaUmx5S

…урсии

Отчёт alisher-nil к #4194 выявил два дефекта поверх первичной реализации:

1. Автокомплит после `a.СмПоле.` забывал содержимое структуры: при
   разыменовании члена локальное поле сводилось к головному TypeRef, теряя
   вложенные поля. DereferenceMemberMatcher.collectLocalFieldMembers теперь
   несёт полный тип поля (с декорациями), поэтому `Контекст.ДанныеТокена.`
   снова показывает поля вложенной структуры.

2. Взаимно-рекурсивные структуры (Контейнер↔Коробка через см.-поля/параметры)
   при наведении уводили VariableSymbolMarkupContentBuilder.collectFieldBullets
   в бесконечную рекурсию (StackOverflow): ленивые поля раскрываются на чтении.
   Добавлено ограничение глубины разворота (MAX_FIELD_NESTING).

Тесты: ReporterScenariosSeeRefTest воспроизводит сценарии репортёра в инференсе,
hover и автокомплите (+ фикстуры Chained*/MutualRecursion*).

Co-Authored-By: Claude Opus 4.8 <[email protected]>
Claude-Session: https://claude.ai/code/session_01QcYuuctkrfWkmGqXaUmx5S

…есто лимита глубины

Замена ограничения глубины (MAX_FIELD_NESTING) на точное обнаружение цикла по
функции-источнику ленивой см.-ссылки. collectFieldBullets ведёт набор уже
развёрнутых на пути источников; поле, разворот которого снова приводит к одному
из них, не углубляется, а рендерится как «См. Функция» (то самое ссылочное
представление, которого ожидал репортёр). Глубокие нерекурсивные структуры
по-прежнему разворачиваются полностью; взаимная рекурсия Контейнер↔Коробка
больше не уводит hover в StackOverflow.

Тест mutualRecursionHoverTerminates усилен проверкой `См. (Контейнер|Коробка)`.

Co-Authored-By: Claude Opus 4.8 <[email protected]>
Claude-Session: https://claude.ai/code/session_01QcYuuctkrfWkmGqXaUmx5S

… не на голову

Отчёт alisher-nil к #4194: `Соответствие из КлючИЗначение: * Ключ - Строка
* Значение - Число` — тип переменной считался верно, но при обходе `Для Каждого`
тип элемента терялся.

Причина: поля COLLECTION-описания (`* Ключ`/`* Значение`) применялись к голове
коллекции (Соответствие), а не к её элементу (КлючИЗначение). resolveCollection
теперь навешивает их на тип элемента; resolveTypes не применяет applyFields к
COLLECTION повторно. У простых типов (`Структура: * Поле`) поведение прежнее.

Тесты: MapElementFieldsInferenceTest (элемент несёт Ключ/Значение; Элемент.Ключ →
Строка; Элемент.Значение → Число) + фикстура MapElementFields.bsl.

Co-Authored-By: Claude Opus 4.8 <[email protected]>
Claude-Session: https://claude.ai/code/session_01QcYuuctkrfWkmGqXaUmx5S

…консистентности

Продолжение замечания про @NullMarked: уже существовавшие
TypeSet.withElement/withField тоже несли избыточные Objects.requireNonNull —
после чистки ленивых методов это смотрелось непоследовательно. Убраны, импорт
java.util.Objects больше не нужен.

ParameterDescriptor.requireNonNullElse оставлен: это нормализация null→дефолт,
иное по смыслу, чем защитный requireNonNull.

Co-Authored-By: Claude Opus 4.8 <[email protected]>
Claude-Session: https://claude.ai/code/session_01QcYuuctkrfWkmGqXaUmx5S

…r S1200)

Единственное использование Arrays.copyOfRange заменено на List.of(parts).subList,
что убирает класс из зависимостей SymbolTypeIndex (21 → 20) и закрывает последнее
замечание SonarCloud по PR.

Co-Authored-By: Claude Opus 4.8 <[email protected]>
Claude-Session: https://claude.ai/code/session_01QcYuuctkrfWkmGqXaUmx5S

- hover по рекурсивному дереву (Массив из см. ДеревоУзел) — обрыв элемент-цикла
  ссылкой `См. ДеревоУзел` (покрывает ветку ленивых элементов в lazySourceKeys);
- hover взаимной рекурсии в EN-локали — `See Функция` (ветка локали в seeReferenceLabel).

Co-Authored-By: Claude Opus 4.8 <[email protected]>
Claude-Session: https://claude.ai/code/session_01QcYuuctkrfWkmGqXaUmx5S