fix(generator): правки по линии ревью Кодекса — зёрна, словарь, сторожа

- Зачем:
  - третья линия ревью (Кодекс, другое семейство моделей) нашла дыру в
    стороже неизменности когорты, отставший словарь и тест, который
    сторожил не тот адрес дерева зёрен.
- Что:
  - когорта отдаётся видом на замороженный массив: флаг только для
    чтения вызывающий мог снять и испортить память, которой пользуются
    все дни окна. Граница защиты названа в докстроке — от случайности,
    не от умысла.
  - CONTEXT.md и комментарий `RETURN_TAIL_DAYS`: окно активности — от
    первого визита человека, общее на обе куки (спека это уже говорила,
    словарь отстал).
  - сторож предыстории сверял день −N с днём N, а сталкиваются −N и
    N−1; тем же классом слепоты страдали сторожа независимости состава
    и дня и различия компонентов — все три переписаны на сверку со всем
    куском адресов, куда подпоток мог бы попасть.
- Проверка:
  - make test (297), make lint, make typecheck;
  - батарея из 17 мутантов по plan/world/seeds — выживших нет; гоняется
    с PYTHONDONTWRITEBYTECODE=1: цикл правки и отката внутри одной
    секунды оставлял устаревший .pyc, и тесты шли по старому байт-коду.
- Отклонено с доводом:
  - перепроверка настаивала, что сторож неизменности не закрыт: через
    `.base` вида владелец данных размораживается. Верно фактически, но
    закрывающего состояния у находки нет — владелец памяти в numpy
    размораживается всегда, а копия когорты на каждый вызов меняет 2 мс
    на 16 МиБ копирования и убивает смысл запоминания.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This commit is contained in:
2026-08-02 13:13:41 +03:00
co-authored by Claude Opus 5
parent 2502f906a8
commit d17bd4e876
5 changed files with 71 additions and 20 deletions
+9
View File
@@ -56,6 +56,15 @@ def test_counters_are_a_pure_function_of_the_seed():
assert first == plan.counters(CANONICAL_SEED, SNAPSHOT_DAYS)
def test_a_remembered_cohort_cannot_be_spoiled_from_outside():
"""Когорту помнят и раздают всем дням окна: править её нельзя никак."""
cohort = plan.cohort(CANONICAL_SEED, 0)
with pytest.raises(ValueError):
cohort.client_id[0] = 42
with pytest.raises(ValueError):
cohort.client_id.flags.writeable = True
def test_another_seed_is_another_world():
ours = plan.cohort(CANONICAL_SEED, 3)
theirs = plan.cohort(CANONICAL_SEED + 1, 3)
+43 -14
View File
@@ -55,25 +55,54 @@ def test_cohorts_of_different_days_are_independent():
def test_prehistory_does_not_collide_with_the_axis():
"""Дни до D0 отрицательны, позиция в дереве — нет: своя ветвь."""
for depth in range(1, 5):
assert first_draws(cohort_stream(CANONICAL_SEED, -depth)) != first_draws(
cohort_stream(CANONICAL_SEED, depth)
)
"""Дни до D0 отрицательны, позиция в дереве — нет: своя ветвь.
Сравнивать день N с днём N мало: слейся эти ветви, столкнулись бы N
и N1 глубину предыстория считает от единицы, а ось дни от нуля.
Поэтому каждый день предыстории сверяется со всем началом оси.
"""
axis = {tuple(first_draws(cohort_stream(CANONICAL_SEED, day))) for day in range(6)}
for depth in range(1, 6):
prehistoric = tuple(first_draws(cohort_stream(CANONICAL_SEED, -depth)))
assert prehistoric not in axis
def test_day_components_do_not_share_randomness():
draws = [
first_draws(day_stream(CANONICAL_SEED, 3, component)) for component in Component
]
assert len({tuple(draw) for draw in draws}) == len(Component)
"""Четыре подпотока дня из спеки — и они четыре разных.
def test_composition_and_day_are_separate_streams():
"""Состав мира ветвится сам по себе — день-функция его не сдвигает."""
assert first_draws(cohort_stream(CANONICAL_SEED, 3)) != first_draws(
day_stream(CANONICAL_SEED, 3, Component.TRAFFIC)
Компоненты перечислены поимённо, а не обходом `Component`: слейся два
имени в одно значение, обход молча стал бы короче, и тест сверял бы
сам себя.
"""
components = (
Component.TRAFFIC,
Component.COMMERCE,
Component.DISCREPANCIES,
Component.LATECOMERS,
)
assert len({int(component) for component in components}) == 4
draws = {
tuple(first_draws(day_stream(CANONICAL_SEED, 3, component)))
for component in components
}
assert len(draws) == 4
def test_composition_and_day_never_share_a_stream():
"""Состав мира ветвится сам по себе — день-функция его не сдвигает.
Сверять день N с составом дня N мало: слейся эти ветви, столкнулись бы
состав дня K и K-й компонент дня 0 номер дня в одном адресе стоит
там же, где номер компонента в другом. Поэтому каждый компонент
сверяется со всем куском состава, куда он мог бы попасть.
"""
composition = {
tuple(first_draws(cohort_stream(CANONICAL_SEED, day))) for day in range(-5, 6)
}
for day in range(5):
for component in Component:
stream = first_draws(day_stream(CANONICAL_SEED, day, component))
assert tuple(stream) not in composition
def test_another_seed_is_another_world():