Capítulo 7 — Síntesis de la tesis y archivo de reproducibilidad
Mapa de la lección
Lección 07 publicada. Mapa, ejemplo, EX039.
flowchart TD
N0["Resultados de aprendizaje y conexión"]
N1["7.1 El mapa del argumento"]
N2["7.2 Estructura de la tesis"]
N3["7.3 Un archivo por niveles"]
N4["7.4 Actividad práctica — Lab 7: un manifiesto que fa"]
N5["7.5 Fichas de conjuntos de datos"]
N6["7.7 Implicaciones sin extralimitarse"]
N7["Síntesis del capítulo"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7
N7 --> EX["Ejemplo resuelto"]
EX --> Q["Ejercicio EX039"]
Dibujo lógico
flowchart LR
N0["Resultados de aprendizaje y conexión"]
N1["7.1 El mapa del argumento"]
N2["7.2 Estructura de la tesis"]
N3["7.3 Un archivo por niveles"]
N4["7.4 Actividad práctica — Lab 7: un manifiesto que fa"]
N5["7.5 Fichas de conjuntos de datos"]
N6["7.7 Implicaciones sin extralimitarse"]
N7["Síntesis del capítulo"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7 --> Q["EX039"]
[Resultados de aprendizaje y conexión]
|
v
[7.1 El mapa del argumento]
|
v
[7.2 Estructura de la tesis]
|
v
[7.3 Un archivo por niveles]
|
v
[7.4 Actividad práctica — Lab 7: un manifiesto que fa]
|
v
[7.5 Fichas de conjuntos de datos]
|
v
[7.7 Implicaciones sin extralimitarse]
|
v
[Síntesis del capítulo]
|
v
[Ejemplo resuelto] --> [Ejercicio EX039]
Resultados de aprendizaje y conexión
Al terminar este capítulo usted podrá (1) trazar el argumento de una tesis desde los datos hasta la afirmación con garantías explícitas; (2) construir un archivo de reproducibilidad por niveles y que falle de forma cerrada; (3) redactar fichas de conjuntos de datos para corpus sintéticos y restringidos; (4) enunciar los límites con dirección, es decir, diciendo hacia dónde sesgaría el resultado cada límite; y (5) conectar la tesis con la práctica de la migración sin extralimitarse. Reúne los capítulos 1–6 y prepara la defensa del capítulo 8.
7.1 El mapa del argumento
Use la estructura de Toulmin para cada afirmación principal: datos (las diferencias pareadas del Lab 5), garantía (el bootstrap pareado estima la incertidumbre de muestreo cuando los elementos son intercambiables), respaldo (el uso habitual del método y las estadísticas de concordancia del piloto), matizador («donde los sensores observan el segmento»), refutación (equipos de fabricantes fuera de los sensores, activos desconocidos) y afirmación. Dibujar el mapa deja al descubierto las garantías que faltan. Una laguna habitual en las tesis de PQC es la garantía que vincula la exhaustividad del inventario con la reducción del riesgo: exige un argumento sobre la vida útil de los datos (el marco de Mosca del capítulo 1) y sobre lo que hace la organización con los hallazgos, y el inventario no mide ninguna de las dos cosas.
7.2 Estructura de la tesis
Funciona un orden convencional: introducción y laguna; antecedentes sobre la amenaza cuántica, las normas y el despliegue híbrido; método y modelo del observador; replicación; estudio principal; validación; crítica y límites; conclusiones. Ponga la afirmación acotada en el primer párrafo del resumen. Ponga la frontera arquitectónica en el capítulo de método, no escondida entre las limitaciones. Mantenga una única fuente de verdad para cada número —un archivo de resultados generado por código—, de modo que el resumen, las tablas y el texto no puedan discrepar.
Redacte el capítulo de método antes que el de resultados.
7.3 Un archivo por niveles
Publique abiertamente los artefactos de nivel 0 y nivel 1; mantenga el nivel 2 en manos del dueño de los datos con un acuerdo de acceso; no conserve nunca el nivel 3. El manifiesto del archivo registra el nivel y el hash SHA-256 de cada fichero, y el proceso de publicación falla de forma cerrada: cualquier fichero de nivel 2 o cualquier discrepancia de hash bloquea la publicación. Incluya el hash de la configuración congelada del capítulo 5 para que los examinadores puedan confirmar que la validación usó las reglas congeladas.
Ejecute la comprobación de publicación sobre el archivo exacto que se va a publicar, no sobre una copia de trabajo. Mantenga el manifiesto bajo control de versiones.
7.4 Actividad práctica — Lab 7: un manifiesto que falla de forma cerrada
# 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] + "...")
Salida esperada (el prefijo del hash es determinista):
('BLOCKED', ['raw_capture.pcap: tier 2 not releasable'])
('RELEASED', [])
{"tier": 0, "sha256": "db6dd8db390974cdd06e19b00d7fe35d26836...
La primera llamada bloquea la publicación porque hay una captura de nivel 2 en el manifiesto; al eliminarla, la publicación se permite. En un archivo real, eliminar el fichero no basta: compruebe que ningún fichero de nivel 0 o nivel 1 contiene extractos de él y anote la eliminación en el registro de cambios del archivo. El prefijo del hash impreso permite a un examinador confirmar que las reglas de fusión del archivo coinciden con las congeladas antes de la validación. Vuelva a ejecutarlo después de cada cambio en el archivo.
7.5 Fichas de conjuntos de datos
Para cada corpus, redacte una ficha que cubra: procedencia (generador sintético y semilla, o dueño y autorización), periodo de recogida, instrumentos y versiones, método de seudonimización, lagunas conocidas (segmentos sin sensores), definiciones de las etiquetas (el libro de códigos enmendado), estadísticas de concordancia, usos previstos y usos prohibidos (por ejemplo, nada de reidentificación ni de uso como lista de objetivos). Los corpus sintéticos también necesitan ficha, porque, si no, los lectores confunden distribuciones generadas con datos de campo. Guarde cada ficha junto a su corpus y actualícela cuando se encuentren erratas. Feche cada revisión de la ficha.
7.6 Límites con dirección
Un límite sin dirección es un ritual. Indique hacia dónde empuja la estimación. Activos desconocidos excluidos de los denominadores → exhaustividad sobrestimada (acotada por el análisis de peor caso). Sensores colocados donde se concentran los equipos de fabricantes → ganancia agregada sobrestimada para organizaciones con sensores más dispersos. Adjudicadores con documentación de los dueños → la verdad de referencia puede pasar por alto usos no documentados → exhaustividad de ambos métodos sobrestimada, dirección de la ganancia incierta. Organizaciones sintéticas → validez externa desconocida en ambas direcciones. Una tabla de límites con una columna de «dirección» es una de las páginas más valiosas de la tesis.
7.7 Implicaciones sin extralimitarse
La implicación práctica defendible es estrecha: los programas de migración que dependen solo del análisis estático probablemente encuentran menos usos vulnerables a la computación cuántica de los que hay en los equipos cerrados de los fabricantes, y deberían combinar fuentes donde puedan observar el tráfico e informar de las proporciones desconocidas. No se sigue que ninguna organización esté preparada, que la negociación híbrida resista la degradación ni que el inventario sustituya a la planificación de la agilidad criptográfica descrita en NIST CSWP 39.
Redacte la implicación como una recomendación con su condición adjunta, de modo que un profesional que lea solo ese párrafo vea aún el alcance: donde los sensores puedan observar el tráfico y con las proporciones desconocidas declaradas.
7.8 Errores comunes y límites
- Números tecleados a mano en el texto que se desvían del archivo de resultados.
- Archivos que incluyen en silencio capturas restringidas.
- Límites enumerados sin dirección ni magnitud.
- Implicaciones que saltan de «encontró más» a «más seguro».
Cada error tiene una salvaguarda sencilla. Genere cada número del texto a partir del archivo de resultados. Ejecute la comprobación del manifiesto que falla de forma cerrada sobre el archivo de publicación. Añada a cada límite una dirección y, cuando sea posible, una magnitud. Lea en voz alta el párrafo de implicaciones y deténgase en cualquier verbo que implique seguridad en lugar de descubrimiento.
Ejercicios — capítulo 7
- EX039 — Mapa de Toulmin. Trace el mapa de la afirmación H4 con sus seis elementos. Rúbrica: 3 = garantía y refutación específicas.
- EX040 — Garantía ausente. Redacte el argumento que vincula la exhaustividad con la reducción del riesgo y enumere la evidencia que necesitaría. Rúbrica: 3 = incluye la vida útil de los datos y la remediación.
- EX041 — Manifiesto. Amplíe el Lab 7 para que falle cuando falte un fichero incluido en el manifiesto. Rúbrica: 3 = el código funciona y falla de forma cerrada.
- EX042 — Ficha del conjunto de datos. Redacte la ficha del corpus de Marrow. Rúbrica: 3 = incluye usos prohibidos y lagunas conocidas.
- EX043 — Límites con dirección. Añada a la tabla de 7.6 tres límites con dirección y magnitud. Rúbrica: 3 = direcciones argumentadas, magnitudes acotadas cuando sea posible.
- EX044 — Párrafo de implicaciones. Redacte en 150 palabras la implicación práctica para una persona responsable de la migración. Rúbrica: 3 = útil y dentro de lo que permite la evidencia.
Síntesis del capítulo
Una tesis es un argumento cuyas garantías son explícitas, cuyos números tienen una sola fuente, cuyo archivo no puede filtrar datos restringidos y cuyos límites apuntan en direcciones declaradas. Sus implicaciones son tan estrechas como sus afirmaciones.
Siga estudiando — capítulo 07 de 08
← Capítulo 06 (borrador) · Índice de capítulos del curso · Capítulo 08 (borrador) →