If you point out some of the above has run-state in some situations... it is provably nondeterministic... and thus the assertion of correctness is utter nonsens

If you point out some of the above has run-state in some situations... it is provably nondeterministic... and thus the assertion of correctness is utter nonsense. Hardly a panacea for fundamentally bad designs that go back decades. Ever seen a web-server written in postscript? Its worth a look just for the laughs. Good luck out there =)