Pular 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 exibição do Symphony Validator. O validador em C++, instalado de forma independente, produz evidências brutas imutáveis; o qxctl administra uma apresentação protegida e neutra quanto ao chamador, sem alterar a detecção.

O que o qxctl validate abrange

  • Nove folhas protegidas do ciclo de vida de avisos
  • A rota exata de resumo da raiz apoiada por recibo
  • Gerenciamento da linha de base e relatório de deltas
  • Gramática de exibiçã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 arquivos, publicar nada nem sobrepor as evidências brutas do detector. A disposição dos avisos afeta a apresentação, não a detecçã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

Usos comuns

  • Estabelecer ou redefinir uma linha de base de avisos
  • Aprovar ou reabrir um aviso histórico governado
  • Emitir o resumo da raiz apoiado por recibo que aparece no README do repositório
O validador por trás desta gramática verifica o formato dos contratos, o fechamento do código atual, a propriedade de invariantes, a administração de features, as releases e o resumo da raiz mantido pela máquina.

Superfícies relacionadas

Validador

O verificador independente e somente leitura em C++ que o qxctl administra.

SSFV

Expectativas de administração de features verificadas nas evidências.

SODV

Registros de release que aparecem nas evidências do validador.

Visão geral do qxctl

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