Validering

Nuvarande baslinje

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-pin 21776803ecd1 med orakel OTP 29.1.1 / ERTS 17.1.

Köra grinden

Från ett x64-utvecklarskal för Visual Studio med C:\Program Files\LLVM\bin i PATH (automatiskt val av SDK återanvänder 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 kör golden-korpusar vid O0 positionellt plus O2-projekt utan specialisering, kör mutationer en gång och hoppar över full_only-tester. Fullt läge (standard) kör alla kombinationer av drivrutin/policy.
• check-quality, make format och make-format.bat omfattar filer som ändrats sedan HEAD plus ospårade filer; cmake/quality_scope.py lägger till översättningsenheter som inkluderar en ändrad header. Ändringar i .clang-tidy, cmake/ eller produktions-CMake väljer allt.
• Testprogram har ingen felsökningsinformation (inga PDB:er); konfigurera med -DCLAUSE_TEST_DEBUG_INFO=ON för att bygga om dem för en debugger. Nästlade native-konsumenter länkar föräldrabyggets runtime via ClauseRuntimeTargets.cmake i stället för att kompilera den igen; endast runtime_link bygger runtime fristående.
• Tröskelvärden och undertryckningar höjs aldrig för att klara grinden.

Fixturer och ursprung

• Normala byggen och tester behöver varken OTP eller dess källkodsutcheckning. Goldens genererades en gång från OTP och är incheckade med hashar; hashkontroller körs innan någon fixtur används.
• Nitton mönster-/guard-korpusar innehåller 67 748 förväntade native-värden/fel och 106 rader för semantisk acceptans. Varje native-korpus kör positionella drivrutiner och projektdrivrutiner vid O0/O2 med specialisering på/av, lokala och fjärranrop.
• Incheckade Erlang-indata är skrivna lokalt (tests/fixtures/patternmatch/fragments/, preprocessorns semantic/headers/). En granskning 2026-10-03 tog bort alla kopierade OTP-filer; jämförelse med fönster om 60 token mot 4 150 Erlang-filer och 1 190 C/C++-filer från OTP hittade ingen kvarvarande överlappning utöver en genererad heltalstupel. fixture_sources upprätthåller isoleringen.
• Sex programfixturer för slutmålet (tests/fixtures/programs/, plan 11 step 2) innehåller goldens för stdout/slutstatus från OTP och dagens kompileringsdiagnostik; programs_compile kontrollerar dem utan OTP och tests/compiler/programs/regenerate.py --check återskapar dem under OTP (fixturkarta).
• Goldens för termutskrift (tests/fixtures/printing/, plan 11 step 4) innehåller OTP:s ~w- och erlang:display/1-text för 9 542 värden plus OTP:s stdout från kompilerade display-anrop; tests/compiler/printing/regenerate.py --check återskapar dem (fixturanteckningar).
• Golden-fall för körbara filer (tests/fixtures/executables/, plan 11 step 8) är källkataloger plus en golden.json med stdout/slutstatus från OTP och ett handskrivet stderr-mönster; tests/compiler/executables/run.py länkar och kör vart och ett under matrisen av policyer/drivrutiner (CTest executables_<case>), och regenerate.py --check återskapar dem under OTP (fallanteckningar).
• Regenerering och levande granskningar är explicita: -DCLAUSE_OTP_AUDITS=ON och tests/compiler/patternmatch/regenerate.py (instruktioner). Ingenting uppdaterar goldens eller pinnen i tysthet.

Testdesign

Beteende testas via den riktiga CLI:n, emitterade objekt, länkade native-konsumenter och goldens från OTP. Fokuserade enhetstester finns kvar endast där källkod inte kan nå tillståndet, var och ett med sitt syfte angivet i testet:

• Injicerade budgetar och allokerings-/I/O-fel (project_limits, project_creation_failure, codegen_limits, codegen_write_failure, runtime_lifecycle_failure, felsömmar i genererade anrop).
• Privat ägarskap, ogiltiga/inaktuella handtag och invarianter för återställning i parsern, den semantiska typgrafen och backend.
• Validering av råa ord och termgränser för 32/64 bitar (runtime_immediate, runtime_term_tag, abi_integers).
• Fel i diagnostikmottagare och den stabila ögonblicksbilden av funktions-ID:n.

Fall som beror på filsystemets förmågor (länkar, skiftlägesalias) rapporterar överhoppningar per fall; de ersätter aldrig ett godkänt helt test.

Plattforms- och sanitizer-status

• Native-exekvering av genererad kod: endast Windows x64.
• Linux, Apple Silicon och native 32-bitarsexekvering: väntande (objekten inspekteras bara).
• ASan, UBSan och LeakSanitizer för kompilatorn/frontend: väntande. Det förbyggda LLVM SDK för Windows står i konflikt med instrumenterad kod (annotate_string 0 mot 1; tidigare även dubblerade allokatorsymboler för rpmalloc/ASan). Ingen kontroll inaktiverades för att kringgå det.
• ASan enbart för runtime godkänns på Windows med Release-sonder, /EHsc /fsanitize=address, /MT, Clangs ASan-importbibliotek och statiska runtime-thunk samt ASan-DLL:en i PATH.
• Historiska körningar på macOS arm64 (2026-09-19/20) klarade fullständiga Debug-, C++26-, ASan+UBSan-, enbart kompilator- och enbart runtime-byggen för parser- och projektstegen; de är äldre än backend.

Historik

Sammanfattat från de tidigare posterna per steg (original i Git-historiken fram till commit 2777c98). Om inget annat anges: Windows x64, LLVM 23.1.2, pin 21776803ecd1, orakel OTP 29.1.1 / ERTS 17.1. Testantal är fullständiga CTest-körningar utan överhoppningar.

PG = steg i mönster-/guard-planen (arkiverat i .agents/00-finished.md).