Каждый публичный кусок кода в vibe указывает на правило, которое он воплощает, а сгенерированная карта отвечает в обе стороны: какой код стоит за этим правилом, какому правилу отвечает этот код.
Элемент Rust, который воплощает правило, несёт атрибут с адресом правила; тест, который его проверяет, несёт проверяющий атрибут; модуль, который обслуживает целый раздел, объявляет область. Связи живут в коде, рядом с тем, что описывают, и потому едут с каждым рефакторингом и каждой копией. Глаголы: `implements`, `verifies`, `documents`, `deviates` и `informs`; отклонение обязано сказать почему.
`implements` — утверждение о коде, который выполняется. Объявление типа его не несёт: ребро от объявления неотличимо от покрытия, и карта, которая считала бы объявления, была бы зелёной ни о чём.
`cargo xtask specmap` обходит крейты в поисках пометок и дерево [спецификаций](../glossary/index.xml#specification) в поисках единиц и пишет `specmap.json`: узлы для каждой единицы спецификации с её ревизией и хешем содержимого, узлы для каждого помеченного элемента кода и рёбра между ними. Карта закоммичена, и `cargo xtask specmap --check` падает, когда дерево сдвинулось, а карта нет. Политика того, что сканируется, какие крейты под воротами, а какие освобождены, живёт в `specmap.toml`; сам движок поставляется с пакетом дисциплины и вендорится, никогда не правится на месте.
Карту стерегут трое ворот. *Храповик сирот*: публичный элемент в крейте под воротами без пометки проваливает проверку, если только он не диспозиционирован с идентификатором долга. *Ворота разрешения*: каждое ребро в собственное пространство имён этого проекта должно приземлиться на существующий [якорь](../glossary/index.xml#anchor). *Правило подозрения*: когда ревизия единицы спецификации поднимается, каждое ребро, закреплённое за старой ревизией, становится подозрительным, и проверка его называет, чтобы код перечитали против правила, которое сдвинулось.
Сгенерированный код исключён из ворот сирот; пометки вместо него несёт вход генератора, схема, и их читает сканер схем.
Команды ниже работают в чекауте самого vibe, чьи спецификации несут карту; установленный пакет отвечает, только если поставил свою. `vibe explain "spec://…#anchor"` строит карту заново в памяти и печатает подграф одной цели: что её воплощает, проверяет или документирует. `vibe query` фильтрует карту по адресу, символу или виду и возвращает множество подходящих узлов. `vibe select --where "lacks:verifies scope:spec://…"` обходит граф с предикатом: каждое правило без проверяющего, элементы, которые воплощают правило, и один переход вокруг них. `--json` отдаёт каждый ответ агенту.
Это руководство входит в ту же карту. Каждый блок `rule` на странице — ребро `documents` от страницы к правилу, которое она цитирует, просканированное на стороне хоста через шов сканера движка. Ребро не несёт пина ревизии: цитата живая, страница показывает текущий текст правила, и единственная проверка — что якорь существует. Устарела ли проза вокруг цитаты — вопрос к человеку, а не флаг подозрения.
Единицы бывают четырёх видов, и у каждого своё ребро по умолчанию: требование воплощают и проверяют, дизайн информирует, руководство документирует; предложение решает, и это пока не глагол, который система несёт.
Карту носят, а не генерируют: соответствие между прозой и кодом нельзя вывести, только написать и проверить, и потому пометки в коде, а ворота в сборке.
Пакет может нести собственную карту, `package.specmap.json`, сгенерированную `vibe specmap` перед публикацией, так что потребитель спрашивает установленный пакет, не пересобирая его.