You’re right, you need TWO people who have read and reasoned through the code.

In reality, you need people who understand the design of the code well enough that they can quickly find, read, and understand the relevant parts when something goes wrong.