Software is too complex to document all intended behaviors. Any meaningful library will be too complicated for that. Software is hard and semver seems like it

Software is too complex to document all intended behaviors. Any meaningful library will be too complicated for that. Software is hard and semver seems like it makes it a little more manageable, but practically it's not a lot better than single numbers because software is too complex to fulfill semver's guarantees.