Polskojęzyczna gałąź działu Research. Obowiązuje w niej ta sama dyscyplina, co w pozostałych opracowaniach: każde twierdzenie opieram na konkretnym pliku i numerze linii, nie zaś na deklaracjach.
Każdy z tekstów stanowi zamknięte studium pojedynczego artefaktu. Konsekwentnie oddzielam ustalenia potwierdzone statycznie od uzasadnionych wniosków oraz od hipotez, które rozstrzygnąć może dopiero badanie dynamiczne na urządzeniu; za każdym razem wskazuję granicę, poza którą kończy się dowód, a zaczyna przypuszczenie. Ocena wagi usterek pozostaje przy tym powściągliwa — nie wyolbrzymiam zagrożeń, nie doszukuję się wad na siłę i nie przemilczam rozwiązań zaprojektowanych poprawnie.