The way I understand the whole concept of constraint modelling, this shouldn’t be allowed. When we constrain an archetyped DV_CODED_TEXT to a specific set of values, without the alternative of an unconstrained DV_TEXT, it’s because the included value set should always be used.
The values also follow when exporting an oet from the template, and the CKM gladly accepts them without sounding the validation alarm.
But, sometimes, it might be kinda annoying. For example, for a national implementation guide, it might be necessary to change its binding to a national ValueSet.
Similarly, in contrast, a good practice is to set the minimum cardinality to zero for most elements of FHIR resources.
I agree, and the pattern we mostly use nowadays reflects this. But when we do choose to require a specific value set, it shouldn’t be up to the template modeller to change it.