Diablo II, дни с седьмого по одиннадцатый

Пост про пятый и шестой дни остановился 16 октября в 17:53: на карте исследования 29 строк, 28 из них после ревью, а запуск по бою, первый запуск симуляции, ещё впереди. Этот пост — об остатке того вечера и о пяти днях после него, до 21 октября, 12:11. Теперь на карте 36 строк и 35 после ревью. Единственная, которая ещё нет, снова самая новая: строка chain, добавленная 20-го, для спецификаций ядра, прогнанных одной цепочкой от сида игры до дропа на полу, без единого значения, взятого из игры по дороге.

Главное отличие от прошлых постов: я не играл. В шестой день семь сессий были моими; за эти пять дней — ни одной. Список того, что делал я, короткий: вечером 16-го я одобрил шесть планов, чтобы они шли без присмотра, 20-го — ещё пять и порядок того, что осталось, 17-го выполнил одну команду от root, чтобы показать, что файрвол и так закрывает порт игры снаружи, а без этого двух клиентов в одну игру не пускали, утвердил семь ADR, которые мне принесли, дважды ставил лейны на паузу, а 20-го попросил убрать закрытое из бэклога в архив, потому что он разросся. Всё остальное ниже сделали лейны, каждый — агент со своей копией репозитория, на харнессе, то есть на игре под отладчиком с подключённым логгером, и сделали за ночи, в которые машину выключали, она спала девять часов, потом семь, а один раз осталась без памяти.

Карта работы

Семь строк новые. Две — вторая фаза симуляции, характеристики и состояния. Одна — жизненный цикл комнат, опора, о которой никто не вспоминал, пока запуск по циклу не показал, что усыплённая и разбуженная комната создаёт предметы заново. Три — новая полоса, правила игры: продвижение по квестам, перемещения и экономика предметов, две области, которые второе решение проекта в первый же день оставило за рамками. И одна — цепочка.

Каждая строка прошла те же стадии, что и раньше: статическое чтение кода с пометкой [I], запуск на харнессе под отладчиком, который поднимает воспроизведённое до [C], спецификация, ревью агентом, который её не писал. Запуски за это время:

Проверка здесь — одно значение, которое модель предсказала, а игра записала в лог. Treasure class, который в таблице встречается дважды, — это строка таблицы дропа, по которой бросает монстр или сундук. Сессии вели агенты по скриншотам, пилотом из четвёртого дня, кроме одиннадцати пакетов по навыкам: те шли в эмуляторе, о котором писал пост про шестой день, по правилу, которое 20-го расширили, об этом ниже.

Запуск по бою

Шестой день закончился тем, что формулы боя были прочитаны в коде, а запуск на харнессе ещё ждал. Его приняли 16-го в 19:26, через полтора часа после отсечки того поста: 19 сессий, 15 358 событий, ноль расхождений. В плане стояло 2 000 атак игрока, вышло 2 030; 1 000 атак монстров, вышло 4 533, потому что монстры много промахиваются: 697 попаданий против 3 836 промахов, из них 2 243 заблокированы. Каждый вид событий нужно было сцепить: сид на входе второго события предсказывается по выходу первого, не меньше двадцати пар на вид, и «каждый вид проходит порог в 20 с обоих концов».

До чего первая партия не дотянулась — до Andariel на Hell: лейну не хватило времени, две попытки, и так и записано. Недоборы взял лейн-продолжение, и в тот же вечер он остановился на «сроке владельца для машины». Он закончил к 07:56 следующего утра: 40 логов, 40 655 событий, по-прежнему ноль расхождений, и три вещи, для которых нужен был босс. Crushing blow по боссу акта, 34 события на Andariel, — одна восьмая, как и прочитано; по суперуникальным, 55 событий, тоже одна восьмая; а процент урона наёмника по ней — 50 на Normal, 35 на Nightmare и 25 на Hell, одно значение из таблицы, по номеру сложности, и именно 25 на Hell отличает этот столбец от соседнего, где стоит 20.

Запуск поймал чтение на ошибке. В чтении было сказано, что open wounds по боссу акта кровоточит в полную силу, и в спецификации тоже. А чекер был написан по проверке из кода, которая делит кровотечение пополам для любого монстра с флагами типа 0x0C, и у Andariel стоит 0x08, флаг уникального. Все 63 её open wounds были поделены пополам. Словами ревью: «„нет /2 для босса“ в находке и „боссы акта получают полную величину“ в спецификации были ошибкой, а чекер всё это время моделировал правильно». Спецификация закрылась 17-го в 08:16: 190 подтверждённых утверждений против 139 выведенных, и четыре утверждения сообщества, которые в шестой день были опровергнуты чтением, бонус класса к уровню, лечение от поглощения, crushing blow по уникальным и его зависимость от числа игроков, теперь опровергнуты запуском. Запуск по недоборам через три дня добавил чемпионов: «52 crushing blow по чемпионам сняли 1/4». Не одну восьмую.

Один монстр в модель не вписался: сессия с Fleshripper, уникальным ножом, который не даёт монстрам лечиться, оставила 101 расхождение, все в обработчике убийства, который работает в той же функции, что наносит урон, и который никто не читал. Сессию отложили, а обработчик ушёл в план по навыкам, и 20-го чтение нашло, где накладывается состояние ножа: в ветке, где бросок на попадание удался, между попаданием и блоком.

Характеристики и состояния

Вторую фазу симуляции одобрили вечером 16-го, а закрылась она 17-го в 20:06. Это та часть игры, которая всё суммирует: как бонус предмета доходит до силы того, кто его носит, и как состояние с таймером, благословение святилища, аура, проклятие, накладывается, обновляется и истекает. Восемнадцать сессий с шестью персонажами, собранными инструментами, ноль расхождений, и числа такие, какие даёт прогон дерева: 891 844 чтения характеристик в залогированных окнах, 232 042 записи в кеш, 17 634 проверки требований, 3 643 наложения состояний, из них 2 608 — обновление уже наложенного, и 6 207 длительностей аур, каждая равна задержке ауры плюс один.

Статическое чтение утверждало, что ни одна функция этой фазы не берёт случайного числа, и план превратил это в проверку: сид пишется в лог на входе и на выходе каждого вида событий. Один вид число взял. Аура с уроном, Sanctuary, берёт «одно RNG_RangeB на попадание», так что её проверили сцеплением, 746 пар. 21-го каталог уточнил: одно число на один прогон ауры, сколько бы юнитов она ни задела; пока только [I].

Три вещи из спецификации, которых игрок не угадал бы. Бонус предмета «за уровень», тот, что растёт с уровнем персонажа, «не обновляется, когда носитель получает уровень», 94 записи, подтверждено; он пересчитывается, когда предмет переложили. От эфирной скидки к требованиям, десять единиц, в запуске зависели 30 проверок: персонаж с силой от 115 до 124 против War Boots, которым нужно 125. А пересчёт всего дерева запускается каждые 136 кадров без всякого действия игрока; что его ставит в очередь, не прочитано. Справочник сообщества пишет, что операция 6 над характеристиками «не работает», а операция 7 обновляется только на клиенте; сервер считает обе, просто ни один стандартный предмет до них не доходит, потому что два аффикса, которые ими пользуются, не могут появиться. Ревью ещё вычеркнуло из чтения число «96 с при 25 кадрах в секунду» для святилища: правило проекта с шестого дня — время только в кадрах и ни в чём другом.

Комнаты, которые спят

В посте про шестой день жизненного цикла комнат нет, потому что о нём никто не вспоминал. Игра усыпляет комнату, когда рядом нет игрока, и будит, когда он возвращается, а пробуждение восстанавливает юниты: заново создаёт монстров, объекты и предметы по записям, которые она сохранила. Любая реализация обязана делать это так же, иначе игрок, который отошёл и вернулся, найдёт другую комнату. План одобрили 16-го в 21:15, и его запуск 17-го стал самым большим за эти дни: 13 сессий, 2 215 807 проверок, 2 440 комнат усыплены и 1 362 разбужены, 2 035 монстров возвращены, у каждого ровно та жизнь, которую предсказала модель.

Чтение кода ошиблось в четырёх местах, вот три из них. Восстановление предмета берёт два числа с сида игры, а простой предмет возвращается с нулевым начальным сидом. Визит игрока между двумя проходами усыпления не сбрасывает счётчик простоя. А главный сюрприз чтения, мёртвый чемпион, сохранённый и возвращённый живым, оказался невозможен: «Маска 0x18 в проверке сохранения — это „особый или миньон“. У каждого залогированного чемпиона стоит 0x08, так что мёртвый чемпион не сохраняется никогда».

С сообществом спецификация цикла комнат расходится как раз в том, что игроки повторяют часто. Про уровень без флага SaveMonsters говорят, что он оставляет монстров «ранеными»; в 1.14d «любой другой живой монстр усыплённой комнаты освобождается без записи, а комната заново не заселяется, так что он исчезает, а не ранен». Про Blood Raven говорят, что через двадцать минут она снова с полным здоровьем; правило такое: восстановленный монстр сохраняет записанную жизнь, если между сохранением и восстановлением прошло меньше 7 500 кадров, иначе получает максимум. А Prevent Monster Heal якобы сбрасывается, если отойти слишком далеко: по расстоянию не сбрасывается ничего, «усыплённый и разбуженный монстр — это новый юнит».

Один случай запуск не достал: монстр, который идёт за игроком в город. Пакет-продолжение попробовал три сессии на Hell 17-го и закончил 18-го: 675 849 проверок и единственное ненулевое число расхождений у законченного запуска за эти дни, четыре. Все четыре объяснены одинаково: бит флага, который восстановление не копирует обратно, четыре записи из 1 689. Преследователь ни разу не прошёл через город, и прогон по 106 раскладкам городов без игры показал, почему это невозможно: из 93 944 пар клеток ни один маршрут через город не короче, потому что «внутренность каждого города встречается с соседним уровнем в одних воротах». Пакет заодно вычитал, что уборка истёкших предметов идёт каждые 1 500 кадров, а не каждые 20, как было в чтении; 20 — это таймер квестов рядом. Это остаётся выведенным: запуск исключает 20, не подтверждая 1 500.

У запуска был сбой, и сбой стал правилом. Один запуск игры наложился на идущую сессию разработки на том же слоте харнесса, убили обоих, а частичный лог наложившегося запуска удалили. Теперь в руководстве по игре на харнессе написано: «Частичные логи сохраняются. Прерванная сессия или сессия, которая наложилась на другую на том же слоте, оставляет частичный лог: хранить его… и никогда не удалять». А третью сессию на Hell убили 17-го в 21:38, когда машина выключилась посреди её второго захода, ухода из комнаты и возвращения; её частичный лог вошёл в запись, а черновик лейна, лежавший во временной папке, пропал, и его переписали по якорям.

Ревизия

В шестой день появился план 0038: ревизия 1 526 выведенных утверждений, которые ещё оставались в спецификациях после ревью, разложенных по пакетам: статическим, где доказательство уже лежит в сохранённом логе или во втором источнике, и пакетам на харнессе, которым нужны новые сессии. К отсечке того поста прошли два пакета. За эти дни прошли ещё восемнадцать.

Два пакета шли не в игре, а в эмуляторе, способом, который ADR-0015 разрешил в шестой день: одна функция бинарника за раз, в эмуляторе процессора из Ghidra, на входах, которые выбрал пакет, с трассировкой каждого чтения памяти. Первый прогнал 28 643 случая по десяти семействам функций, и каждый сошёлся бит в бит, а отрицательный контроль упал, как и должен. Второй добавил 18 800 случаев и директиву guard: случай, у которого счётчик команд доходит до фатального пути, останавливается, а не блуждает дальше. Он же нашёл предел самого эмулятора: по его модели команд деление наименьшего 32-битного целого на минус единицу возвращает ноль там, где настоящий процессор уходит в исключение. «Это не меняет ни одного решения, так что владельцу ничего не выносим».

Два утверждения вернулись опровергнутыми. В спецификации сидов было сказано, что сид от 2³¹ и выше задаётся в командной строке своим отрицательным десятичным значением. Запуск показал, что парсер копирует текст ключа только до следующего дефиса, так что -seed -1 приходит пустым, читается как ноль, и игра берёт часы; значение от 2³¹ и выше обрезается до максимума. Из командной строки воспроизводимы сиды от 1 до 0x7FFFFFFF. А в спецификации Куба было написано, что поиск места для коровьего портала берёт число; не берёт, число берёт объект портала, 171, 173 и 171 шаг в трёх открытиях. Пакет по treasure class нашёл именно такое завышение, ради которого ревизия и нужна: ограничитель в броске качества, про который в заметке к шагу стояло «ни разу не сработал в запусках», срабатывает в 667 бросках пакета и в 138 меняет результат. Заметка была верна для двух запусков по качеству, на которых её написали неделей раньше.

Когда пакеты спецификации легли, её перетегируют и пересчитывают шапку:

Опись на отсечке: 567 утверждений в статических пакетах, 526 в пакетах на харнессе, 414 заблокированы и 17 подняты самой описью. Из заблокированных у 288 до доказательства не добраться, 73 нужна подменённая таблица, 28 нужна симуляция, 7 нужны два игрока в одной игре и 10 нужна моя игра. В шестой день впереди был двадцать один пакет на харнессе; осталось двенадцать, в порядке, который я задал 20-го: сначала ядро и опоры.

Правила игры

Второе решение проекта в первый день очертило рамки вокруг создания: предметы, монстры, уровни. Шестой день добавил симуляцию. Вечером 16-го третье решение, ADR-0017, добавило то, что в ADR названо правилами игры, две области и три строки на карте, вне порядка фаз симуляции: продвижение по квестам с перемещениями и экономика предметов. Довод: «Реализация, в которой есть каждый путь создания, но нет продвижения по квестам, вейпоинтов и цен, — это не игра, в которую можно играть, и именно на эти дыры тот, кто переписывает игру, натыкается в первую очередь после генератора мира». Правило о доказательствах зависит от формы утверждения. Функция, которая считается один раз, цена, стоимость починки, количество золота, воспроизводится так же, как путь создания; изменение по событию, бит квеста после убийства, очко прочности после удара, воспроизводится по событиям по правилу симуляции. И ADR называет цену: «Квесты зашиты в код. Таблицы квестов нет; 1.14d встраивает колбэки каждого квеста прямо в код».

Квесты и перемещения

Три запуска, 17-го, 18-го и 19-го: 11, 21 и 13 сессий, 45 714 проверок, ноль расхождений. В статическом чтении квестов 596 символов, а спецификация, которая из него вышла, самая «выведенная» на карте, 322 выведенных против 117 подтверждённых, потому что колбэки каждого квеста — это код, и очень многих колбэков ни одна сессия не коснулась.

Что решили запуски. Портал в город берёт три числа, а не пять, как было в чтении: «Оба конца выходят из SUnitCreate уже в своём режиме… так что числа не берёт ни создание, ни следующий за ним SetMode». Дверь на Arreat Summit читает один байт, личный бит квеста 35 «выполнено в этой игре», и не пустила обоих персонажей, собранных для проверки: одного с пустым словом квеста, другого со всеми выполненными квестами. Обработчик квеста 11 пишет бит в слово квеста 12, пока квест 11 выключен, 44 записи. Камни Тристрама нужно трогать в определённом порядке, и порядок — это число с сида квестов, взятое один раз за игру при первом использовании расшифрованного свитка. Перемещение Tyrael в Harrogath — не строка в его меню: в стандартном меню строки перемещения нет, а перемещает объект портала рядом с ним. А задержка после объявления враждебности, которую сообщество называет десятью секундами на выход из города: «подтвердилось для вейпоинтов (10 000 мс), опровергнуто для порталов: ворота портала ждут 5 000 мс».

Две вещи о методе. Ревью третьего запуска понизило строки меню, подтверждённые по скриншоту: «Скриншота для [C] недостаточно». А ночь с 18-го на 19-е стала первой из плохих ночей этих дней: машина ушла в сон примерно на девять часов, игра закрылась, а драйвер продолжал кликать в окно, которого больше не было, пока главная сессия не убила его в 07:23. Теперь у каждой сессии есть сторожевой таймер.

В первом запуске до Hell не дошла ни одна сессия: «скриптовый проход к городскому вейпоинту не удался в пяти запусках на Hell». В третьем дошли две. Ни один вейпоинт не был активирован из спящего состояния, потому что каждый вейпоинт, который встретили сессии, уже был активен. А шаги с боссами в квестах, убийства, которые переключают биты квеста, отмечены как кандидаты на мою игру с пометкой «По-прежнему необязательно». Я их не сыграл.

Экономика

Покупка, продажа, gamble, починка, наём и воскрешение наёмника, золото на полу и золото, потерянное при смерти, и износ предметов в бою. Запуск начался 17-го, переходил из лейна в лейн и закрылся 19-го: 26 525 вызовов расчёта цены по 3 762 различным входам, 138 сумм «починить всё», 22 найма, 14 воскрешений, из них в 4 отказано, 20 потерь при смерти, 1 061 бросок прочности и 1 412 событий износа, ноль расхождений. Второй запуск в тот же день добавил 7 376 вызовов расчёта цены для случаев, которые первый пропустил: крафтовые предметы, починка на Hell, gamble на 3-м уровне.

Спецификация экономики сверила с кодом 22 утверждения сообщества:

Опровергнутые:

• Эфирный предмет продаётся на 25 процентов дешевле. Он продаётся за четверть: цена продажи сдвигается вправо на два бита. Классовый предмет делится на четыре ещё раз.
• Эфирное метательное оружие всегда стоит одну монету. Стопка эфирных дротиков ушла за 1 040 у каждого из пятнадцати торговцев.
• Множитель цены у аффикса считается в долях от 1 024 при покупке и от 4 096 при продаже. Все три значения делятся на 1 024.
• Столбец gamble cost — это цена gamble. Он читается только для колец, амулетов и предметов версии 0; любая другая цена gamble вычисляется.
• Броня изнашивается по весам слотов 2, 3, 2, 1, 1, 1 для головы, тела, щита, пояса, ног и рук. В таблице в бинарнике семь слотов с весами 3, 5, 4, 4, 2, 2, 2, и 964 из 964 выборов износа в запуске назвали слот, чей предмет потом и изнашивался.

Что подтвердилось точно: 4 процента на износ оружия и 10 на износ брони за удар, потеря при смерти в min(L, 20) процентов с сохранением 500 золотых за уровень в одиночной игре, цена воскрешения L² / 2 × 15 с потолком в 50 000. И «„Sell mult“ — это цена покупки». Есть функция, которая берёт деньги за лечение, и её никто не вызывает: 1.14d лечит бесплатно. В одном чтение кода ошиблось, и первая же проверка это поймала на четырёх провалившихся воскрешениях: отказанное воскрешение ничего не берёт и никого не воскрешает, чего в находке не было. И деталь клиента, которую запуск заметил по дороге: он спрашивает «Repair… Gold: cost — Yes / No», даже когда заплатить нечем.

Два игрока в одной игре

ADR-0008, харнесс на два клиента, висел в статусе «предложен» со второго дня, а принят был 16-го, с одним условием: прежде чем какая-либо сессия создаст игру, лейн убеждается, что порт 4000, порт игры, недоступен снаружи машины, и записывает, как проверял. Это и была моя единственная команда от root за эти дни, 17-го. Запись цитирует вывод ufw status verbose построчно, «Default: deny (incoming)», единственные разрешённые порты, и заканчивает: «Ни одно правило не называет 4000, ни один диапазон его не содержит, и у каждого правила указан порт. Значит, TCP 4000 отбрасывается на каждом интерфейсе, кроме loopback… Условие ADR-0008 выполнено». В запросе лейна было сказано: «Больше ничего не просим: ни зонда снаружи, ни второй машины».

Сам запуск был 20-го: 19 сессий с двумя настоящими клиентами на двух слотах харнесса, причём второго игрока вели по логу первого, потому что у второго нет отладчика; 417 убийств в группе с дропом, 46 событий ассортимента торговца при двух игроках, 385 делений опыта, 12 записей квестовых битов при обоих игроках в игре, 230 атак одного игрока на другого, у каждого чекера ноль расхождений. Четыре раза чекер пришлось менять, и каждый раз ревью постановило: «ошибался чекер, а не игра»; в одном был зашит один игрок. Что нашли два клиента, чего один не мог: доля опыта в группе считается 80-битным произведением доли и уровня с плавающей точкой, без округления до 32 бит, и 98 входов разводят эти два варианта; стандартный клиент не даёт объявить враждебность вне города; у мёртвого игрока свой режим, 17.

Ревью нашло и то, что скрипт, проверявший файрвол перед каждой сессией с открытием игры, всегда завершался с нулём, так что проверка, в которую он был встроен, не остановила бы ни одной сессии. Теперь он падает при любой ошибке, а по правилу его нельзя вызывать без || exit 1. Перетегирование подняло 28 утверждений по одиннадцати спецификациям, случаев с двумя игроками, которые ревизия держала заблокированными, стало 7 вместо 14, и план закрылся 20-го в 15:23. Четыре случая, где два игрока нужны у босса, оставлены мне, «Ничего не блокируют».

Навыки, в двух планах

Третья фаза симуляции — навыки и снаряды, и она больше двух первых вместе: 357 навыков, 64 различные стартовые функции и 138 функций действия на сервере, 684 строки снарядов со своими функциями движения, попадания и урона. ADR-0020, принятый 20-го, делит её надвое: «Если читать ADR-0014 буквально, он держал бы ИИ монстров (фазу 4), пока у каждой из этих функций не появится спецификация после ревью». План 0045 — машинерия, диспетчеризация, сетевые пакеты, снаряды и обработчики событий, и его спецификация считается спецификацией фазы; план 0046 — каталог каждой нумерованной функции, и он идёт рядом с четвёртой фазой, не блокируя её. В тот же день я поменял местами фазы четыре и пять: анимация и тайминг кадров раньше ИИ монстров, «потому что таймингу навыков и боя сначала нужны счётчики кадров».

Статическая фаза машинерии закрылась 20-го. Прогрессивное добивание число с сида не берёт, а подглядывает: сид сохраняется и восстанавливается. Из 61 утверждения сообщества о навыках и снарядах 27 подтвердились, 25 подтвердились с уточнением, 5 опровергнуты и 4 не покрыты, всё по чтению кода и с пометкой «выведено», с оговоркой в находке: расхождение с источником сообщества «может быть изменением из Resurrected». Опровергнутая пятёрка, теперь каждое — случай для фазы на харнессе: уровень поднятого скелета — не уровень заклинателя, а min(max(L × 3/4 + уровень навыка, 1), L); скорость снаряда — (VelLev × lvl) / 8 + Vel, сдвинутое влево на восемь, а не Vel плюс VelLev за уровень; Accel прибавляется на каждом пятом шаге пути, а не каждый кадр; у LevRange нет минус единицы; а снаряд, который промахнулся с пробиванием, освобождается на этом юните, а не летит дальше.

Каталог — это 310 записей, и идёт он в эмуляторе, потому что функцию, создающую снаряд, нельзя тысячу раз прогнать в игре с выбранными входами, а в эмуляторе можно. Пятнадцать пакетов; к отсечке приняты одиннадцать, 230 записей из 310, 99 450 случаев, ноль расхождений. Первую сессию пакета по амазонке убил менеджер памяти до проверки; сохранённый прогон — второй.

После первого пакета понадобился ADR. Большинство функций каталога кончаются вызовом, входы которого нельзя объявить: выделение юнита, планировщик пути, спавн монстра, и лейн останавливал свои случаи на этом вызове и заявлял только то, что происходило до вызова. Ревью решило, что это «не отвечает ADR-0015 (1) и (3) в том виде, как они написаны», оставило утверждения пакета на «выведено» и написало для меня ADR-0021: случай может заканчиваться на наблюдаемой границе, входе в названную вызываемую функцию, где эмулятор останавливается перед первой командой и записывает регистры, стек и память, а на то, что после вызова, утверждение не распространяется: «ничего после вызова». Отвергнутый вариант: прочитать старое правило так, будто оно это уже разрешает, «расширять правило о доказательствах толкованием — дело ADR, а не ревью». Я принял его 20-го в 14:56, и утверждения пакета перешли в подтверждённые без повторного прогона.

Что эмулятор нашёл такого, чего чтение не видело: функция действия у Fend, Zeal и Fury «возвращает 0 на каждом пути»; две стартовые функции передают ноль как attack rating в проверку попадания в ближнем бою, так что бонус Power Strike к попаданию до неё не доходит; бросок стихийного урона у одной функции делается один раз за прогон, а не на каждый юнит, тогда как в спецификации характеристик стояло «на попадание»; попадание Blade Fury создаёт снаряд класса 0, а это стрела; снаряды-кольца никогда не проверяют счётчик шагов, так что счётчик ноль не заканчивается никогда. И одно для паладинов: функция, которую Raise Skeleton и Revive выполняют раньше всего остального, «бьёт заклинателя-игрока класса 3 на maxhp / 8», а класс 3 в порядке классов — паладин; выведено: ни один случай не прогнал это с паладином.

От сида к миру

Каждую спецификацию ядра проверяли с оракулами на границах: там, где значение порождает другая спецификация, его брали из игры, а не предсказывали. Запуск по treasure class читал сид монстра из лога; запуск по дропу читал сид предмета. Так и задумано, ADR-0004, и это оставило вопрос, которого планы никогда не задавали: стыкуются ли спецификации друг с другом? План 0048 его задаёт. Его фаза 0 пересчитала оракулы по спецификациям ядра, 31, и десять из них решила убрать. Фаза 1 убрала восемь: модификаторы посохов, сид юнита после создания, монстров окна пресетов, одну функцию объектов, юниты одного пути расстановки, сид другой комнаты как состояние цепочки, сиды золотых предметов, дроп объекта. Два не получилось: один читается и по-прежнему логируется, один назван и не смоделирован. Инструмент, который гонит цепочку, называется tools/chain.py.

Планка фазы 2 — первое место, где проект требует всё сразу: «2 000 заселений комнат от сида игры до конца (без оракула сида в окне); 300 созданий объектов; 100 особых монстров…; 500 дропов, предсказанных от залогированного сида умирающего юнита через treasure class, качество, аффиксы, уникальность или сет и броски свойств без оракула сборщика». Запуск 1 начался 20-го и шёл всю ночь. Одну сессию оборвало в 20:12, когда менеджер памяти убил агента лейна вместе с драйвером, а игра шла дальше без пилота, пока её не остановил таймер. Другая пережила семичасовой сон машины и прошла проверку без расхождений. Итог: 28 логов, 26 проходят, 156 уровней каждого типа генератора в каждом акте и на каждой сложности, 9 057 объектов, 44 группы чемпионов и 110 уникальных со 147 бросками модификаторов, 849 дропов с монстров с 951 предметом, 2 514 вызовов treasure class и 1 286 созданий предметов, ни одного провала. В двух логах по одному расхождению в модели объектов, и собственное объяснение лейна было ошибочным; по чтению ревью, оба кандидата — монстры, созданные заново после того, как их комнату усыпили и разбудили, «у пересозданных нет строки CM и нет смоделированной отметки». До планки не хватило: 1 222 заселения из 2 000, это ещё около шестнадцати сессий. Запуск 2 сейчас на слоте 1. Строку chain добавили в полосу ядра на ревью фазы 0, поэтому на карте одна строка без ревью.

flowchart TB
gs["сид игры"] --> lv["сиды и раскладки уровней: drlg/overview, preset, maze, outdoor, warps"]
lv --> ob["объекты, сундуки и святилища: objects"]
lv --> pop["заселение комнат: monsters/pool, spawn, special, stats"]
pop --> kill["монстр умирает: его залогированный сид"]
kill --> tc["treasure class и NoDrop: items/tc"]
tc --> q["качество: items/quality"]
q --> af["аффиксы, уникальные и сеты, свойства"]
af --> floor["предмет на полу со своими характеристиками"]

Как это было организовано

Лейны шли как в шестой день: не больше двух лейнов на харнессе, на слотах 1 и 2, слот 0 мой, не больше двух статических лейнов с Ghidra, у каждого лейна своя копия репозитория, ревью архитектором в порядке поступления, и правило с 20-го: фазу, чьё предусловие ещё не легло, пропускают, а не ждут. Что изменилось — ревью теперь считают. 17-го появился журнал: по строке на лейн и по строке на ревью от проверяющего агента, которого проект называет архитектором: токены, вызовы инструментов, минуты, вердикт и правки по категориям. За эти дни в нём 121 строка лейнов и 107 ревью. Два вердикта — «принято» без оговорок, шесть лейнов влиты без ревью: пять учётных и один по моей просьбе, ни одного «отклонено», остальные 113 — «принято с правками», всего 514 правок.

У журнала есть назначение помимо счёта: каждые несколько ревью проверяющий читает его последние строки и превращает любую правку, встреченную дважды, в правило в собственном списке того лейна, а правило, которое не повторилось за тридцать ревью, убирает. Списки теперь есть, по одному на каждый навык лейна, и у каждого правила написано, на каком лейне его увидели. Из списка реверсера: «Новое чтение кода — это [I]. Для [C] нужен названный второй источник». «Пересчитывать каждое число по бинарнику сохранённой командой, никогда по памяти и никогда по частичному просмотру». «„Никогда“, „только“, „нет X“: говорить, что именно разделяет запуск. Если один случай несёт оба чтения (у Andariel и флаг 0x08, и boss), эта половина остаётся на [I]». А из списка самого архитектора, который он называет своими слепыми пятнами: «Утверждение, решённое на ревью, получает ту же проверку, что и у лейна». «Оценки в плане помечать как оценки».

Бэклог дважды менял форму. 17-го это был один файл в 730 строк и 519 записей, 464 из них вычеркнуты, за два дня в него добавили около 170 записей и «почти каждое вливание лейна конфликтовало в этом файле». ADR-0018 сделал по файлу на запись, без общего оглавления в репозитории, «потому что общее оглавление вернёт ту же горячую точку». Через три дня в папке лежали 55 открытых и 80 закрытых записей, я сказал, что она разрослась, и ADR-0019 перенёс закрытые в архив. На отсечке: 43 открытых, 186 в архиве.

И ночи. 17-го: выключение около 21:38, которое убило сессию на Hell посреди захода. С 18-го на 19-е: девятичасовой сон. 19-го, в воскресенье: к десяти утра три лейна «остановились на лимите использования владельца», то есть на лимите моей подписки, и после этого не легло ничего. 20-го: сбой отладчика под Wine посреди пакета, гонка потоков в gdb 18.1; в 20:12 менеджер памяти убил всех агентов разом, без заметки для продолжения; а с 23:17 до 06:20 машина снова спала, так что журнал записывает 428 из 624 минут одного лейна как сон. Ни одно утверждение от этого не потерялось.

Числа

В шестой день в находках было 1 150 подтверждённых утверждений против 1 189 выведенных. Теперь 2 540 против 2 667, и доля та же, 49 процентов, потому что каждое чтение новой области приходит выведенным, а запуск подтверждает часть. Спецификации, которые и есть результат, прошли от 2 546 подтверждённых и 1 539 выведенных к 3 791 и 2 322. Именованных адресов в Game.exe стало 3 373 вместо 1 814, инструментов 170 вместо 91, рецептов сохранений 233 вместо 112, закрытых планов 44 вместо 36. Вики, про которую в шестой день я написал, что она хорошая и её нужно дорабатывать, получила страницы про бой, характеристики и состояния, квесты и экономику.

Что открыто

• Запуск по навыкам. Фаза плана 0045 на харнессе ждёт оба слота: пять опровергнутых утверждений о снарядах, Blaze, навык, который ни один запуск не применял, и обработчик того Fleshripper. Три строки навыков появятся на карте, когда она начнётся.
• Последние четыре пакета каталога: предметы с Unsummon, потом ещё три.
• От сида к миру, запуск 2: отметки пересозданных монстров в логе и в модели, перепроверить два расхождения, около шестнадцати сессий.
• Оставшиеся пакеты ревизии, двенадцать, и 414 заблокированных утверждений, десяти из которых нужен я.
• Фазы четыре и пять, анимация и тайминг кадров, потом ИИ монстров: плана пока нет; решение о конвейере фаз позволяет плану четвёртой фазы пойти следом за запуском по навыкам.
• То, что сыграть могу только я, всё помечено как необязательное: кузница, Andariel и Ancients со вторым игроком, шаги с боссами в квестах, пара сессий с Diablo из пакета по квестовым дропам и сессия у Hellforge на Hell ради одного свойства treasure class, где пилот «погиб на 19-м переходе в River of Flame».

Воксельный движок прожил свои пять дней в другом репозитории и прошёл от версии 0.3 до 0.24.