vighriday/Veris

Получив бюджет времени в минутах, жадно выбирает подмножество целей проверки с наибольшей эффективностью, которое укладывается в бюджет, ранжируя по формуле (эффективность уровня × критичность рабочего процесса × риск узла) / оценочная стоимость. Возвращает выбранные цели в порядке выполнения (до 200), количество выбранных и пропущенных, расчётные секунды и покрытие. Сам список пропущенных не возвращается: он дополняет выбор и может быть всем планом.

Вычисляет поведенческий diff между рабочим деревом и merge-base между HEAD и базовым ref, используя отсоединённый git worktree. Возвращает количество добавленных, удалённых и изменённых узлов (modified = то же объявление, изменённый хэш тела: переписывание, которое сохраняет имя и вызываемые функции), затронутые workflow с пояснениями и топ-25 узлов по риску. Сообщает, было ли рабочее дерево грязным, поскольку это делает результат невоспроизводимым только из коммитов. Требует git-репозиторий с базовым ref, который можно разрешить: если такого ref нет, вызов возвращает ошибку, а не фиктивную базовую линию. Базовый ref по умолчанию: origin/main, затем origin/master, main, master, HEAD~1.

Разбирает файлы TypeScript и JavaScript, отслеживаемые git, в текущем репозитории с помощью ts-morph и возвращает структурную сводку: количество файлов, классов, методов, функций и экспортируемых функций, разбивку по файлам (не более 100 файлов, отсортированных по количеству объявлений) и статистику разрешения вызовов, показывающую, сколько мест вызовов проверщик TypeScript разрешил точно, а сколько оставил неоднозначными. Неотслеживаемые и игнорируемые файлы исключаются. Результаты кэшируются, пока не изменится какой-либо исходный файл на диске.

Выполняет углублённый анализ одного workflow по id: узлы-участники (до 500), сигналы инференса, которые поместили каждого участника туда, и их веса, топ-5 участников по риску с полной разбивкой оценок и гипотезы о рисках во время выполнения. Используйте после того, как list_workflows определит нужный workflow.

Возвращает значения verification-coverage и execution-depth по последним запускам, записанным в .veris/state.db, сначала новые. По умолчанию возвращает 30 запусков, не более 100. Возвращает пустой тренд с stateEnabled:false, когда сохранение состояния отключено (VERIS_STATE_DISABLED=1).

Читает последний записанный запуск для каждого репозитория, зарегистрированного в ~/.veris/registry.json, и возвращает их значения покрытия, начиная с самого слабого. Помечает репозитории, у которых ещё нет состояния Veris, как 'no data', а не анализирует их. Этот инструмент читает существующее состояние и никогда не запускает анализ и не записывает в зарегистрированный репозиторий.

Сравнивает текущие отпечатки workflow с отпечатками из предыдущих запусков в .veris/state.db. Отпечаток вычисляется как SHA-256 от отсортированных ID участников workflow, его внутренних сигнатур рёбер и нормализованного хеша тела каждого участника, поэтому переписанное тело функции обнаруживается, даже если её имя и цели вызовов не изменились. ID участников задаются относительно репозитория, поэтому переименование каталога не регистрируется как дрейф. Выявляет добавленные, удалённые, расширенные, сокращённые и незаметно переписанные workflow, а также отличает первое наблюдение от отсутствия дрейфа. Сохраняет текущие отпечатки для будущих сравнений.

Экспортирует поведенческий граф в формате JSON. Узлы: классы, методы, конструкторы, аксессоры и функции верхнего уровня; каждый узел помечен своим выведенным доменом рабочего процесса. Рёбра: DependsOn (вложенность и импорты) и Invokes (цели вызовов). Каждое ребро содержит поле 'resolution': 'resolved' означает, что проверщик TypeScript определил цель, 'heuristic' означает, что по имени совпало ровно одно объявление, 'structural' означает вложенность или импорт. Вызовы с неоднозначной целью не порождают ребра вообще. Возвращает полные счётчики плюс до 500 узлов и 1000 рёбер, с полем 'truncated', когда граф больше.

Создаёт onboarding-пакет, построенный вокруг workflow, в каталоге veris-reports/onboarding/: по одному markdown-файлу на каждый workflow, описывающему его назначение, участников, риски и рекомендуемые материалы для первого чтения, плюс индекс README.md. Возвращает выходной каталог и пути записанных файлов.

Возвращает конкретные сценарии отказов уровня Tier-3 для затронутых рабочих процессов; каждый из них дополнен инвариантом, который должен выполняться: например, «отправить списание дважды с одним и тем же ключом идемпотентности в течение 500 мс; ровно одна запись в реестре». Проверки выбираются из курируемой библиотеки по доменам (concurrency, idempotency, retry storms, replay, partial failure, cache stampede, ordering); они не генерируются из вашего кода, поэтому указывают на режим отказа, а не на конкретное место вызова. Возвращает до 100.

Генерирует многоуровневый план верификации для каждого затронутого узла. Уровень 1 - структурный (lint, схема, типы), уровень 2 - поведенческий (контракты, границы интеграции), уровень 3 - состязательный (параллелизм, идемпотентность, повторные попытки, повторное воспроизведение, частичный сбой). Директивы - это шаблоны, параметризованные идентификатором узла. Для конкретных сценариев отказов используйте generate_adversarial_probes. Возвращает количество проверок по уровням и до 200 целей, ранжированных по риску узла, с полем 'truncated', если целей больше.

Returns verification coverage: how much of the planned work has supporting execution evidence, weighted by tier, decayed by age, and weighted by trust class (agent-asserted evidence counts for half). Also returns the count of failing and flaky targets, the highest single impacted-node risk, and the specific unverified assumptions (capped at 20). 'overallConfidence' is an alias of coverage retained for compatibility — it measures evidence, not the probability that the code is correct, and is not calibrated against observed outcomes. Coverage is reported as unknown, not 100%, when nothing was planned.

Группирует узлы репозитория по семантическим доменам (Authentication, Payments, Webhooks, Caching, Queue и ещё 20) и возвращает для каждого рабочего процесса число участников, число затронутых элементов, агрегированные показатели риска, описательную сводку и гипотезы о рисках времени выполнения. Классификация основана на взвешенном голосовании по ключевым словам в сегментах каталога, спецификаторах импорта и именах символов. Она не проходит по графу вызовов, поэтому рабочий процесс трактуется как размеченный набор объявлений, а не как путь выполнения. Узлы, не соответствующие ни одному правилу, группируются в Uncategorized. Возвращает до 50 рабочих процессов.

Хронология для одного узла: значения его риска и радиуса поражения за предыдущие запуски, а также каждая запись доказательства исполнения, привязанная к нему, с результатом, уровнем, классом доверия, продюсером и временной меткой. Используется для расследования инцидентов («эта функция сломала продакшн - как выглядит её история?») или для проверки, накопил ли узел с высоким риском заслуживающие доверия доказательства успешного прохождения.

Добавляет репозиторий в реестр уровня пользователя по пути ~/.veris/registry.json, чтобы cross_repo_snapshot включал его. Путь должен существовать, быть каталогом и содержать каталог .git. Это вызов на этапе настройки, обычно выполняется один раз для каждого репозитория.

Отправляет результаты проверки обратно в Veris. Доказательства можно только добавлять, и они связаны хеш-цепочкой: более поздняя запись для той же цели добавляется рядом с более ранней, никогда не заменяя её, поэтому сбой невозможно перезаписать последующим проходом. Каждая запись несёт класс доверия: 'agent-asserted' (по умолчанию; собственное утверждение вызывающей стороны, учитывается с половинным весом), 'harness-observed' (внешний исполнитель наблюдал за этим) или 'veris-derived', а также идентичность производителя. Принимает пакет и записывает его одной транзакцией: если хотя бы одна запись недействительна, не записывается ни одна.

Counterfactual: удаляет указанные узлы из головного графа, пересчитывает diff и риск относительно реального базового состояния и сообщает, что меняется. Отвечает на вопрос: «что восстановится, если я откачу это?» Моделирует только удаление: не может моделировать откат изменённого тела к его прежней форме. Требует разрешимое базовое состояние; возвращает ошибку, а не выдуманный ответ.