Saltar para o conteúdo principal
A gramática qxctl validate ... administra a política de avisos protegida, a linha de base e a gramática de apresentação do Symphony Validator. O validador em C++, instalado de forma independente, produz evidência em bruto imutável; o qxctl administra uma apresentação protegida e neutra quanto ao chamador, sem alterar a deteção.

O que o qxctl validate abrange

  • Nove folhas protegidas de ciclo de vida de avisos
  • A rota exata de resumo da raiz suportada por recibos
  • Gestão da linha de base e relatórios de diferenças
  • Gramática de apresentação para saída em linhas e JSON estruturado
Cada folha valida o recibo exato e os digests estruturados do validador antes de aplicar a política de avisos protegida.

Limites

O qxctl validate não pode reparar ficheiros, publicar nada nem substituir a evidência em bruto dos detetores. A disposição dos avisos afeta a apresentação, não a deteção.
  • Nenhuma supressão de avisos fora da política protegida
  • Nenhuma modificação da saída do validador
  • Nenhuma cobertura fabricada para uma rota indisponível

Utilizações comuns

  • Estabelecer ou repor uma linha de base de avisos
  • Aprovar ou reabrir um aviso histórico governado
  • Emitir o resumo da raiz suportado por recibos que aparece no README do repositório
O validador subjacente a esta gramática verifica a forma dos contratos, o fecho atual do código-fonte, a propriedade dos invariantes, a administração de funcionalidades, as versões e o resumo da raiz gerido pela máquina.

Superfícies relacionadas

Validador

O verificador independente, só de leitura, em C++, que o qxctl administra.

SSFV

Expectativas de administração de funcionalidades verificadas na evidência.

SODV

Registos de versões que aparecem na evidência do validador.

Visão geral do qxctl

Superfície de comandos completa.
Última modificação em 10 de outubro de 2026