Architectures for Safe Autonomy: Provable Guarantees Across Control, Planning, and Perception