> ## 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: verificações só de leitura do repositório

> O Symphony Validator é um verificador C++26 só de leitura que emite evidências em linhas ou em JSON para contratos, fecho das fontes, invariantes, funcionalidades e versões.

O Symphony Validator (`tools/symphony-validator`) é um verificador de repositório C++26 independente, determinístico e só de leitura. Produz evidências imutáveis sobre o estado atual do repositório e dos seus contratos. Não consegue reparar nem publicar nada.

## O que o validador verifica

* Forma dos contratos: âncoras e estrutura obrigatórias do Contract Quad
* Fecho atual das fontes em todas as superfícies indexadas pelo SKVI
* Propriedade das invariantes de acordo com `knowledge/INVARIANTS.md` e o registo de invariantes
* Expectativas de administração de funcionalidades reportadas pelo SSFV
* Registos de versões reportados pelo SODV
* O resumo raiz detido pela máquina no README do repositório

As evidências são emitidas como saída em linhas ou como JSON estruturado. Cada emissão é reprodutível a partir do mesmo estado do repositório.

## O que o validador não faz

> [!WARNING]
>
> O validador não consegue reparar ficheiros, reescrever contratos nem publicar o repositório. Não cria verdade canónica sobre nada; limita-se a reportá-la.

* Sem efeitos secundários no repositório
* Sem acesso à rede
* Sem supressão de avisos fora da política protegida de avisos do qxctl

## Integração com o qxctl

O qxctl valida o recibo exato e os digests estruturados do validador antes de aplicar a política protegida de avisos. Nove comandos-folha protegidos do qxctl para o ciclo de vida dos avisos, bem como a rota exata do resumo raiz suportada por recibo, expõem a administração da validação sem alterar as evidências em bruto dos detetores.

## Superfícies relacionadas

> [card] [qxctl validate](https://docs.quanux.org/symphony/pt/qxctl/validate.md)
>
> Gramática da política protegida de avisos, da linha de base e da apresentação.

> [card] [SSFV](https://docs.quanux.org/symphony/pt/skv/ssfv.md)
>
> Expectativas de administração de funcionalidades verificadas pelo validador.

> [card] [SODV](https://docs.quanux.org/symphony/pt/skv/sodv.md)
>
> Registos de versões que o validador inspeciona.

> [card] [Visão geral do SKV](https://docs.quanux.org/symphony/pt/skv/overview.md)
>
> O enquadramento abrangente cujos contratos o validador verifica.


## Related topics

- [qxctl validate: política de avisos do Symphony Validator](https://docs.quanux.org/symphony/pt/qxctl/validate.md)
- [SKVI: o engine Symphony Knowledge Vector Index](https://docs.quanux.org/symphony/pt/skv/skvi.md)
- [Vetores e fases de entrega do Symphony](https://docs.quanux.org/symphony/pt/concepts/vectors.md)
- [Maestro: autoridade de presença dos motores de vetores do Symphony](https://docs.quanux.org/symphony/pt/governance/maestro.md)
- [qxctl maestro: ler o inventário de presença de recetores do Symphony](https://docs.quanux.org/symphony/pt/qxctl/maestro.md)


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