Safety and guarantees

[FIXME] Is there a better phrase than "strong guarantees" that encompasses both e.g. memory safety and e.g. data structure invariants?

A guarantee is a property that holds no matter what client code does, unless the client explicitly opts out:

Thinking about guarantees is an essential part of writing good Rust code. The rest of this subsection outlines some cross-cutting principles around guarantees.