feat(runtime): project load-time Control profile values
Docs Deploy / Build and Deploy MkDocs (push) Successful in 41s
Docs Deploy / Build and Deploy MkDocs (push) Successful in 41s
This commit is contained in:
5 files changed
+1435
-17
No files matched your search
@@ -540,14 +540,52 @@ resource-device значения во время игры.
|
||||
|
||||
### Профиль владельца Control из CTLD
|
||||
|
||||
Смысл отдельных слов, последующие изменения mutable-копии и чтения в Control
|
||||
`fca0/fac0` остаются открытыми. Загрузочный тест проверяет CPU-проекцию, но не
|
||||
исполнение native полного загрузчика или игрового tick. Точные writer, RVA и
|
||||
указатели описаны в [техническом разделе о загрузке CTLD](script-vm.md#профиль-владельца-control-при-загрузке-ctld).
|
||||
Общий проход оригинального `Control.dll!FUN_1000fac0` (RVA `0x0fac0`, SHA-256
|
||||
`bcb86318089028548a178b03a21accdce15df0cc85ddd91674cf3c2f55012c6e`) проверен
|
||||
прямым x86-вызовом под control word `0x007f` на synthetic backing. Оригинальный
|
||||
`AniMesh.dll` query `0x51f0` и методы диапазона component ID `0`
|
||||
`0x5780/0x57c0` участвуют в векторе; Rust воспроизводит его raw output bits и
|
||||
отдельные cache, order, clamp и signed-zero случаи.
|
||||
|
||||
Закрывающий эксперимент: трассировать `LoadControlSystem`,
|
||||
`LoadPhysicalModel`, `CreateCollManager` и создание collision objects; связать
|
||||
каждый изменяемый field с созданным shape, contact или реакцией на движение.
|
||||
Для обычной начальной загрузки scale-input тоже закрыт. AniMesh constructor
|
||||
оставляет `+0x158/+0x15c/+0x160` равными `1.0`; перед Control event `4` World3D
|
||||
проходит Agent event `0`, AniMesh RVA `0x1a80` вызывает базовый return `0x17df0`
|
||||
и передаёт event `4/null` модели, FX, CollManager и CollObject. Их проверенные
|
||||
ветви `0x75b0/0x6fc0`, Effect RVA `0x3d30`, Control RVA `0x1ce00` и `0x1fe00`
|
||||
не вызывают AniMesh setter `0x14770` и не меняют outer scale. Поэтому FAC0 в
|
||||
стандартном `LoadAgent` получает `[1, 1, 1]`. Другой маршрут
|
||||
`AddNewObjectToGame`/mirror к setter и последующие placement/tick остаются
|
||||
отдельными границами. В synthetic x86-векторе по-прежнему явно заданы `[2,3,5]`;
|
||||
он не является источником scale для полного load.
|
||||
|
||||
Смысл `Slot68 +0x30/+0x34`, tag-27 cache DWORD, owner accumulators `+0x530`,
|
||||
`+0x534`, `+0x538` и результата mutable word `26` не имеет доказанных единиц
|
||||
измерения. Неизвестные слова остаются raw; их нельзя подписывать как массу или
|
||||
площадь. Synthetic x86 vector напрямую записывает scales `[2, 3, 5]` в
|
||||
`AniMesh +0x158/+0x15c/+0x160`; это не значения обычной миссии. Проверка
|
||||
стандартных `ArealMap`/`World3D` и AniMesh callback-ветвей до FAC0 подтвердила,
|
||||
что setter не вызывается, поэтому полный начальный loader использует defaults
|
||||
конструктора `[1, 1, 1]`. Конкретный отдельный путь World3D `AddNewObjectToGame`
|
||||
и mirror-варианты передают свой transform-вектор setter-у; это отдельная
|
||||
граница, как и более поздние placement/tick.
|
||||
|
||||
Полный Rust loader теперь вызывает FAC0 при построении
|
||||
`build_control_device_projection` и публикует результат в
|
||||
`MissionControlOwnerProfile::load_projection`. Игнорируемый corpus-тест
|
||||
`full_load_builds_effective_control_device_table_for_mine_unit_dat` на лицензированном
|
||||
`min_l_n1.dat` проверяет 11 устройств, все 25 соответствий provider ordinal
|
||||
модели и упорядоченные значения `row +0x20`. Его агрегаты —
|
||||
`0x470833fc/0x4897e712/0x4d9452cb` для `+0x530/+0x534/+0x538`; исходный и
|
||||
начальный mutable word `26` равны `0x7f7fffff`. Это подтверждает Rust full-load
|
||||
результат на оригинальных ресурсах, но не совпадение с полным нативным load
|
||||
оригинала. Поведение позже при placement/tick и физический смысл raw-полей
|
||||
остаётся неизвестным. Точные RVA, owner layout и векторы приведены в
|
||||
[описании изолированного прохода FAC0](script-vm.md#изолированный-проход-fac0).
|
||||
|
||||
Остаётся сравнить этот полный mine load с original loader при тех же входных
|
||||
данных и продолжить трассировку `LoadControlSystem`, `LoadPhysicalModel`,
|
||||
`CreateCollManager` и collision objects, если потребуется связать profile words
|
||||
с shapes, contacts или реакцией на движение.
|
||||
|
||||
## DirectPlay wire
|
||||
|
||||
|
||||
@@ -977,6 +977,143 @@ Ignored Rust-тест также проходит полный неотфиль
|
||||
профилю. Это подтверждает декодирование и CPU-проекцию, но не исполнение native
|
||||
полного загрузчика.
|
||||
|
||||
#### Изолированный проход FAC0
|
||||
|
||||
В оригинальном `Control.dll` SHA-256
|
||||
`bcb86318089028548a178b03a21accdce15df0cc85ddd91674cf3c2f55012c6e`
|
||||
функция `FUN_1000fac0` (RVA `0x0fac0`) рассчитывает начальное состояние
|
||||
mutable-копии CTLD профиля. x86 oracle вызывает её с указателем owner в `ECX`
|
||||
через короткий stdcall-to-fastcall переходник. Вектор создаёт owner исходным
|
||||
конструктором RVA `0x31490`, но памяти для профиля, provider rows, device list и
|
||||
AniMesh модели выделяет искусственно. Код FAC0 и выбранные методы DLL при этом
|
||||
остаются оригинальными.
|
||||
|
||||
В используемой раскладке owner функция читает и записывает следующие поля:
|
||||
|
||||
| Смещение owner | Что находится в тестовом ABI |
|
||||
| --- | --- |
|
||||
| `+0x20` | указатель на AniMesh; в отдельном векторе здесь null |
|
||||
| `+0x46c` | указатель на исходный блок из 27 слов профиля |
|
||||
| `+0x470` | изменяемая копия из 27 слов; её word `26` находится по `+0x4d8` |
|
||||
| `+0x530`, `+0x534`, `+0x538` | три накопителя профиля |
|
||||
| `+0x55c`, `+0x560` | указатель на строки provider и их count; шаг строки — `0x2c` |
|
||||
| `+0x5b4` | необязательный указатель cache; используемый DWORD расположен по `+0x0c` |
|
||||
| `+0x5bc`, `+0x5c0` | массив указателей на устройства и его count |
|
||||
|
||||
Это описание ABI-вектора, а не отдельная публичная Rust layout-структура.
|
||||
|
||||
Для чтения MSH функции используется оригинальный `AniMesh.dll` SHA-256
|
||||
`65659bf67f20e5be77d67a5b2f59968f61b94293143807fa59ca451c560c4f7e`:
|
||||
`FUN_100051f0` (RVA `0x51f0`) запрашивает значение узла по selector `0x0f` или
|
||||
`0x10`, а `FUN_10005780` / `FUN_100057c0` (RVA `0x5780` / `0x57c0`) дают
|
||||
начало и длину диапазона глобальных узлов component ID `0`. В model data функция
|
||||
`0x51f0` читает Node38 mapping и использует два выбранных DWORD Slot68 `+0x30`
|
||||
и `+0x34` при вычислении selectors. Это opaque `opaque[0]` и `opaque[1]`, а
|
||||
не доказанные физические коэффициенты или значения, которые query возвращает без
|
||||
преобразования.
|
||||
|
||||
Slot выбирается первым словом `Node38.slot_index[state * 5 + lod]`, то есть для
|
||||
начального профиля — state `0`, LOD `0` и byte offset `+0x08` в Node38.
|
||||
`0xffff` обозначает отсутствие slot и даёт нулевые selectors без умножения на
|
||||
scales. В Rust проекции другой непригодный индекс или нечитаемая запись —
|
||||
неизвестное сопоставление, а не известный нулевой slot. Для валидной ссылки Rust
|
||||
использует `selected_slot` и сохраняет эту границу через `Option`.
|
||||
|
||||
Если три входных `f32` из AniMesh `+0x158`, `+0x15c`, `+0x160` обозначить
|
||||
`s158`, `s15c`, `s160`, а два raw Slot68 слова — `v30` и `v34`, порядок native
|
||||
умножений задаёт selectors:
|
||||
|
||||
```text
|
||||
selector F = (s15c * s158) * v30
|
||||
selector 10 = ((s160 * s15c) * s158) * v34
|
||||
```
|
||||
|
||||
Затем для каждой provider row по её global-node ordinal вычисляется
|
||||
`base = row.mobility_per_volume * selector 10`. `+0x534` накапливает selector
|
||||
`10`, `+0x530` — selector `F`, а `+0x538` — `row +0x20` после начального
|
||||
расчёта и device contributions. Если ordinal попадает в диапазон component ID
|
||||
`0`, `base` добавляется к **исходному** profile word `26`; накопление начинается
|
||||
из original CTLD copy, а не из прежнего mutable word `+0x4d8`.
|
||||
|
||||
Ненулевой cache pointer `owner +0x5b4` указывает на raw cache DWORD `+0x0c`.
|
||||
Он добавляет в каждый `row +0x20` значение `cache27 * selector F`. В
|
||||
проекции Rust последняя tag `27` запись начального append задаёт raw cache из
|
||||
`fixed_words[11]`; последующий tag `27` в `INTO` обновляет существующее значение,
|
||||
а другой tag его не меняет. Если `INTO` встречается до создания cache, результат
|
||||
профиля помечается недоступным и остаётся таким после более позднего append.
|
||||
Cache отсутствует и cache со значением ноль численно дают одинаковую добавку;
|
||||
это не превращает пропущенную ссылку в нулевые данные.
|
||||
|
||||
После начального прохода устройства читаются в обратном порядке. Каждое
|
||||
устройство берёт индекс provider row из ключа `+0x04`, а DWORD descriptor
|
||||
`+0x1c` прибавляет и к выбранному `row +0x20`, и к `+0x538`. Накопители
|
||||
складываются в наблюдаемом порядке одиночной точности; перестановка или
|
||||
переассоциация слагаемых меняет биты.
|
||||
|
||||
После вычитания `+0x538` из подготовленного word `26` отрицательный результат
|
||||
записывается как положительный ноль. Ненегативный результат, включая `-0.0`,
|
||||
сохраняет свои исходные биты. Если AniMesh pointer отсутствует, оригинальный
|
||||
word `26` просто копируется в mutable copy, и функция возвращает до этого
|
||||
вычитания. Ни слова профиля, ни cache, ни Slot68 DWORD пока не получили названий
|
||||
«масса» или «площадь».
|
||||
|
||||
Объединённый вектор под x87 control word `0x007f` задаёт scales `[2, 3, 5]`,
|
||||
Slot68 raw words `[7, 11]`, коэффициенты двух provider rows `[2, 3]`, диапазон
|
||||
component `0` `[first=1, count=1]`, cache `27 = 2`, device keys `[1, 0]` с
|
||||
descriptor values `[5.25, 0.5]`, original word `26 = 2000` и прежнюю mutable
|
||||
копию word `26 = -999`. Исходные функции выдают:
|
||||
|
||||
| Поле | Десятичное значение | Raw bits |
|
||||
| --- | ---: | --- |
|
||||
| `owner +0x530` | `84` | `0x42a80000` |
|
||||
| `owner +0x534` | `660` | `0x44250000` |
|
||||
| `owner +0x538` | `1823.75` | `0x44e3f800` |
|
||||
| `owner +0x4d8` (mutable word `26`) | `1166.25` | `0x4491c800` |
|
||||
| provider row `+0x20`, row `0` | `744.5` | `0x443a2000` |
|
||||
| provider row `+0x20`, row `1` | `1079.25` | `0x4486e800` |
|
||||
|
||||
Другие векторы показывают различие отсутствующего и нулевого cache, положительный
|
||||
ноль после negative clamp, сохранение signed zero и прямое сложение в source
|
||||
order: `2^24 + 1 - 2^24` даёт `0`, тогда как группировка `2^24 - 2^24 + 1`
|
||||
дала бы `1`. Rust helper повторяет эти тестовые биты в поддерживаемом домене
|
||||
normal-or-zero; он отклоняет непредставимые значения и промежуточные результаты,
|
||||
а не заявляет parity для каждого x87 режима или всех допустимых битовых payload.
|
||||
|
||||
Этот x86-вектор подтверждает арифметику оригинальной функции на synthetic
|
||||
backing. Значения `[2, 3, 5]` относятся только к нему; источник scales в
|
||||
обычной загрузке — другой, отдельно проверенный путь, привязанный к GOG
|
||||
сборкам: `ArealMap.dll` SHA-256
|
||||
`a25f9254ebb339d70e2e07c8121950191e9584ca0858d8e9c2e2b6c671edf6ea`,
|
||||
`World3D.dll` `17e4a3089b2583a8cf2356c9db0390b1aba138356a09130d79b4e7e4791da61e`,
|
||||
`AniMesh.dll` `65659bf67f20e5be77d67a5b2f59968f61b94293143807fa59ca451c560c4f7e`,
|
||||
`Effect.dll` `386a3e8db1ce23f61957825d633c7dae1ed40c25cab0cf10a534385fd7cee789`
|
||||
и `Control.dll` `bcb86318089028548a178b03a21accdce15df0cc85ddd91674cf3c2f55012c6e`.
|
||||
Сначала `AniMesh::FUN_10002ff0` (RVA `0x2ff0`) вызывает `LoadAniMesh`, затем —
|
||||
`LoadControlSystem` на RVA `0x32e7`. После возврата из этой фабрики обычный
|
||||
`ArealMap` путь `0x14fd0/0x15290` вызывает `World3D.CreateObject`
|
||||
(`0x7cb0/0x7a50`), который до возврата посылает Agent event `0` через primary
|
||||
vtable slot `+0x38`. Agent RVA `0x1a80` сначала вызывает базовый обработчик
|
||||
`0x17df0`, затем рассылает компонентам event `4` с null payload. Конструктор
|
||||
AniMesh задаёт `+0x158/+0x15c/+0x160` равными `1.0`.
|
||||
Обработчик модели `0x75b0/0x6fc0` привязывает интерфейсы и матрицу, Effect RVA
|
||||
`0x3d30` и Control RVA `0x1ce00` сохраняют host/service указатели, а Control
|
||||
`0x1fe00` меняет только локальный collision-флаг. Эти ветви не вызывают AniMesh
|
||||
scale setter `0x14770` и не пишут поля масштаба. После них Control проходит
|
||||
`0x31b00 -> 0x314f0 -> 0x7830 -> 0xf940`, то есть в FAC0 входит с constructor
|
||||
scales `[1, 1, 1]`. Это подтверждено только для обычной начальной загрузки и
|
||||
rebind; отдельные AddNewObject/mirror scale setters и более поздние placement/
|
||||
tick пути в этот вывод не входят.
|
||||
|
||||
Теперь полный Rust loader вызывает FAC0 в `build_control_device_projection`
|
||||
после сборки provider rows и устройств. Игнорируемый тест
|
||||
`full_load_builds_effective_control_device_table_for_mine_unit_dat` прогнан на
|
||||
лицензированном `min_l_n1.dat`: он проверяет 11 устройств, сопоставление всех
|
||||
25 provider rows и весь упорядоченный вектор `row +0x20`. Агрегаты mine равны
|
||||
`+0x530 = 0x470833fc`, `+0x534 = 0x4897e712`, `+0x538 = 0x4d9452cb`; исходное и
|
||||
начальное mutable word `26` оба равны `0x7f7fffff`. Это измеренный результат
|
||||
Rust loader-а на оригинальных ресурсах, но не сравнение полного load результата
|
||||
с оригинальным loader-ом. Имена и физические единицы полей остаются неизвестны.
|
||||
|
||||
#### Входной класс Control при загрузке Unit DAT
|
||||
|
||||
Этот класс задаётся до разбора CTLD и не выводится из device tag или MSH-
|
||||
|
||||
Reference in new issue
Block a user