Mapeamento de compliance

Compradores e fabricantes de receptores prestam contas a estruturas públicas de resiliência. Esta pasta mapeia o que o Kshana calcula e registra para essas estruturas, linha a linha, e kshana compliance-report preenche o mapeamento a partir das execuções que você realmente tem.

Redação. As saídas do Kshana fornecem evidências em apoio de um requisito. Não são uma classificação nem uma aprovação de nenhum produto, e nenhum destes arquivos é uma declaração de um organismo de avaliação; o Kshana não é um. O texto dos requisitos é parafraseado, nunca reproduzido.

Os pacotes de normas (0,38) transformam uma estrutura de referência em cenários pontuados: cada pacote tem cenários, limiares declarados antes da execução e as linhas para as quais fornece evidências em apoio. kshana standards-pack list os mostra.

Cada arquivo lista os seus documentos de origem com versão, URL, data de leitura e o que foi e o que não foi verificado. As fontes foram lidas em 2026-10-09 (o perfil do NIST em 2026-10-18; o boletim da EASA e as páginas do catálogo da EN 16803 foram verificados novamente em 2026-10-10). Quando uma fonte só pôde ser lida por meio de um espelho ou de uma página de catálogo, o arquivo informa isso.

O relatório#

kshana compliance-report spoof-detect.result.json integrity-raim.result.json session.result.json

grava compliance-report.compliance.md e compliance-report.compliance.json (--out <base> muda o nome). As entradas são arquivos de resultado de execuções anteriores: a execução de um cenário grava <name>.result.json ao lado de <name>.toml, e kshana receiver-trust grava o seu próprio. O tipo de cada execução é lido do arquivo de cenário ao lado do resultado, do conteúdo de um resultado de receiver-trust ou de um kind de nível superior, e deve ser um tipo que o motor conhece. Um resultado é listado como não usado, com o motivo, e não conta para nada quando o seu tipo não pode ser encontrado, não é um tipo conhecido, ou o cenário irmão e o próprio kind do resultado divergem. (O scenario_hash do resultado e um hash do arquivo de cenário não são comparados: o motor calcula o primeiro sobre o seu cenário analisado e um hash de arquivo é sobre o texto, de modo que são grandezas diferentes.)

Um rótulo de tipo de cenário, por si só, não é evidência. Uma execução só conta para uma capacidade quando o seu resultado também traz os campos que esse tipo grava (por exemplo, um resultado jamming precisa das suas figuras de mérito e das linhas por época; um resultado integrity precisa das suas contagens de amostras). Os campos estão listados em src/compliance/mapping.rs (KIND_FIELDS) e um resultado que falte um deles não é contado. Um hash que não é hexadecimal não é informado como hash. Um resultado de receiver-trust cujas contagens não são números inteiros, ou cuja contagem de detectados ou de concordantes excede a sua contagem avaliável, é excluído e listado como não usado.

Para cada linha, o relatório dá um destes:

A coluna de lacuna é impressa para todas as linhas, inclusive as evidenciadas: uma execução que fornece evidências em apoio de uma capacidade ainda deixa a maior parte de um requisito para outras evidências. O relatório repete a regra de redação no início. --mapping imprime as tabelas estáticas e --sources a lista de fontes.

As execuções de receiver-trust também contribuem com as contagens que declaram (eventos detectados dentre os avaliáveis, predições concordantes dentre as avaliáveis). Elas descrevem aquele registro, pontuado contra eventos e tolerâncias declarados antes da execução, e são informadas como a execução as declara.

Capacidades#