Engineering Safety Encoders