> ## Documentation Index
> Fetch the complete documentation index at: https://docs.quanux.org/symphony/llms.txt
> Use this file to discover all available pages before exploring further.

# Symphony Validator: перевірки репозиторію лише для читання

> Symphony Validator — це засіб перевірки на C++26 лише для читання, який формує рядкові або JSON-докази для контрактів, замикання джерел, інваріантів, функцій і випусків.

Symphony Validator (`tools/symphony-validator`) — це незалежний, детермінований засіб перевірки репозиторію на C++26, що працює лише на читання. Він формує незмінні докази щодо поточного стану репозиторію та його контрактів. Він не може нічого виправляти чи публікувати.

## Що перевіряє валідатор

* Форму контрактів: обов’язкові якорі та структуру Contract Quad
* Поточне замикання джерел у поверхнях, індексованих SKVI
* Володіння інваріантами згідно з `knowledge/INVARIANTS.md` і реєстром інваріантів
* Очікування щодо адміністрування функцій, які повідомляє SSFV
* Записи випусків, які повідомляє SODV
* Кореневий підсумок, яким володіє машина, у README репозиторію

Докази виводяться як рядковий вивід або структурований JSON. Кожен вивід відтворюваний з того самого стану репозиторію.

## Чого валідатор не робить

> [!WARNING]
>
> Валідатор не може виправляти файли, переписувати контракти чи публікувати репозиторій. Він не створює канонічної істини ні про що; він лише повідомляє її.

* Жодних побічних ефектів у репозиторії
* Жодного доступу до мережі
* Жодного приглушення попереджень поза захищеною політикою попереджень qxctl

## Інтеграція з qxctl

qxctl валідує точну квитанцію валідатора та структуровані дайджести, перш ніж застосовувати захищену політику попереджень. Дев’ять захищених листових команд qxctl для життєвого циклу попереджень, а також точний маршрут кореневого підсумку, підкріплений квитанцією, надають адміністрування валідації без зміни сирих доказів детектора.

## Пов’язані поверхні

> [card] [qxctl validate](https://docs.quanux.org/symphony/uk/qxctl/validate.md)
>
> Граматика захищеної політики попереджень, базової лінії та відображення.

> [card] [SSFV](https://docs.quanux.org/symphony/uk/skv/ssfv.md)
>
> Очікування щодо адміністрування функцій, які перевіряє валідатор.

> [card] [SODV](https://docs.quanux.org/symphony/uk/skv/sodv.md)
>
> Записи випусків, які інспектує валідатор.

> [card] [Огляд SKV](https://docs.quanux.org/symphony/uk/skv/overview.md)
>
> Загальна структура, контракти якої перевіряє валідатор.


## Related topics

- [qxctl validate: політика попереджень Symphony Validator](https://docs.quanux.org/symphony/uk/qxctl/validate.md)
- [SKVI: рушій індексу Symphony Knowledge Vector](https://docs.quanux.org/symphony/uk/skv/skvi.md)
- [Векторні рушії Symphony: огляд незалежного встановлення](https://docs.quanux.org/symphony/uk/engines/overview.md)
- [qxctl maestro: читання інвентарю присутності рецепторів Symphony](https://docs.quanux.org/symphony/uk/qxctl/maestro.md)
- [STAV: журнал аудиту лише з дописуванням для кожного TOPS у Symphony](https://docs.quanux.org/symphony/uk/governance/stav.md)


This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.