The question is whether treating code as a borderline black box balances out with the needed extra QA (including automated tests). Just like strong typing redu

The question is whether treating code as a borderline black box balances out with the needed extra QA (including automated tests). Just like strong typing reduces the amount of tests you need (because the scope of potential errors is reduced), there is a giant increase in error scope when you can’t assume the writer to be rational.