feat(report): сравнение с точным оптимумом очереди в каждом прогоне

[retrobich921]

Что и зачем

Эталон min-cost flow (Analytics::AssignmentBound) существовал с самого начала, но был доступен только командой bound и никуда не попадал — ни в отчёт, ни в сводку. Организаторы на чекпоинте 3 просили одну особенность, поданную ближе к концу презентации. Производительность на эту роль не годится: очередь будет маленькая («там не очень большое будет», 08:24), и 10 600 заявок/с жюри не заметит.

Вместо неё показываем то, чего нет ни у кого: роутер знает, насколько он близок к математическому пределу.

Как

• Runner#route считает AssignmentBound на своих же решениях и кладёт в отчёт блоком optimality. Runner#bound теперь достаёт готовый результат вместо повторного прогона роутинга.
• Видно в трёх местах: optimality в routing_report.json, карточка в HTML-дашборде, строка в сводке CLI.
• gain_matrix больше не ищет заявку линейным поиском на каждую пару «банк × провайдер» — иначе расчёт в основном прогоне стоил бы O(банки × провайдеры × заявки).

Что было неправильно в первой версии

Считал долю от quota_optimum — «оптимума при тех же целевых долях». На очереди в 200 заявок роутер обошёл его (147.74 против 141.77), и клэмп прятал это за «100%». Причина: доли у роутера мягкая цель, а у эталона были жёстким ограничением — он решал более стеснённую задачу.

Знаменателем стал free_optimum: наше распределение допустимо в его задаче, поэтому это настоящая верхняя граница и превысить её нельзя по построению. Цифры честнее и скромнее — 83.8% на публичной очереди, 93.6% на 200 заявках, 96.4% на 1000. Регресс-тест с зафиксированными числами держит этот случай.

Отставание раскладывается без остатка на два слагаемых: на публичной очереди из 1.26 недобранного одобрения 1.09 — цена обязательства держать целевые доли и только 0.18 — цена онлайн-решений. Пять шестых стоит бизнес-требование, а не качество роутинга.

Заодно

Исправлена атрибуция в docs/checkpoint.md: «дневной лимит считаем только по выполненным заявкам» было нашей репликой на чекпоинте, а не вердиктом экспертов. Вопрос 1 возвращён в открытые — сдаём формулу ТЗ под свою ответственность. Туда же записаны реальные ответы чекпоинта 3: провайдеры к тестовой очереди не меняются, сдача через GitHub, презентация свободного формата.

Как тестировать

bundle exec rake            # 254 спека, rubocop
bundle exec rake public     # артефакты в корне + валидатор организаторов
bundle exec rake stress     # 17 сценариев
ruby -Ilib bin/payout_router bound --synthetic 200

254 спека зелёные (покрытие 96.2%), rubocop чист, стресс 17 сценариев без нарушений инвариантов, валидатор организаторов 0 ошибок. routing_decisions.json не изменился — формат сдачи не тронут.

🤖 Generated with Claude Code

https://claude.ai/code/session_018V8U5HbXjW86D7cgz88m5G