From 86e2d6dbb23ba162a7ea124d68dad81ffc0dfd79 Mon Sep 17 00:00:00 2001 From: Dmitry Dementiev Date: Sun, 16 Aug 2026 12:26:10 +0300 Subject: [PATCH] =?UTF-8?q?docs(domain):=20=D1=83=D1=82=D0=BE=D1=87=D0=BD?= =?UTF-8?q?=D0=B5=D0=BD=D1=8B=20=D1=81=D0=BB=D0=B5=D0=BF=D0=BA=D0=B8=20?= =?UTF-8?q?=D0=B8=20=D0=BE=D0=BF=D0=B8=D1=81=D1=8C=20=D0=BC=D0=B8=D1=80?= =?UTF-8?q?=D0=B0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - Зачем: - документация не должна обещать постоянные числа для движущегося мира. - Что: - уточнено появление опоздавших заказов в слепках. - опись ограничена неизменяемым выходом и счётчиками с читателем. - счётчик пар оставлен плану, но исключён из описи. - Проверка: - CONTEXT.md перечитан целиком; git diff --check. --- CONTEXT.md | 13 +++++++------ docs/specs/2026-08-01-generator.md | 7 ++++--- 2 files changed, 11 insertions(+), 9 deletions(-) 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` дни оси