diff --git a/CONTEXT.md b/CONTEXT.md index a596a77..ef8d448 100644 --- a/CONTEXT.md +++ b/CONTEXT.md @@ -116,10 +116,10 @@ ClickHouse. Форма файла решена, длина — нет: стро _Избегать_: зерновой мир **Опись мира**: -`data/world-inventory.json` — единственное, что о мире хранится в git: -паспорт (зерно, версия генератора, хеш каталога) и по строке на день с -датой, числом событий и хешем его байтов. Сам мир в git не лежит — он -пересчитывается. Опись отвечает на один вопрос: тот ли это мир. +`data/world-inventory.json` — паспорт и контрольные отметки неизменяемого +выхода мира: хеши дней событий и отправленных слепков, счётчики закрытых +окон с названным читателем. Сам мир пересчитывается; опись отвечает на один +вопрос: тот ли это мир. _Избегать_: манифест, мини-манифест **Пошаговый режим**: @@ -170,8 +170,9 @@ _Избегать_: описание схемы, документация кон **Слепок**: Полная выгрузка заказов окна изменяемости, снятая бэкендом на границе суток: -состояние заказов на этот момент, а не поток их изменений. Один заказ -приезжает в стольких слепках, сколько дней окна он прожил. +состояние заказов на этот момент, а не поток их изменений. Опоздавший заказ +может отсутствовать в ранних слепках; после первого появления ездит до конца +своего окна. **Окно изменяемости**: Сколько модельных дней заказ ещё может измениться и потому продолжает ездить diff --git a/docs/specs/2026-08-01-generator.md b/docs/specs/2026-08-01-generator.md index 913817d..51ba089 100644 --- a/docs/specs/2026-08-01-generator.md +++ b/docs/specs/2026-08-01-generator.md @@ -119,9 +119,10 @@ человеку предыстории, чьё окно активности таких дней не оставляет, пара не назначается. День-функция обязана назначенные заказы реализовать; остальные покупки — вольные, их решает генератор торговых - событий (#40). Опись считает пары, реализованные в горизонте - снимка. Условность в данных не видна: дни назначены той же - случайностью, просто брошенной планом один раз. + событий (#40). План считает пары, реализованные в запрошенном горизонте; + опись это число не хранит — оно растёт вместе с миром. Условность в данных + не видна: дни назначены той же случайностью, просто брошенной планом один + раз. - **Своя ось модельного времени.** Ось событий начинается в фиксированный день D0 (понедельник — см. раздел 5); реальный календарь в модели не участвует. В `EventDate`/`UTCEventTime` дни оси