feat(runtime): project initial Control mesh metadata

2 files changed, 77 insertions, 0 deletions

diff --git a/docs/appendices/knowledge-boundaries.md b/docs/appendices/knowledge-boundaries.md
index 9e293ba..536f071 100644
--- a/docs/appendices/knowledge-boundaries.md
+++ b/docs/appendices/knowledge-boundaries.md
@@ -323,6 +323,14 @@ sequence определяется NDP: она не дополняется по �
 sidecar недоступен, запрос `0xe00` сообщает это отдельно, оставляя независимые
 агрегатные selectors `1/2` доступными.
 
+Поля `parent_index`, Control flags и начальный stage count для NDP-строк
+проецируются из AniMesh по глобальному ordinal; точные правила, native ABI
+векторы и лицензированная root/`EXTO` fixture описаны в
+[техническом подразделе](script-vm.md#начальная-msh-часть-строки-provider).
+Проверки подтверждают только начальный снимок: сборка runtime parent-ов
+остаётся статическим выводом по RVA `AniMesh.dll+0xa460`, а последующие
+изменения в полном Control/animation tick-е не проверялись.
+
 Rust query обращается к загруженному объекту и поддерживает `0xe00` только для
 текущего descriptor tag `26` с factory tag `26`; другие активные typed tags и
 factory paths остаются явными границами. Этот запрос возвращает начальный
diff --git a/docs/appendices/script-vm.md b/docs/appendices/script-vm.md
index a95c031..9e1691b 100644
--- a/docs/appendices/script-vm.md
+++ b/docs/appendices/script-vm.md
@@ -644,6 +644,75 @@ oracle вызывает оригинальные `FUN_10010ba0` (RVA `0x10ba0`),
 вызовов в игре не установлены; эти связи остаются статическим выводом. Rust
 продолжает читать начальные provider snapshots и не моделирует эти изменения.
 
+### Начальная MSH-часть строки provider
+
+`AniMesh.dll` (SHA-256
+`65659bf67f20e5be77d67a5b2f59968f61b94293143807fa59ca451c560c4f7e`)
+строит глобальную MSH-таблицу в `FUN_1000a460` (RVA `0xa460`). Для каждого
+узла корневой модели добавляется его исходная запись; mounted `EXTO` начинает
+с узла `1`; `INTO` в эту таблицу не добавляет. При чтении Node38 поле
+`parent_or_link` — это беззнаковое `u16` из байтов `+2`, а не готовый индекс
+глобальной таблицы.
+
+Статические инструкции `0xa474..0xa49f` дают основу родительского индекса.
+Для корня база равна нулю; для `EXTO` она равна старому размеру глобальной
+таблицы минус один. Само значение трактуется так:
+
+```text
+raw == 0      -> mount_node
+raw == 0xffff -> parent_base - 1
+иначе         -> parent_base + u32(raw)
+```
+
+Только `0xffff` служит sentinel-ом: остальные слова, включая `0xfffe`,
+прибавляются как беззнаковые `u16`. Для примонтированного `EXTO` с базой `21`
+слово `1` даёт parent `22`, а `0xffff` даёт `20`. `mount_node` выбирается из
+уже построенной иерархии компонентов. Эта формула восстановлена по машинным
+инструкциям загрузчика: `ADD EDI,EAX` в RVA `0xa7e3` прибавляет нормализованное
+значение к базе перед записью parent по `0xa7e7`. Это не исполнение полного
+загрузочного пути оригинальной игры.
+
+`Control.dll` (SHA-256
+`bcb86318089028548a178b03a21accdce15df0cc85ddd91674cf3c2f55012c6e`)
+`FUN_1000f940` (RVA `0xf940`) получает три поля из AniMesh для того же
+глобального ordinal. В x86 ABI oracle оригинального `AniMesh.dll`
+`FUN_100051f0` (RVA `0x51f0`) с selector `0x0d` копирует runtime parent из
+строки `+0x18` в общий scratch `DAT_10025e88` и возвращает адрес этой копии;
+selector `0x0e` так же возвращает копию hdr0 Node38, а не адрес исходной записи.
+Тест устанавливает raw parent words `[3, 0, 1]`, но runtime parents `[-1, 22, 7]`,
+и проверяет, что selector D читает именно последние. hdr0 `[0x8201, 0x0180,
+0x0400]` читается через полный 32-битный результат, поэтому старшие биты не
+теряются.
+
+Control переводит проверенные маски hdr0 в поле строки `+0x28`:
+
+| Node38 hdr0 | Control bit |
+| --- | --- |
+| `hdr0 & 0x0200` | `0x01` |
+| `hdr0 & 0x0100` | `0x02` |
+| `hdr0 & 0x0400` | `0x04` |
+| `(hdr0 & 1) != 0 && (hdr0 & 0x0080) == 0` | `0x08` |
+
+`FUN_10005840` (RVA `0x5840`) возвращает число подряд присутствующих slots
+состояний `0..2`: `[present, absent, present] -> 1`,
+`[absent, present, present] -> 0`, `[present, present, present] -> 3`.
+Пустой префикс в начальной строке Control становится одной доступной стадией,
+поэтому Rust хранит `max(1, prefix_length)`. Slot проверяется через штатный
+`selected_slot` с `Group(0)` (native LOD0), а не подсчётом всех ненулевых words.
+
+Runtime временно собирает mesh-состояния в порядке AniMesh, затем сопоставляет
+их с уже упорядоченными NDP provider-строками по общему ordinal. Избыточная NDP
+строка или отсутствующий MSH asset получают `initial_mesh_state = None`;
+совпадение по `(component_index, source_row_index)` не выполняется. Состояние
+также не меняет существующий `0xe00` query: он читает начальное type-1 поле
+`+0x14` provider-строки, равное `1.0` после нативного конструктора.
+
+Native-часть этих ABI проверок воспроизводит
+`behavior_distributor_tick_native_oracle.cs` на синтетически выделенной памяти
+и оригинальном DLL с указанным SHA. Она подтверждает getters и layout, но не
+создание реальных AniMesh rows при полной загрузке; licensed runtime test
+отдельно проверяет реальные Node38 literals root/`EXTO` на `min_l_n1.dat`.
+
 ### Аргументы и обратный вызов Handler(30)
 
 `resolve_handler30_with_values` сохраняет восстановленное ABI типов объявлений,