1 files changed, 56 insertions, 9 deletions

diff --git a/docs/appendices/script-vm.md b/docs/appendices/script-vm.md
index 60d15e1..b658348 100644
--- a/docs/appendices/script-vm.md
+++ b/docs/appendices/script-vm.md
@@ -624,12 +624,25 @@ oracle вызывает оригинальные `FUN_10010ba0` (RVA `0x10ba0`),
 `0xdc40`. Пропорциональный режим проверен на максимумах `[30, 60, 50]`, текущих
 значениях `[10, 20, 0]` и добавке `22`, результат `[14, 28, 10]`; отдельный
 вектор подтверждает последовательное заполнение вперёд и вычитание с конца.
-Проверены ограничение строк, снятие признака истощения при пополнении и порядок
-обратных вызовов. При x87 control word `0x007f` для `[2^24, 2]` с запросом `-1`
-получены значения `[16777214, 1.99999976]` и итог `16777216`: округление
-вычисленного изменения даёт `-2`. Oracle задаёт внешнюю публикацию результата
-обратным вызовом; provider строки не имеют родительских узлов и не проходят
-отдельный жизненный цикл истощения корневого объекта.
+Проверены ограничение строк, пропуск истощённых записей, их пополнение с флагом
+revive и порядок обратных вызовов. Все распределительные вызовы используют
+четвёртый аргумент `1` в `0x10f30`: фактическое изменение строки прибавляется к
+её полю `+0x10`. Для исходных значений `[2^24, 2]` и запроса `-1` получены
+`[16777214, 1.99999976]`, общий итог `16777216` и накопленные разницы
+`[-2, -2.3841858e-7]`. Проверка также подтверждает, что последовательный режим
+несёт исходный запрос между строками: сумма свободных мест `[16777216, 1]`
+округляется до `16777216`, однако запрос `33554432` заполняет обе строки.
+Oracle задаёт внешнюю публикацию результата обратным вызовом; provider-строки
+не имеют родительских узлов и не проходят отдельный жизненный цикл истощения
+корневого объекта.
+
+Агрегаты тоже округляются независимо. Начальная ёмкость `+0x58c = 33554436`
+для максимумов `[33554432, 3]` не меняется при обновлениях одной строки
+`-1, -1, -1, +3`, но текущий итог `+0x590` округляется до `33554440`.
+Следующая добавка `1` с revive использует signed capacity `-4`, выдаёт ratio `1`
+и сохраняет уже полные строки. Native oracle и Rust повторяют эту достижимую
+последовательность; отрицательный результат разности сам по себе не является
+ошибкой состояния.
 
 Для `FUN_10012a40` (RVA `0x12a40`) нативный вектор задаёт класс `4`, интервал
 `2`, коэффициент `+0x1a4` равный `1` и текущее значение `10.000001`; результат
@@ -654,14 +667,16 @@ oracle вызывает оригинальные `FUN_10010ba0` (RVA `0x10ba0`),
 хосте класса `10`, как описано ниже. Источник входного времени и порядок его
 доставки до обработчика установлены статически;
 Rust ещё не вызывает этот бюджетный цикл; отдельно перенесён прямой путь
-изменения одной строки `0x10f30`, описанный ниже.
+изменения одной строки `0x10f30` и явный шаг распределения `0x10ba0`, описанные
+ниже. Ни один из них пока не подключён к игровому Control clock.
 
 #### Прямое изменение одной строки в Rust
 
 `apply_loaded_mission_control_node_delta(engine, handle, key, delta)` моделирует
 `0x10f30` с нулевым четвёртым аргументом: накопление анимационного изменения
-`+0x10` и detached-ветвь сюда не входят. Максимум читается из исходной NDP
-строки при подтверждённых единичных множителях Unit DAT. Сначала складываются
+`+0x10` не выполняется, а текущее значение поля сохраняется; detached-ветвь
+объекта тоже не моделируется. Максимум читается из исходной NDP строки при
+подтверждённых единичных множителях Unit DAT. Сначала складываются
 `f32` amount и delta, результат ограничивается `0..maximum`; при изменении
 native `+0x590` получает `max(0, total + (new - old))`, `+0x14` — долю
 `new / maximum`, а `+0x598` становится dirty. Флаг `+0x28 & 0x10` отмечает
@@ -711,6 +726,38 @@ Native oracle отдельно подтверждает сохранение `+0
 native записывает биты `+0.0`, но сравнение количеств считает их равными:
 доля, флаги, итог и callback остаются прежними. Этот случай сохранён и в Rust.
 
+#### Распределение provider-таблицы в Rust
+
+`distribute_loaded_mission_control_provider_amount` переносит общий шаг
+`Control.dll+0x10ba0`. Режим proportional распределяет добавку по свободной
+ёмкости, а снятие — по текущему количеству строк; sequential заполняет их с
+первой и снимает ресурс с последней. Для sequential native сохраняет исходную
+величину запроса, даже когда сумма свободных мест округляется вниз.
+`revive_exhausted` включает строки с флагом истощения `+0x28 & 0x10` при добавке.
+Rust хранит максимум общей таблицы `+0x58c` отдельно от текущей суммы `+0x590`;
+для загруженных Unit DAT эти значения рассчитаны при подтверждённых единичных
+масштабах. Их разность может стать отрицательной из-за независимого округления
+изменений текущего агрегата; распределитель сохраняет такой signed capacity по
+формуле оригинала. Обновления масштабов `0x9ee0` и `0x9f90` в Rust не реализованы.
+
+Native row updater вызывается здесь с четвёртым аргументом `1`, поэтому
+изменение `(new amount - old amount)` накапливается в provider `+0x10`.
+`apply_loaded_mission_control_node_delta` сохраняет прежний четвёртый аргумент
+`0` и оставляет этот накопитель нетронутым. После всех строк `0x10ba0`
+обязательно запускает `0x11130(root, update_effects=true)`. Rust переносит этот
+проход на копии таблицы: если ему нужны неизвестное состояние, depletion
+lifecycle, FX или host callback, весь шаг завершается ошибкой без частичных
+amount, accumulator, aggregate или stage изменений.
+
+Поле `+0x618` изначально выключено; обработчик события `7` задаёт gate по
+правилу `gate = (arg == 2)` и вызывает пересчёт `0x2dc20`, только если gate
+изменился. Проекция сохраняет начальное состояние и уважает установленную
+suspension-метку. События Control пока не исполняются,
+поэтому это API остаётся явным CPU-шагом и не подключено к игровому clock.
+Тесты Rust повторяют пропорциональный вектор, накопитель `+0x10`, округление
+`2^24`, sequential capacity boundary, достижимый negative capacity и откат при
+unsupported FX/lifecycle.
+
 #### Бюджет и обновление устройства tag 15
 
 Для той же сборки `Control.dll` oracle исполняет оригинальный диспетчер