Validación

Línea base actual

Plan 11 step 1, 2026-10-03, commit b1a471f, Windows x64: clang-cl 23.1.2, LLVM SDK 23.1.2 (/MT, _ITERATOR_DEBUG_LEVEL=0), Lizard 1.24.0, clang-tidy 22.1.8, OTP fijado en 21776803ecd1 con OTP 29.1.1 / ERTS 17.1 como oráculo.

Ejecución de la puerta de calidad

Desde un shell de desarrollador x64 de Visual Studio con C:\Program Files\LLVM\bin en PATH (la selección automática del SDK reutiliza thirdparty/):

cmake --preset debug --fresh -DBUILD_TESTING=ON -G Ninja -DCMAKE_C_COMPILER=clang-cl -DCMAKE_CXX_COMPILER=clang-cl
cmake --build build/debug
ctest --preset debug-fast                  # during development
ctest --preset debug -j 16                 # full mode, at feature completion
cmake --build build/debug --target check-quality      # changed files + dependents
cmake --build build/debug --target check-quality-all  # whole tree

• CLAUSE_TEST_MODE=fast ejecuta los corpus golden en O0 con driver posicional más el proyecto en O2 sin especialización, ejecuta las mutaciones una sola vez y omite las pruebas full_only. El modo completo (predeterminado) ejecuta todas las combinaciones de driver y política.
• check-quality, make format y make-format.bat cubren los archivos modificados desde HEAD más los archivos no rastreados; cmake/quality_scope.py añade las unidades de traducción que incluyen una cabecera modificada. Los cambios en .clang-tidy, cmake/ o en el CMake de producción seleccionan todo.
• Los programas de prueba no llevan información de depuración (sin PDB); se configura con -DCLAUSE_TEST_DEBUG_INFO=ON para recompilarlos para un depurador. Los consumidores nativos anidados enlazan el runtime de la compilación padre a través de ClauseRuntimeTargets.cmake en lugar de compilarlo de nuevo; solo runtime_link compila el runtime de forma independiente.
• Los umbrales y las supresiones nunca se elevan para superar la puerta.

Fixtures y procedencia

• Las compilaciones y pruebas normales no necesitan OTP ni su checkout de código fuente. Los goldens se generaron una vez a partir de OTP y se incluyen en el repositorio con hashes; las comprobaciones de hash se ejecutan antes de usar cualquier fixture.
• Diecinueve corpus de patrones/guards contienen 67,748 valores/errores nativos esperados y 106 filas de aceptación semántica. Cada corpus nativo ejecuta los drivers posicional y de proyecto en O0/O2 con especialización activada y desactivada, con llamadas locales y remotas.
• Las entradas Erlang incluidas en el repositorio son de autoría local (tests/fixtures/patternmatch/fragments/, preprocesador semantic/headers/). Una auditoría del 2026-10-03 eliminó todos los archivos copiados de OTP; una comparación con ventanas de 60 tokens contra 4,150 archivos Erlang y 1,190 archivos C/C++ de OTP no encontró ninguna coincidencia restante salvo una tupla de enteros generada. fixture_sources impone el aislamiento.
• Seis fixtures de programas objetivo final (tests/fixtures/programs/, plan 11 step 2) contienen goldens de stdout/código de salida de OTP y los diagnósticos de compilación actuales; programs_compile los comprueba sin OTP y tests/compiler/programs/regenerate.py --check los reproduce con OTP (mapa de fixtures).
• Los goldens de impresión de términos (tests/fixtures/printing/, plan 11 step 4) contienen el texto de ~w y erlang:display/1 de OTP para 9,542 valores más el stdout de OTP de llamadas display compiladas; tests/compiler/printing/regenerate.py --check los reproduce (notas de fixtures).
• Los casos golden de ejecutables (tests/fixtures/executables/, plan 11 step 8) son directorios de código fuente más un golden.json con el stdout/código de salida de OTP y un patrón de stderr escrito a mano; tests/compiler/executables/run.py enlaza y ejecuta cada uno bajo la matriz de política/driver (CTest executables_<case>), y regenerate.py --check los reproduce con OTP (notas de casos).
• La regeneración y las auditorías en vivo son explícitas: -DCLAUSE_OTP_AUDITS=ON y tests/compiler/patternmatch/regenerate.py (instrucciones). Nada actualiza los goldens ni la versión fijada de forma silenciosa.

Diseño de las pruebas

El comportamiento se prueba mediante la CLI real, los objetos emitidos, los consumidores nativos enlazados y los goldens de OTP. Las pruebas unitarias focalizadas se mantienen solo donde el código fuente no puede alcanzar el estado, cada una con su propósito indicado en la prueba:

• Presupuestos inyectados y fallos de asignación/E/S (project_limits, project_creation_failure, codegen_limits, codegen_write_failure, runtime_lifecycle_failure, puntos de inyección de fallos en llamadas generadas).
• Propiedad privada, handles inválidos/obsoletos e invariantes de reversión en el analizador sintáctico, el grafo de tipos semántico y el backend.
• Validación de palabras en bruto y límites de términos de 32/64 bits (runtime_immediate, runtime_term_tag, abi_integers).
• Fallos del receptor de diagnósticos y la instantánea de IDs de características estables.

Los casos que dependen de capacidades del sistema de archivos (enlaces, alias por mayúsculas/minúsculas) informan de omisiones por caso; nunca sustituyen a la aprobación de una prueba completa.

Estado de plataformas y sanitizers

• Ejecución nativa de código generado: solo Windows x64.
• Linux, Apple Silicon y ejecución nativa de 32 bits: pendientes (los objetos solo se inspeccionan).
• ASan, UBSan y LeakSanitizer para el compilador/frontend: pendientes. El SDK de LLVM precompilado para Windows entra en conflicto con el código instrumentado (annotate_string 0 frente a 1; antes también símbolos duplicados del asignador de rpmalloc/ASan). No se desactivó ninguna comprobación para sortearlo.
• ASan solo para el runtime pasa en Windows con sondas Release, /EHsc /fsanitize=address, /MT, la biblioteca de importación de ASan de Clang y el thunk de runtime estático, y la DLL de ASan en PATH.
• Las ejecuciones históricas en macOS arm64 (2026-09-19/20) superaron las compilaciones Debug completa, C++26, ASan+UBSan, solo compilador y solo runtime para las etapas del analizador sintáctico y de proyectos; son anteriores al backend.

Historial

Condensado a partir de los antiguos registros por paso (originales en el historial de Git hasta el commit 2777c98). Salvo indicación en contrario: Windows x64, LLVM 23.1.2, versión fijada 21776803ecd1, OTP 29.1.1 / ERTS 17.1 como oráculo. Los recuentos de pruebas son ejecuciones completas de CTest aprobadas con cero omisiones.

PG = paso del plan de patrones/guards (archivado en .agents/00-finished.md).