No amount of logical constraints can secure a purely abstract system.

Devs are rats in an imaginary maze, and users suffer for it.