Ambiente

Use Python 3.9 ou mais recente. Uma configuração típica é:

O adaptador ML-DSA-44 usa pqcrypto==0.4.0. Se esse backend não estiver disponível, o teste real de ML-DSA é ignorado enquanto o restante dos testes de referência ainda é executado. Para o gate de verificação de produção, instale todas as dependências de pyproject.toml.

Pipeline de corpus externo

O wrapper CCADB delega a normalização e a construção do grafo ao pipeline existente do corpus WebPKI. Defina um dos seguintes antes de executar um build completo:

ou passe o caminho via Make:

A raiz do pipeline deve conter:

Sequência de regeneração de produção

O comando único é:

Ele executa os seguintes estágios em ordem.

1. Backup do corpus de entrada existente

Isso copia os subdiretórios atuais working_corpus/{raw,normalized,graph,outputs_scc_repaired}, quando presentes, para backups/input_corpus_<timestamp>/ e grava manifest.json, file_inventory.csv e SHA256SUMS.

2. Download dos dados CCADB fixados

Isso usa config/ccadb_download.yaml e grava:

O manifesto registra a tag crtsh/ccadb_data selecionada, o commit, o hash do registro de certificado V5, o intervalo de arquivos PEM anuais e o hash de entrada de confiança raiz.

3. Build do corpus local

O wrapper prepara os arquivos CCADB baixados sob working_corpus/raw/ e então invoca o normalizador e o construtor de grafo do pipeline existente. Ele grava:

4. Executar testes de protocolo e artefato

A suíte de testes cobre identificadores canônicos, análise de warm-wire, vinculação de terminal atual, canonicalização de fluxo tipado, negociação, deltas de atualização de intervalo, serialização de estado autenticado, esquema de saída de reconstrução e integração ML-DSA quando o backend está instalado.

5. Reconstruir linhas de caminho por visão

Isso lê config/reconstruction.yaml e emite uma linha por contexto de caminho/visão selecionado:

Cada linha de caminho registra a visão, IDs de certificado concretos, linhagem selecionada, ID de caminho, referências de dependência tipadas, tipos de dependência, bytes warm, bytes de linha de base e digests de vinculação de terminal.

6. Avaliar métricas globais e por visão

Isso calcula:

As fórmulas de contabilidade de bytes são:

7. Verificar consistência

Isso verifica saídas necessárias, manifestos de fontes fixadas, fórmulas de bytes por linha, IDs de caminho, digests de terminal, cobertura de registros de dependência, visões configuradas, serialização de estado por visão e disponibilidade do catálogo. Ele grava:

O status deve ser PASS.

8. Congelar o manifesto

Isso grava:

O manifesto registra informações de plataforma, metadados de fontes fixadas, metadados de build do corpus e hashes SHA-256 de todos os arquivos de resultado gerados.

Validação local mais rápida

Após o corpus já ter sido construído, execute:

Isso pula os estágios de backup, download e build do corpus e reexecuta testes, reconstrução, avaliação, verificações e congelamento de manifesto a partir do corpus local atual.

Resultados de produção atuais incluídos

As saídas geradas incluídas relatam:

Os resumos por visão estão em results/per_view_summary.csv.

Notas sobre identificadores e terminologia

A implementação usa nomes LR+ finalizados para arquivos de código-fonte, scripts, alvos, configuração e relatórios. Saídas criptográficas não são editadas manualmente além de metadados textuais estáveis. Impressões digitais hexadecimais de certificados, referências de registros e digests podem naturalmente conter substrings arbitrárias; estes são dados, não terminologia de processo.