Versioning specs in the face of ambiguity