0 Fork 0

Files

T

ddadminandClaude Fable 5 0c466c082e docs(generator): путеводитель по генератору и живой проход make demo

- Зачем:
  - спека отвечает «почему», а жанра «как пройти устройство по коду»
    не было (#48); черновик в generator/README.md ждал выверки.
- Что:
  - новый набор docs/architecture/generator/: индекс с целевой картиной
    и mermaid-схемой плюс шесть поддокументов по темам тикета.
  - демо-модуль и цель make demo: канонический D0, все стадии цепочки
    на одном экране; тест-сторож проверяет стадии без прибитых чисел.
  - раздел «Как это работает» в generator/README.md сжат до ссылки
    на путеводитель, черновая врезка снята.
- Проверка:
  - из generator/: make lint, make typecheck, make test (430 passed),
    make demo; два слепых ревью и узкая перепроверка — находки закрыты.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

2026-08-28 06:00:36 -04:00

2.8 KiB

Raw Permalink Blame History

Целочисленная случайность

Этот документ отвечает на вопрос, как читать целочисленный выбор по весам и зачем генератору свой маленький weights.py.

За PCG64 и целые броски Generator.integers отвечает NumPy. Генератор стенда не пользуется готовым выбором по вещественным вероятностям и плавающими распределениями: их алгоритмы и системная математика могут различаться между версиями и архитектурами. Зависимости закреплены, а броски остаются целыми — так выполняется побайтовое обещание, записанное в спеке генератора, раздел 2.

Одна таблица весов

weights.pick сначала получает накопленные веса. Для весов 2, 3, 1 это границы 2, 5, 6. Затем он бросает целое число из полуинтервала [0, 6) и находит первую границу справа:

броски 0–1 выбирают вариант 0;
броски 2–4 выбирают вариант 1;
бросок 5 выбирает вариант 2.

Размер участка и есть вес варианта. Нормировать веса до долей единицы не нужно.

Своя таблица для каждой строки

weights.pick_row работает так же, когда у каждого броска свой ряд весов. Ряды с одинаковой суммой укладываются друг за другом. Номер ряда смещает бросок на его участок, единый поиск находит ячейку, а обратное смещение возвращает номер варианта.

Конкретный проход виден в day._hour_cumulative и day._starts: для каждого города суточная волна повернута в свой ряд, но сумма весов от поворота не меняется.

При чтении вызова pick полезно представлять ряд целочисленных участков: бросок выбирает вариант, в чей участок он попал.

2.8 KiB Raw Permalink Blame History Unescape Escape

Целочисленная случайность

Одна таблица весов

Своя таблица для каждой строки

2.8 KiB

Raw Permalink Blame History