Good thing they only ever write correct code which consistently obeys every invariant in that entire stack ever. Excellent design, meet perfect engineering.