Editor HUD: политика баннера и inline (доп. к ADR 0085)
Статус: продуктово-инженерный норматив (v1)
Дата: 2026-04-26
Связь: 0085, 0032, ux roadmap editor-forward, 0021 §9
Цель: не иметь двух громких каналов с одной и той же полноформенной прозой; при этом не отменять 0085 (баннер — отдельное имя; inline — Editor HUD в узком смысле).
Роли (напоминание)
| Канал | Роль | Типичное содержимое |
|---|---|---|
| Editor HUD (inline) | Пространственная правда: где в файле, что за символ, подчёркивания, Quick Info у указателя | Squiggles, inlay (позже), hit-tested tooltip, gutter |
| HUD banner (file-level) | Обзор по файлу и file-level сигналы, которые не требуют позиции каретки | Счётчики диагностик, краткая сводка, «агент / фоновая задача по этому файлу» (когда появятся) |
| MFD / Problems | Список по workspace / фильтрация; навигация | Те же классы диагностик, иной носитель (см. roadmap §5) |
Правила дублирования (v1)
- Полный текст одной и той же диагностики не показывать одновременно в баннере и inline tooltip и развёрнутой строке MFD, если все три видны; минимум один канал — сжатый (счётчик / one-liner / только навигация).
- Баннер — по умолчанию счётчики и короткие метки (
EditorHudBannerTextComposer); не дублировать произвольный LSPMessageдословно, если тот же текст уже в squiggle + hover для активной позиции. - Inline первичен для локального разрешения: «что не так здесь».
- Баннер оставляем как канал (см. 0085 §2.2: опционален, но не «выкинуть продукт»): для at-a-glance по файлу, доступности, сценариев без наведения; выключение через настройки — позже 0032, см. 0085 открытые вопросы.
- Quick Info (типы, сигнатуры) не дублировать в баннере — только inline (и при необходимости отдельный popover по политике roadmap §6 / 0079).
Следующая инженерная фиксация
- Явные флаги в настройках (0032):
banner_diagnostics_summary/inline_*(когда дозреет конфиг) — не в этом v1-доке. - При изменении разметки баннера — проверка этой политики + сценарии MFD/Forward из roadmap.
Успех
Пользователь и ревьюер могут ответить на вопрос «почему это снова в баннере, если оно в тултипе?» ссылкой на роль канала, а не на вкус.