Mapa da aula
Aula 48 publicada. Mapa, exemplo, EX142.
flowchart TD
N0["48.1 Montar"]
N1["48.2 Manifesto e divergência"]
N2["Laboratório — Detectar um arquivo de evidência alter"]
N3["48.3 Tratar as mudanças"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4
N4 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX142"]
Desenho lógico
flowchart LR
N0["48.1 Montar"]
N1["48.2 Manifesto e divergência"]
N2["Laboratório — Detectar um arquivo de evidência alter"]
N3["48.3 Tratar as mudanças"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX142"]
[48.1 Montar]
|
v
[48.2 Manifesto e divergência]
|
v
[Laboratório — Detectar um arquivo de evidência alter]
|
v
[48.3 Tratar as mudanças]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX142]
Objetivos de aprendizagem
Você vai (1) montar um dossiê de evidências de um programa de governança; (2) protegê-lo com um manifesto de digests; (3) detectar e explicar mudanças.
48.1 Montar
Para a tese e para os auditores da Ardwell, Nadia monta um dossiê de evidências: o extrato do registro de riscos, os resultados trimestrais dos testes de controles, a declaração de aplicabilidade e as atas do conselho que aprovam o apetite a riscos. Cada item tem origem, data e responsável. Ela escreve um índice curto que explica o que cada item prova e como se liga aos requisitos; o índice liga, por exemplo, as atas à afirmação de que o apetite foi formalmente aprovado. Ela aprende que um dossiê é um argumento, e não uma pilha de arquivos: deve permitir ao leitor seguir a afirmação de que os controles funcionam até as evidências.
48.2 Manifesto e divergência
Nadia calcula um digest de cada arquivo e guarda o manifesto separadamente. Semanas depois, ela confere de novo. Três arquivos batem, mas os resultados dos testes de controles não: o laboratório mostra uma divergência nesse arquivo. A investigação revela que uma responsável por testes editou o arquivo para mudar quarenta e cinco testes aprovados para quarenta e sete, depois de executar de novo dois testes. A mudança pode ser legítima e refletir novos testes reais, mas editar a evidência no próprio arquivo destrói o registro do resultado original, que deixa de estar visível.
Laboratório — Detectar um arquivo de evidência alterado
"""Evidence dossier manifest: detect a changed file by SHA-256 (synthetic contents)."""
import hashlib
files = {"risk_register.csv": "R01,IT ops,12\nR02,Finance,8\n", "control_tests.csv": "access,48,45\n",
"soa.md": "Statement of applicability v3\n", "board_minutes.md": "Risk appetite approved\n"}
man = {f: hashlib.sha256(c.encode()).hexdigest()[:12] for f, c in files.items()}
files["control_tests.csv"] = "access,48,47\n"
for f in sorted(files):
now = hashlib.sha256(files[f].encode()).hexdigest()[:12]
print(f, man[f], "OK" if now == man[f] else "MISMATCH")
Execute com python3 lab_dossier.py. Saída verificada:
board_minutes.md a112873ae77e OK
control_tests.csv 33fdcc0a788f MISMATCH
risk_register.csv 5e0ebfd61225 OK
soa.md ac050567962d OK
48.3 Tratar as mudanças
Nadia restaura o arquivo original a partir do arquivo-morto e pede à responsável que registre o novo teste como evidência nova, com data própria, para que os dois resultados fiquem visíveis e rastreáveis pelos auditores. Ela atualiza o procedimento para proibir a edição de evidências já arquivadas. Observa que os digests detectam a mudança, mas não dizem se ela foi honesta. O Prof. Brenner explica que a integridade das evidências sustenta toda afirmação de garantia, e que os programas maduros tratam as evidências como append-only, registrando as correções como novas entradas em vez de sobrescrever as antigas.
Exemplo resolvido
Nadia monta um dossiê indexado, detecta pelo digest um arquivo de testes alterado e restabelece o tratamento append-only.
Caso sintético. O conteúdo do dossiê é sintético.
Erros e limites
Os digests provam a mudança, não a intenção. Os manifestos também precisam ser protegidos.
Exercícios
- EX142 — Dossiê como argumento. Por que um dossiê é um argumento, e não uma pilha de arquivos?
Mostrar critérios de avaliação
Rubrica: 3 = permite ao leitor rastrear as afirmações até as evidências;; 2 = rastreabilidade;; 1 = vago;; 0 = nenhuma. - EX143 — Arquivo divergente. Que arquivo mostrou divergência?
Mostrar critérios de avaliação
Rubrica: 3 = control_tests.csv;; 2 = resultados dos testes;; 1 = vago;; 0 = nenhuma. - EX144 — Tratamento correto. Como um novo teste deve ser registrado?
Mostrar critérios de avaliação
Rubrica: 3 = como evidência nova, com data própria;; 2 = acrescentar;; 1 = editar no arquivo;; 0 = nenhuma.
Síntese
Dossiês de evidências precisam de índices, manifestos de resumos criptográficos e tratamento somente por acréscimo.