Verificación editorial, estructural y pedagógica#

Fecha de revisión y actualización: 2026-10-18.

Este documento registra los protocolos de comprobación empírica, la demarcación de límites de verificación honestos y la expansión pedagógica integral aplicada sobre la totalidad del curso autodirigido de Rust y desarrollo full-stack.

Para consultar definiciones formales de cualquier término utilizado en este protocolo, acude al glosario técnico central.

Diccionario de verificación#

Para comprender qué valida empíricamente cada prueba y qué queda fuera de su alcance, este glosario desglosa los seis métodos de verificación estructural implementados en este repositorio:

1. Compilación con arnés de pruebas (`rustc --test`)#

Qué valida: Garantiza que el código fuente en Rust sea sintácticamente válido, tipológicamente coherente con la biblioteca estándar std, cumpla con las reglas del Borrow Checker y pase con éxito todas las aserciones de prueba (assert!, assert_eq!) ejecutadas por el test runner nativo de rustc sin generar pánicos en memoria.
Qué NO valida: No comprueba crates externos que no formen parte de la distribución oficial de Rust ni simula comportamientos de red o bases de datos no instrumentados en memoria.

2. Comprobación de diagnósticos de error deliberados (`E0308`, `E0382`, `E0502`)#

Qué valida: Asegura que los fragmentos de código presentados pedagógicamente como "errores intencionales del compilador" fallen por la causa exacta explicada en la lección y no por un error tipográfico trivial (por ejemplo, confirmando que falle con E0308: mismatched types o E0382: borrow of moved value, y no con E0425: cannot find value in this scope).
Qué NO valida: No evalúa si el código puede compilarse ignorando las advertencias; valida la exactitud del diagnóstico didáctico.

3. Validación sintáctica de cercas Markdown y encabezados#

Qué valida: Comprueba que todos los bloques de código delimitados por tres acentos graves (``` ` ``) estén cerrados correctamente, que tengan declarada su etiqueta de lenguaje correspondiente (rust, typescript, tsx, html, css, sql, powershell, http, json, mermaid`) y que los archivos Markdown respeten la jerarquía canónica de diez encabezados requeridos sin saltos de nivel ilógicos.
Qué NO valida: No evalúa el estilo literario de la redacción ni la velocidad de lectura del estudiante.

4. Resolución estricta de enlaces locales y anclas de fragmento#

Qué valida: Verifica de forma automatizada que cada enlace relativo a archivos locales (../README.md, 01-types-and-control-flow.md) apunte a un archivo real existente en el disco y que cada fragmento de ancla (#seccion-ejemplo) coincida exactamente con un identificador o encabezado presente en el documento de destino.
Qué NO valida: No garantiza que los enlaces web externos hacia dominios de terceros permanezcan disponibles indefinidamente en el futuro.

5. Validación XML de SVG y comprobación de píxeles PNG#

Qué valida: Parsea los archivos de imagen vectorial .svg mediante un analizador formal de XML conforme a estándares del W3C para certificar que estén libres de etiquetas corruptas, scripts ejecutables o enlaces a recursos remotos no confiables. Posteriormente renderiza cada SVG a mapa de bits PNG (a resolución de 1200 × 800 o lienzo equivalente) y compara los píxeles decodificados para confirmar legibilidad gráfica sin texto encimado.
Qué NO valida: No requiere un plugin o renderizador dinámico de Mermaid en el cliente para visualizar las imágenes.

6. Preservación de hashes criptográficos SHA256#

Qué valida: Garantiza que los documentos originales de referencia de terceros y los artefactos canónicos congelados en el repositorio no hayan sufrido alteraciones no autorizadas ni modificaciones accidentales durante las tareas de mantenimiento editorial.
Qué NO valida: No evalúa si los manuales de terceros han publicado ediciones posteriores fuera del repositorio.

Alcance comprobado del curso#

El curso contiene 18 lecciones completas, organizadas coherentemente en cinco módulos temáticos, precedidas por la guía de inicio metodológico del Módulo 00.
Existen 7 diagramas generales de orientación de arquitectura y 18 diagramas enfocados, uno por cada lección temática. Cada diagrama enfocado enlaza el archivo SVG autónomo correspondiente y su fuente .mmd es copia idéntica del bloque Mermaid inline presente en la lección.
Cada lección contiene un bloque Mermaid inline y un enlace a su imagen SVG autónoma, visible y legible en cualquier visor estándar de imágenes sin necesidad de software de renderizado adicional.
El mapa general 05 distingue formalmente el flujo de resolución de un defecto funcional (RED $\to$ GREEN con nueva prueba) del flujo de refactorización pura: establecimiento previo de una línea base GREEN mediante pruebas de caracterización y preservación de GREEN tras cada transformación estructural.
El diagrama de la lección 14 modela formalmente dependencias estáticas de código en tiempo de compilación (módulos que usan e implementan contratos y traits), distinguiéndolas explícitamente de un diagrama de secuencia de peticiones de transporte HTTP en runtime.
La totalidad de los archivos Markdown del repositorio superan la validación con 0 enlaces rotos, 0 cercas Markdown sin cerrar y 0 anclas de fragmento huérfanas.
Los 25 archivos SVG fueron validados como XML estricto y renderizados a vistas previas PNG de alta definición sin etiquetas solapadas. Los SVG son totalmente autónomos: no incorporan JavaScript embebido, fuentes externas descargadas ni recursos de red remotos.
El registro personal PROGRESS.md se conserva limpio y sin avances ficticios atribuidos al estudiante; cada celda de autoevaluación está diseñada para ser completada con evidencia empírica real.

Comprobaciones ejecutadas en terminal#

Programa Rust independiente de la lección 01: Compilado exitosamente con rustc --test; 1 prueba pasó.
Ejemplo intencionalmente incorrecto de la lección 01: La compilación falló reportando el diagnóstico formal esperado E0308 (mismatched types), demostrando la exactitud del análisis de tipos.
Ejemplos Rust estándar de las lecciones 13, 14 y 15: Compilados con rustc --test; pasó 1 prueba unitaria por archivo. Las versiones antes y después de la refactorización de la lección 13 conservaron idéntico resultado en la prueba de comportamiento.
Muestra estadística de percentiles de latencia: Validada matemáticamente mediante el método del rango más cercano (Nearest-Rank $⌈ (P) / (100) \times n ⌉$ ): sobre una muestra ordenada de 10 peticiones representativas con suma acumulada de 5,060 ms y media de 50.6 ms, se verificaron valores exactos de p50 en 30 ms, p95 en 900 ms y p99/p100 en 900 ms, demostrando cómo la media aritmética camufla las colas de saturación.

Límites de verificación honesta#

En cumplimiento de los principios de transparencia técnica del curso:

No se instalaron crates externos ni paquetes del registro npm: Los ejemplos de backend que utilizan actix-web, sqlx, tokio o serde, así como los ejemplos de frontend con react, vite o playwright, son fragmentos de diseño sintáctica y tipológicamente canónicos basados en la documentación oficial, pero no han sido compilados contra un servidor real con dependencias descargadas durante este pase de verificación.
No se ejecutó una base de datos PostgreSQL real: Las consultas SQL, planes de ejecución con EXPLAIN ANALYZE y niveles de aislamiento representan construcciones estándar probadas sobre las especificaciones oficiales del motor, pero no implican la existencia de una base de datos local en ejecución en el equipo de estudio.
No se utilizó un motor Mermaid para renderizar en tiempo real: Los diagramas se entregan como fuentes Mermaid editables (.mmd) y como archivos vectoriales SVG ya pre-renderizados y validados visualmente.

Expansión pedagógica e integridad curricular#

Durante la reciente ampliación estructural orientada a la excelencia didáctica, se incorporaron los siguientes activos de aprendizaje de alto valor:

Diccionario y Glosario Técnico General (glossary/README.md): - Más de 110 términos técnicos fundamentales desglosados rigurosamente desde primeros principios a lo largo de los seis dominios del curso. - Cada término implementa la metodología de 4 capas: (1) Intuición en palabras simples, (2) Definición técnica rigurosa de compilador o sistema, (3) Ejemplo concreto en código estándar, y (4) Qué NO es (desmitificación de confusiones frecuentes). - Índice alfabético A–Z con enlaces de ancla internos y referencias cruzadas directas a las lecciones correspondientes.

Glosarios por lección y desgloses de primeros principios: - Cada una de las 18 lecciones y guías de inicio dispone de un diccionario de diez términos nucleares contextualizados a los mecanismos específicos de ese tramo. - Todas las aserciones teóricas fueron desempacadas a nivel causal: qué ocurre físicamente en la memoria RAM, en los registros del procesador, en los descriptores de archivo del kernel o en el ciclo de eventos del navegador.

Solucionario integral con más de 90 preguntas socráticas y diagnósticas: - Las cinco guías de soluciones (solutions/01-rust.md a solutions/05-operations.md) contienen la resolución detallada, diagnósticos de causa raíz y modelos de razonamiento para más de 90 preguntas formativas, ejercicios de código y casos de estudio. - Cada solución en Rust incluye una suite canónica completa ejecutable con rustc --test.

Referencias consultadas para el cierre editorial#

Vite: Guía de inicio y TypeScript: Documentación de instalación para configuración de entornos de laboratorio opcionales.
Martin Fowler: Code Smell y Refactoring Catalog para fundamentar los diagnósticos de acoplamiento.
Rust Book: Strings en profundidad para las especificaciones de indexación UTF-8 y seguridad de corte.
PostgreSQL Documentation: DDL Constraints y Transaction Isolation para el modelado de invariantes y fenómenos de concurrencia.
OWASP Top 10 API Security para la definición canónica de vulnerabilidades BOLA e IDOR.

Las referencias señaladas corresponden a fuentes oficiales o primarias de los mantenedores de cada tecnología; no constituyen una garantía de inmutabilidad futura ni prueba de que las herramientas externas hayan sido instaladas localmente en este equipo.