What does a staged builder guarantee when only the final stage can produce the result?

What does a staged builder guarantee when only the final stage can produce the result?

1. Required call order is represented by the available methods and return types
2. Every string value is valid without runtime checks
3. The builder allocates no intermediate objects
4. Existing call sites remain source-compatible after every stage change