Как устроен vibe

Пять слоёв

02Читайте продукт снизу вверх. Идентичность: пакет — это координата плюс отпечаток содержимого, а вид — метаданные. Реестр: упорядоченные источники пакетов с зеркалами, переопределениями и необязательным индексом. Хранилище: каждая скачанная версия пакета хранится на машине один раз.

03Материализация: разрешённый граф, скопированный в дерево зависимостей проекта и записанный в лок-файл. Вычисленный старт: вклады пакетов, спроецированные в два сгенерированных файла, которые читает агент. Всё, что видит пользователь, — один из этих пяти слоёв или поверхность над ними.

04 21. Surface floor — which channels a capability owes

Крейты

06Направление зависимостей фиксировано: поверхность вызывает оркестратор, оркестратор вызывает библиотеку через шов, библиотека возвращает типизированные значения. Доменные библиотеки никогда не спрашивают, никогда не форматируют вывод терминала и никогда не решают вопросы аутентификации; эти решения принимаются в корне композиции, в CLI или в MCP-сервере.

07 17. Production architecture in the prototype phase

08Дерево держат вместе четыре решения. Репозиторий — один Cargo-workspace, все крейты под crates/. Каждое умение продукта живёт в библиотеке, а командная строка, терминальный интерфейс и MCP-сервер — тонкие поверхности над ней. Схемы JSON Type Definition — единственный источник истины для каждого машинного контракта. А дисциплина коммитов — установленное семейство git-practices, которое читают в начале каждой сессии.

09 Decision: Single Cargo workspace at repo root. Crates live under crates/ per VIBEVM-SPEC.md §10.2:

10 Decision: a capability lives in a library; the CLI, the TUI and the MCP server are thin surfaces over it. The rule and its vocabulary are the installed omnichannel flow: spec://org.vibevm.world/omnichannel/flows/omnichannel/OMNICHANNEL-PROTOCOL#root. This section declares only vibevm's own floor, which is what that flow asks each project to state for itself.

11 Decision: JSON Type Definition (RFC 8927) schemas are the single source of truth for every client/server and machine-to-machine contract in this project.

12 The repository's commit-and-push discipline is the git-practices family (a host dependency), whose members carry the full text:

Путь установки

131. Найти корень рабочего пространства и прочитать манифесты, лок-файл, пользовательскую конфигурацию, реестры, зеркала, переопределения и локальные источники пакетов.

142. Сравнить манифесты с лок-файлом; если ничего не изменилось, пропустить разрешение.

153. Иначе квалифицировать каждую запрошенную координату и построить представление доступных версий для решателя. Решить весь граф, удерживая каждый пин, которого изменение не касается.

164. Скачать каждую выбранную идентичность: попадание в хранилище переиспользуется, промах обходит разрешённые источники и кладёт проверенное дерево в хранилище.

175. Построить план, проверить управляемые блоки файлов инструкций и спросить подтверждения.

186. Материализовать граф в дерево зависимостей через диф, перегенерировать стартовые файлы, убрать устаревшие слоты.

197. Записать граф, происхождение и отпечатки в лок-файл.

208. Отрисовать человеческий, тихий или JSON-отчёт.

21 Decision. vibe install is understood as two phases, optimised independently — the current code conflates them.

Швы

22GitBackend изолирует git: продуктивная реализация вызывает системный git, так что SSH-агенты и помощники учётных данных ведут себя как везде. Registry перечисляет, разрешает и скачивает по локальным и git-источникам; MultiRegistryResolver владеет упорядоченным обходом, зеркалами, переопределениями, аутентификацией и офлайн-позицией. DepProvider — представление мира для решателя, а DepSolver превращает корни в граф; ячейка по умолчанию — resolvo, а ячейка SAT с откатами и наивная ячейка выбираются по желанию. InstallSource отделяет транзакцию от построения ячеек. RepoCreator изолирует создание репозиториев на хостах для публикации. У каждого шва больше одной реализации, и тесты гоняют шов, а не продуктивную ячейку.

23 Decision. Add a second DepSolver impl, SatDepSolver, alongside NaiveDepSolver. Both implement the same crates/vibe-resolver/src/lib.rs::DepSolver trait (fn solve(&self, roots: &[PackageRef]) -> Result<ResolvedGraph, SolveError>). NaiveDepSolver stays in tree as the "small graphs / no features / no disjunctions" fast path. The default clause is superseded (PROP-017): both impls shipped (naive.rs, sat.rs), but the production default became resolvo, not sat.

Проводные и авторские форматы

24Границу продукта пересекают два вида текста. Машинные форматы, JSON-отчёты, записи лок-файла, манифесты выпусков, описаны схемами JSON Typedef, и их типы генерируются; рукописный парсер нашего собственного формата — дефект, который считает сборка. Авторские форматы, манифест и спецификации, разбираются рукописным кодом намеренно, потому что их пишет человек, и ошибки должны говорить на языке человека.

25 16. JTD + codegen for wire contracts

26 4.1 The format registry. formats/REGISTRY.toml inventories every surface a foreign parser reads: id, epoch, schema path, recoverable-or-not, independent-parser count, sunset date, golden-corpus path. From it the FormatId enum is generated, and all wire I/O goes through wire::publish(FormatId, …) / wire::load(FormatId, …) — an unregistered format is inexpressible in the type system, not merely discouraged. An unnumbered format is a format that will be broken without anyone noticing.

27В языке схем нет 64-битного целого, поэтому любое целое шире 32 бит едет по проводу десятичной строкой.

28 4.2b Integers wider than 32 bits ride the wire as decimal strings (owner ruling 2026-08-20, the B-091 fork answered once and generally). JTD (RFC 8927) has no 64-bit integer type at all — the pinned generator rejects uint64 and int64 as InvalidType (measured 2026-08-15) — so every field wider than 32 bits would otherwise re-litigate the same bad trilemma: a uint32 that is false at and above 2³², a float64 that loses precision past 2⁵³, or an untyped {} that loses the field entirely. The general answer: such a field is encoded as a canonical decimal string — ASCII digits only, no sign, no leading zeros except "0" itself — the schema says string, the Rust type stays the true integer, conversion lives at the serde boundary, and non-canonical input is refused loudly rather than coerced. Timestamps are not this rule's business: they ride as RFC 3339 through the timestamp vocabulary. First application: the catalog manifest's file size (formats/breaks/003.md).

Что читать дальше

29Спецификации — авторитет: PROP-000 об основополагающих решениях, PROP-009 о модели загрузки, PROP-002 и PROP-010 о реестрах и хранилище, PROP-054 о жизненном цикле и машине расширений, PROP-045 о модели документа, PROP-057 и PROP-058 о пакетах документации, сайте и о том, как сопровождается это руководство. Страница о прослеживаемости в этом руководстве объясняет, как код их цитирует и как спросить карту, какой код стоит за каким правилом. Руководство разработчика в репозитории описывает сборку, тесты и панель самопроверки.