Planning Set-Based Trajectory Envelops in Dynamic Driving Environments for Guaranteed-Safe Guardian Autonomy