After reading the post, my personal takeaway (not being expert) is that there are simply so many moving parts/configuration options that the complexity of the w

After reading the post, my personal takeaway (not being expert) is that there are simply so many moving parts/configuration options that the complexity of the whole system is too high. I think without some sort of formal validation/enumeration of all possible states of the system the reliability is simply not possible. Whether this formal verification is achievable, I don't know.