ADR 0164: Monaco presentation projection, line-first CECB push и dock chrome

Статус: Accepted · Implemented
Дата: 2026-06-24
Дополняет: 0163 §2.6 (DecorationLayerManager, mappers), 0103 (субстрат HUD), 0085 (inline vs banner), 0084 (versioned buffer)

Связанные ADR

Вне ADR

1. Контекст

0163 зафиксировал CECB и DecorationLayerManager, но первая реализация M7–M10 оставила adhoc на границе C#↔JS:

0103 отделяет субстрат (DAL, EditorDiagnosticStrip) от презентации. Для Monaco не хватает именованного слоя presentation projection между coordinator и bridge.

2. Решение

2.1 Три слоя (не смешивать)

flowchart TB
  subgraph substrate ["Substrate (0103)"]
    WDC["WorkspaceDiagnosticsCoordinator"]
    LSP["CSharpLspDiagnosticsHost"]
  end

  subgraph projection ["Presentation projection (C#)"]
    PROJ["MonacoEditorPresentationProjector"]
    MAP["MonacoEditor*Mapper"]
    PROJ --> MAP
  end

  subgraph cecb ["CECB push"]
    HOST["MonacoEditorHostControl"]
  end

  subgraph jshost ["Thin host (0163)"]
    DLM["DecorationLayerManager"]
    BR["cide-editor-bridge.js"]
    DLM --> MON["monaco.editor"]
    BR --> DLM
  end

  WDC --> PROJ
  LSP --> WDC
  PROJ --> HOST
  HOST --> BR

2.2 MonacoEditorPresentationProjector

Единая точка сборки Editor HUD inline push для активного буфера:

• вход: modelVersion, sourceText, EditorDiagnosticStrip[], EditorTrailingInlayPart[] (var hints);
• выход: Push { DiagnosticDecorations, InlayHints };
• вызывается из DockDocumentView.MonacoForward → MonacoEditorHostControl.PushEditorHudPresentationAsync.

Политика 0085 (только здесь, не в view):

• var/type inlay не на строках с диагностикой (Line1 из strip);
• diagnostic EOL label — одна на строку (группировка по Line1).

2.3 Контракт push-DTO: line-first

Whole-line decoration sets (diagnostics, debugLine, …) — line/column-first (1-based, как Monaco/LSP):

// CideEditorDecoration — whole-line
StartLine, StartColumn?, EndLine?, EndColumn?
IsWholeLine = true
// StartOffset / Length не используются

Token-span sets (highlights) — по-прежнему startOffset + length.

Inlay hints:

// CideEditorInlayHint
AtEndOfLine = true  // diagnostic Error Lens
// EOL column = model.getLineMaxColumn(line) только в JS

JS: DecorationLayerManager.resolveRange — единственное место перевода line-DTO → monaco.Range. Bridge не содержит diagnostic-specific column heuristics.

2.4 Version guard

Все HUD presentation push несут expectedModelVersion:

• C#: MonacoEditorHostControl сравнивает с MonacoEditorSessionState.Version до dispatch;
• JS: versionGuard отбрасывает setDecorations / setInlayHints при mismatch.

Согласовано с 0084: не рисовать диагностики для устаревшего снимка текста.

2.5 Dock chrome projection

OpenDocumentViewModel — source of truth для dirty/pinned/title.

DocumentsWorkspaceViewModel.BindDockChrome / UnbindDockChrome:

• проекция DisplayTitle → DockDocumentViewModel.Title при IsDirty / IsPinned;
• DockDocumentViewModel — тонкая обёртка без собственной подписки на PropertyChanged.

2.6 Что остаётся в strangler (v1)

3. Реализация (as-built)

Оркестрация таймеров и DiagnosticsChanged — по-прежнему в Views/DockDocumentView.MonacoForward.cs (strangler); данные и политика — в Features/Editor.

4. Последствия

Плюсы

• Один контракт координат на границе C#↔Monaco; меньше классов багов «съехало».
• Политика inline тестируется в C# без WebView.
• Dock * синхронизируется централизованно.

Минусы / долг

• Два пути decoration в JS (manager + legacy decorationSets для reveal/CF) до консолидации.
• C# всё ещё может передать AtEndOfLine inlay с placeholder column — дисциплина на code review.

Тесты

• Unit: MonacoEditorPresentationProjectorTests.
• Sign-off: пункты чеклиста 0163 §4 (squiggles, dirty tab, build sync).

5. Отклонённые альтернативы

6. История