ХЭНДОФФ — состояние на 2026-08-09

Вопрос 1 — формат каталога пакетов ⚙️ РАЗОБРАН, НЕ РЕШЁН

04Суть. vibevm публикует каталог пакетов — JSON-файлы в git-репозитории, которые читают чужие программы. Владелец решил описывать формат схемами и генерировать код из них. Замер перед постройкой нашёл, что цена другая, чем предполагалось.

05Как вопрос вырос. Начали с узкого: где провести границу генерации, раз одна форма в языке схем невыразима. Пришли к широкому: какова политика эволюции долговечных форматов vibevm — их три (каталог, vibe.toml, vibe.lock), решены они по-разному, и никто этого не решал.

06Состояние: исследование сделано (файлы 01–09), сведено (10), отревьюено (11). Решения нет. Позиции скорректированы, см. §5.

Вопрос 2 — недетерминированная запись каталога 🔁 ВСПЛЫЛ СНОВА

07Суть. При каждой записи в каталог проставляется текущее время, поэтому две одинаковые по смыслу записи дают разные байты. Следствие: автопубликация коммитит изменение даже когда ничего не изменилось, история каталога забивается пустыми коммитами.

08Что добавилось. Ревьюер нашёл это независимо, уже как дефект воспроизводимости, и отметил, что рядом, в том же коде, сжатие сделано намеренно детерминированным — то есть о воспроизводимости кто-то заботился в одном месте и не заметил, что она сломана в соседнем.

09Следствие: вопрос перестал быть отдельным. Он часть вопроса 1 — решать надо вместе с форматом.

10Строка: BACKLOG.md B-072.

Вопрос 3 — сервер каталога не пишет логи ⬜ НЕ ТРОНУТ

11Суть. Сервер смонтировал слой логирования HTTP-запросов и не поставил слушателя: события формируются и выбрасываются. У оператора нет ни строчки лога, хотя код выглядит так, будто есть. Слушатель появляется только когда включён флаг самопубликации — связь случайная.

12Что решать: ставить ли слушателя всегда и на каком уровне по умолчанию. Это меняет то, что видит каждый оператор в потоке ошибок.

13Половина, не требующая решения: докблок одного файла обещает, что пропущенные репозитории пишутся в предупреждения, а вызова там нет. Починка шапки решения не требует.

14Строка: BACKLOG.md B-071.

Вопрос 4 — планка доказательства ⬜ НЕ ТРОНУТ

15Суть. Треть вердиктов корпуса не имеет собственного доказательства: один абзац проставлен сразу многим утверждениям. Такой вердикт нельзя опровергнуть по отдельности — если одно из утверждений ложно, абзац про остальные всё ещё выглядит правдой.

16Доказано дважды на практике: из 34 пересуждённых утверждений два оказались ложными, стоя с галочкой «проверено».

17Что решать: ужесточать ли планку сразу (тогда ~4100 галочек разом станут «не проверено» — выглядит как обвал, им не являясь), или конвертировать намеренными партиями по мере правок.

18Запись: AUDIT.md, находка 2026-08-06-01, помечена P1, открыта.

Вопрос 5 — соединение двух движков ⬜ НЕ ТРОНУТ, нужен «да»

19Суть. Есть два независимых инструмента: один проверяет качество кода, другой строит карту связей «код ↔ спека». Владелец решил, что данные каждый держит при себе, а соединяются они в момент запроса — по файлу и строке, без зависимости одного от другого.

20Осталась одна честно названная слабость: карта строится заново на каждый запрос, а отчёт о качестве — файл на диске, свежий настолько, насколько недавно его прогоняли.

21Нужно только подтверждение: ответ, содержащий находки о качестве, называет, когда они получены, а отсутствие отчёта означает «не измерено», а не «нарушений нет».

22Строка: BACKLOG.md B-019, часть (в).

2.1 Обязательное чтение — каталог находок, в этом порядке

25Каталог лежит ВНЕ репозитория vibevm: C:\Users\olegc\git\v\discovery\vibevm-schema-evolution-discovery\

26Загрузочная последовательность проекта его не находит — указатель оставлен в CONTINUE.md.

28Порядок не случаен: сначала вердикт и свод (чтобы знать, что оспорено), потом наш замер (чтобы знать факты о себе), потом разборы, потом первичное исследование. Документ 13 читается последним и только с поправками.

2.2 Отчёты воркеров — читать разделы «С чем я не согласен»

29worker-reports/ — пять файлов, 548 строк суммарно.

31В каждом обязательный раздел «С чем я не согласен» — там лежат поправки к своду босса, включая ту, которую трое нашли независимо друг от друга. Это самая плотная часть всего материала на строку текста.

2.3 Кэш первоисточников — 21 файл

3202-primary-sources-cache/ — сырые документы, скачанные при веб-исследовании, чтобы находки можно было перепроверить без сети:

cargo-index.txt                 cargo-util-schemas-index.rs
go-mod-ref.txt                  go-toolchain.txt
maven-metadata.xml              modfile-rule.go
npm-REGISTRY-API.xml             npm-package-metadata.xml
oci-annotations.xml              oci-blog.txt
oci-considerations.xml           oci-descriptor.xml
oci-index.xml                    oci-manifest.xml
oci-spec.xml                     pep629.rst
pep691.rst                      pep714.rst
repomd.xml                      rfc-3143.xml

34Читать не обязательно целиком — но обязательно заглянуть в cargo-util-schemas-index.rs: это схема индекса crates.io, ближайший существующий аналог нашей задачи, и она уже лежала в нашем дереве (refs/src/cargo/) непрочитанной всё время исследования.

2.4 Диалоги воркеров — в кэше агентов

35C:\Users\olegc\git\v\cache\agents\sorted\ — там 120+ папок за всю историю проекта. К этому исследованию относятся семь:

37Диалоги читать не нужно — они нужны на случай, если понадобится проверить, как именно воркер пришёл к выводу. Каждая папка содержит и отчёт, и meta.md с разбором приёмки.

2.5 Документы в самом репозитории, относящиеся к предмету

38Их читать тоже нужно — они предмет, а не материал:

2.6 Что утеряно — знать, чтобы не искать

40Пошаговые диалоги четырёх нативных агентов (трёх веб-исследователей и ревьюера) харнесс не записал: файлы созданы пустыми, проверено поимённо. Уцелели их итоговые доклады — они и легли в документы 02, 03, 04 и 11, то есть содержание не потеряно, потерян ход рассуждения.

41Урок на будущее: логи писать напрямую в архив, как это делается для GLM-воркеров через перенаправление вывода, а не полагаться на харнесс.

5.1 Сокращение объёма было принято как хорошая новость

53Ревьюер нашёл, что режим совместимости нужен не 23 типам, а ~3, потому что остальные файлы наш код обратно не читает. Это было подано как выигрыш.

54Неверно. Сегодняшний граф вызовов — свойство реализации, а не формата. Завтра кто-то напишет чтение, и освобождённый тип станет ловушкой. Формат, где три типа закалены, а двадцать нет, внутренне непоследователен — тот же дефект, с которого начался разбор.

55Новая позиция: правило применяется ко всем типам каталога.

5.2 Запасные значения сужены по сегодняшней надобности

56Ревьюер сузил «дать запасное значение всем пяти спискам» до двух — по признаку «где реально нужно».

57Но весь смысл запасного значения в том, что его нельзя добавить задним числом. «Здесь новых значений не будет» — сегодняшнее наблюдение, а не долговечное свойство.

58Одно исключение настоящее и не про экономию: для списка видов пакета стандартный механизм serde теряет исходную строку при обратной записи. Правильный вывод — не «значит не делаем», а «значит надо построить механизм, который строку сохраняет».

59Новая позиция: обрабатываются все закрытые списки; где готового механизма не хватает — строится свой.

5.3 Перехват незнакомого взят в самой дешёвой форме

60Предлагался словарь-приёмник: непонятое складывается туда и пишется обратно. Данные не теряются — и на этом остановились.

61Мало. Такой приёмник молчит: нельзя спросить, что именно не понято, сколько такого, изменилось ли между чтениями, есть ли в файле то, чего не понимает ни одна известная версия.

62Новая позиция: непонятое должно быть наблюдаемым и проверяемым — попадать в диагностику, и существовать тест, ловящий потерю при обратной записи.

5.4 Версия оставлена одним числом

63Аргумент был: одно целое число не вмещает вторую роль, значит выбираем роль. Верно как арифметика и не тот вопрос.

64Настоящий вопрос — что версия должна уметь выражать за десять лет:

«не читай это вовсе»          — я изменил смысл уже написанного
«читай, но знай, что отстал»  — я добавил, ты можешь игнорировать
«тебе нужна способность X»    — эта запись требует понимания
                                конкретного механизма

66Третье в одно число не влезает, а понадобится при подписи или профилях приватности.

67ОКНО ЗАКРЫВАЕТСЯ. Пока в файлах стои́т 1, его можно задним числом прочесть как 1.0. Как только уйдёт 2 — уже нельзя.

5.5 Подменена сама задача — САМОЕ КРУПНОЕ

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

69Разбор вернулся с набором правок атрибутов serde в рукописных структурах. Это дрейф, произошедший потому, что латать дешевле, чем строить.

71Новая позиция: вернуть исходную постановку. Опубликованная схема и есть формат; типы на Rust — производная.