> ## 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: kontrole repozytorium tylko do odczytu

> Symphony Validator to narzędzie kontrolne C++26 działające tylko do odczytu, które tworzy dowody w formie wierszy lub JSON dotyczące kontraktów, domknięcia źródeł, niezmienników, funkcji i wydań.

Symphony Validator (`tools/symphony-validator`) to niezależne, deterministyczne narzędzie C++26 do sprawdzania repozytorium w trybie tylko do odczytu. Tworzy niezmienne dowody dotyczące bieżącego stanu repozytorium i jego kontraktów. Nie może niczego naprawiać ani publikować.

## Co sprawdza walidator

* Kształt kontraktu: wymagane kotwice i strukturę Contract Quad
* Bieżące domknięcie źródeł w powierzchniach zindeksowanych przez SKVI
* Własność niezmienników zgodnie z `knowledge/INVARIANTS.md` i rejestrem niezmienników
* Oczekiwania dotyczące administracji funkcjami raportowane przez SSFV
* Rekordy wydań raportowane przez SODV
* Zarządzane maszynowo podsumowanie główne w pliku README repozytorium

Dowody są emitowane jako dane wyjściowe w formie wierszy lub ustrukturyzowany JSON. Każda emisja jest odtwarzalna z tego samego stanu repozytorium.

## Czego walidator nie robi

> [!WARNING]
>
> Walidator nie może naprawiać plików, przepisywać kontraktów ani publikować repozytorium. Nie tworzy kanonicznej prawdy o niczym; jedynie ją raportuje.

* Brak efektów ubocznych w repozytorium
* Brak dostępu do sieci
* Brak wyciszania ostrzeżeń poza chronioną polityką ostrzeżeń qxctl

## Integracja z qxctl

qxctl waliduje dokładne potwierdzenie walidatora i ustrukturyzowane skróty przed zastosowaniem chronionej polityki ostrzeżeń. Dziewięć chronionych liści qxctl dotyczących cyklu życia ostrzeżeń oraz dokładna, oparta na potwierdzeniu trasa podsumowania głównego udostępniają administrację walidacją bez zmieniania surowych dowodów detektora.

## Powiązane powierzchnie

> [card] [qxctl validate](https://docs.quanux.org/symphony/pl/qxctl/validate.md)
>
> Gramatyka chronionej polityki ostrzeżeń, linii bazowej i wyświetlania.

> [card] [SSFV](https://docs.quanux.org/symphony/pl/skv/ssfv.md)
>
> Oczekiwania dotyczące administracji funkcjami sprawdzane przez walidator.

> [card] [SODV](https://docs.quanux.org/symphony/pl/skv/sodv.md)
>
> Rekordy wydań sprawdzane przez walidator.

> [card] [Przegląd SKV](https://docs.quanux.org/symphony/pl/skv/overview.md)
>
> Nadrzędna struktura, której kontrakty sprawdza walidator.


## Related topics

- [SKVI: silnik indeksu Symphony Knowledge Vector](https://docs.quanux.org/symphony/pl/skv/skvi.md)
- [Symphony Knowledge Vector: przegląd frameworka SKV](https://docs.quanux.org/symphony/pl/skv/overview.md)
- [SAV: Symphony Accordare Vector do oceny kompozycji](https://docs.quanux.org/symphony/pl/skv/sav.md)
- [Maestro: organ obecności silników wektorów Symphony](https://docs.quanux.org/symphony/pl/governance/maestro.md)
- [SCLV: Symphony Change Ledger Vector dla zmian w źródłach](https://docs.quanux.org/symphony/pl/skv/sclv.md)


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