From 374db10daf5db88a52596edebc6cf5f2d560065f Mon Sep 17 00:00:00 2001 From: Valentin Popov Date: Tue, 20 Oct 2026 09:06:17 +0400 Subject: fix(runtime): model distributor share normalization --- docs/appendices/script-vm.md | 50 +++++++++++++++++++++++++++++++++----------- 1 file changed, 38 insertions(+), 12 deletions(-) (limited to 'docs/appendices/script-vm.md') diff --git a/docs/appendices/script-vm.md b/docs/appendices/script-vm.md index 4020ebb..c15b208 100644 --- a/docs/appendices/script-vm.md +++ b/docs/appendices/script-vm.md @@ -441,15 +441,36 @@ selector `1` на интерфейсе получателя становится `0x3f2aaaab`). Эти векторы проверяют арифметику исходной функции, но не распределение реальной карты. -Текущие типы Rust не дают честно наполнить этот список: мир хранит -идентификаторы и преобразования объектов, но не нужные tick ресурсные поля; -`MissionObjectDraft.properties` сохраняет сырые слова без связи с QI -`0x16`/`0x204` или свойством `0x02000100`. Методы добавления и перенастройки -строк `FUN_1001a9a0` и `FUN_1001aac0` доступны через entries vtable -`0x10059794` по смещениям `+0x0c` и `+0x10`; кто именно вызывает эти методы и -какие значения передаёт, пока не установлено. TMA-anchors и сырые preview -drafts не используются вместо неизвестной регистрации. `step_headless` по-прежнему -шагает только `World`. +Полная загрузка Rust теперь собирает этот список из runtime `ObjectHandle` и +сохраняет веса вместе с пятью исходными DWORD хвоста каждой записи. Членство +строится только для полного режима; preview остаётся статическим. Это пока не +даёт ресурсных полей и интерфейсов ArealMap для `FUN_10019e80`, а +`step_headless` по-прежнему шагает только `World`. + +### Добавление и нормализация долей + +В этой же GOG `Behavior.dll` (SHA-256 +`ddfbdbde07832358fe6e35e01c8dba9b58e7313789498b6049ed51d4ed9baf99`) +`FUN_1001aac0` (RVA `0x1aac0`) добавляет запись размером `0x1c`. Её слово по +`+0x04` — доля `f32`, а слова `+0x08..+0x18` копируются как сырой хвост. +Новая запись начинается с доли `1 / count` и нулевого хвоста. При повторном +ключе запись не вставляется снова: меняется только её доля, остальные пять +DWORD сохраняются. После каждого вызова выполняется `FUN_1001ac90` (RVA +`0x1ac90`). Она считает долю целевого ключа и записей с ненулевым первым словом +хвоста фиксированной. Если сумма остальных долей положительна, остаток от +единицы распределяется пропорционально; при нулевой или отрицательной сумме он +делится поровну между изменяемыми записями. Проверенный ветвящийся путь также +направляет unordered-сумму в пропорциональную ветвь, но стандартный набор этих +тестов содержит конечные значения. + +Инструкции Add и normalize выполнялись при x87 control word `0x007f`, то есть +с 24-битной точностью мантиссы; такой же CW измерен у оригинальной игры на +входах обоих методов. Поэтому Rust повторяет их в порядке списка отдельными +операциями `f32`, без раннего перехода в `f64`. Native x86 oracle проверяет +три последовательных Add, повторный ключ с sentinel-хвостом, фиксированную +запись, нулевую сумму и пограничный вектор округления. В последнем доли имеют +биты `[0x3f000000, 0x3f000000, 0x33000000]`. Эти сценарии сверяют локальную +арифметику на стандартных конечных данных, а не весь игровый запуск. Для проверки использованы три x86 helper-а на синтетической памяти. Caller oracle вызывает оригинальные `iron3d.dll` entry points и проверяет преобразование @@ -485,7 +506,8 @@ if ($LASTEXITCODE -ne 0) { exit $LASTEXITCODE } exit $LASTEXITCODE ``` -Отдельный oracle distributor tick компилируется и запускается так: +Native oracle Add, normalize и distributor tick компилируется и запускается +так: ```powershell $env:FPARKAN_ORIGINAL_BEHAVIOR_DLL = 'C:\GOG Games\Parkan - Iron Strategy\Behavior.dll' @@ -498,8 +520,12 @@ exit $LASTEXITCODE Oracle проверяет SHA-256 оригинального `Behavior.dll`: `ddfbdbde07832358fe6e35e01c8dba9b58e7313789498b6049ed51d4ed9baf99`. Harness -вызывает функцию по RVA `0x19e80` при единственной подмене импортного -слота `GetSystemArealMap`; машинный код tick не патчится. Проверяются нулевой +явно устанавливает x87 CW `0x007f` для вызовов Add (`0x1aac0`) и normalize +(`0x1ac90`), проверяет CW до и после каждого вызова и восстанавливает прежнее +значение перед tick suite. Для этих двух методов подменяется только bounded +вставка синтетического vector; их машинный код не патчится. Для tick helper +подменяет только IAT-слот `GetSystemArealMap` и вызывает RVA `0x19e80`. +Проверяются нулевой шаг, обе ветви селекторов скорости, пропуск состояния `0xfffe`, missing lookup, динамическое повторное чтение `0x1002`, ограниченный запас руды, разные веса, достаточное и недостаточное значение мощности. Это синтетические ArealMap -- cgit v1.2.3