Jde o to, že za splnění stejných podmínek vznikne kompilací zdrojového kódu stejný binární soubor/y. Tím pádem lze oveřit, že i když máš jenom binární soubor, že odpovídá původnímu zdrojovému kódu a nikdo ho nezměnil. Trošku bych to přirovnal k hashovací funkci, kdy pro stejný vstup vznikne vždy stejný výstup.