Mapeamento de compliance

Os compradores e os fabricantes de recetores respondem perante quadros públicos de resiliência. Esta pasta mapeia o que o Kshana calcula e regista para esses quadros, linha a linha, e kshana compliance-report preenche o mapeamento a partir das execuções que realmente tem.

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

Os pacotes de normas (0,38) transformam um quadro de referência em cenários pontuados: cada pacote tem cenários, limiares fixados antes da execução e linhas em apoio das quais fornece elementos de prova. kshana standards-pack list mostra-os.

Cada ficheiro lista os seus documentos de origem com versão, URL, data de leitura e o que foi e 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 de novo em 2026-10-10). Quando uma fonte só pôde ser lida através de um espelho ou de uma página de catálogo, o ficheiro di-lo.

O relatório#

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

escreve compliance-report.compliance.md e compliance-report.compliance.json (--out <base> muda o nome). As entradas são ficheiros de resultados de execuções anteriores: uma execução de cenário escreve <name>.result.json junto de <name>.toml, e kshana receiver-trust escreve o seu próprio. O tipo de cenário de cada execução é lido do ficheiro de cenário junto do resultado, do conteúdo de um resultado receiver-trust ou de um kind de nível superior, e tem de ser um tipo de cenário que o motor conheça. Um resultado é listado como não usado, com o motivo, e não conta para nada quando o seu tipo de cenário não pode ser encontrado, não é um tipo de cenário conhecido, ou o cenário vizinho e o kind do próprio resultado discordam. (O scenario_hash do resultado e um hash do ficheiro de cenário não são comparados: o motor calcula o primeiro sobre o seu cenário analisado e um hash de ficheiro incide sobre o texto, pelo que são grandezas diferentes.)

Uma etiqueta de tipo de cenário, por si só, não é prova. Uma execução só conta para uma capacidade quando o seu resultado transporta também os campos que esse tipo de cenário escreve (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 a que falte um deles não é contado. Um hash que não seja hexadecimal não é reportado como hash. Um resultado receiver-trust cujas contagens não são números inteiros, ou cuja contagem de detetados ou concordantes excede a sua contagem de avaliáveis, é excluído e listado como não usado.

Para cada linha, o relatório indica uma de:

A coluna de lacunas é impressa para todas as linhas, incluindo as que têm provas: uma execução que fornece elementos de prova em apoio de uma capacidade deixa ainda a maior parte de um requisito para outras provas. O relatório repete a regra de formulação no seu início. --mapping imprime as tabelas estáticas e --sources a lista de fontes.

As execuções receiver-trust contribuem também com as contagens que declaram (eventos detetados dos avaliáveis, previsões concordantes dos avaliáveis). Essas contagens descrevem esse registo, pontuado face a eventos e tolerâncias fixados antes da execução, e são reportadas tal como a execução as declara.

Capacidades#