RT DW A1 Agrawal, Devansh R. T1 Architectures for Safe Autonomy: Provable Guarantees Across Control, Planning, and Perception