Manual de Referencia: alucarD
Alucard — Generador de Exámenes Impresos, Variantes Anti-Copia y Plantillas OMR
Alucard — Generador de Exámenes Impresos, Variantes Anti-Copia y Plantillas OMR¶
1. Propósito y Filosofía Pedagógica¶
La herramienta alucarD forma parte del ecosistema oficial de software de la cátedra. Su diseño sigue principios pedagógicos rigurosos:
Evidencia Técnica Directa: Todo diagnóstico se fundamenta en la norma ISO C (C11/C23), en el modelo de memoria del sistema o en convenciones arquitectónicas formales.
Acción Correctiva Concreta: Cada advertencia incluye la prescripción técnica inmediata para resolver el defecto sin recurrir a conjeturas.
Autonomía del Estudiante: Facilita la autoevaluación local antes de la entrega final del trabajo práctico.
Objetividad Docente: Estandariza la corrección automática removiendo discrepancias subjetivas en la evaluación.
2. Instalación y Verificación del Entorno¶
2.1 Requisitos Previos del Sistema¶
Instalá los paquetes del sistema requeridos según tu distribución o entorno:
sudo apt update && sudo apt install -y
build-essential
gcc
gdb
valgrind
clang-format
libclang-dev
bubblewrap
typst
graphviz
python3-pip
python3-venv
sudo pacman -S --needed
base-devel
gcc
gdb
valgrind
clang
bubblewrap
typst
graphviz
python-pip
uv
sudo dnf install -y
gcc
gcc-c++
gdb
valgrind
clang-tools-extra
bubblewrap
typst
graphviz
python3-pip
brew install gcc gdb clang-format typst graphviz uv
2.2 Métodos de Instalación de alucarD¶
Podés instalar alucarD mediante cualquiera de los siguientes métodos estándar:
Instalación aislada de alta velocidad con uv¶
uv tool install . --editable
O instalar todo el ecosistema de herramientas de la cátedra en lote:¶
source ./install_tools.sh
Crear y activar un entorno virtual¶
python3 -m venv .venv source .venv/bin/activate
Instalar en modo editable para desarrollo¶
pip install -e .
Instalación global aislada en tu PATH¶
pipx install --editable .
2.3 Autocompletado en la Shell¶
La interfaz CLI de alucard cuenta con autocompletado nativo para comandos, flags y archivos. Para configurarlo permanentemente en tu shell:
# Configuración automática en Bash / Zsh / Fish
alucard --install-completion
# Para cargar el autocompletado en la sesión actual de inmediato:
source ./install_tools.sh2.4 Verificación del Entorno con doctor¶
Toda herramienta del ecosistema cuenta con el subcomando unificado doctor. Ejecutalo para auditar el estado del entorno:
alucard doctorComprobaciones Ejecutadas por el Diagnóstico:¶
Compilador C: Verifica disponibilidad de
gccoclangcon soporte de estándares C11 y C23.Depurador y Core Dumps: Comprueba que
gdbesté instalado y queulimit -cpermita generación de core dumps.Herramientas de Memoria: Valida la presencia de
valgrindy libreríaslibasan/libubsan.Formateo y Estilo: Verifica el binario
clang-format(versión 16+).Sandboxing de Kernel: Audita permisos no privilegiados de
bwrap(Bubblewrap namespaces).Generador de Tipografía y Documentos: Comprueba
typst() ydot(Graphviz).
Matriz de Resolución de Problemas:¶
Síntoma / Alerta de doctor | Causa Raíz | Acción Correctiva |
|---|---|---|
❌ gcc / clang no encontrado | Toolchain C faltante | Instalá build-essential o base-devel. |
❌ bwrap permisos insuficientes | User namespaces desactivados | Habilitá sysctl kernel.unprivileged_userns_clone=1. |
❌ typst no disponible | Motor de PDF faltante | Descargá Typst vía cargo install typst-cli o gestor de paquetes. |
❌ gdb no responde | GDB sin interfaz MI/Python | Reinstalá gdb completo desde el repositorio oficial. |
3. Referencia Completa de Comandos CLI¶
A continuación se detallan los subcomandos principales disponibles en alucard:
| Sintaxis del Comando | Descripción y Efecto |
|---|---|
alucard render <examen.yaml> | Compila el examen a PDF listo para impresión usando Typst. |
alucard randomize <examen.yaml> -n 4 | Genera 4 variantes/temas con opciones y ejercicios permutados. |
alucard omr-grid <examen.yaml> | Genera la grilla de lectura óptica OMR para corrección rápida. |
alucard gift-lint <preguntas.gift> | Audita la sintaxis y completitud de bancos de preguntas en formato GIFT. |
alucard spellcheck <examen.yaml> | Verifica ortografía y gramática de enunciados con LanguageTool. |
4. Tutorial Paso a Paso con Ejemplos Reales¶
Caso de Estudio¶
Considerá el siguiente fragmento de código representativo:
1 2 3 4 5 6// Pregunta de seguimiento de código para examen int vec[] = {10, 20, 30, 40}; int *p = vec + 1; *p += 5; *(p + 2) -= 10; printf("%d, %d\n", vec[1], vec[3]); // ¿Qué valor imprime?
Ejecución de la Herramienta¶
Ejecutá el análisis desde tu terminal:
alucard render <examen.yaml>Salida Obtenida en Consola¶
[✓] Compilando parcial_tema_1.typ -> parcial_tema_1.pdf (Typst 0.11)
[✓] Generada variante Tema 2 (semilla: 0xDEADBEEF) -> parcial_tema_2.pdf
[✓] Generada hoja de lectura óptica OMR de 20 preguntas -> omr_respuestas.pdf5. Ejercicios Prácticos y Desafíos¶
Practicá el uso avanzado de alucarD resolviendo los siguientes ejercicios:
6. Integración en el Flujo de Trabajo y Makefile¶
Para incorporar alucarD de forma automática a tu flujo de desarrollo, agregá la siguiente regla en el Makefile de tu proyecto:
check-alucard:
@echo "=== Ejecutando verificación con alucarD ==="
alucard check src/ include/
.PHONY: check-alucardEjecutá make check-alucard antes de cada commit para mantener que tu código conserve el estado de aprobación.
7. Arquitectura Interna y Mecanismo Técnico¶
La herramienta alucarD implementa un motor de alta precisión basado en:
Tecnología Núcleo:
Typst 0.11 + PyYAML + PyMuPDF + OpenCV (OMR) + LanguageTool API.Aislamiento y Determinismo: Diseñada para operar sin efectos colaterales en entornos de integración continua (CI), terminales de estudiantes y servidores docentes headless.
Manejo de Errores Pedagógico: Todo fallo de sintaxis, memoria o lógica se traduce en una acción prescriptiva concreta con su respectiva justificación técnica.
8. Integración y Conexión con el Ecosistema¶
Diagrama de Flujo e Interoperabilidad¶
Matriz de Intercambio de Datos¶
| Canal | Herramientas Conectadas | Tipo de Datos Transferidos |
|---|---|---|
| Entradas (Inputs) | - deckard (enunciados y starter codes) |
daedalus (código C verificado)moodle-toolbox (bancos GIFT/XML)| Código fuente, AST, binarios, testcases, contratos | | Salidas (Outputs) | -dredd (pautas de corrección)Estudiantes / Imprenta (PDFs maquetados y hojas OMR)| Informes Markdown, diagnósticos Rich, JSON, actas | | Sincronización |idkfa,deckard,moodle-toolbox| Validación cruzada, flags compartidos y autofix |
Pipeline de Integración Recomendado¶
Podés encadenar alucarD con otras herramientas del ecosistema en una única línea de comando:
# Pipeline de integración típico
deckard compose guia.yaml | alucard render parcial.yaml -o parcial.pdf9. Extensión, Desarrollo de Plugins y API Python¶
Para crear tus propias reglas, conectores de evaluación o integrar alucarD programáticamente en pipelines de CI/CD:
👉 Consultá la guía completa: Guía de Extensión y Creación de Plugins