Making Agents Reliable and Safe: Bounds, Sandboxes, HITL, and Observability