@foxford/den 2.0.0 → 3.0.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@foxford/den",
-  "version": "2.0.0",
+  "version": "3.0.0",
   "description": "Den — декларативный метафреймворк Foxford (core runtime)",
   "keywords": [
     "foxford",
@@ -56,17 +56,17 @@
     "chunk-5DJZZML5.cjs",
     "chunk-A6ZPAM6Z.cjs",
     "chunk-C7BM4DGX.cjs",
+    "chunk-E23E2VUC.js",
     "chunk-HJO26HIQ.js",
-    "chunk-LJE7K7VD.cjs",
-    "chunk-TCYGDT2A.js",
     "chunk-TPBI6TOU.js",
     "chunk-WBHHHICS.js",
     "chunk-WRQC6BVJ.js",
     "chunk-XHYR3SGG.cjs",
-    "define-repository-DZg34Tb3.d.ts",
-    "define-repository-OpMj-Q9O.d.cts",
-    "define-slot-ESU7FR9O.d.ts",
-    "define-slot-RfgqKa6n.d.cts",
+    "chunk-XOJ2VWX4.cjs",
+    "define-repository-Ca62_YCy.d.ts",
+    "define-repository-MDEWHqM7.d.cts",
+    "define-slot-BKvArA02.d.cts",
+    "define-slot-Dil8Kr1A.d.ts",
     "define.cjs",
     "define.d.cts",
     "define.d.ts",
@@ -77,11 +77,11 @@
     "index.js",
     "island",
     "package.json",
-    "types-Deyolj1-.d.cts",
-    "types-Deyolj1-.d.ts",
-    "view-adapter-CL0vZ-rv.d.ts",
-    "view-adapter-vwO-7b1t.d.cts"
+    "types-COwVwgzE.d.cts",
+    "types-COwVwgzE.d.ts",
+    "view-adapter-BvDC5O4y.d.cts",
+    "view-adapter-DtNgyjIf.d.ts"
   ],
-  "sha": "d3153b1",
+  "sha": "ba6123d",
   "scripts": {}
 }

package/{types-Deyolj1-.d.cts → types-COwVwgzE.d.cts}

@@ -169,36 +169,6 @@ interface DefineGuardOptions<Deps extends readonly Token<unknown>[] = readonly [
      */
     check?: (params: Record<string, string>) => GuardResult | Promise<GuardResult>;
 }
-/**
- * Конфигурация приложения, регистрируемая в IoC-контейнере.
- */
-interface HostConfig {
-    /** Сервисы, инициализируемые немедленно при старте */
-    readonly eager: readonly Token<unknown>[];
-    /** Сервисы, инициализируемые лениво (по требованию) */
-    readonly lazy: readonly Token<unknown>[];
-    /** Глобальные guards, применяемые ко всем страницам */
-    readonly guards: readonly Token<Guard>[];
-}
-/**
- * HostDefinition — результат вызова defineHost.
- * Декларирует конфигурацию приложения: eager/lazy сервисы, глобальные guards.
- */
-interface HostDefinition extends Definition<HostConfig> {
-    /** Дискриминатор типа */
-    readonly __type: 'host';
-    /** Метаданные определения */
-    readonly __meta: {
-        /** Приложение не имеет requires-зависимостей */
-        readonly requires: readonly [];
-        /** Eager-сервисы */
-        readonly eager: readonly Token<unknown>[];
-        /** Lazy-сервисы */
-        readonly lazy: readonly Token<unknown>[];
-        /** Глобальные guards */
-        readonly guards: readonly Token<Guard>[];
-    };
-}
 /**
  * RepositoryDefinition — результат вызова defineRepository.
  * Описывает репозиторий уровня данных с IoC-биндингом.
@@ -220,15 +190,6 @@ interface RepositoryDefinition<T, Deps extends readonly Token<unknown>[]> extend
         readonly scope: 'app' | 'request';
     };
 }
-/** Опции для defineHost */
-interface DefineHostOptions {
-    /** Сервисы, инициализируемые немедленно при старте приложения */
-    readonly eager?: readonly Token<unknown>[];
-    /** Сервисы, инициализируемые лениво (по требованию) */
-    readonly lazy?: readonly Token<unknown>[];
-    /** Глобальные guards, применяемые ко всем страницам */
-    readonly guards?: readonly Token<Guard>[];
-}
 /**
  * Опции для defineRepository
  * @template Deps - Кортеж токенов зависимостей
@@ -527,14 +488,28 @@ interface RequestContext {
 }
 /**
  * Результат проверки guard.
- * - `{ allowed: true }` — переход разрешён
- * - `{ allowed: false, redirect: string }` — переход запрещён, перенаправить по redirect
+ *
+ * - `{ allowed: true }` — доступ разрешён;
+ * - `{ allowed: false, redirect }` — запрещён, увести по адресу;
+ * - `{ allowed: false }` — запрещён, и вести некуда: хост отвечает отказом (403).
+ *
+ * `redirect` необязателен именно ради второго случая: «нельзя, но формы входа для этого нет»
+ * иначе типом не выражалось, и приходилось выдумывать адрес.
+ *
+ * `escalate` касается только приложений, ВСТРОЕННЫХ в чужое место: по умолчанию отказ убирает
+ * из дерева их одних, а страница живёт. Поднять отказ до всей страницы может понадобиться —
+ * скажем, сессия протухла, и показывать соседей смысла нет, — но это исключение, поэтому
+ * заявляется явно. У владельца адреса флаг ничего не меняет: его отказ и так отказ странице.
+ * Последнее слово за хостом: он владеет документом и решает, чем отвечать.
  */
 type GuardResult = {
     allowed: true;
 } | {
     allowed: false;
-    redirect: string;
+    /** Куда увести. Нет — хост отвечает отказом сам (403). */
+    redirect?: string;
+    /** Поднять отказ встроенного приложения до всей страницы. */
+    escalate?: boolean;
 };
 /**
  * Guard — функция проверки доступа к странице.
@@ -799,4 +774,4 @@ declare const ActivatableToken: Token<Activatable>;
  */
 declare const RequestContextToken: Token<RequestContext>;
 
-export { type ActionGuard as A, GuardRunnerToken as B, type Core as C, type Disposable as D, type ExtensionConfig as E, NavigationManagerToken as F, type GuardRunner as G, type HostConfig as H, type RepositoryDefinition as I, RequestContextToken as J, type ServiceDefinition as K, type LeaveGuardResult as L, type SlotEntry as M, type NavigationManager as N, SlotRegistry as O, SlotRegistryToken as P, StateCache as Q, type RequestContext as R, type StateSerializer as S, type StateParticipant as T, StateRegistry as U, StateRegistryToken as V, StateSerializerToken as W, type ViewModelDefinition as X, type ContainerManager as a, type Guard as b, type GuardResult as c, type NavigationEntry as d, type NavigationInterceptor as e, type DefineGuardOptions as f, type GuardDefinition as g, type DefineHostOptions as h, type HostDefinition as i, type DefineExtensionOptions as j, type ExtensionDefinition as k, type DefineActionGuardOptions as l, type ActionGuardDefinition as m, type LayoutConfig as n, type DefineLayoutOptions as o, type LayoutDefinition as p, type LayerConfig as q, type DefineLayerOptions as r, type LayerDefinition as s, type Activatable as t, ActivatableToken as u, ContainerManagerToken as v, type DefineRepositoryOptions as w, type DefineServiceOptions as x, type DefineViewModelOptions as y, type Definition as z };
+export { type ActionGuard as A, type RepositoryDefinition as B, type Core as C, type Disposable as D, type ExtensionConfig as E, RequestContextToken as F, type GuardRunner as G, type ServiceDefinition as H, type SlotEntry as I, SlotRegistry as J, SlotRegistryToken as K, type LeaveGuardResult as L, StateCache as M, type NavigationManager as N, type StateParticipant as O, StateRegistry as P, StateRegistryToken as Q, type RequestContext as R, type StateSerializer as S, StateSerializerToken as T, type ViewModelDefinition as V, type ContainerManager as a, type Guard as b, type GuardResult as c, type NavigationEntry as d, type NavigationInterceptor as e, type DefineGuardOptions as f, type GuardDefinition as g, type DefineExtensionOptions as h, type ExtensionDefinition as i, type DefineActionGuardOptions as j, type ActionGuardDefinition as k, type LayoutConfig as l, type DefineLayoutOptions as m, type LayoutDefinition as n, type LayerConfig as o, type DefineLayerOptions as p, type LayerDefinition as q, type Activatable as r, ActivatableToken as s, ContainerManagerToken as t, type DefineRepositoryOptions as u, type DefineServiceOptions as v, type DefineViewModelOptions as w, type Definition as x, GuardRunnerToken as y, NavigationManagerToken as z };

package/{types-Deyolj1-.d.ts → types-COwVwgzE.d.ts}

@@ -169,36 +169,6 @@ interface DefineGuardOptions<Deps extends readonly Token<unknown>[] = readonly [
      */
     check?: (params: Record<string, string>) => GuardResult | Promise<GuardResult>;
 }
-/**
- * Конфигурация приложения, регистрируемая в IoC-контейнере.
- */
-interface HostConfig {
-    /** Сервисы, инициализируемые немедленно при старте */
-    readonly eager: readonly Token<unknown>[];
-    /** Сервисы, инициализируемые лениво (по требованию) */
-    readonly lazy: readonly Token<unknown>[];
-    /** Глобальные guards, применяемые ко всем страницам */
-    readonly guards: readonly Token<Guard>[];
-}
-/**
- * HostDefinition — результат вызова defineHost.
- * Декларирует конфигурацию приложения: eager/lazy сервисы, глобальные guards.
- */
-interface HostDefinition extends Definition<HostConfig> {
-    /** Дискриминатор типа */
-    readonly __type: 'host';
-    /** Метаданные определения */
-    readonly __meta: {
-        /** Приложение не имеет requires-зависимостей */
-        readonly requires: readonly [];
-        /** Eager-сервисы */
-        readonly eager: readonly Token<unknown>[];
-        /** Lazy-сервисы */
-        readonly lazy: readonly Token<unknown>[];
-        /** Глобальные guards */
-        readonly guards: readonly Token<Guard>[];
-    };
-}
 /**
  * RepositoryDefinition — результат вызова defineRepository.
  * Описывает репозиторий уровня данных с IoC-биндингом.
@@ -220,15 +190,6 @@ interface RepositoryDefinition<T, Deps extends readonly Token<unknown>[]> extend
         readonly scope: 'app' | 'request';
     };
 }
-/** Опции для defineHost */
-interface DefineHostOptions {
-    /** Сервисы, инициализируемые немедленно при старте приложения */
-    readonly eager?: readonly Token<unknown>[];
-    /** Сервисы, инициализируемые лениво (по требованию) */
-    readonly lazy?: readonly Token<unknown>[];
-    /** Глобальные guards, применяемые ко всем страницам */
-    readonly guards?: readonly Token<Guard>[];
-}
 /**
  * Опции для defineRepository
  * @template Deps - Кортеж токенов зависимостей
@@ -527,14 +488,28 @@ interface RequestContext {
 }
 /**
  * Результат проверки guard.
- * - `{ allowed: true }` — переход разрешён
- * - `{ allowed: false, redirect: string }` — переход запрещён, перенаправить по redirect
+ *
+ * - `{ allowed: true }` — доступ разрешён;
+ * - `{ allowed: false, redirect }` — запрещён, увести по адресу;
+ * - `{ allowed: false }` — запрещён, и вести некуда: хост отвечает отказом (403).
+ *
+ * `redirect` необязателен именно ради второго случая: «нельзя, но формы входа для этого нет»
+ * иначе типом не выражалось, и приходилось выдумывать адрес.
+ *
+ * `escalate` касается только приложений, ВСТРОЕННЫХ в чужое место: по умолчанию отказ убирает
+ * из дерева их одних, а страница живёт. Поднять отказ до всей страницы может понадобиться —
+ * скажем, сессия протухла, и показывать соседей смысла нет, — но это исключение, поэтому
+ * заявляется явно. У владельца адреса флаг ничего не меняет: его отказ и так отказ странице.
+ * Последнее слово за хостом: он владеет документом и решает, чем отвечать.
  */
 type GuardResult = {
     allowed: true;
 } | {
     allowed: false;
-    redirect: string;
+    /** Куда увести. Нет — хост отвечает отказом сам (403). */
+    redirect?: string;
+    /** Поднять отказ встроенного приложения до всей страницы. */
+    escalate?: boolean;
 };
 /**
  * Guard — функция проверки доступа к странице.
@@ -799,4 +774,4 @@ declare const ActivatableToken: Token<Activatable>;
  */
 declare const RequestContextToken: Token<RequestContext>;
 
-export { type ActionGuard as A, GuardRunnerToken as B, type Core as C, type Disposable as D, type ExtensionConfig as E, NavigationManagerToken as F, type GuardRunner as G, type HostConfig as H, type RepositoryDefinition as I, RequestContextToken as J, type ServiceDefinition as K, type LeaveGuardResult as L, type SlotEntry as M, type NavigationManager as N, SlotRegistry as O, SlotRegistryToken as P, StateCache as Q, type RequestContext as R, type StateSerializer as S, type StateParticipant as T, StateRegistry as U, StateRegistryToken as V, StateSerializerToken as W, type ViewModelDefinition as X, type ContainerManager as a, type Guard as b, type GuardResult as c, type NavigationEntry as d, type NavigationInterceptor as e, type DefineGuardOptions as f, type GuardDefinition as g, type DefineHostOptions as h, type HostDefinition as i, type DefineExtensionOptions as j, type ExtensionDefinition as k, type DefineActionGuardOptions as l, type ActionGuardDefinition as m, type LayoutConfig as n, type DefineLayoutOptions as o, type LayoutDefinition as p, type LayerConfig as q, type DefineLayerOptions as r, type LayerDefinition as s, type Activatable as t, ActivatableToken as u, ContainerManagerToken as v, type DefineRepositoryOptions as w, type DefineServiceOptions as x, type DefineViewModelOptions as y, type Definition as z };
+export { type ActionGuard as A, type RepositoryDefinition as B, type Core as C, type Disposable as D, type ExtensionConfig as E, RequestContextToken as F, type GuardRunner as G, type ServiceDefinition as H, type SlotEntry as I, SlotRegistry as J, SlotRegistryToken as K, type LeaveGuardResult as L, StateCache as M, type NavigationManager as N, type StateParticipant as O, StateRegistry as P, StateRegistryToken as Q, type RequestContext as R, type StateSerializer as S, StateSerializerToken as T, type ViewModelDefinition as V, type ContainerManager as a, type Guard as b, type GuardResult as c, type NavigationEntry as d, type NavigationInterceptor as e, type DefineGuardOptions as f, type GuardDefinition as g, type DefineExtensionOptions as h, type ExtensionDefinition as i, type DefineActionGuardOptions as j, type ActionGuardDefinition as k, type LayoutConfig as l, type DefineLayoutOptions as m, type LayoutDefinition as n, type LayerConfig as o, type DefineLayerOptions as p, type LayerDefinition as q, type Activatable as r, ActivatableToken as s, ContainerManagerToken as t, type DefineRepositoryOptions as u, type DefineServiceOptions as v, type DefineViewModelOptions as w, type Definition as x, GuardRunnerToken as y, NavigationManagerToken as z };

package/{view-adapter-vwO-7b1t.d.cts → view-adapter-BvDC5O4y.d.cts}

@@ -1,5 +1,5 @@
-import { S as SlotDefinition } from './define-slot-RfgqKa6n.cjs';
-import { s as LayerDefinition, z as Definition, q as LayerConfig } from './types-Deyolj1-.cjs';
+import { S as SlotDefinition } from './define-slot-BKvArA02.cjs';
+import { q as LayerDefinition, x as Definition, o as LayerConfig } from './types-COwVwgzE.cjs';
 import { Token, Container } from '@foxford/ioc';
 
 /**
@@ -45,6 +45,18 @@ interface IslandDescriptor {
      * ездит через denState.
      */
     viewModels?: ReadonlyArray<Definition<unknown>>;
+    /**
+     * Единицы, которые обязаны жить с загрузки, а не с первого резолва.
+     *
+     * Регистрация ленива по природе: не спросили — не создали. Обычно это то, что нужно, но
+     * сервису, который сам на что-то подписывается или греет кэш, ждать первого потребителя
+     * незачем. Токены — из тех же `units`.
+     *
+     * Поднимаются при МОНТИРОВАНИИ острова, а не при сборке контейнера: контейнер строится и на
+     * сервере, а сервер живёт один рендер — открытая там WS-подписка это не «eager», а утечка.
+     * Серверное состояние приложения считает активация VM.
+     */
+    eager?: ReadonlyArray<Token<unknown>>;
     /**
      * Места расширения приложения: ключ — локальное имя слота, значение — `defineSlot`.
      *
@@ -55,6 +67,60 @@ interface IslandDescriptor {
     slots?: Readonly<Record<string, SlotDefinition>>;
 }
 
+/** Что приложение отдало серверным рендером. */
+interface ServerRenderResult {
+    /** Разметка дерева — результат переданного рендера. */
+    html: string;
+    /**
+     * Вклад в `<head>` ГОТОВОЙ разметкой: то, что рождается только во время рендера и
+     * данными не описывается.
+     *
+     * Таковы стили CSS-in-JS: стороннее представление у них одно — тег со служебными
+     * атрибутами, по которым клиентский рантайм узнаёт свои правила. Разобрав его на поля,
+     * потеряешь регидратацию, и стили впрыснутся вторым экземпляром. Поэтому вклад в документ
+     * ДАННЫМИ (`DocumentHead` у хостов) остаётся отдельным каналом, а это — разметка.
+     *
+     * Разметка приезжает в документ хоста ДОСЛОВНО, без экранирования — иначе служебные
+     * атрибуты не пережили бы вставку. Отвечает за содержимое приложение: у сетевого
+     * транспорта строка приходит из чужого процесса, и хост её не разбирает.
+     */
+    head?: string;
+}
+/** Рендер дерева в разметку. Его даёт тот, кто серверный рендер исполняет. */
+type RenderTree<Tree = unknown> = (tree: Tree) => string;
+/**
+ * Серверный рендер приложения: приложению дают его дерево и рендер, оно возвращает
+ * разметку и свой вклад в документ.
+ *
+ * Рендер приходит АРГУМЕНТОМ, потому что приложение им не владеет: страницу собирает тот,
+ * кто держит документ, и приложений на ней может быть несколько. Отдав рендер аргументом,
+ * приложение получает обычную функцию — состояние прохода живёт локальной переменной и
+ * между запросами не утекает.
+ *
+ * Подпись одна на оба транспорта, и в этом смысл: у приложения в процессе хоста рендер
+ * передаёт хост, у сетевого — его собственный сервер, а `html` и `head` едут ответом.
+ * Перевод приложения между транспортами эту часть не задевает.
+ *
+ * `Tree` — дерево view-фреймворка, для ядра непрозрачное. View-адаптер сужает параметр
+ * до своего типа (`ReactServerRender` в `@foxford/den-react`), и приложение пишет проход
+ * в терминах СВОЕГО фреймворка.
+ *
+ * @example
+ * serverRender: (tree, render) => {
+ *   const sheet = new ServerStyleSheet()
+ *
+ *   return { head: sheet.getStyleTags(), html: render(sheet.collectStyles(tree)) }
+ * }
+ */
+type ServerRender<Tree = unknown> = (tree: Tree, render: RenderTree<Tree>) => ServerRenderResult;
+
+/** Что нужно адаптеру, чтобы отрисовать остров на сервере. */
+interface RenderIslandOptions {
+    /** Контейнер острова — уже собранный, с активированными VM. */
+    container: Container;
+    /** Внешние заполнители слотов; для ядра непрозрачны, как и само дерево. */
+    slots?: Record<string, unknown>;
+}
 /**
  * Порт view-адаптера. Реализуется пакетом фреймворка (`@foxford/den-react` и его аналоги),
  * объявляется приложением через `defineLayer(ViewLayerToken, { adapter })`.
@@ -70,6 +136,18 @@ interface ViewAdapter {
      * @returns Компонент фреймворка — для ядра непрозрачен
      */
     createIsland(descriptor: IslandDescriptor): unknown;
+    /**
+     * Отрисовывает остров в разметку на сервере.
+     *
+     * Единственная операция острова, которую ядро не может сделать само: `renderToString` —
+     * функция конкретного фреймворка, а ядро view-агностично. Здесь же адаптер исполняет
+     * `serverRender` приложения, если тот объявлен, — тип дерева известен только адаптеру.
+     *
+     * @param descriptor - Дескриптор острова
+     * @param options - Контейнер острова и заполнители слотов
+     * @returns Разметка и вклад в `<head>` готовой разметкой
+     */
+    renderIsland(descriptor: IslandDescriptor, options: RenderIslandOptions): ServerRenderResult;
     /**
      * Ставит стратегию резолва `define*` во view (`installResolver` из `@foxford/den/adapter`).
      * У каждого фреймворка она своя: у React — хук поверх контекста контейнера, у Vue —
@@ -107,4 +185,4 @@ declare function viewAdapterOf(layer: ViewLayerDefinition): ViewAdapter;
  */
 declare function resolveViewAdapter(container: Container): ViewAdapter;
 
-export { type IslandDescriptor as I, type ViewAdapter as V, type ViewLayerDefinition as a, ViewLayerToken as b, resolveViewAdapter as r, viewAdapterOf as v };
+export { type IslandDescriptor as I, type RenderIslandOptions as R, type ServerRender as S, type ViewAdapter as V, type ViewLayerDefinition as a, ViewLayerToken as b, type RenderTree as c, type ServerRenderResult as d, resolveViewAdapter as r, viewAdapterOf as v };

package/{view-adapter-CL0vZ-rv.d.ts → view-adapter-DtNgyjIf.d.ts}

@@ -1,5 +1,5 @@
-import { S as SlotDefinition } from './define-slot-ESU7FR9O.js';
-import { s as LayerDefinition, z as Definition, q as LayerConfig } from './types-Deyolj1-.js';
+import { S as SlotDefinition } from './define-slot-Dil8Kr1A.js';
+import { q as LayerDefinition, x as Definition, o as LayerConfig } from './types-COwVwgzE.js';
 import { Token, Container } from '@foxford/ioc';
 
 /**
@@ -45,6 +45,18 @@ interface IslandDescriptor {
      * ездит через denState.
      */
     viewModels?: ReadonlyArray<Definition<unknown>>;
+    /**
+     * Единицы, которые обязаны жить с загрузки, а не с первого резолва.
+     *
+     * Регистрация ленива по природе: не спросили — не создали. Обычно это то, что нужно, но
+     * сервису, который сам на что-то подписывается или греет кэш, ждать первого потребителя
+     * незачем. Токены — из тех же `units`.
+     *
+     * Поднимаются при МОНТИРОВАНИИ острова, а не при сборке контейнера: контейнер строится и на
+     * сервере, а сервер живёт один рендер — открытая там WS-подписка это не «eager», а утечка.
+     * Серверное состояние приложения считает активация VM.
+     */
+    eager?: ReadonlyArray<Token<unknown>>;
     /**
      * Места расширения приложения: ключ — локальное имя слота, значение — `defineSlot`.
      *
@@ -55,6 +67,60 @@ interface IslandDescriptor {
     slots?: Readonly<Record<string, SlotDefinition>>;
 }
 
+/** Что приложение отдало серверным рендером. */
+interface ServerRenderResult {
+    /** Разметка дерева — результат переданного рендера. */
+    html: string;
+    /**
+     * Вклад в `<head>` ГОТОВОЙ разметкой: то, что рождается только во время рендера и
+     * данными не описывается.
+     *
+     * Таковы стили CSS-in-JS: стороннее представление у них одно — тег со служебными
+     * атрибутами, по которым клиентский рантайм узнаёт свои правила. Разобрав его на поля,
+     * потеряешь регидратацию, и стили впрыснутся вторым экземпляром. Поэтому вклад в документ
+     * ДАННЫМИ (`DocumentHead` у хостов) остаётся отдельным каналом, а это — разметка.
+     *
+     * Разметка приезжает в документ хоста ДОСЛОВНО, без экранирования — иначе служебные
+     * атрибуты не пережили бы вставку. Отвечает за содержимое приложение: у сетевого
+     * транспорта строка приходит из чужого процесса, и хост её не разбирает.
+     */
+    head?: string;
+}
+/** Рендер дерева в разметку. Его даёт тот, кто серверный рендер исполняет. */
+type RenderTree<Tree = unknown> = (tree: Tree) => string;
+/**
+ * Серверный рендер приложения: приложению дают его дерево и рендер, оно возвращает
+ * разметку и свой вклад в документ.
+ *
+ * Рендер приходит АРГУМЕНТОМ, потому что приложение им не владеет: страницу собирает тот,
+ * кто держит документ, и приложений на ней может быть несколько. Отдав рендер аргументом,
+ * приложение получает обычную функцию — состояние прохода живёт локальной переменной и
+ * между запросами не утекает.
+ *
+ * Подпись одна на оба транспорта, и в этом смысл: у приложения в процессе хоста рендер
+ * передаёт хост, у сетевого — его собственный сервер, а `html` и `head` едут ответом.
+ * Перевод приложения между транспортами эту часть не задевает.
+ *
+ * `Tree` — дерево view-фреймворка, для ядра непрозрачное. View-адаптер сужает параметр
+ * до своего типа (`ReactServerRender` в `@foxford/den-react`), и приложение пишет проход
+ * в терминах СВОЕГО фреймворка.
+ *
+ * @example
+ * serverRender: (tree, render) => {
+ *   const sheet = new ServerStyleSheet()
+ *
+ *   return { head: sheet.getStyleTags(), html: render(sheet.collectStyles(tree)) }
+ * }
+ */
+type ServerRender<Tree = unknown> = (tree: Tree, render: RenderTree<Tree>) => ServerRenderResult;
+
+/** Что нужно адаптеру, чтобы отрисовать остров на сервере. */
+interface RenderIslandOptions {
+    /** Контейнер острова — уже собранный, с активированными VM. */
+    container: Container;
+    /** Внешние заполнители слотов; для ядра непрозрачны, как и само дерево. */
+    slots?: Record<string, unknown>;
+}
 /**
  * Порт view-адаптера. Реализуется пакетом фреймворка (`@foxford/den-react` и его аналоги),
  * объявляется приложением через `defineLayer(ViewLayerToken, { adapter })`.
@@ -70,6 +136,18 @@ interface ViewAdapter {
      * @returns Компонент фреймворка — для ядра непрозрачен
      */
     createIsland(descriptor: IslandDescriptor): unknown;
+    /**
+     * Отрисовывает остров в разметку на сервере.
+     *
+     * Единственная операция острова, которую ядро не может сделать само: `renderToString` —
+     * функция конкретного фреймворка, а ядро view-агностично. Здесь же адаптер исполняет
+     * `serverRender` приложения, если тот объявлен, — тип дерева известен только адаптеру.
+     *
+     * @param descriptor - Дескриптор острова
+     * @param options - Контейнер острова и заполнители слотов
+     * @returns Разметка и вклад в `<head>` готовой разметкой
+     */
+    renderIsland(descriptor: IslandDescriptor, options: RenderIslandOptions): ServerRenderResult;
     /**
      * Ставит стратегию резолва `define*` во view (`installResolver` из `@foxford/den/adapter`).
      * У каждого фреймворка она своя: у React — хук поверх контекста контейнера, у Vue —
@@ -107,4 +185,4 @@ declare function viewAdapterOf(layer: ViewLayerDefinition): ViewAdapter;
  */
 declare function resolveViewAdapter(container: Container): ViewAdapter;
 
-export { type IslandDescriptor as I, type ViewAdapter as V, type ViewLayerDefinition as a, ViewLayerToken as b, resolveViewAdapter as r, viewAdapterOf as v };
+export { type IslandDescriptor as I, type RenderIslandOptions as R, type ServerRender as S, type ViewAdapter as V, type ViewLayerDefinition as a, ViewLayerToken as b, type RenderTree as c, type ServerRenderResult as d, resolveViewAdapter as r, viewAdapterOf as v };