diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/appendices/knowledge-boundaries.md | 29 | ||||
| -rw-r--r-- | docs/appendices/script-vm.md | 98 | ||||
| -rw-r--r-- | docs/tomes/06-behavior.md | 26 |
3 files changed, 143 insertions, 10 deletions
diff --git a/docs/appendices/knowledge-boundaries.md b/docs/appendices/knowledge-boundaries.md index 536f071..d4a620f 100644 --- a/docs/appendices/knowledge-boundaries.md +++ b/docs/appendices/knowledge-boundaries.md @@ -331,16 +331,31 @@ sidecar недоступен, запрос `0xe00` сообщает это от остаётся статическим выводом по RVA `AniMesh.dll+0xa460`, а последующие изменения в полном Control/animation tick-е не проверялись. +Для provider-строки Rust также хранит одно `initial_amount_bits`. Нативный +`Control.dll` `FUN_1000f940` (RVA `0xf940`) кладёт результат selector `3` в +текущее и обработанное значения строки; при подтверждённых единичных множителях +это raw `max_volume` NDP. Последующее обновление меняет оба native поля, поэтому +снимок не моделирует вместимость или изменяемый Control amount. + Rust query обращается к загруженному объекту и поддерживает `0xe00` только для текущего descriptor tag `26` с factory tag `26`; другие активные typed tags и factory paths остаются явными границами. Этот запрос возвращает начальный -снимок provider amount; дальнейшее изменение строк в Rust не реализовано. -Native oracle проверил изолированные пути распределения, обновления класса `4` -и начальную ветвь таймера. Активную clock-ветвь не запускали; внешний источник -времени и порядок вызовов остаются незакрытыми. Источник контактного коэффициента -прослежен статически, но не исполнен; синтетические provider-строки не имеют -родителей, а родительская логика и lifecycle истощения не проверены. Подробные -векторы и статические границы приведены в +type-1 provider value (`1.0`); дальнейшее изменение provider amount в Rust не +реализовано. +Native oracle проверил изолированные пути распределения, обновления класса `4`, +стадийную арифметику `0x11220`, обход дочерних provider-строк `0x11130` и +visibility transition `0x11920` с исходными AniMesh callbacks. Эти сценарии +используют синтетические NDP/Node38-строки; они подтверждают локальные переходы +и порядок вызовов, но не полную загрузку или выполнение Control на миссии. Вызовы +`0x11220` используют `updateEffects = false`, что исключает ветвь Control FX и +`0x11af0`; в отдельном сценарии класса `9` `0xfca0` возвращается сразу после +смены видимости, поэтому связанное с ним движение не проверено. Хотя у строки +Control выставлен flag `0x102`, слово флагов ANI `+0x14` и производные байты +`+0x111..+0x113` изначально равны нулю. Вызовы AniMesh `0x93c0` и `0xa2a0` обновляют производную геометрию и +видимость, это отдельная непроверенная граница, а не FX callbacks. Активную +clock-ветвь не запускали; внешний источник времени и порядок вызовов в игре +остаются незакрытыми. Источник контактного коэффициента прослежен статически, +но не исполнен. Подробные векторы и статические границы приведены в [техническом подразделе о provider-состоянии Control](script-vm.md#изменение-provider-состояния-control). Отдельный API `advance_loaded_mission_resources` принимает явное время очереди diff --git a/docs/appendices/script-vm.md b/docs/appendices/script-vm.md index 9e1691b..0f5994b 100644 --- a/docs/appendices/script-vm.md +++ b/docs/appendices/script-vm.md @@ -640,9 +640,61 @@ 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 @@ -707,6 +759,46 @@ Runtime временно собирает mesh-состояния в поряд также не меняет существующий `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, но не diff --git a/docs/tomes/06-behavior.md b/docs/tomes/06-behavior.md index bb0a6fe..0ebbbf7 100644 --- a/docs/tomes/06-behavior.md +++ b/docs/tomes/06-behavior.md @@ -882,12 +882,38 @@ initial_mesh_state: Option<MissionControlNodeInitialMeshState> начинает с локального узла `1`. Это описывает исходную настройку: код пока не переключает стадии в ходе игры и не исполняет полный Control tick. +На той же начальной стадии Control вычисляет количество строки по NDP +`max_volume`. Для загрузки Unit DAT проверенные множители равны `1.0`, поэтому +количество совпадает с исходным значением NDP. Оригинал начинает с одинакового +текущего и последнего обработанного количества; Rust сохраняет его один раз как +`initial_amount_bits`. Это исходный снимок, а не неизменяемая вместимость: +позднее Control меняет оба количества. В лицензированном `min_l_n1.dat` +проверены, например, root row `0` со значением `1.0` и строка `EXTO` с local +row `1` в общей позиции `22` со значением `6000.0`. + После загрузки количество в строках может меняться. Контроллер распределяет добавку либо пропорционально свободному месту, либо по очереди: при максимумах `[30, 60, 50]`, текущих значениях `[10, 20, 0]` и добавке `22` первый способ даёт `[14, 28, 10]`. При вычитании последовательный способ начинает с последней строки. Так одна таблица описывает и текущее значение, и то, как оно меняется. +У строк есть и связи с родительскими узлами. Когда стадия родителя меняется, +Control пересчитывает дочерние строки в глубину: ребёнка вместе со всем его +поддеревом, затем следующего ребёнка. Для числа вариантов `count` внутренняя +стадия вычисляется как `count - ceil(f32(count * ratio))`, а видимое значение +ограничивается диапазоном модели. Например, при трёх стадиях доли +`[0.1, 0.4, 0.5, 1, 0]` дали `[2, 1, 1, 0, 3]`; последнее значение — sentinel +истощения, а в модель передаётся индекс не выше `count - 1`. Нативные проверки +подтвердили порядок обхода и передачу состояния в AniMesh. + +Выбранная стадия также задаёт, какие данные MSH попадают в пересчёт видимости. +У одного синтетического узла первый слот давал `[42, 330]`, а слот другой стадии — +`[102, 570]`. В проверенных векторах одинаковые данные при скрытии и повторном +включении восстановили суммы; переходы с разными слотами — нет. Эти проверки +исполняют исходные DLL на тестовых строках, но не являются запуском Control на +полной миссии; Rust пока сохраняет только начальное состояние provider-строк. +Подробные границы приведены в [техническом приложении](../appendices/script-vm.md#родители-стадии-и-видимость-provider-узлов). + Для точного повтора важен порядок округления. При исходных значениях `[2^24, 2]` и запросе `-1` оригинал сначала складывает общий итог с изменением, затем вычитает прежний итог. Из-за округления фактическое изменение получается `-2`. |