Nice summary! I'd also add that part of the public interface you're on the hook for is never explicitly written down in the source code, and is instead derived

Nice summary! I'd also add that part of the public interface you're on the hook for is never explicitly written down in the source code, and is instead derived automatically by the compiler based on a set of rules. There are excellent reasons why this is the case, but as you could imagine this doesn't make semver any easier. For Rust folks, I'm talking about auto traits like Send and Sync. More info and examples here: https://predr.ag/blog/toward-fearless-cargo-update/ https://predr.ag/blog/toward-fearless-cargo-update/