feat(runtime): retain initial Control node amounts

2 files changed, 48 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, но не