← SE-107 — Taller: diagnosticar un fallo desconocido · ↑ Parte 08 · 📚 Índice completo · 🌐 Portal · SE-109 — Biblioteca, framework, runtime, plataforma y SDK →
Punto profesional y fundamento pedagógico
Punto profesional. La clase existe para entregar un entorno autocontenido que se reconstruya, diagnostique y recupere.
Por qué aparece aquí. Se sitúa después de Taller: diagnosticar un fallo desconocido y antes de Biblioteca, framework, runtime, plataforma y SDK: convierte el conocimiento anterior en una decisión observable que la clase siguiente podrá reutilizar. La continuidad se comprueba en el artefacto, no por compartir vocabulario.
Error conceptual que debe corregir. Considerar reproducible un contenedor que depende de cachés o pasos manuales.
Secuencia de aprendizaje. Antes de leer la solución, el estudiante predice el resultado del caso normal y del error conceptual anterior. Luego explica un caso resuelto paso a paso, construye un contraejemplo que cambie la decisión y, sin consultar el texto, reconstruye el mecanismo y lo aplica a una entrada nueva. La secuencia usa predicción, explicación propia, contraste y recuperación. ICAP distingue participación de construcción de conocimiento; How People Learn II exige conectar conocimiento previo, contexto y transferencia; la práctica de recuperación respalda producir de nuevo la explicación tras una demora; y Education for Life and Work exige devolución que explique la causa del error.
Evidencia de aprendizaje. Configuración, locks, build limpio, smoke test, SBOM y guía de recuperación. Debe contener predicción previa, observación, explicación causal, contraejemplo, criterio de aceptación y una nota de qué dato haría cambiar la conclusión.
Límite de la conclusión. Autocontenido no significa hermético frente a servicios externos.
Trazabilidad fuente → afirmación
| Fuente primaria u oficial | Afirmación que respalda | Lo que no prueba |
|---|---|---|
| Development Container Specification | Configuración reproducible de herramientas y ciclo de vida del contenedor; autoridad: Dev Container Specification maintainers | No demuestra por sí sola que el artefacto del estudiante sea correcto. |
| Python venv | Aislamiento de intérprete, scripts y entorno virtual; autoridad: Python Software Foundation | No demuestra por sí sola que el artefacto del estudiante sea correcto. |
| Language Server Protocol 3.18 | Mensajes, capacidades y sincronización entre editor y servidor; autoridad: Microsoft | No demuestra por sí sola que el artefacto del estudiante sea correcto. |
Antes de empezar
Esta clase continúa el entorno reproducible de diagnóstico de la Parte 08. Recupera la evidencia de la clase anterior, añade una decisión propia de Proyecto: entorno de desarrollo autocontenido y deja un artefacto que la clase siguiente deberá consumir. La pregunta activa es: ¿Qué evidencia demuestra que un entorno de desarrollo puede reconstruirse, diagnosticarse y eliminarse con seguridad?
Prerrequisitos
- Haber completado la clase anterior o reconstruir su contrato y evidencia.
- Python 3.11 o posterior, terminal, editor y Git; un segundo runtime es opcional y debe declararse.
- Trabajar con fixtures sintéticos: ninguna observación necesita datos de una persona o sistema real.
Problema auténtico
El entorno reproducible de diagnóstico debe entregarse a otra persona sin exportar el perfil personal del autor. El proyecto integra runtime, dependencias, editor opcional, comandos, fixture, diagnóstico y limpieza.
Objetivos observables
Al terminar podrás explicar los cinco mecanismos de esta clase, predecir su comportamiento antes de ejecutar, construir un caso normal y uno límite, diagnosticar el fallo controlado, comparar una alternativa y entregar evidencia que otra persona pueda reproducir.
Mapa conceptual
Ver la notación fuente del diagrama
flowchart LR
N1[Contrato de bootstrap] --> N2[Configuración versionada mínima] --> N3[Diagnóstico incorporado] --> N4[Rebuild / prueba cruzada] --> N5[Limpieza / recuperación]
N5 -->|fallo o cambio| N1El mapa se lee como una cadena de razonamiento, no como fases obligatorias del runtime. La flecha de retorno indica que un fallo o cambio de requisito obliga a revisar el modelo inicial; no autoriza a parchear solo la última salida.
Temas y por qué importan
| Tema | Por qué cambia una decisión profesional | Evidencia mínima |
|---|---|---|
| Contrato de bootstrap | La guía parte de host soportado y termina en una prueba verde. | Predicción, traza causal y contraejemplo de Contrato de bootstrap en configuración |
| Configuración versionada mínima | Se versionan manifest, lock cuando aplica, contenedor y configuración compartible del editor. | Predicción, traza causal y contraejemplo de Configuración versionada mínima en configuración |
| Diagnóstico incorporado | Un comando imprime versiones, ejecutable, plataforma y checks sin secretos. | Predicción, traza causal y contraejemplo de Diagnóstico incorporado en configuración |
| Rebuild y prueba cruzada | La aceptación elimina entorno, reconstruye sin cache relevante y ejecuta en al menos dos superficies declaradas si están disponibles. | Predicción, traza causal y contraejemplo de Rebuild y prueba cruzada en configuración |
| Limpieza y recuperación | La guía enumera artefactos creados y ofrece eliminación acotada dentro del workspace. | Predicción, traza causal y contraejemplo de Limpieza y recuperación en configuración |
Conceptos y decisiones
1. Contrato de bootstrap
La guía parte de host soportado y termina en una prueba verde. Declara prerrequisitos, versiones, comandos y tiempo esperado sin asumir configuración personal. Cada paso tiene señal de éxito y corrección para fallo común.
2. Configuración versionada mínima
Se versionan manifest, lock cuando aplica, contenedor y configuración compartible del editor. Se excluyen tokens, rutas locales y preferencias no necesarias. Un default ayuda, pero existe ruta CLI independiente del IDE.
3. Diagnóstico incorporado
Un comando imprime versiones, ejecutable, plataforma y checks sin secretos. La reproducción del defecto y su regresión viven junto al proyecto. Logs separan stdout consumible de stderr diagnóstico y usan códigos de salida.
4. Rebuild y prueba cruzada
La aceptación elimina entorno, reconstruye sin cache relevante y ejecuta en al menos dos superficies declaradas si están disponibles. Si solo se probó una, se dice. Capturas visuales no sustituyen comandos y resultados.
5. Limpieza y recuperación
La guía enumera artefactos creados y ofrece eliminación acotada dentro del workspace. Antes de borrar volumen se verifica nombre y datos. Se explica cómo volver al último estado sano sin reset --hard ni operaciones destructivas generales.
Definiciones de trabajo
- contrato de bootstrap: la guía parte de host soportado y termina en una prueba verde.
- configuración versionada mínima: se versionan manifest, lock cuando aplica, contenedor y configuración compartible del editor.
- diagnóstico incorporado: un comando imprime versiones, ejecutable, plataforma y checks sin secretos.
- rebuild y prueba cruzada: la aceptación elimina entorno, reconstruye sin cache relevante y ejecuta en al menos dos superficies declaradas si están disponibles.
- limpieza y recuperación: la guía enumera artefactos creados y ofrece eliminación acotada dentro del workspace.
Las definiciones son operativas para el entorno reproducible de diagnóstico. No convierten términos con historia más amplia en sinónimos y deben contrastarse con la documentación primaria enlazada al final.
Ejemplo mínimo
python tools/doctor.py
python -m unittest -v
python reproduce.py --fixture fixtures/two-equal.json
# Reconstruir desde cero y repetir antes de aceptar.Antes de ejecutar, predice estado, resultado y error. Después registra versión, comando y salida. Si el fragmento es pseudocódigo o pertenece a otro lenguaje, etiquétalo como tal y no afirmes que fue ejecutado.
Ejemplo profesional
En el entorno reproducible de diagnóstico, una investigación conserva síntoma, entorno, reproducción, hipótesis, observaciones, causa, corrección y regresión. La implementación de esta clase debe conservar ese contrato aunque cambie la forma interna. El caso profesional no pregunta únicamente si produce una salida: pregunta quién puede producirla, qué estado observa, cómo falla y qué rastro permite disputar una decisión incorrecta.
Compara el caso normal con autorización falsa, evidencia incompleta, empate y repetición. Un mecanismo es apropiado cuando esas diferencias quedan visibles y localizadas; es peligroso cuando dependen de orden accidental, estado oculto o una convención que el consumidor no puede conocer.
Práctica guiada
- Copia el contrato de entrada y salida antes de escribir implementación.
- Predice el caso normal y un límite; identifica la invariante que no puede romperse.
- Implementa la versión mínima sin I/O dentro del núcleo.
- Ejecuta el caso y conserva comando, versión y salida bajo
evidence/. - Introduce el fallo controlado, reduce la reproducción y formula dos hipótesis rivales.
- Corrige la causa, añade regresión y ejecuta el conjunto completo.
- Compara con otro paradigma o lenguaje indicando qué semántica se preserva.
Ejercicios
- Lectura: dibuja una traza de cinco pasos y marca dónde cambia estado o control.
- Construcción: añade una observación que refute una hipótesis sin cambiar simultáneamente el sistema.
- Frontera: cubre vacío, empate, no autorizado e inválido con resultados distintos.
- Contraste: reescribe una pieza con otro modelo y explica una mejora y una pérdida.
Reto verificable
Entrega implementación, fixtures, pruebas y un informe corto. Se aprueba si otra persona ejecuta desde checkout limpio, obtiene los mismos resultados y puede relacionar cada rama o transformación con una regla del dominio. No se aprueba por cantidad de archivos ni por usar la sintaxis característica del paradigma.
Caso conductor
El entorno reproducible de diagnóstico parte de una inversión de empates en la biblioteca de estructuras y algoritmos, captura versión y entrada mínima, compara un entorno sano con uno afectado y conserva la primera divergencia observable. Cambia después una sola regla o condición y revisa qué archivos, pruebas y trazas debieron modificarse. Esa superficie de cambio alimenta el proyecto final de la parte.
Preguntas frecuentes
¿Una técnica o herramienta determina toda la arquitectura?
No. Puede organizar un núcleo o una frontera sin dominar el sistema completo. Combinar técnicas es válido si las fronteras preservan identidad, orden, errores y evidencia.
¿Más automatización o menos líneas significan una solución mejor?
No. La brevedad puede quitar duplicación o esconder decisiones. Se evalúan semántica, diagnóstico, costo de cambio y adecuación a la carga.
¿Debo instalar todas las herramientas mencionadas?
No. Instala solo lo necesario para la práctica elegida. Registra versión y comandos; si solo analizas una notación o salida, decláralo como análisis no ejecutado.
Fallo controlado y diagnóstico
La guía funciona solo porque el autor tiene una herramienta global. Prueba en contenedor/usuario limpio, añade prerequisito o reemplaza la dependencia y conserva el log de bootstrap.
Registra síntoma, entrada mínima, hipótesis, observación que descarta cada hipótesis, causa, corrección y prueba de regresión. No cambies simultáneamente implementación, fixture y expectativa.
Errores comunes y cómo corregirlos
| Síntoma | Causa probable | Corrección |
|---|---|---|
| dos pruebas aisladas pasan y juntas fallan | estado o dependencia compartida | aislar propietario y reiniciar fixture |
| implementación corta pero opaca | semántica delegada sin contrato | documentar transición, error y orden |
| modelos “equivalentes” divergen | fixtures normalizan diferencias reales | comparar contrato antes de presentación |
| reintento duplica resultado | efecto sin identidad ni idempotencia | correlacionar y probar repetición |
| diagrama y código cuentan historias distintas | visual ornamental o desactualizado | trazar el mismo caso en ambos |
Entorno y archivos clave
work/SE-108/
├── README.md
├── diagnostic_environment/
│ ├── domain.py
│ └── se_108.py
├── fixtures/cases.json
├── tests/test_se_108.py
└── evidence/diagnosis.mdEl README declara plataforma, runtimes, comandos, limpieza y límites. Evita dependencias externas cuando la biblioteca estándar permita observar el mecanismo; si agregas una, fija procedencia y versión.
Seguridad, ética y accesibilidad
- la autorización forma parte del dominio y no se infiere por ausencia de rechazo;
- no uses
eval, reglas descargadas ni serialización insegura; - limita colas, recursión, tamaño de entrada y tiempo de evaluación;
- redacta trazas y conserva una explicación textual además de color o animación;
- una recomendación automatizada debe poder revisarse, impugnarse y corregirse;
- respeta licencias de ejemplos y atribuye adaptaciones.
Transferencia
Traslada un fixture al segundo modelo, herramienta, plataforma o lenguaje. Compara representación de ausencia, error, mutabilidad, orden y cancelación. La transferencia está lograda cuando el contrato se conserva y las diferencias están explicadas, no cuando la interfaz se parece.
Evaluación y evidencia
| Criterio | Evidencia para aprobar |
|---|---|
| comprensión | explicación causal de los cinco mecanismos |
| corrección | normal, límite, inválido y contraejemplo |
| diseño | estado, efectos y contrato localizables |
| diagnóstico | reproducción mínima y regresión |
| transferencia | comparación semántica, no estética |
| reproducibilidad | versiones, comandos, salida y límites |
Fuentes
- Language Server Protocol 3.18 — Mensajes, capacidades y sincronización entre editor y servidor; autoridad: Microsoft.
- Debug Adapter Protocol — Breakpoints, frames, variables y negociación de capacidades; autoridad: Microsoft.
- Python Debugging and Profiling — Pdb, cprofile, timeit, tracemalloc y límites instrumentales; autoridad: Python Software Foundation.
- Python venv — Aislamiento de intérprete, scripts y entorno virtual; autoridad: Python Software Foundation.
- Development Container Specification — Configuración reproducible de herramientas y ciclo de vida del contenedor; autoridad: Dev Container Specification maintainers.
- Web Content Accessibility Guidelines 2.2 — Percepción, operación por teclado y reducción de barreras en interfaces; autoridad: W3C.
Cada fuente respalda el mecanismo indicado; ninguna demuestra que la implementación del entorno reproducible de diagnóstico sea correcta. Esa afirmación depende de fixtures, pruebas, trazas y revisión reproducible.
Límites y siguiente paso
El entorno reduce variabilidad conocida, no congela hardware, red o servicios externos. La Parte 9 convertirá la capacidad de la biblioteca de estructuras y algoritmos en una biblioteca, paquete, SDK y CLI con contratos públicos y compatibilidad verificable.
Glosario
- contrato de bootstrap: la guía parte de host soportado y termina en una prueba verde.
- configuración versionada mínima: se versionan manifest, lock cuando aplica, contenedor y configuración compartible del editor.
- diagnóstico incorporado: un comando imprime versiones, ejecutable, plataforma y checks sin secretos.
- rebuild y prueba cruzada: la aceptación elimina entorno, reconstruye sin cache relevante y ejecuta en al menos dos superficies declaradas si están disponibles.
- limpieza y recuperación: la guía enumera artefactos creados y ofrece eliminación acotada dentro del workspace.
← SE-107 — Taller: diagnosticar un fallo desconocido · ↑ Parte 08 · 📚 Índice completo · 🌐 Portal · SE-109 — Biblioteca, framework, runtime, plataforma y SDK →