diff options
Diffstat (limited to 'docs/appendices/script-vm.md')
| -rw-r--r-- | docs/appendices/script-vm.md | 167 |
1 files changed, 164 insertions, 3 deletions
diff --git a/docs/appendices/script-vm.md b/docs/appendices/script-vm.md index a95c031..0f5994b 100644 --- a/docs/appendices/script-vm.md +++ b/docs/appendices/script-vm.md @@ -640,9 +640,170 @@ oracle вызывает оригинальные `FUN_10010ba0` (RVA `0x10ba0`), затем `FMUL` с binary32-константой `0.001` (`0x3a83126f`), после чего результат сохраняется в `f32`. Код вызывает `FUN_10012a40`, затем `FUN_1002d340` и присваивает `+0xec = +0xe4`. В соседней ветви update packet queue обрабатывается -через `FUN_10012ce0`. Источник абсолютного времени извне и полный порядок -вызовов в игре не установлены; эти связи остаются статическим выводом. Rust -продолжает читать начальные provider snapshots и не моделирует эти изменения. +через `FUN_10012ce0`. Активную clock-ветвь oracle не запускал: внешний источник +времени и полный порядок вызовов в игре не установлены. Rust продолжает читать +начальные provider snapshots и не моделирует эти изменения. + +#### Родители, стадии и видимость provider-узлов + +`Control.dll` с SHA-256 +`bcb86318089028548a178b03a21accdce15df0cc85ddd91674cf3c2f55012c6e` проверен +прямыми вызовами исходных `FUN_10011220` (RVA `0x11220`) и +`FUN_10011130` (RVA `0x11130`). При расчёте стадии `FUN_10011220` может взять +долю родителя по флагу `0x04` или стадию родителя по `0x08`. Для стадии с +числом вариантов `count` при проверенных долях `0..1` расчёт имеет вид +`stage = min(count, count - ceil(f32(count * ratio)))`. Нативное ограничение +применяется к результату вычитания как к беззнаковому 32-битному значению; +здесь проверены конечные доли `0..1`. Для отдельного ряда из трёх стадий коэффициенты +`[0.1, 0.4, 0.5, 1, 0]` дали внутренние значения `[2, 1, 1, 0, 3]`; последнее +значение равно служебному sentinel `count` и означает истощение. В callback +`AniMesh.dll!FUN_10005810` передаётся только видимое значение +`min(stage, count - 1)`. + +После перехода родительского ряда `FUN_10011130` находит более поздние строки +с его индексом в поле parent. Обход идёт в глубину: сначала ребёнок и всё его +поддерево, затем следующий ребёнок. Рост стадии или истощение родителя снимает +количество с дочерних строк; защитные флаги `0x40` и `0x100` меняют часть +обработки флагов, но не останавливают снятие количества и обход потомков в +проверенных входах. Нативный тест задал родителя с дочерними рядами, снял их +количество и проверил порядок вызовов и значение stage snapshot. + +Переход между обычной стадией и sentinel `stage == count` вызывает +`Control.dll!FUN_10011920`, только если у строки не установлен флаг `0x02`. +Функция читает геометрию уже выбранной видимой стадии через +`AniMesh.dll!FUN_100051f0`. +Selectors `F` и `10` возвращают одну общую ячейку; второй запрос перезаписывает +значение первого. Это влияет на агрегаты: один синтетический узел при состоянии `0` +давал пару `[42, 330]`, а другой слот для состояния `2` — `[102, 570]`. В одном +тестовом цикле hide/show использовали один и тот же слот, поэтому агрегаты +вернулись к исходным; во втором цикл скрывал состояние `2`, а показывал состояние +`0`, и полученные значения уже не были взаимными противоположностями. Отрицательные +агрегаты во втором векторе — специально выбранные синтетические числа, а не +утверждение о допустимом состоянии игры. + +Эти вызовы исполнены в x86 oracle с Control SHA выше и AniMesh SHA-256 +`65659bf67f20e5be77d67a5b2f59968f61b94293143807fa59ca451c560c4f7e`. Таблицы +NDP, Node38 и объект хоста синтетические; слот lifecycle проходит через исходный +`FUN_10005500`, а переход видимой стадии — через исходный `FUN_10005810`. Вызовы +`FUN_10011220` сделаны с `updateEffects = false`, поэтому ветвь Control FX, +включая `FUN_10011af0`, ими исключена. В отдельном visibility-сценарии класс `9` +заставляет `FUN_1000fca0` вернуться сразу после смены видимости, так что связанное +с ним движение также не проверено. Одна строка Control имеет flags `0x102`, но +слово флагов ANI `+0x14` и производные байты `+0x111..+0x113` изначально равны +нулю; поэтому вызовы +`AniMesh.dll!FUN_100093c0` и `FUN_1000a2a0` (пересчёт производной геометрии и +видимости) не покрыты. Эти результаты подтверждают локальные переходы и порядок +callbacks, но не полный Control update реальной миссии. Активная clock-ветвь, +внешний источник времени и полный игровой порядок вызовов пока не установлены. + +### Начальная 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` после нативного конструктора. + +### Начальное количество строки provider + +В `Control.dll` SHA-256 +`bcb86318089028548a178b03a21accdce15df0cc85ddd91674cf3c2f55012c6e` +`FUN_1000f940` (RVA `0xf940`) получает для каждой строки selector `3` через +provider getter `FUN_1000dc40` (RVA `0xdc40`). Getter берёт `max_volume` из +NDP descriptor и последовательно умножает его на поля владельца `+0x660` и +`+0x548`. Конструктор `FUN_10006bf0` (RVA `0x6bf0`) задаёт оба множителя как +`1.0`. Инициализатор записывает результат в поля строки `+0x08` и `+0x0c`, а +type-1 поле `+0x14` остаётся `1.0`. Второе поле не является постоянной +вместимостью: `FUN_10011220` (RVA `0x11220`) копирует туда текущее `+0x08` при +завершении обновления. + +Native oracle вызывает оригинальные `f940`, `dc40`, `b240` и AniMesh getters +`FUN_100051f0`/`FUN_10005840` на тестовой памяти; подменён только callback +владельца. При unity множителях строки с `max_volume` `[30, 60, 50, 0]` +получили начальные количества с теми же битами, включая нулевую строку, а +callback-и пришли в порядке `[0, 1, 2, 3]`. Отдельный прогон с синтетическими +множителями `1.5` и `0.5` подтвердил формулу для этих входов, но не порядок +операций или загрузку игрового объекта; порядок `max_volume * +0x660 * +0x548` +виден в машинных инструкциях getter-а. На начальном пути Unit DAT множители +единичные: `ArealMap.dll` (SHA-256 +`a25f9254ebb339d70e2e07c8121950191e9584ca0858d8e9c2e2b6c671edf6ea`) в RVA +`0x15290` передаёт в `CreateObject` три значения `1.0`. Вызов World3D +`AddObjectToGame` (`World3D.dll`, SHA-256 +`17e4a3089b2583a8cf2356c9db0390b1aba138356a09130d79b4e7e4791da61e`, RVA +`0x7ea0`) не применяет transform scale; отдельный `AddNewObjectToGame` в RVA +`0x8310` имеет ветку установки scale. AniMesh constructor (`AniMesh.dll`, +SHA-256 `65659bf67f20e5be77d67a5b2f59968f61b94293143807fa59ca451c560c4f7e`, +RVA `0x68a0`) читает три DLL scale globals, которые после LoadLibrary в oracle +равны `1.0`. В Rust одна `initial_amount_bits` запись +сохраняет это общее начальное количество; полный update, который меняет +amount и обработанное предыдущее значение, пока не моделируется. + +Licensed full-load regression `full_load_builds_effective_control_device_table_for_mine_unit_dat` +проверяет значения настоящего `min_l_n1.dat`: корневой provider row `0` даёт +`1.0`, а row `1` примонтированного `EXTO` (общий ordinal `22`) даёт `6000.0`. +Проверка использует исходные CTL/NDP/MSH и не делает выводов о динамическом +изменении этих строк. + +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) |