Language vision regarding safety guarantees

Users of a crate get to decide whether to trust a crate for correctness, and they also get to decide whether to trust a crate for safety.

It makes no sense to have the author of a crate decide whether their own crate should be trusted for one or the other.