tools/symphony-validator) é um verificador de repositório C++26 independente, determinístico e somente leitura. Ele produz evidências imutáveis sobre o estado atual do repositório e de seus contratos. Ele não pode reparar nem publicar nada.
O que o validador verifica
- Forma dos contratos: âncoras e estrutura obrigatórias do Contract Quad
- Fechamento atual das fontes nas superfícies indexadas pelo SKVI
- Propriedade de invariantes conforme
knowledge/INVARIANTS.mde o registro de invariantes - Expectativas de administração de recursos relatadas pelo SSFV
- Registros de releases relatados pelo SODV
- O resumo raiz de propriedade da máquina no README do repositório
O que o validador não faz
- Nenhum efeito colateral no repositório
- Nenhum acesso à rede
- Nenhuma 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 folhas protegidas do qxctl para o ciclo de vida de avisos, além da rota exata do resumo raiz respaldada por recibo, expõem a administração da validação sem alterar as evidências brutas do detector.Superfícies relacionadas
qxctl validate
Gramática da política protegida de avisos, da linha de base e da exibição.
SSFV
Expectativas de administração de recursos verificadas pelo validador.
SODV
Registros de releases que o validador inspeciona.
Visão geral do SKV
O framework guarda-chuva cujos contratos o validador verifica.