WIRE-CENSUS — каталог пакетов vibevm (формат «на проводе»)

Каталог-файловые типы (сериализуются в опубликованные файлы)

Закрытые словари (fieldless enum, используются как типы полей внутри записей)

Внешний тип на проводе

09Поправка к «около 18»: 18 — это в точности число каталог-файловых типов, если считать 17 структур плюс единственное объединение RepomdFileEntry. Дерево добавляет ещё 5 закрытых словарей-enum (типы полей) и внешний Group. Итого различных публичных сериализуемых типов, которых касается провод каталога: 23 в периметре + 1 внешний. Считал прямым обходом types/** + index/inverted.rs + реэкспортов types/mod.rs.

Прочие типы «на проводе», но НЕ каталог-файловые (для полноты)

10Это ответные конверты живого HTTP-API сервера индекса (crates/vibe-index/src/server/routes/**). Они #[derive(Serialize)] (на стороне сервера — только запись), в файлы каталога не пишутся, и даны здесь отдельным списком, чтобы не смешивать с записями каталога:

• 11packages.rs: ListResponse, PackageRow, SearchResponse, SearchHit (серверный), PackageVersionsResponse, UpsertResponse, DeleteResponse. Маршрут /v1/packages/{group}/{name}/{version} отдаёт сам VersionEntry целиком — т.е. каталог-запись попадает в HTTP-ответ один-в-один.
• purls.rs: Response, Hit (binding_site тут — &'static str, не enum).
• capabilities.rs: Response, Hit.

12Клиент crates/vibe-registry/src/index_client/wire.rs читает это своими толерантными view-структурами: NameEntryView/PackageEntryView/VersionEntryView (для by-name/*.json), SearchResults/SearchHit (клиентский), PurlLookupResults/PurlLookupHit, BindingSite (клиентский). См. 3.7.

Repomd (types/repomd.rs:20)

RepomdFileEntry (types/repomd.rs:43, #[serde(untagged)])

19\ Внутри выбранного варианта поля обязательны. Само значение — ОБЪЕДИНЕНИЕ*: на проводе ровно один из двух наборов ключей (см. 3.3).

VersionEntry (types/entry/mod.rs:43)

PackageEntry (types/entry/aggregate.rs:26)

NameEntry (types/entry/aggregate.rs:69)

WorkspaceOriginEntry (types/entry/content.rs:19)

FeaturesEntry (types/entry/content.rs:38)

SubskillEntry (types/entry/content.rs:61)

I18nEntry (types/entry/content.rs:74)

BootSnippetEntry (types/entry/content.rs:93)

CompatibilityEntry (types/entry/relations.rs:15)

ProvidesEntry (types/entry/relations.rs:30)

RequiresEntry (types/entry/relations.rs:43)

RequiresAnyEntry (types/entry/relations.rs:58)

ObsoletesEntry (types/entry/relations.rs:64)

ConflictsEntry (types/entry/relations.rs:77)

CapabilityRow (index/inverted.rs:66) — нет deny_unknown_fields

PurlRow (index/inverted.rs:75) — нет deny_unknown_fields

Сводка по коллекциям (3.2, итог)

36Всего 18 полей-коллекций (СПИСОК Vec или СЛОВАРЬ BTreeMap) среди каталог-типов. Из них у 14 пустое значение СЕЙЧАС неотличимо от отсутствующего (skip_serializing_if = …::is_empty опускает пустоту; на проводе невозможно отличить []/{} от «ключа нет»):

1. 37VersionEntry.authors — Vec<String>
2. VersionEntry.keywords — Vec<String>
3. VersionEntry.requires_any — Vec<RequiresAnyEntry>
4. VersionEntry.subskills — Vec<SubskillEntry>
5. FeaturesEntry.features — BTreeMap<String, Vec<String>>
6. FeaturesEntry.exclusive — BTreeMap<String, Vec<String>>
7. SubskillEntry.channels — Vec<String>
8. I18nEntry.available — Vec<String>
9. CompatibilityEntry.requires_kinds — Vec<PackageKind>
10. ProvidesEntry.capabilities — Vec<String>
11. RequiresEntry.packages — Vec<String>
12. RequiresEntry.capabilities — Vec<String>
13. ObsoletesEntry.packages — Vec<String>
14. ConflictsEntry.packages — Vec<String>

38Остальные 4 коллекции всегда присутствуют (нет skip), поэтому «пусто» и «нет поля» для них различимы тривиально (состояния «нет поля» просто нет): PackageEntry.versions, NameEntry.packages, RequiresAnyEntry.one_of, Repomd.files.

39Перепроверка числа «14» из пакета: подтверждено в точности. Считал так: прошёл grep-ом все skip_serializing_if = "…::is_empty" по types/entry/** и types/repomd.rs, отфильтровал поля, чей Rust-тип — Vec или BTreeMap. Получилось ровно 14. Дополнительно отмечу: 7 вложенных структур-полей (VersionEntry.compatibility/provides/requires/obsoletes/conflicts/features/i18n) имеют ту же самую неразличимость через собственные is_empty()-методы — это ВЛОЖЕННЫЕ, не коллекции, но семантически та же потеря различия «пусто/нет».

RepomdFileEntry (types/repomd.rs:43) — #[serde(untagged)]

#[serde(untagged)]
pub enum RepomdFileEntry {
    Directory { kind: DirectoryTag, entries: u32 },
    File { size: u64, sha256: String },
}

• 42Как читатель отличает варианты СЕГОДНЯ: это untagged enum — внешнего поля-тега на уровне объекта нет. serde перебирает варианты в порядке объявления и пробует десериализовать каждый. Вариант Directory объявлен первым.
• Поле-тег: явного тега на контейнере нет, но внутри варианта Directory есть поле kind: DirectoryTag со значением всегда "directory" — оно самодокументирует директорию (см. тест directory_serialises_with_kind_tag, repomd.rs:119).
• Наборы ключей вариантов:
• Directory → { "kind", "entries" }
• File → { "size", "sha256" }
• Пересекаются ли наборы ключей: НЕТ. {kind, entries} ∩ {size, sha256} = ∅. Поэтому разбор однозначен: объект с size/sha256 не совпадёт с Directory (нет kind/entries) и уйдёт в File; объект с kind/entries совпадёт с Directory. Поле kind здесь — запасная страховка поверх уже непересекающихся ключей.

43Замечание о робастности: т.к. enum untagged и без deny_unknown_fields, лишний ключ в файловой записи (напр. {"size":..,"sha256":"..","x":1}) всё ровно сматчится с File. А вот неизвестное значение kind (не "directory") в записи директории завалит вариант Directory, затем не сматчится с File (нет size/sha256) → ошибка разбора.

44Второго объединения нет. Известный кандидат был единственным. Никаких других untagged/tag =/ручных impl Deserialize в периметре не обнаружено (flatten встречается только в crates/vibe-index/src/lockfile.rs:22,37 — это парсинг vibe.lock, к каталогу отношения не имеет). Если бы второе объединение существовало, оно было бы главной находкой; его нет.

Клиент crates/vibe-registry/src/index_client/** — строг или терпим?

56Терпим. Клиент намеренно использует отдельные «view»-структуры с у́зким набором полей, #[serde(default)] и без deny_unknown_fields:

• 57NameEntryView (wire.rs:18) читает только packages[]; у PackageEntryView (wire.rs:24) — group + versions[]; у VersionEntryView (wire.rs:31) — только version. Комментарий прямым текстом (wire.rs:14-16): «Only the fields the resolver's version selector needs are read; the rest of the on-disk shape is tolerated.»
• SearchResults/SearchHit (wire.rs:45,56): «Extra fields on the wire (today: command) are tolerated silently» (wire.rs:37-39); тест search_results_decode_minimal_envelope (wire.rs:115) пропускает лишний ключ command.
• PurlLookupResults/PurlLookupHit — те же #[serde(default)], без DUF.

58Это наш собственный внешний потребитель, и его поведение — образец того, что сделает чужой читатель: он увидит только те поля, которые знает, а всё прочее (включая будущие новые поля) тихо проигнорирует. Следствие: добавить поле в запись не сломает такого читателя; убрать/переименовать известное ему поле — сломает.