docs(domain): уточнены слепки и опись мира
- Зачем: - документация не должна обещать постоянные числа для движущегося мира. - Что: - уточнено появление опоздавших заказов в слепках. - опись ограничена неизменяемым выходом и счётчиками с читателем. - счётчик пар оставлен плану, но исключён из описи. - Проверка: - CONTEXT.md перечитан целиком; git diff --check.
This commit is contained in:
+7
-6
@@ -116,10 +116,10 @@ ClickHouse. Форма файла решена, длина — нет: стро
|
||||
_Избегать_: зерновой мир
|
||||
|
||||
**Опись мира**:
|
||||
`data/world-inventory.json` — единственное, что о мире хранится в git:
|
||||
паспорт (зерно, версия генератора, хеш каталога) и по строке на день с
|
||||
датой, числом событий и хешем его байтов. Сам мир в git не лежит — он
|
||||
пересчитывается. Опись отвечает на один вопрос: тот ли это мир.
|
||||
`data/world-inventory.json` — паспорт и контрольные отметки неизменяемого
|
||||
выхода мира: хеши дней событий и отправленных слепков, счётчики закрытых
|
||||
окон с названным читателем. Сам мир пересчитывается; опись отвечает на один
|
||||
вопрос: тот ли это мир.
|
||||
_Избегать_: манифест, мини-манифест
|
||||
|
||||
**Пошаговый режим**:
|
||||
@@ -170,8 +170,9 @@ _Избегать_: описание схемы, документация кон
|
||||
|
||||
**Слепок**:
|
||||
Полная выгрузка заказов окна изменяемости, снятая бэкендом на границе суток:
|
||||
состояние заказов на этот момент, а не поток их изменений. Один заказ
|
||||
приезжает в стольких слепках, сколько дней окна он прожил.
|
||||
состояние заказов на этот момент, а не поток их изменений. Опоздавший заказ
|
||||
может отсутствовать в ранних слепках; после первого появления ездит до конца
|
||||
своего окна.
|
||||
|
||||
**Окно изменяемости**:
|
||||
Сколько модельных дней заказ ещё может измениться и потому продолжает ездить
|
||||
|
||||
@@ -119,9 +119,10 @@
|
||||
человеку предыстории, чьё окно активности таких дней не оставляет,
|
||||
пара не назначается. День-функция обязана назначенные заказы
|
||||
реализовать; остальные покупки — вольные, их решает генератор торговых
|
||||
событий (#40). Опись считает пары, реализованные в горизонте
|
||||
снимка. Условность в данных не видна: дни назначены той же
|
||||
случайностью, просто брошенной планом один раз.
|
||||
событий (#40). План считает пары, реализованные в запрошенном горизонте;
|
||||
опись это число не хранит — оно растёт вместе с миром. Условность в данных
|
||||
не видна: дни назначены той же случайностью, просто брошенной планом один
|
||||
раз.
|
||||
- **Своя ось модельного времени.** Ось событий начинается в
|
||||
фиксированный день D0 (понедельник — см. раздел 5); реальный
|
||||
календарь в модели не участвует. В `EventDate`/`UTCEventTime` дни оси
|
||||
|
||||
Reference in New Issue
Block a user