healthlog/openspec/changes/archive/2026-08-02-dozakryt-nahodki-sushchnostej/proposal.md

Why

Изменение «тренировки и записи с собственным id» (f8200f7) прошло ревью не полностью: проходы adversary, ops и архитектурный на коде не запускались. Дозапуск нашёл девять причин, триаж оставил семь — у каждой прогнанный оракул. Две из них необратимы по последствиям: обеднённая версия тренировки затирает маршрут молча (в экспорте Apple маршрута нет, reindex проиграет то же поражение), а одно поле не той формы уносит тренировку целиком, причём доставка при этом числится разобранной — то есть ретеншен, решающий «что потеряется, если тело удалить», получит ложное «терять нечего».

Остальные пять — молчание там, где обещана детерминированность: откат бинаря поверх новой схемы стартует без слова, победитель внутри доставки зависит от порядка элементов на проводе, провенанс устаревает на каждой из ~26 повторных присылок, канонизация идёт внутри транзакции вопреки собственному комментарию (измерено: 768 МиБ пика, 5.019 с удержания блокировки), а тело доставки в 8 МиБ целиком уезжает в текст ошибки и оттуда в WARN.

What Changes

• Сравнение содержания сущностей получает второй разряд и запрет вырождения формы. Сегодня Covers смотрит только наличие ключа и длину верхнеуровневого массива, поэтому версия-скелет (каждый массив заменён массивом той же длины из null, каждый вложенный объект — скаляром) признаётся равной настоящей и выигрывает тай-брейк журнала. Добавляются: ключи без содержания вторым разрядом (как у точек — «иначе ключ с пустым значением исчезает по жребию»), запрет покрывающей версии подменять объект или массив скаляром, и счёт содержательных элементов верхнеуровневого массива рядом с его длиной. Предел правила остаётся названным вслух и не закрывается: сокращение внутри элемента ряда (точка маршрута без altitude) ловится только сверкой с телом в архиве.
• Победитель внутри одной доставки становится функцией множества версий, а не порядка элементов массива. Стандарт уже записан для точек и для сущностей молча не применён: попарная свёртка частичного порядка с тотальным тай-брейком нетранзитивна — [A,B,C] даёт C, [B,C,A] даёт A. Механизм выносится в одного помощника, общего с точками. Счётчик различающихся версий при этом считает по канонической форме, а не по байтам: требование постановки («differs при разных байтах») исполнено по форме, потому что порядок ключей у HAE нестабилен и побайтовый счётчик срабатывал бы на норме потока; детерминизм обеспечен тай-брейком по байтам, а не счётчиком.
• Провенанс обновляется при совпавшем хеше. Сегодня совпадение хеша пропускает запись вместе с провенансом, и в сущности остаётся первая свёрнутая копия, а не победитель по журналу; при возврате содержимого к прежнему живая витрина расходится с reindex.
• Одно поле не того ТИПА больше не уносит сущность. Пять полей заголовка читаются мягко — тем же принципом, который уже записан в коде для duration. Граница названа вслух: правило закрывает смену типа значения, но не смену формата строки, а наблюдался именно дрейф формата дат — тренировка с незнакомой датой по-прежнему теряется целиком, и закрыть это может только хранение сущности с неразобранной меткой (остаток). Пропуски сущностей при этом становятся видны в учётной записи доставки, а не только в логе, причём «не измерялось» отличимо от нуля.
• Счётчик удержанных версий выводится в отчёт пересборки. Новое правило строже прежнего, а сходимость отпечатка его не проверяет по построению: живой приём и пересборка пользуются одним правилом и одинаково сойдутся на одинаково удержанной версии.
• store.Open сверяет версию схемы перед миграцией. Версия базы выше версии бинаря — отказ, а не повод мигрировать; прецедент записан в OpenForRead.
• Канонизация сущности уезжает за транзакцию по-настоящему. Каноническая форма считается один раз на версию, до входа в транзакцию, и из неё же берётся хеш — сегодня форма считается дважды (в хеше и в отложенном разборе), причём второй раз внутри inTx, который повторяется до пяти раз.
• Текст ошибки разбора перестаёт нести значения из тела: называется тип токена и смещение во входе.
• Лог delivery failed на приёме отличает занятость базы от прочих причин.
• Не входит: хранение сущности с id, но неразобранной меткой (NULL-метка); пределы на размер одной сущности и секции и потоковый расчёт формы и хеша; принцип «data-миграции не отбирают строки по обрезаемым спискам»; длина очереди pending в /stats. Всё четыре уходят задачами беклога.

Capabilities

New Capabilities

Новых нет. Все семь пунктов — уточнения уже записанных правил разбора и хранения; новое понятие ввёл бы второй словарь для того же домена.

Modified Capabilities

• parsing: заголовок сущности читается мягко — поле не той формы пропускает само поле, а не сущность; диагностика разбора не несёт значений из тела.
• storage: содержание сущностей сравнивается с двумя разрядами, запретом вырождения формы и счётом содержательных элементов массива; победитель внутри доставки объявлен функцией множества с тотальным порядком; провенанс обновляется при совпавшем хеше, а метка изменения — нет; учётная запись доставки несёт число пропущенных сущностей, отличая ноль от «не измерялось»; открытие базы сверяет версию схемы; каноническая форма сущности считается вне транзакции и один раз.
• ingest: лог отказа приёма отличает занятость базы от прочих причин.
• reindex: число пропущенных сущностей внесено в перечень производных полей, которые пересборка не переносит; отчёт пересборки называет число удержанных версий сущностей.

Impact

• internal/canon — Covers, форма массива, экспорт хеша по готовой форме.
• internal/store — entity.go (версия сущности, слияние, провенанс), bucket.go (комментарий о канонизации), store.go (страж версии схемы), новая миграция 00008 (колонка skipped_entities у доставки).
• internal/hae — entity.go (мягкий заголовок), hae.go (текст ошибок).
• internal/fold, internal/ingest — проброс счётчика пропусков в учёт, различение занятости базы в логе.
• docs/architecture.md, docs/database.md, docs/conventions.md, docs/review-journal.md.
• Оракулы из tmp/adv/ переезжают обычными тестами в internal/canon, internal/store, internal/hae.