| 1 | # ADR 0046: Cockpit CDS — policy раскладки (`CockpitPresentationLayoutPolicy`) и инварианты P/F/M |
| 2 | |
| 3 | **Статус:** Accepted · Implemented |
| 4 | **Дата:** 2026-04-14 |
| 5 | |
| 6 | ## Связанные ADR |
| 7 | |
| 8 | | ADR | Роль | |
| 9 | |-----|------| |
| 10 | | [0017](0017-multi-window-workspace-and-agent-surfaces.md) | `presentation`, мультиоконность | |
| 11 | | [0021](0021-pfd-mfd-cockpit-attention-model.md) | Модель внимания PFD/MFD | |
| 12 | | [0044](0044-avalonia-host-skia-agent-chat-surface.md) | UI не источник истины по смыслу | |
| 13 | | [0047](0047-cockpit-instrument-descriptor-and-slot-composition.md) | Instrument, слоты | |
| 14 | | [0036](0036-cds-channel-compositor-surface-pipeline.md) | CDS → композитор → поверхность | |
| 15 | |
| 16 | ### Снимок реализации |
| 17 | |
| 18 | | Элемент | Значение | |
| 19 | |---------|----------| |
| 20 | | — | инварианты P/F/M и coercion intent в VM; `CockpitPresentationLayoutPolicy` / CASCOPE003 — см. § «Решение» | |
| 21 | |
| 22 | --- |
| 23 | ## Контекст |
| 24 | |
| 25 | `presentation` в `settings.toml` задает не только декоративную геометрию, а семантическую раскладку кабины: где находятся PFD, Forward и MFD. |
| 26 | |
| 27 | Проблема до фиксации правил: |
| 28 | |
| 29 | - разные входы (меню, MCP, смена UI-режима, реактивные изменения) по-разному меняли видимость панелей; |
| 30 | - можно было получить состояние, которое противоречит якорям первого экрана; |
| 31 | - закрытие `MfdHostWindow` визуально влияло на раскладку так, будто пресет изменился. |
| 32 | |
| 33 | Это ломало модель "кабины": пользователь видел "плавающий UI", а не устойчивую схему P/F/M. |
| 34 | |
| 35 | ## Решение |
| 36 | |
| 37 | <a id="adr0046-p1"></a> |
| 38 | |
| 39 | 1. Канон правил размещается в слое CDS: `CockpitPresentationLayoutPolicy` (`CascadeIDE.Cockpit.Cds`). |
| 40 | 2. Источник правды для правил — разобранный `PresentationParseResult` (первый экран). Статический `PresentationLayoutAuthority` из `Services/Presentation` **снят**; на границе shell остаётся только тонкая запись intent (частичный `MainWindowViewModel`, методы `Apply*` — семантика «хочу», не дублирование policy). |
| 41 | 3. Для первого экрана действуют инварианты: |
| 42 | - если есть якорь `P`, нельзя скрыть левую колонку (`IsSolutionExplorerVisible`); |
| 43 | - если есть якорь `M`, нельзя свернуть правую колонку MFD в ноль (`IsChatPanelExpanded = false`); |
| 44 | - `Forward` трактуется как обязательная центральная зона; отдельный explicit toggle для отключения forward не вводится. |
| 45 | 4. Любой путь изменения раскладки должен проходить через coercion policy; отображение колонок main grid — через композитор поверхности (`MainWindowShellSurfaceCompositor`, ADR 0036 п.3): |
| 46 | - relay-команды; |
| 47 | - MCP-команды видимости; |
| 48 | - применение UI-режима; |
| 49 | - reactive-callbacks свойств, чтобы перехватывать прямые присваивания. |
| 50 | 5. Закрытие/открытие второго `TopLevel` (`MfdHostWindow`) меняет только surface размещения M-контента, но не пересчитывает семантику `presentation`. |
| 51 | |
| 52 | ## Последствия |
| 53 | |
| 54 | - Поведение UI, MCP и режимов становится детерминированным и согласованным. |
| 55 | - "Невозможные" состояния не накапливаются: policy возвращает их в валидную область. |
| 56 | - Любые новые команды, влияющие на P/F/M, обязаны согласовываться с **той же** coercion policy в CDS и не обходить композитор поверхности. |
| 57 | - На сборке: Roslyn **CASCOPE003** (`CascadeIDE.ArchitectureAnalyzers`) — прямые присваивания `IsSolutionExplorerVisible` / `IsChatPanelExpanded` (и бэкинг-полей) вне [белого списка файлов](../../CascadeIDE.ArchitectureAnalyzers/README.md); новые точки — через `Apply*` / расширение списка в анализаторе. |
| 58 | |
| 59 | ## Отклоненные альтернативы |
| 60 | |
| 61 | - Разрешить каждому входу (меню/MCP/режим) иметь собственные правила: приводит к дрейфу логики. |
| 62 | - Считать `presentation` только "подсказкой layout", а не инвариантом: противоречит модели кабины. |
| 63 | - Чинить только UI-команды, без реактивного coercion: прямые присваивания все равно обходят правила. |
| 64 | |