diff options
Diffstat (limited to 'docs/appendices/script-vm.md')
| -rw-r--r-- | docs/appendices/script-vm.md | 85 |
1 files changed, 59 insertions, 26 deletions
diff --git a/docs/appendices/script-vm.md b/docs/appendices/script-vm.md index 2111b3f..3de442d 100644 --- a/docs/appendices/script-vm.md +++ b/docs/appendices/script-vm.md @@ -1095,15 +1095,28 @@ backing. Значения `[2, 3, 5]` относятся только к нем `World3D::FUN_10007cb0` (RVA `0x7cb0`) до своего возврата посылает Agent event `0` через primary vtable slot `+0x38`. Agent RVA `0x1a80` сначала вызывает базовый обработчик `0x17df0`, затем рассылает компонентам event `4` с null -payload. Конструктор AniMesh задаёт `+0x158/+0x15c/+0x160` равными `1.0`. +payload. Позже та же функция `World3D+0x7cb0` повторяет slot `+0x38` с DWORD +времени из `DATWorld+0x32a38` (`0x7e6e`); `World3D+0x7ea0` передаёт туда же +время в `0x80a9`. Setter `World3D+0x5140` записывает входной DWORD в эту ячейку. +Нулевой вызов связывает интерфейсы, а ненулевой `NumericTime` запускает отдельную +ветвь активации. Конструктор 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 пути в этот вывод не входят. +scale setter `0x14770` и не пишут поля масштаба. При загрузке AniMesh получает +Control secondary owner с QI selector `0xa` и сохраняет возвращённый base owner +в `Agent+0x158`: `AniMesh.dll+0x2ff0` делает этот вызов в RVA `0x32ee..0x3300`, +а `Control.dll+0x76f0` для selector `0xa` вычитает `0x14` из `ECX` и возвращает +указатель. Диспетчер AniMesh RVA `0x1afb..0x1b0d` посылает через `Agent+0x158` +событие `4` в slot `+0x08`. Его base-owner vtable — Control RVA `0x3d298`, и +slot ведёт прямо в `0x314f0`; при нулевом payload исходный обработчик проходит +`0x7830 -> 0xf940`, поэтому FAC0 входит с constructor scales `[1, 1, 1]`. +Встречающиеся рядом переходники относятся к другим интерфейсам: Control owner +`+4` с таблицей `0x3d254` проходит через `0x31ae0` (adjust `-4`), а owner `+8` +с таблицей `0x3d1fc` — через `0x31b00` (adjust `-8`). Последний путь не является +вызовом через `Agent+0x158`. Это подтверждено только для обычной начальной +загрузки и rebind; отдельные AddNewObject/mirror scale setters и более поздние +placement/tick пути в этот вывод не входят. Теперь полный Rust loader вызывает FAC0 и затем FCA0 в `build_control_device_projection_with_class`, после сборки provider rows и устройств. @@ -1300,26 +1313,46 @@ Runtime сохраняет класс и источник выбора, не з #### Активация и начальные часы -Для Control класса `4` oracle вызывает исходный конструктор RVA `0x31490` -и обработчик интерфейса RVA `0x31ae0` → `0x314f0` с событием `4` и ненулевым -DWORD времени. Он выставляет `+0xe0` по условию `class != 0`, копирует матрицу -хоста в три transform-поля и численно преобразует беззнаковое время в `f32`. -Поля `+0xe4`, `+0xe8` и `+0xec` получают `time - 100`, а командные часы -`+0xd8` и `+0xdc` — `time`. Это разные базовые значения: - -| Вход DWORD | Абсолютное `f32` | `+0xe4`, `+0xe8`, `+0xec` | -|---|---|---| -| `1000` | `1000` | `900` | -| `33554433` | `33554432` | `33554332` | - -Первый вызов при старом `+0xe4 == 0` добавляет начальную команду в очередь; -повторный вызов в этом векторе сохраняет одну запись. Хост явно подставляет -identity transform, единичный масштаб и нулевую геометрию. Oracle проверяет -аргументы и порядок этих callbacks, а функции Control и изменения его часов -остаются исходными. Таблицы устройств, shapes и дорожек пусты: их активация, -полный object loader и ветвь события `4` с нулевым payload здесь не исполнены. -Нулевой payload статически выбирает отдельную фазу связывания интерфейсов, -поэтому его нельзя считать обычным ненулевым временем активации. +Для Control класса `4` oracle вызывает исходный конструктор RVA `0x31490` и +обработчик `0x314f0` через интерфейс owner `+4`: его slot `+0x08` проходит через +переходник `0x31ae0`, который корректирует `ECX` на `-4`. Это ABI-вектор +отдельного интерфейса. Статически восстановленная цепочка AniMesh показывает, +что `Agent+0x158` вызывает primary slot `+0x08` напрямую. Оба пути ведут в +обработчик с событием `4` и числовым временем; native oracle исполняет только +путь owner `+4`. + +Обработчик RVA `0x314f0` получает unsigned DWORD, дополняет его нулевым старшим +словом до qword и выполняет `FILD` (`0x318d9`). Затем `FLD ST0`/`FSUB 100` +(`0x318e4..0x318e6`) численно вычитают `100` из ещё точного значения времени; +это не беззнаковое вычитание и не переполнение при времени меньше `100`. После этого +`FST` сохраняет baseline в `+0xe4`, `+0xe8`, `+0xec`. Оставшееся исходное целое +отдельно сохраняется в командные часы `+0xd8` и `+0xdc`. Поэтому правила таковы: +`baseline = f32(f64(time) - 100.0)` и `absolute = f32(time)`, где `time` — +исходный unsigned DWORD. Операция не равна `f32(time) - 100.0f`. + +| Вход DWORD | Абсолютное `+0xd8/+0xdc` (значение; bits) | Baseline `+0xe4/+0xe8/+0xec` (значение; bits) | Очередь `+0x370` после вызова | +|---|---|---|---| +| `100` | `100`; `0x42c80000` | `0`; `0x00000000` | `1` | +| `101` | `101`; `0x42ca0000` | `1`; `0x3f800000` | `2` | +| `1000` | `1000`; `0x447a0000` | `900`; `0x44610000` | `2` | +| `33554433` | `33554432`; `0x4c000000` | `33554332`; `0x4bffffce` | `2` | +| `16777217` | `16777216`; `0x4b800000` | `16777117`; `0x4b7fff9d` | `2` | +| `16777219` | `16777220`; `0x4b800002` | `16777119`; `0x4b7fff9f` | `2` | + +Первые два времени показывают, что обработчик смотрит на старое `+0xe4 == 0`, а +не на отдельный признак активации: вызов при `100` оставляет baseline нулевым, +поэтому следующий вызов при `101` снова добавляет начальную команду. Два больших +вектора отличают исходный порядок x87 от вычитания после преждевременного +округления абсолютного времени. Часы и callbacks проверены в отдельном x86 +процессе с control word `0x007f`; контрольные слова сохраняются и +восстанавливаются. + +Хост явно подставляет identity transform, единичный масштаб и нулевую геометрию. +Oracle проверяет аргументы и порядок этих callbacks, а функции Control и запись +его часов остаются исходными. Этот синтетический owner подтверждает ABI и +арифметику часов, но не полный Unit DAT loader, host callbacks и матрицу из +миссии или первоначальную активацию в игре. Таблицы устройств, shapes и дорожек +пусты; ветвь события `4` с нулевым payload в этом fixture не вызывается. Период ресурсного обновления — поле `+8` глобального объекта настроек RVA `0x42478`. Инициализатор RVA `0x6350` и reset-метод RVA `0x6420` задают |