Comment by prerok

I think this is a good point. But just as we see in the real world the execution of the architect's solution is often sub par, so the "debugging" involves both architectural specs as well as builder's execution.

I think that in programming we will still have to understand the builder's execution, which should remain deterministic, hopefully not at the level of assembly.