> А кто будет проверять "независимый аудит", чтобы он не "нашел внезапно" ошибку в программном обеспечении, использовавшегося для анализа ДНК?

Ты не смотрел американского кина никогда? Они очень любят показывать, как это происходит. То есть, во-первых, аудит будет не независимым. Добиться того, чтобы аудит был бы действительно независимым сложно, проще сделать так, чтобы аудит был бы очень заинтересован найти и доказать наличие ошибки. А это значит, что компания, проводящая аудит, будет подбираться с учётом хотелок защиты, пытающейся доказать ошибку в софте. Ну то есть в общем случае независимый аудит -- это бред, такого не бывает, это не аудит, а фикция. Аудит должен быть кровно заинтересован в том, чтобы найти к чему придраться. Они говорят "независимый аудит", но имеют в виду независимый от разработчика ПО, то есть как раз такой злющий, которого хлебом не корми, дай найти какую-нибудь багу.

Аудит будет проведён, его результаты в виде доклада будут донесены до всех заинтересованных сторон. После чего, в суд придёт эксперт от команды проводившей аудит, и компания разработчик софтины пришлёт своего эксперта. Эксперт-аудитор изложит свои находки, и скажет, например, "программа гумно". Эксперт-разработчик скажет, "неее, подождите, вот вы говорите что в строке 12345 есть UB, но этот же UB ни на что не влияет, то есть да, стандарт C++ говорит, что это UB и нононо, но... но мы вот провели исследование на компиляторах g++, clang++ и msvc, таких-то и таких-то версий, и вот гляньте асм-листинги, и результаты выполнения тестового кода: они вне зависимости от компилятора дают одинаковый результат и, что важнее, правильный результат". Ну и так далее. Возможно при этом у суда будет свой эксперт, который сможет хотя бы примерно понимать, о чём говорят те два. Может не будет, но это значит, что когда судье надоест слушать непонятные слова, он прервёт заседание, и перенесёт его на другой день, когда он сможет найти плюс-минус независимого эксперта, или может нескольких, чтобы те послушали спор и под присягой высказали своё мнение о том, кто победил.