tools/symphony-validator) — это независимый детерминированный инструмент проверки репозитория на C++26, работающий только на чтение. Он формирует неизменяемые свидетельства о текущем состоянии репозитория и его контрактов. Он не может ничего исправлять или публиковать.
Что проверяет валидатор
- Форму контрактов: обязательные якоря и структуру Contract Quad
- Текущую замкнутость источников по поверхностям, индексированным SKVI
- Владение инвариантами согласно
knowledge/INVARIANTS.mdи реестру инвариантов - Ожидания администрирования функций, сообщаемые SSFV
- Записи о релизах, сообщаемые SODV
- Машинно управляемую корневую сводку в README репозитория
Чего валидатор не делает
- Никаких побочных эффектов для репозитория
- Никакого доступа к сети
- Никакого подавления предупреждений вне защищённой политики предупреждений qxctl
Интеграция с qxctl
qxctl проверяет точную квитанцию валидатора и структурированные дайджесты, прежде чем применять защищённую политику предупреждений. Девять защищённых конечных команд qxctl для жизненного цикла предупреждений, а также точный маршрут корневой сводки, подкреплённый квитанцией, предоставляют администрирование валидации, не изменяя исходные свидетельства детектора.Связанные поверхности
qxctl validate
Грамматика защищённой политики предупреждений, базовой линии и отображения.
SSFV
Ожидания администрирования функций, проверяемые валидатором.
SODV
Записи о релизах, которые инспектирует валидатор.
Обзор SKV
Общая структура, контракты которой проверяет валидатор.