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.mde 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
O que o validador não faz
- 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
qxctl validate
Gramática da política protegida de avisos, da linha de base e da apresentação.
SSFV
Expectativas de administração de funcionalidades verificadas pelo validador.
SODV
Registos de versões que o validador inspeciona.
Visão geral do SKV
O enquadramento abrangente cujos contratos o validador verifica.