ddadminandClaude Fable 5
f45ad53b7f
- Зачем:
- сверка с описью подглядывает внутрь генератора: у настоящего магазина
такого оракула нет, и выдавать её за учебный урок DQ нельзя (развилка
из комментария к #157).
- Что:
- в dm.md проверка счётчиков классов помечена технической, её обещание
сужено честно: до витрин доехал рождённый мир; верно ли мир рождён,
проверка не видит — опись считает тот же генератор.
- в §8 мастер-спеки читатель счётчиков «самопроверка лабы сверки»
заменён на техническую проверку classes_vs_inventory звена DQ.
- словарь: короткий термин «Техническая проверка» в CONTEXT.md — только
язык, решение живёт в dm.md; та же формулировка читателя в inventory.md.
- Проверка:
- grep -rn "лабы сверки" docs/ — упоминаний не осталось.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2.8 KiB
2.8 KiB
Что хранит опись
Резолюции развилок «Расхождения A–D и опоздания: механика, доли и что обещано» и «Места заказов в стартовом мире». Словарь описи — растяжка-хеш против опоры-счётчика — задан «Чем меряется генератор» в спеке генератора и термином «Опись мира» в CONTEXT.md.
Опись хранит только то, чего движение мира не меняет. Хеш кладём всегда, счётчик — только когда назван его читатель.
- У каждого отправленного слепка — своя строка с хешем байтов. Байты слепка не покрыты хешами дней ни при каком раскладе подпотоков — это второй артефакт мира. Побайтовое обещание («слепок переснимается и даёт те же байты») опись начинает сторожить.
- Счётчики классов расхождений — наблюдаемых, после приоритета, по
итоговой судьбе заказов дня. В строке закрытого дня поле
ordersхранит число заказов каждого класса; пока окно открыто, поля нет. При N сыгранных днях закрыты N − 7 (день d закрывается слепком d + 6, а последний отправленный слепок несёт день N − 2). Их читатель — техническая проверкаclasses_vs_inventoryиз DQ-звена этапа 4. - Контрольные числа идентичности не заводятся вовсе: uniq известных пользователей и число двухкуковых пар растут, пока мир едет, — опоры из них не выходит; генератор сторожит хеш, транспорт — счёт событий.
- Опись описывает мир, а не доставку. Работа генератора кончается на
Kafka: дошли ли байты до
ods.order— вопрос стенда и его проверок. Поэтому счёта строк у слепка в описи нет; понадобится проверка приёма заказов — число заведётся вместе с ней.