Good models beat containing bad models

Trying to build a box from which an unaligned ASL-4 AI cannot escape is the wrong approach; it's better to design the model correctly or use a loop where you look inside the model and verify properties, because containing bad models is a much worse solution than having good models.