Capítulo 7 — Síntese da tese e arquivo de reprodutibilidade

Mapa da aula

Aula 07 publicada. Mapa, exemplo, EX039.

flowchart TD
  N0["7.1 O mapa do argumento"]
  N1["7.2 Estrutura da tese"]
  N2["7.3 Um arquivo em camadas"]
  N3["7.4 Atividade prática — Laboratório 7: um manifesto"]
  N4["7.5 Fichas de conjuntos de dados"]
  N5["7.7 Implicações sem exagero"]
  N6["Síntese do capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6
  N6 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX039"]

Desenho lógico

flowchart LR
  N0["7.1 O mapa do argumento"]
  N1["7.2 Estrutura da tese"]
  N2["7.3 Um arquivo em camadas"]
  N3["7.4 Atividade prática — Laboratório 7: um manifesto"]
  N4["7.5 Fichas de conjuntos de dados"]
  N5["7.7 Implicações sem exagero"]
  N6["Síntese do capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> Q["EX039"]

[7.1 O mapa do argumento]
    |
    v
[7.2 Estrutura da tese]
    |
    v
[7.3 Um arquivo em camadas]
    |
    v
[7.4 Atividade prática — Laboratório 7: um manifesto]
    |
    v
[7.5 Fichas de conjuntos de dados]
    |
    v
[7.7 Implicações sem exagero]
    |
    v
[Síntese do capítulo]
    |
    v
[Exemplo resolvido] --> [Exercício EX039]

Objetivos de aprendizagem e conexão

Depois deste capítulo, você consegue (1) mapear o argumento de uma tese dos dados até a alegação, com garantias explícitas; (2) montar um arquivo de reprodutibilidade em camadas, que falha de forma fechada; (3) escrever fichas de conjuntos de dados para corpora sintéticos e restritos; (4) enunciar os limites com direção — dizendo para que lado cada limite enviesaria o resultado; e (5) ligar a tese à prática de migração sem exagero. Ele reúne os capítulos 1–6 e prepara a defesa do Capítulo 8.

7.1 O mapa do argumento

Use a estrutura de Toulmin para cada alegação principal: dados (as diferenças pareadas do Laboratório 5), garantia (o bootstrap pareado estima a incerteza amostral quando os itens são intercambiáveis), apoio (o uso padrão do método e as estatísticas de concordância do piloto), qualificador ("onde os sensores observam o segmento"), refutação (appliances fora dos sensores, ativos desconhecidos) e alegação. Desenhar o mapa expõe as garantias que faltam. Uma lacuna comum nas teses de PQC é a garantia que liga a revocação do inventário à redução de risco: ela exige um argumento sobre os tempos de vida dos dados (o enquadramento de Mosca do Capítulo 1) e sobre o que a organização faz com as constatações, e nenhum dos dois é medido pelo inventário.

7.2 Estrutura da tese

Uma ordem convencional funciona: introdução e lacuna; fundamentos sobre a ameaça quântica, as normas e a implantação híbrida; método e modelo de observador; replicação; estudo principal; validação; crítica e limites; conclusões. Ponha a alegação estreitada no primeiro parágrafo do resumo. Ponha a fronteira arquitetural no capítulo de método, e não escondida nas limitações. Mantenha uma única fonte de verdade para cada número — um arquivo de resultados gerado por código —, para que o resumo, as tabelas e o texto não possam discordar.

Escreva o capítulo de método antes do capítulo de resultados.

7.3 Um arquivo em camadas

Divulgue publicamente os artefatos de nível 0 e de nível 1; mantenha o nível 2 com o dono dos dados, sob um acordo de acesso; nunca guarde o nível 3. O manifesto do arquivo registra o nível e o hash SHA-256 de cada arquivo, e o processo de divulgação falha de forma fechada: qualquer arquivo de nível 2 ou divergência de hash bloqueia a divulgação. Inclua o hash da configuração congelada do Capítulo 5, para que os examinadores possam confirmar que a validação usou as regras congeladas.

Execute a verificação de divulgação sobre o arquivo exato que será publicado, e não sobre uma cópia de trabalho. Mantenha o manifesto sob controle de versão.

7.4 Atividade prática — Laboratório 7: um manifesto que falha de forma fechada

# Lab 7 (synthetic): a fail-closed reproducibility manifest. Any tier >= 2 file in the
# public archive, or any hash mismatch, stops the release.
import hashlib, json
files = {  # name: (tier, content) - contents are synthetic stand-ins
    "fusion_rules.json": (0, b'{"window_days": 14, "match": "canonical-host"}'),
    "corpus_synthetic.csv": (0, b"use_id,class,static,passive\nU1,code,1,0\n"),
    "handshakes_pseudonymized.csv": (1, b"host,group\nh-7f3a,0x001D\n"),
    "raw_capture.pcap": (2, b"\x00\x01binary"),
}
manifest = {n: {"tier": t, "sha256": hashlib.sha256(c).hexdigest()} for n, (t, c) in files.items()}
def release(manifest, files, public_max_tier=1):
    problems = []
    for n, m in manifest.items():
        if m["tier"] > public_max_tier:
            problems.append(f"{n}: tier {m['tier']} not releasable")
        elif hashlib.sha256(files[n][1]).hexdigest() != m["sha256"]:
            problems.append(f"{n}: hash mismatch")
    return ("BLOCKED", problems) if problems else ("RELEASED", [])
print(release(manifest, files))
del manifest["raw_capture.pcap"]
print(release(manifest, files))
print(json.dumps(manifest["fusion_rules.json"])[:60] + "...")

Saída esperada (o prefixo do hash é determinístico):

('BLOCKED', ['raw_capture.pcap: tier 2 not releasable'])
('RELEASED', [])
{"tier": 0, "sha256": "db6dd8db390974cdd06e19b00d7fe35d26836...

A primeira chamada bloqueia a divulgação porque há uma captura de nível 2 no manifesto; removê-la permite a divulgação. Num arquivo real, remover o arquivo não basta: verifique se nenhum arquivo de nível 0 ou 1 contém extratos dele e registre a remoção no registro de mudanças do arquivo. O prefixo de hash impresso permite a um examinador confirmar que as regras de fusão do arquivo são as que foram congeladas antes da validação. Execute de novo depois de cada mudança no arquivo.

7.5 Fichas de conjuntos de dados

Para cada corpus, escreva uma ficha cobrindo: procedência (gerador sintético e semente, ou dono e autorização), período de coleta, instrumentos e versões, método de pseudonimização, lacunas conhecidas (segmentos sem sensores), definições dos rótulos (o livro de códigos emendado), estatísticas de concordância, usos pretendidos e usos proibidos (por exemplo, nenhuma reidentificação e nenhum uso como lista de alvos). Os corpora sintéticos também precisam de fichas, porque, do contrário, os leitores confundem distribuições geradas com dados de campo.

Guarde cada ficha ao lado do seu corpus e atualize-a quando forem encontradas erratas. Date cada revisão da ficha.

7.6 Limites com direção

Um limite sem direção é um ritual. Diga para que lado ele empurra a estimativa. Ativos desconhecidos excluídos dos denominadores → revocação superestimada (limitada pela análise de pior caso). Sensores posicionados onde os appliances se concentram → ganho agregado superestimado para organizações com sensores mais esparsos. Adjudicadores com a documentação dos donos → a verdade de referência pode deixar de fora usos não documentados → a revocação dos dois métodos fica superestimada, direção do ganho incerta. Organizações sintéticas → validade externa desconhecida nas duas direções. Uma tabela de limites com uma coluna de "direção" é uma das páginas mais valiosas da tese.

7.7 Implicações sem exagero

A implicação prática defensável é estreita: os programas de migração que se apoiam apenas na análise estática provavelmente encontram menos usos vulneráveis à computação quântica do que existem nos appliances fechados de fornecedores, e devem combinar fontes onde conseguem observar o tráfego e relatar as participações desconhecidas. Não decorre daí que alguma organização esteja pronta, que a negociação híbrida resista ao rebaixamento ou que o inventário substitua o planejamento da agilidade criptográfica descrito no NIST CSWP 39.

Escreva a implicação como uma recomendação com a sua condição anexada, para que um profissional que leia apenas esse parágrafo ainda veja o escopo: onde os sensores conseguem observar o tráfego, e com as participações desconhecidas relatadas.

7.8 Erros comuns e limites

• Números digitados à mão no texto que se afastam do arquivo de resultados.
• Arquivos que incluem silenciosamente capturas restritas.
• Limites listados sem direção nem magnitude.
• Implicações que saltam de "encontrou mais" para "mais seguro".

Cada erro tem uma salvaguarda simples. Gere todos os números do texto a partir do arquivo de resultados. Execute a verificação do manifesto que falha de forma fechada sobre o arquivo de divulgação. Acrescente uma direção e, quando possível, uma magnitude a cada limite. Leia em voz alta o parágrafo de implicações e pare em qualquer verbo que sugira segurança, e não descoberta.

Exercícios — capítulo 7

• EX039 — Mapa de Toulmin. Mapeie a alegação da H4 com os seis elementos. Rubrica: 3 = garantia e refutação específicas.
• EX040 — Garantia ausente. Escreva o argumento que liga a revocação à redução de risco e liste as evidências de que ele precisaria. Rubrica: 3 = envolve o tempo de vida dos dados e a correção.
• EX041 — Manifesto. Estenda o Laboratório 7 para falhar quando um arquivo listado no manifesto estiver ausente. Rubrica: 3 = o código funciona e falha de forma fechada.
• EX042 — Ficha do conjunto de dados. Escreva a ficha do corpus da Marrow. Rubrica: 3 = inclui usos proibidos e lacunas conhecidas.
• EX043 — Limites com direção. Acrescente três limites, com direção e magnitude, à tabela de 7.6. Rubrica: 3 = direções argumentadas, magnitudes limitadas quando possível.
• EX044 — Parágrafo de implicação. Escreva a implicação para o líder de uma migração em 150 palavras. Rubrica: 3 = útil e dentro das evidências.

Síntese do capítulo

Uma tese é um argumento cujas garantias são explícitas, cujos números têm uma única fonte, cujo arquivo não consegue vazar dados restritos e cujos limites apontam em direções declaradas. As suas implicações são tão estreitas quanto as suas alegações.