OpenCyber Academy
Pesquisa doutoral · Capítulo 7 · Português
Código do curso: OCA-207Capítulo 07: OCA-207-C007

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

Ensino gratuito e aberto para quem deseja proteger pessoas e tecnologias. Não é preciso criar uma conta para estudar ou consultar as respostas.

Mapa da aula

Aula 07 publicada. Mapa, exemplo, EX034.

flowchart TD
  N0["7.1 A tese como argumento"]
  N1["7.2 Monografia ou tese por publicações"]
  N2["7.3 Estrutura da tese do Cascade Study"]
  N3["7.4 O arquivo de reprodutibilidade"]
  N4["7.5 Dados sintéticos: inventados versus calibrados"]
  N5["7.6 Documentando modelos, dados e estudos"]
  N6["7.7 Escrevendo as limitações"]
  N7["Síntese do capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7
  N7 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX034"]

Desenho lógico

flowchart LR
  N0["7.1 A tese como argumento"]
  N1["7.2 Monografia ou tese por publicações"]
  N2["7.3 Estrutura da tese do Cascade Study"]
  N3["7.4 O arquivo de reprodutibilidade"]
  N4["7.5 Dados sintéticos: inventados versus calibrados"]
  N5["7.6 Documentando modelos, dados e estudos"]
  N6["7.7 Escrevendo as limitações"]
  N7["Síntese do capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7 --> Q["EX034"]

[7.1 A tese como argumento]
    |
    v
[7.2 Monografia ou tese por publicações]
    |
    v
[7.3 Estrutura da tese do Cascade Study]
    |
    v
[7.4 O arquivo de reprodutibilidade]
    |
    v
[7.5 Dados sintéticos: inventados versus calibrados]
    |
    v
[7.6 Documentando modelos, dados e estudos]
    |
    v
[7.7 Escrevendo as limitações]
    |
    v
[Síntese do capítulo]
    |
    v
[Exemplo resolvido] --> [Exercício EX034]

Objetivos de aprendizagem e conexão

Ao fim deste capítulo, o estudante será capaz de:

  1. Estruturar uma tese como um argumento em que cada alegação está ligada a evidência, garantia, escopo e limitação.
  2. Decidir entre uma monografia e uma tese por publicações e integrar qualquer uma delas num único argumento coerente.
  3. Desenhar um arquivo de reprodutibilidade em níveis que libere tanto quanto for lícito e seguro, sob a proteção das informações de infraestrutura.
  4. Distinguir dados sintéticos inventados de dados sintéticos calibrados a lugares reais e avaliar o risco residual de divulgação.
  5. Documentar modelos, conjuntos de dados e estudos de simulação com estruturas reconhecidas.
  6. Escrever uma seção de limitações que informe em vez de se desculpar.

O Capítulo 6 produziu a alegação estreitada. Este capítulo monta a tese em torno dela e constrói o arquivo que permite que outros a verifiquem sem expor a infraestrutura que ela estuda.

7.1 A tese como argumento

Uma tese não é um relatório de tudo o que foi feito; ela é um argumento a favor de uma contribuição. Um andaime útil é a análise de argumentos de Toulmin (Toulmin, 1958/2003): uma alegação apoiada por dados (evidências) por meio de uma garantia (a razão pela qual as evidências apoiam a alegação), com um respaldo para a garantia, um qualificador (com que força) e refutações (condições sob as quais a alegação falha). Aplicado à pesquisa sobre infraestrutura:

Tabela da aula; deslize para ver todas as colunas →

Elemento Exemplo do Cascade Study
Alegação A ordenação pelo tempo até o impacto reduz a perda ponderada de serviços críticos em relação à ordenação por sinalização crítica quando as ordens divergem, os mapas são acurados e as reservas são curtas.
Dados Simulações pareadas de Riverbend e Port Halvard; análise de 200 regiões; testes de erro do mapa e de escalonamento das reservas.
Garantia O simulador representa o esgotamento das reservas e a restauração sequencial de forma adequada para classificar as ordenações.
Respaldo Testes de verificação; reprodução das linhas de base; validação histórica da temporização da água; validade operacional contra as classificações dos especialistas.
Qualificador Em regiões sintéticas, uma única classe de cenários (quedas na distribuição que exigem restauração manual sequencial), pesos declarados com antecedência.
Refutações Erros no mapa; reservas longas; conjuntos de pesos que favorecem o espalhamento; reservas humanas e tempo de deslocamento omitidos; frequência real da divergência desconhecida.

Cada capítulo da tese deve contribuir com um elemento identificável. Um capítulo que não fornece nenhum é candidato a apêndice.

7.2 Monografia ou tese por publicações

Uma monografia apresenta um único argumento integrado; uma tese por publicações reúne artigos com uma introdução e uma conclusão integradoras. As teses sobre infraestrutura muitas vezes misturam gêneros — um artigo de modelo, um estudo empírico com operadores, uma análise de políticas —, o que combina com as teses por publicações, mas os capítulos integradores precisam fazer um trabalho real: declarar a alegação abrangente, mostrar como cada artigo contribui com dados ou respaldo, conciliar as diferenças de escopo entre os artigos e apresentar as limitações do conjunto. As normas sobre formato, declarações de coautoria e publicação prévia diferem entre instituições; esta trilha educacional não concede diplomas e não pode orientar sobre as normas de nenhuma instituição, além de apontar que elas precisam ser verificadas cedo.

7.3 Estrutura da tese do Cascade Study

  1. Introdução. Problema, lacuna, tipos de contribuição, alegação abrangente e seu escopo.
  2. Fundamentação. Definições, literatura de interdependência e resiliência, prática de restauração, teoria de programação (Capítulos 1–2 deste livro).
  3. Método. Mecanismo, hipóteses, linhas de base, protocolo, ética e proteção da informação (Capítulo 3).
  4. Verificação e linhas de base. Reproduções, testes de verificação, elicitação e piloto (Capítulo 4).
  5. Estudo principal e validação. Simulações, exercício de mesa, validação, segunda região (Capítulo 5).
  6. Crítica e limites. Testes do red team, sensibilidade, análise de muitas regiões, alegação estreitada, revisão de duplo uso (Capítulo 6).
  7. Discussão. O que os profissionais e os formuladores de políticas podem fazer com a alegação estreitada; o que continua desconhecido.
  8. Limitações.
  9. Conclusão.
  10. Apêndices. Pré-registro e emendas, registro de desvios, listagem dos testes de verificação, protocolos de elicitação, materiais do exercício de mesa, manifesto do arquivo.

7.4 O arquivo de reprodutibilidade

7.4.1 Objetivos e restrições

A reprodutibilidade nesta área precisa satisfazer dois objetivos que puxam em direções opostas: permitir que outros verifiquem o trabalho e não publicar informações que ajudem alguém a danificar a infraestrutura ou que identifiquem pessoas. Os princípios FAIR — localizáveis, acessíveis, interoperáveis, reutilizáveis — ajudam aqui porque FAIR não significa aberto: os dados podem ser localizáveis e ter suas condições de acesso claramente descritas enquanto o próprio acesso é controlado.

7.4.2 Níveis de liberação

Tabela da aula; deslize para ver todas as colunas →

Nível Quem pode acessar O que contém no Cascade Study Condições
T0 Público Qualquer pessoa Código do simulador, testes, definições das regiões sintéticas, sementes, saídas, scripts de análise, materiais do exercício de mesa sem identificadores Licença declarada; identificador persistente
T1 Registrado Pesquisadores que se registram e aceitam os termos Faixas de elicitação agregadas, sem a identidade dos parceiros; conjuntos de cenários ampliados Os termos de uso proíbem a reidentificação e a definição de alvos
T2 Controlado Pesquisadores aprovados sob um acordo e, quando aplicável, aprovação ética Transcrições pseudonimizadas do exercício de mesa e justificativas codificadas Acordo de uso de dados; ambiente seguro; auditoria
T3 Retido Não liberado; apenas descrito Relações alimentador–instalação derivadas dos parceiros, estoques reais das reservas, mapas Existência e natureza descritas na tese, para que os examinadores saibam o que falta e por quê

O manifesto do arquivo lista cada arquivo com um hash criptográfico e seu nível, para que qualquer pessoa possa verificar que os arquivos públicos são os que foram usados, e os examinadores possam ver o que existe nos níveis mais altos.

7.4.3 Atividade prática: construindo um manifesto em níveis

# Lab 7 - build a tiered reproducibility manifest for a synthetic thesis archive (offline)
import hashlib, json, os, tempfile
files = {
    "code/lab5_mc.py": b"# simulation code\n",
    "data/synthetic_riverbend_params.csv": b"feeder,customers\nF1,9000\nF2,1200\nF3,2500\nF4,6000\n",
    "data/partner_feeder_map.csv": b"feeder,substation,gps\nF2,SUB-7,redacted\n",
    "results/mc_summary.json": b'{"mean_dloss": -46.86}\n',
    "docs/operator_interview_notes.txt": b"P03: we restore by customer count\n",
}
RULES = [  # first matching rule wins; order matters
    ("partner_", "T3-withheld: partner-owned infrastructure detail; describe, do not release"),
    ("interview", "T2-controlled: human-subjects data; release only under approved access agreement"),
    ("synthetic_", "T0-public"),
    ("code/", "T0-public"),
    ("results/", "T0-public"),
]
def tier(path):
    for key, label in RULES:
        if key in path:
            return label
    return "UNCLASSIFIED: stop and review"
with tempfile.TemporaryDirectory() as root:
    manifest = []
    for rel, content in sorted(files.items()):
        p = os.path.join(root, rel)
        os.makedirs(os.path.dirname(p), exist_ok=True)
        with open(p, "wb") as fh:
            fh.write(content)
        manifest.append({"path": rel, "sha256": hashlib.sha256(content).hexdigest()[:16], "tier": tier(rel)})
    print(json.dumps(manifest, indent=1))
    print("public files:", sum(m["tier"].startswith("T0") for m in manifest), "of", len(manifest))

Saída esperada:

[
 {
  "path": "code/lab5_mc.py",
  "sha256": "e9db014f8aeb90da",
  "tier": "T0-public"
 },
 {
  "path": "data/partner_feeder_map.csv",
  "sha256": "160cefe894e75af9",
  "tier": "T3-withheld: partner-owned infrastructure detail; describe, do not release"
 },
 {
  "path": "data/synthetic_riverbend_params.csv",
  "sha256": "66bd4b5c8f37d273",
  "tier": "T0-public"
 },
 {
  "path": "docs/operator_interview_notes.txt",
  "sha256": "35c6e20265ce92c5",
  "tier": "T2-controlled: human-subjects data; release only under approved access agreement"
 },
 {
  "path": "results/mc_summary.json",
  "sha256": "7bde71d2f02e64ad",
  "tier": "T0-public"
 }
]
public files: 3 of 5

Duas escolhas de desenho merecem atenção. Primeiro, as regras são ordenadas e a primeira correspondência vence: se a regra "synthetic" fosse colocada antes da regra "partner", um arquivo chamado synthetic_partner_feeders.csv seria publicado. Ordene primeiro as regras mais restritivas. Segundo, um arquivo sem correspondência retorna "UNCLASSIFIED: stop and review" em vez de um nível padrão; um pipeline de liberação deve falhar fechado. Pipelines reais também examinariam o conteúdo dos arquivos (coordenadas, identificadores de ativos, nomes), e não apenas os caminhos.

7.5 Dados sintéticos: inventados versus calibrados

As regiões deste livro são inventadas: seus números foram escolhidos para ensinar e não correspondem a nenhum lugar. Uma tese baseada num parceiro real mais provavelmente produziria dados sintéticos calibrados — gerados para corresponder às propriedades estatísticas dos dados reais. A calibração preserva o valor de pesquisa e também preserva parte do risco de divulgação: se a região real tem um único hospital num alimentador pequeno com uma estação de água de reserva curta, uma região sintética calibrada que preserve essas relações ainda pode apontar para ela. Avalie o risco residual explicitamente: uma pessoa informada conseguiria associar a configuração sintética a uma real? Essa associação revelaria algo que ainda não é público? Generalizar (faixas em vez de valores), perturbar e misturar várias configurações reais reduzem o risco; a avaliação e as medidas escolhidas pertencem à documentação do arquivo.

7.6 Documentando modelos, dados e estudos

  • Modelos. Para componentes baseados em agentes, o protocolo ODD — overview, design concepts, details (visão geral, conceitos de desenho, detalhes) — dá uma estrutura padrão (Grimm et al., 2006). Para qualquer simulador, documente o propósito, as entidades e as variáveis de estado, os processos e o escalonamento, os insumos e suas fontes, os testes de verificação e as limitações conhecidas.
  • Conjuntos de dados. As datasheets registram a motivação, a composição, o processo de coleta, o pré-processamento, os usos, a distribuição e a manutenção (Gebru et al., 2021).
  • Componentes aprendidos. Se o estudo incluir um modelo aprendido (por exemplo, um detector), um model card registra o uso pretendido, as condições de avaliação e as limitações (Mitchell et al., 2019).
  • Computação. Fixe as versões da linguagem e das bibliotecas, registre as sementes, forneça um único comando que regenere todas as tabelas e figuras e inclua os testes de verificação. Sandve et al. (2013) dão dez regras práticas.

7.7 Escrevendo as limitações

Uma seção de limitações faz parte do argumento: ela declara as condições de refutação e sua direção provável. Seções de limitações fracas listam ressalvas genéricas ("mais pesquisas são necessárias"). As fortes dizem, para cada limitação, o que ela é, como poderia mudar o resultado e em que direção, e que estudo a resolveria. Para o Cascade Study:

Tabela da aula; deslize para ver todas as colunas →

Limitação Efeito possível Direção Estudo que a resolve
Reservas humanas (água por caminhão, entregas de combustível, alívio de carga) omitidas O modelo exagera a consequência de todas as ordenações e o benefício da reordenação Rumo a um benefício menor Modelar a extensão das reservas como condicionada às telecomunicações e às estradas; validar contra os registros pós-ação
Tempo de deslocamento entre os alimentadores omitido Ordenações que saltam entre alimentadores distantes custam mais do que o modelado Rumo a um benefício menor de DEP quando os alimentadores críticos estão dispersos Acrescentar uma matriz de tempos de deslocamento; reexecutar
Apenas regiões sintéticas Frequência da divergência nas regiões reais desconhecida Desconhecida Levantamento com concessionárias medindo a divergência, sob proteção T3
Pesos de um único painel Os vereditos mudam com os pesos (EX034) Qualquer uma Vários painéis; relatar os vereditos por conjunto de pesos
Amostra do exercício de mesa de 12 pessoas de 3 concessionárias Evidências de adoção fracas Rumo a um exagero da adotabilidade Estudo maior e estratificado; piloto de campo durante exercícios
Classe de cenários cibernéticos limitada a quedas na distribuição que exigem restauração manual Não cobre ataques às ferramentas de restauração nem aos dados de prioridade Desconhecida Família de cenários incluindo ataques à integridade dos dados de planejamento (motivada por §6.6)

7.8 Exemplo resolvido: montando o arquivo

O primeiro plano de arquivo do candidato colocava tudo em T2 "por segurança". A banca o rejeitou: a restrição excessiva impede a verificação e não é segura, apenas irresponsável. O plano revisado usou a tabela de níveis de §7.4.2, publicou todo o código e as configurações sintéticas em T0 com um único comando de regeneração, colocou as transcrições do exercício de mesa em T2 sob os termos de consentimento que os participantes assinaram e registrou o material T3 dos parceiros numa descrição que dizia aos examinadores exatamente quais análises dependiam dele — nenhum dos resultados confirmatórios dependia, por desenho, porque o estudo usou regiões inventadas para todas as alegações públicas e usou os dados dos parceiros apenas para as faixas de elicitação e a validade aparente. Essa decisão de desenho, tomada no Capítulo 1, é o que tornou possível um arquivo em grande parte público.

7.9 Erros comuns e limites

  • Escrever a tese como um caderno de laboratório cronológico em vez de um argumento.
  • Restringir tudo, ou publicar tudo, em vez de usar níveis.
  • Igualar FAIR a aberto.
  • Tratar os dados sintéticos calibrados como automaticamente seguros.
  • Scripts de liberação que falham abertos.

  • Seções de limitações sem direção nem estudos que as resolvam.

  • Colocar tudo num nível restritivo por segurança, o que impede a verificação e torna o trabalho irresponsável, e não seguro.

  • Ordenar as regras de liberação de modo que um padrão permissivo como synthetic corresponda antes de um restritivo como partner.
  • Classificar os arquivos apenas pelo nome, sem examinar o conteúdo em busca de coordenadas, identificadores de ativos ou nomes.
  • Deixar que os resultados confirmatórios dependam de material retido dos parceiros, de modo que os examinadores não possam verificá-los.
  • Omitir um único comando que regenere todas as tabelas e figuras a partir dos arquivos públicos.

Exercícios — capítulo 7

EX039 — Mapa do argumento. Objetivo: expor o argumento da tese. Insumos: a alegação estreitada de §6.5. Restrições: usar os seis elementos de Toulmin. Passos: (1) mapear a alegação; (2) marcar qual capítulo da tese fornece cada elemento; (3) identificar a garantia mais fraca e a evidência que a fortaleceria. Evidência esperada: mapa e parágrafo. Rubrica: 3 = mapa completo, garantia mais fraca corretamente identificada (adequação do modelo para regiões reais, ou reservas humanas omitidas) com um estudo de fortalecimento específico; 2 = um elemento ralo; 1 = apenas alegação e dados; 0 = nada.

EX040 — Atribuição de níveis. Objetivo: atribuir níveis a um arquivo realista. Insumos: dez artefatos: código do simulador; testes de verificação; configuração de Riverbend; formulários de elicitação com os nomes dos parceiros; faixas de elicitação agregadas; áudio do exercício de mesa; justificativas codificadas; formulários de consentimento; o procedimento de restauração de um parceiro; figuras finais. Restrições: usar os quatro níveis; justificar cada um. Passos: (1) atribuir um nível a cada artefato; (2) justificar o nível numa linha; (3) propor uma transformação que levaria cada item restrito a um nível mais aberto. Evidência esperada: tabela. Rubrica: 3 = níveis sensatos (código, testes, configurações e figuras T0; faixas agregadas T1; justificativas codificadas T2, ou T1 se desidentificadas; áudio, formulários de consentimento e formulários de elicitação nomeados T2 ou T3; procedimento do parceiro T3) com transformações; 2 = um ou dois mal avaliados; 1 = níveis uniformes; 0 = nada.

EX041 — Manifesto que falha fechado. Objetivo: melhorar o Laboratório 7. Insumos: Laboratório 7. Restrições: off-line. Passos: (1) acrescentar um arquivo data/synthetic_partner_feeders.csv; (2) mostrar que a ordem atual das regras o classifica corretamente e explicar por quê; (3) mover a regra synthetic_ para o início, reexecutar e registrar a falha; (4) acrescentar uma verificação de conteúdo que recuse o nível público para qualquer arquivo que contenha a cadeia SUB-. Evidência esperada: código, saídas, explicação. Rubrica: 3 = demonstra o risco da ordenação, a verificação de conteúdo funciona, a explicação se liga ao desenho que falha fechado; 2 = parcial; 1 = não executado; 0 = nada.

EX042 — Avaliação da divulgação residual. Objetivo: avaliar dados sintéticos calibrados. Insumos: uma região sintética calibrada a um condado real com um hospital, duas estações de água e cinco alimentadores, preservando qual alimentador abriga o hospital. Restrições: usar as perguntas de §7.5. Passos: (1) avaliar o risco de reidentificação; (2) avaliar o que uma associação revelaria; (3) propor transformações e avaliar seu custo para o valor de pesquisa. Evidência esperada: avaliação de uma página. Rubrica: 3 = reconhece a reidentificação pela estrutura única, propõe mistura ou generalização, pondera o valor de pesquisa com honestidade; 2 = avaliação rasa; 1 = declara o sintético seguro; 0 = nada.

EX043 — Documentação do modelo. Objetivo: documentar o simulador do Laboratório 5. Insumos: código do Laboratório 5. Restrições: seguir os elementos de modelo de §7.6; no máximo duas páginas. Passos: (1) escrever o propósito, as entidades, os processos e o escalonamento; (2) listar os insumos e suas fontes; (3) listar os testes de verificação; (4) listar as limitações conhecidas, incluindo pelo menos três de §7.7. Evidência esperada: documento. Rubrica: 3 = fiel ao código (intervalos baseados em eventos, atraso de reinício, atribuição das equipes, semântica de OU para as dependências), limitações específicas; 2 = pequenas imprecisões; 1 = genérico; 0 = nada.

EX044 — Seção de limitações. Objetivo: escrever limitações que informem. Insumos: seu próprio estudo ou o Cascade Study. Restrições: pelo menos cinco limitações, cada uma com efeito, direção e estudo que a resolva. Passos: (1) listar as limitações; (2) declarar o efeito e a direção de cada uma; (3) nomear o estudo que resolveria cada uma; (4) classificá-las por quanto poderiam mudar a alegação principal. Evidência esperada: tabela e parágrafo de classificação. Rubrica: 3 = específicas, direcionais, com estudos que as resolvam e uma classificação justificada; 2 = faltam direções em algumas; 1 = ressalvas genéricas; 0 = nada.

Síntese do capítulo

A tese é um argumento: alegação, dados, garantia, respaldo, qualificador e refutações, cada um fornecido por uma parte identificável do trabalho. A pesquisa sobre infraestrutura precisa conciliar a reprodutibilidade com a proteção da infraestrutura estudada e das pessoas envolvidas; os arquivos em níveis com manifestos com hash fazem isso, e os princípios FAIR descrevem o acesso sem implicar abertura. As ferramentas de liberação devem falhar fechadas e verificar o conteúdo, e não apenas os nomes. Os dados sintéticos inventados trazem pouco risco de divulgação; os dados sintéticos calibrados precisam de uma avaliação explícita do risco residual. Documente os modelos, os dados e a computação com estruturas reconhecidas. As limitações declaram a direção e os estudos que as resolvem, o que as transforma na próxima agenda de pesquisa.

Respostas comentadas

EX034 — Sensibilidade aos pesos. Com todos os pesos definidos como 1,0 (500 sorteios, semente 7): Riverbend SILO 15,00, CRITFLAG 1,32, DEP 1,07, ORACLE 0,54; DEP − CRITFLAG −0,25 (intervalo de Monte Carlo de 95% de −0,41 a −0,08). Port Halvard SILO 14,95, CRITFLAG 8,61, DEP 2,49, ORACLE 2,49; DEP − CRITFLAG −6,12 (−6,24 a −6,00). Vereditos: H1 inalterada (sustentada); H2 em Riverbend muda de rejeitada para inconclusiva sob a regra pré-registrada — a estimativa pontual é uma redução de 19%, mas a extremidade superior do intervalo (−0,08) não fica inteiramente abaixo do limiar (−0,13); H2 em Port Halvard inalterada (sustentada); H4 não afetada (os clientes-hora não dependem dos pesos). Explicação: com os pesos declarados com antecedência, restaurar F3 primeiro protege dois serviços de peso alto (água 4 e o hospital via água 5), o que favorece a ordem de CRITFLAG; com pesos iguais, restaurar cedo as telecomunicações importa relativamente mais e a regra do menor tempo até o impacto de DEP ganha. Conclusão: o veredito de Riverbend depende dos valores; a tese precisa relatar os vereditos por conjunto de pesos.

EX039 — Mapa do argumento. Alegação, dados, garantia, respaldo, qualificador e refutações como em §7.1, com os capítulos: dados (Capítulos 5–6), garantia (verificação do Capítulo 4 e validação do Capítulo 5), respaldo (reproduções e testes do Capítulo 4), qualificador (escopo do Capítulo 3 mais as condições do Capítulo 6), refutações (Capítulo 6 e Limitações). Garantia mais fraca: a de que o modelo classifica as ordenações de forma adequada para regiões reais, já que a validação histórica cobre um único evento de todas as causas e omite as reservas humanas. Fortalecimento: validação da temporização das reservas contra vários registros pós-ação, com as reservas humanas modeladas explicitamente.

EX040 — Atribuição de níveis. Código do simulador T0; testes de verificação T0; configuração de Riverbend T0 (inventada); formulários de elicitação com os nomes dos parceiros T3 (ou T2, se os parceiros consentirem com o acesso controlado) — transformar retirando as identidades e agregando para T1; faixas de elicitação agregadas T1 (T0 se os parceiros concordarem e não restar nenhuma estrutura única); áudio do exercício de mesa T2 — destruir após a transcrição, se o consentimento assim disser; justificativas codificadas T2, ou T1 após a desidentificação e a remoção das combinações de função mais concessionária; formulários de consentimento T2 (administrativos, nunca liberados); procedimento de restauração do parceiro T3 — descrever apenas sua existência e seu papel; figuras finais T0.

EX041 — Manifesto que falha fechado. Com a ordem original das regras, data/synthetic_partner_feeders.csv corresponde primeiro a partner_ e é classificado como T3 (correto). Mover a regra synthetic_ para o início o classifica como T0-public (errado) — um risco de ordenação. Uma verificação de conteúdo: antes de atribuir T0, ler os bytes e recusar T0 se b"SUB-" (ou qualquer padrão de uma lista de formatos de identificadores de ativos) ocorrer, retornando "UNCLASSIFIED: stop and review". Lição: coloque primeiro as regras mais restritivas, falhe fechado quando não houver correspondência e verifique o conteúdo além dos nomes.

EX042 — Avaliação da divulgação residual. Risco: a configuração (um hospital, duas estações de água, cinco alimentadores, hospital num alimentador específico) é uma impressão digital estrutural quase única do condado; alguém com conhecimento local poderia associá-la. Uma associação revelaria qual alimentador atende o hospital e as reservas obtidas — informação de alvos. Transformações: misturar estruturas de vários condados; generalizar para faixas; abandonar a ligação alimentador–hospital e substituí-la por uma atribuição aleatória que preserve apenas a estatística de interesse (por exemplo, a distribuição da divergência). Custo: ligação mais fraca com o caso real; a tese precisa declarar quais resultados dependem da estrutura preservada.

EX043 — Documentação do modelo. Propósito: classificar as ordenações de restauração pela perda ponderada de serviços críticos e pelos clientes-hora em quedas na distribuição que exigem restauração manual sequencial. Entidades: alimentadores (clientes, duração da restauração), serviços (alimentador, reserva, peso, dependência opcional com reserva local), equipes. Processos e escalonamento: as equipes pegam os alimentadores na ordem da política assim que ficam livres; os intervalos de interrupção dos serviços são calculados exatamente, do esgotamento da reserva até a restauração mais um atraso de reinício de uma hora; os intervalos de dependência começam no início da interrupção do fornecedor mais a reserva local e terminam com a restauração do fornecedor; intervalos limitados a 72 h; as dependências têm semântica de OU. Insumos: distribuições triangulares da elicitação; pesos do painel de gestão de emergências. Verificação: as invariantes e os testes unitários do EX024. Limitações: sem tempo de deslocamento; sem extensão das reservas humanas; apenas semântica de OU; reservas fixas (sem dinâmica de esgotamento); uma única classe de cenários.

EX044 — Seção de limitações. Uma resposta forte se parece com §7.7, com cinco ou mais limitações, cada uma com efeito, direção e estudo que a resolva, e as classifica: (1) reservas humanas omitidas (poderiam reduzir todos os benefícios da reordenação), (2) regiões sintéticas (frequência da divergência desconhecida), (3) pesos (os vereditos mudam), (4) tempo de deslocamento (reduz o benefício de DEP onde os alimentadores críticos estão dispersos), (5) escala do exercício de mesa (adoção não comprovada).