test(runtime): pin native Control activation clock bits

crates/fparkan-runtime/tests/behavior_distributor_tick_native_oracle.cs

@@ -2601,7 +2601,7 @@ internal static class BehaviorDistributorTickOracle {
                 wrongArguments |= self != scale; trace.Add("scale");
                 for (int i = 0; i < 3; i++) Marshal.WriteInt32(result, i * 4, FloatBits(1.0f));
             };
-            // Explicit zero-geometry host mocks: capture parameters and supply outputs.
+            // Clock/ABI-only class-4 vector: identity matrix, unit scale, zero-geometry mocks.
             InterfaceGetProperty geometryState = delegate(IntPtr self, uint first, IntPtr second) {
                 wrongArguments |= self != ani; trace.Add("geometry-state");
                 Marshal.WriteInt32(new IntPtr(unchecked((int)first)), 0);
@@ -2627,21 +2627,34 @@ internal static class BehaviorDistributorTickOracle {
             Expect(Marshal.ReadIntPtr(eventVtable, 8) == IntPtr.Add(module, 0x31ae0), "native activation event interface");
             NativeControlEvent activate = (NativeControlEvent)Marshal.GetDelegateForFunctionPointer(
                 WriteStdCallToFastcallThunk(0x380, Marshal.ReadIntPtr(eventVtable, 8)), typeof(NativeControlEvent));
-            foreach (uint clock in new uint[] { 1000, 33554433 }) {
+            uint[] clocks = new uint[] { 100, 101, 1000, 33554433, 16777217, 16777219 };
+            uint[] expectedAbsoluteBits = new uint[] { 0x42c80000, 0x42ca0000, 0x447a0000, 0x4c000000, 0x4b800000, 0x4b800002 };
+            uint[] expectedBaselineBits = new uint[] { 0x00000000, 0x3f800000, 0x44610000, 0x4bffffce, 0x4b7fff9d, 0x4b7fff9f };
+            int[] pendingAfter = new int[] { 1, 2, 2, 2, 2, 2 };
+            for (int index = 0; index < clocks.Length; index++) {
+                uint clock = clocks[index];
                 trace.Clear();
                 activate(IntPtr.Add(owner, 4), 4, clock);
-                float absolute = (float)clock;
+                uint expectedAbsolute = expectedAbsoluteBits[index];
-                float baseline = absolute - 100.0f;
+                uint expectedBaseline = expectedBaselineBits[index];
+                uint actualBaselineBits = unchecked((uint)Marshal.ReadInt32(owner, 0xe4));
+                uint actualAbsoluteBits = unchecked((uint)Marshal.ReadInt32(owner, 0xd8));
                 Expect(Marshal.ReadByte(owner, 0xe0) == 1 &&
-                    ReadFloat(owner, 0xe4) == baseline && ReadFloat(owner, 0xe8) == baseline &&
+                    actualBaselineBits == expectedBaseline &&
-                    ReadFloat(owner, 0xec) == baseline && ReadFloat(owner, 0xd8) == absolute && ReadFloat(owner, 0xdc) == absolute,
+                    unchecked((uint)Marshal.ReadInt32(owner, 0xe8)) == actualBaselineBits &&
-                    "native event 4 activates the object and initializes absolute clock baselines");
+                    unchecked((uint)Marshal.ReadInt32(owner, 0xec)) == actualBaselineBits &&
+                    actualAbsoluteBits == expectedAbsolute &&
+                    unchecked((uint)Marshal.ReadInt32(owner, 0xdc)) == expectedAbsolute,
+                    "native activation stores the original clock and baseline raw f32 words for " + clock);
                 Expect(!wrongArguments && String.Join(",", trace.ToArray()) ==
                     "transform,scale,geometry-state,geometry-set:0x00000000,geometry-point,geometry-state,geometry-set:0x3f800000",
                     "native activation zero-geometry host callback order and arguments");
-                Expect(Marshal.ReadInt32(owner, 0x370) == 1, "only first activation queues the initial command");
+                int pending = Marshal.ReadInt32(owner, 0x370);
+                Expect(pending == pendingAfter[index], "native setup uses the old +0xe4 zero check for clock " + clock);
                 Console.WriteLine("native-control-activation: eventRva=0x31ae0 handlerRva=0x314f0 class=4 clock=" + clock +
-                    " absolute=" + Float(absolute) + " e4/e8/ec=" + Float(baseline) + " e0=1 pending=1 callbacks=" + String.Join(",", trace.ToArray()));
+                    " absoluteBits=" + Hex(actualAbsoluteBits) + " baselineBits=" + Hex(actualBaselineBits) +
+                    " pending=" + pending +
+                    " callbacks=" + String.Join(",", trace.ToArray()));
             }
             GC.KeepAlive(transform); GC.KeepAlive(queryScale); GC.KeepAlive(geometryState);
             GC.KeepAlive(geometrySet); GC.KeepAlive(geometryPoint); GC.KeepAlive(activate);

docs/appendices/knowledge-boundaries.md

@@ -478,20 +478,35 @@ Control выставлен flag `0x102`, слово флагов ANI `+0x14` и
 пересчитывается при каждом принятом активном вызове. Проверены также точное
 равенство с ненулевым RNG, расход RNG при принудительном `+0xd4` и сохранение
 RNG/счётчика в неактивной ветви. Движение и очереди исключены условиями этих
-векторов; активация `+0xe0` задана явно. Отдельный вектор
+векторов; активация `+0xe0` задавалась явно. Отдельный native-вектор класса `4`
-класса `4` исполняет событие `4` через `0x31ae0` → `0x314f0`, проверяя
+вызывает `0x314f0` через синтетический owner `+4` и переходник `0x31ae0`.
-активность, начальные часы `time - 100`, округление DWORD в `f32` и одну
+Он сравнивает raw `f32` слова абсолютных часов и baseline, вычисленный до
-начальную команду. Геометрические callbacks подставлены явно, таблицы
+округления `u32` в `f32`: для `16777217` это `0x4b800000/0x4b7fff9d`, для
-устройств и shapes пусты; полный загрузочный путь не проверен. Источник времени
+`16777219` — `0x4b800002/0x4b7fff9f`. Последовательность `100`, `101` оставляет
-и доставка прослежены статически:
+`+0xe4` нулём после первого вызова, поэтому старое условие `+0xe4 == 0` добавляет
+начальную команду повторно: счётчик `+0x370` переходит с `1` на `2`. Это путь
+тестового интерфейса owner `+4`; статическая цепочка AniMesh `Agent+0x158`
+ведёт к primary Control owner slot `+0x08` напрямую в `0x314f0`. Геометрические
+callbacks подставлены явно, матрица identity и масштаб единичный, таблицы
+устройств и shapes пусты. Вектор подтверждает ABI/арифметику часов, но не
+реальную матрицу и callbacks из миссии или полный Unit DAT loader.
+
+Источник времени и доставка прослежены статически:
 World3D RVA `0x6bf0` вычисляет часы из `timeGetTime()` с игровым смещением и
 поправкой на паузу, затем выполняет первый обход `6/1`, шаг мировой физики и
-второй обход `6/0x1c`. AniMesh RVA `0x1370` передаёт часы Control; общий
+второй обход `6/0x1c`. При создании объекта World3D RVA `0x7cb0` вызывает slot
-обработчик Control RVA `0x7830` численно преобразует unsigned DWORD в `f32`
+`+0x38` с literal-null payload в `0x7d1a`, а затем передаёт в тот же slot DWORD
-перед primary slot `+0x58`. Фабрика выбирает RVA `0xcbb0` для класса `9` и
+из `DATWorld+0x32a38` в `0x7e6e`; RVA `0x7ea0` повторяет передачу часов в
-RVA `0xbcf0` для остальных. Это подтверждает статическую цепочку вызовов, но не
+`0x80a9`. Setter RVA `0x5140` записывает этот DWORD в `DATWorld+0x32a38`.
-её исполнение на миссии: связывание интерфейсов, активация устройств и shapes,
+AniMesh RVA `0x2ff0` получает для `Agent+0x158` Control base owner по QI selector
-остальные ветви `0xbcf0` и
+`0xa`, после чего `Agent` RVA `0x1a80` dispatch-ит событие `4` через его primary
+slot `+0x08` прямо в `Control.dll+0x314f0`. Это и отдельный синтетический вызов
+через owner `+4` — подтверждённые интерфейсные пути, но пока не единая трасса
+игрового старта. Control RVA `0x7830` численно преобразует unsigned DWORD в
+`f32` перед primary slot `+0x58`; фабрика выбирает RVA `0xcbb0` для класса `9` и
+RVA `0xbcf0` для остальных. Статические вызовы не подтверждают их исполнение на
+миссии: связывание реальных интерфейсов, активация устройств и shapes, остальные
+ветви `0xbcf0` и
 автоматическое изменение provider через clock и бюджет Rust остаются открытыми. Источник контактного коэффициента прослежен статически,
 но не исполнен. Подробные векторы и статические границы приведены в
 [техническом подразделе о provider-состоянии Control](script-vm.md#изменение-provider-состояния-control).

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 проходит
+scale setter `0x14770` и не пишут поля масштаба. При загрузке AniMesh получает
-`0x31b00 -> 0x314f0 -> 0x7830 -> 0xf940`, то есть в FAC0 входит с constructor
+Control secondary owner с QI selector `0xa` и сохраняет возвращённый base owner
-scales `[1, 1, 1]`. Это подтверждено только для обычной начальной загрузки и
+в `Agent+0x158`: `AniMesh.dll+0x2ff0` делает этот вызов в RVA `0x32ee..0x3300`,
-rebind; отдельные AddNewObject/mirror scale setters и более поздние placement/
+а `Control.dll+0x76f0` для selector `0xa` вычитает `0x14` из `ECX` и возвращает
-tick пути в этот вывод не входят.
+указатель. Диспетчер 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`
+Для Control класса `4` oracle вызывает исходный конструктор RVA `0x31490` и
-и обработчик интерфейса RVA `0x31ae0` → `0x314f0` с событием `4` и ненулевым
+обработчик `0x314f0` через интерфейс owner `+4`: его slot `+0x08` проходит через
-DWORD времени. Он выставляет `+0xe0` по условию `class != 0`, копирует матрицу
+переходник `0x31ae0`, который корректирует `ECX` на `-4`. Это ABI-вектор
-хоста в три transform-поля и численно преобразует беззнаковое время в `f32`.
+отдельного интерфейса. Статически восстановленная цепочка AniMesh показывает,
-Поля `+0xe4`, `+0xe8` и `+0xec` получают `time - 100`, а командные часы
+что `Agent+0x158` вызывает primary slot `+0x08` напрямую. Оба пути ведут в
-`+0xd8` и `+0xdc` — `time`. Это разные базовые значения:
+обработчик с событием `4` и числовым временем; native oracle исполняет только
+путь owner `+4`.
 
-| Вход DWORD | Абсолютное `f32` | `+0xe4`, `+0xe8`, `+0xec` |
+Обработчик RVA `0x314f0` получает unsigned DWORD, дополняет его нулевым старшим
-|---|---|---|
+словом до qword и выполняет `FILD` (`0x318d9`). Затем `FLD ST0`/`FSUB 100`
-| `1000` | `1000` | `900` |
+(`0x318e4..0x318e6`) численно вычитают `100` из ещё точного значения времени;
-| `33554433` | `33554432` | `33554332` |
+это не беззнаковое вычитание и не переполнение при времени меньше `100`. После этого
+`FST` сохраняет baseline в `+0xe4`, `+0xe8`, `+0xec`. Оставшееся исходное целое
+отдельно сохраняется в командные часы `+0xd8` и `+0xdc`. Поэтому правила таковы:
+`baseline = f32(f64(time) - 100.0)` и `absolute = f32(time)`, где `time` —
+исходный unsigned DWORD. Операция не равна `f32(time) - 100.0f`.
 
-Первый вызов при старом `+0xe4 == 0` добавляет начальную команду в очередь;
+| Вход DWORD | Абсолютное `+0xd8/+0xdc` (значение; bits) | Baseline `+0xe4/+0xe8/+0xec` (значение; bits) | Очередь `+0x370` после вызова |
-повторный вызов в этом векторе сохраняет одну запись. Хост явно подставляет
+|---|---|---|---|
-identity transform, единичный масштаб и нулевую геометрию. Oracle проверяет
+| `100` | `100`; `0x42c80000` | `0`; `0x00000000` | `1` |
-аргументы и порядок этих callbacks, а функции Control и изменения его часов
+| `101` | `101`; `0x42ca0000` | `1`; `0x3f800000` | `2` |
-остаются исходными. Таблицы устройств, shapes и дорожек пусты: их активация,
+| `1000` | `1000`; `0x447a0000` | `900`; `0x44610000` | `2` |
-полный object loader и ветвь события `4` с нулевым payload здесь не исполнены.
+| `33554433` | `33554432`; `0x4c000000` | `33554332`; `0x4bffffce` | `2` |
-Нулевой payload статически выбирает отдельную фазу связывания интерфейсов,
+| `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` задают