No, choosing all 3 is possible, too: Let semver hold, we have to prove that choosing 2 and 3 is then possible, too: For 2: Since semver implies that the versio

No, choosing all 3 is possible, too: Let semver hold, we have to prove that choosing 2 and 3 is then possible, too: For 2: Since semver implies that the version numbers increase fast with the number of releases, 2 can hold, if we only rarely release new versions. Note that this does not imply that it isn't large and active. For an example: If creating new releases takes a lot of time, few new versions will be releases, but the project can still be very active. To give a (slightly artificial) example: If (because of quality standards of the project) any release will also contain a machine-checked proof of correctness, creating a new release will take a long time. TLDR: A large, active project that only rarely releases new versions, but names them semantically has all three properties.