diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/appendices/knowledge-boundaries.md | 9 | ||||
| -rw-r--r-- | docs/appendices/script-vm.md | 40 | ||||
| -rw-r--r-- | docs/tomes/06-behavior.md | 9 |
3 files changed, 57 insertions, 1 deletions
diff --git a/docs/appendices/knowledge-boundaries.md b/docs/appendices/knowledge-boundaries.md index 536f071..20ce4ba 100644 --- a/docs/appendices/knowledge-boundaries.md +++ b/docs/appendices/knowledge-boundaries.md @@ -331,10 +331,17 @@ 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 не реализовано. +type-1 provider value (`1.0`); дальнейшее изменение provider amount в Rust не +реализовано. Native oracle проверил изолированные пути распределения, обновления класса `4` и начальную ветвь таймера. Активную clock-ветвь не запускали; внешний источник времени и порядок вызовов остаются незакрытыми. Источник контактного коэффициента diff --git a/docs/appendices/script-vm.md b/docs/appendices/script-vm.md index 9e1691b..acb52db 100644 --- a/docs/appendices/script-vm.md +++ b/docs/appendices/script-vm.md @@ -707,6 +707,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..2eea626 100644 --- a/docs/tomes/06-behavior.md +++ b/docs/tomes/06-behavior.md @@ -882,6 +882,15 @@ 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` первый способ |