Scripting repetible y tareas idempotentes

← SE-113 — CLI, flags, configuración y códigos de salida · ↑ Parte 09 · 📚 Índice completo · 🌐 Portal · SE-115 — Plugins, extensiones y puntos de integración →

Punto profesional y fundamento pedagógico

Punto profesional. La clase existe para hacer scripts repetibles mediante precondiciones, detección de estado y efectos idempotentes.

Por qué aparece aquí. Se sitúa después de CLI, flags, configuración y códigos de salida y antes de Plugins, extensiones y puntos de integración: 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. Suponer que ejecutar dos veces es seguro porque la primera terminó.

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. Idempotence.md con estado inicial, dos ejecuciones, fallo intermedio y 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. Idempotencia local no implica atomicidad ni seguridad concurrente.

Trazabilidad fuente → afirmación

Antes de empezar

Esta clase continúa el producto reutilizable con SDK y CLI de la Parte 09. Recupera la evidencia de la clase anterior, añade una decisión propia de Scripting repetible y tareas idempotentes y deja un artefacto que la clase siguiente deberá consumir. La pregunta activa es: ¿Qué debe ocurrir al ejecutar una automatización dos veces, interrumpirla o retomarla?

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 script de bootstrap del producto reutilizable con SDK y CLI agrega la misma configuración en cada ejecución y publica de nuevo tras un timeout cuya respuesta se perdió.

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

flowchart LR
    N1[Idempotencia] --> N2[Precondición / postcondición] --> N3[Plan / dry-run] --> N4[Retry / operaciones inciertas] --> N5[Journal / rollback]
    N5 -->|fallo o cambio| N1

El 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

Conceptos y decisiones

1. Idempotencia

Una operación es idempotente respecto de su efecto observable si repetir con la misma intención no acumula cambios. No significa que no trabaje ni que devuelva exactamente la misma latencia. Crear-si-falta y reemplazar contenido canónico son patrones diferentes.

2. Precondición y postcondición

Antes de mutar se valida estado, identidad y alcance; después se comprueba resultado. Un script que solo confía en exit code de subcomando puede dejar estado parcial. Checks deben distinguir ya correcto de fallo.

3. Plan y dry-run

Mostrar cambios antes de aplicarlos mejora revisión, siempre que use la misma lógica de decisión. Un dry-run que omite permisos o resolución externa no garantiza éxito. Se etiqueta qué no puede simular.

4. Retry y operaciones inciertas

Reintentar requiere clasificar error y conocer si el primer intento pudo surtir efecto. Claves de idempotencia o consulta posterior resuelven resultados inciertos. Backoff con jitter y límite evita amplificar una caída.

5. Journal y rollback

Registrar pasos completados permite reanudar o compensar. Rollback no siempre restaura efectos externos; por eso se prefieren cambios atómicos y reversibles. La guía declara punto de no retorno y recuperación manual.

Definiciones de trabajo

• idempotencia: una operación es idempotente respecto de su efecto observable si repetir con la misma intención no acumula cambios.
• precondición y postcondición: antes de mutar se valida estado, identidad y alcance; después se comprueba resultado.
• plan y dry-run: mostrar cambios antes de aplicarlos mejora revisión, siempre que use la misma lógica de decisión.
• retry y operaciones inciertas: reintentar requiere clasificar error y conocer si el primer intento pudo surtir efecto.
• journal y rollback: registrar pasos completados permite reanudar o compensar.

Las definiciones son operativas para el producto reutilizable con SDK y CLI. 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

desired = render_config(input)
current = path.read_text() if path.exists() else None
if current != desired:
    atomic_write(path, desired)
assert path.read_text() == desired

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 producto reutilizable con SDK y CLI, un release contiene contrato público, artefactos inmutables, dependencias, procedencia, ejemplos, errores y ruta de migració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

1. Copia el contrato de entrada y salida antes de escribir implementación.
2. Predice el caso normal y un límite; identifica la invariante que no puede romperse.
3. Implementa la versión mínima sin I/O dentro del núcleo.
4. Ejecuta el caso y conserva comando, versión y salida bajo evidence/.
5. Introduce el fallo controlado, reduce la reproducción y formula dos hipótesis rivales.
6. Corrige la causa, añade regresión y ejecuta el conjunto completo.
7. Compara con otro paradigma o lenguaje indicando qué semántica se preserva.

Ejercicios

1. Lectura: dibuja una traza de cinco pasos y marca dónde cambia estado o control.
2. Construcción: añade una capacidad pública y prueba el comportamiento desde un proyecto consumidor.
3. Frontera: cubre vacío, empate, no autorizado e inválido con resultados distintos.
4. 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 producto reutilizable con SDK y CLI empaqueta el motor de la biblioteca de estructuras y algoritmos como engineering_sdk, expone choose_next, una CLI y un punto de extensión. Ejecuta instalación limpia, entrada válida, configuración ausente, plugin incompatible y actualización entre dos versiones. 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

Simula timeout después de publicar pero antes de recibir respuesta. Reintentar crea duplicado. Añade idempotency key o consulta por versión/hashes antes de repetir.

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

Entorno y archivos clave

work/SE-114/
├── README.md
├── engineering_sdk/
│   ├── domain.py
│   └── se_114.py
├── fixtures/cases.json
├── tests/test_se_114.py
└── evidence/diagnosis.md

El 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

Fuentes

• Semantic Versioning 2.0.0 — Api pública, versiones, prereleases y compatibilidad declarada; autoridad: Semantic Versioning project.
• Python Packaging User Guide: Specifications — Metadata, nombres, versiones, dependencias y artefactos de distribución; autoridad: Python Packaging Authority.
• pylock.toml Specification — Lock files para instalaciones reproducibles y selección por entorno; autoridad: Python Packaging Authority.
• Python Standard Library — Argparse, importlib.metadata, subprocess y apis de automatización; autoridad: Python Software Foundation.
• SPDX Specification 3.0 — Identificadores, sbom y procedencia legible por máquinas; autoridad: Linux Foundation.
• REUSE Specification — Declaración inequívoca y verificable de copyright y licencias por archivo; autoridad: Free Software Foundation Europe.

Cada fuente respalda el mecanismo indicado; ninguna demuestra que la implementación del producto reutilizable con SDK y CLI sea correcta. Esa afirmación depende de fixtures, pruebas, trazas y revisión reproducible.

Límites y siguiente paso

La automatización administra capacidades conocidas. La siguiente clase permite extensiones de terceros sin entregarles accidentalmente toda la autoridad del proceso.

Glosario

• idempotencia: una operación es idempotente respecto de su efecto observable si repetir con la misma intención no acumula cambios.
• precondición y postcondición: antes de mutar se valida estado, identidad y alcance; después se comprueba resultado.
• plan y dry-run: mostrar cambios antes de aplicarlos mejora revisión, siempre que use la misma lógica de decisión.
• retry y operaciones inciertas: reintentar requiere clasificar error y conocer si el primer intento pudo surtir efecto.
• journal y rollback: registrar pasos completados permite reanudar o compensar.

← SE-113 — CLI, flags, configuración y códigos de salida · ↑ Parte 09 · 📚 Índice completo · 🌐 Portal · SE-115 — Plugins, extensiones y puntos de integración →