Intent of Cycle D3) per-model variation: enum + enumLabels + default track the supplied list; empty list returns undefined|occurrence=1

All 1 exact test in this concept. Every test is marked by where it enters the hierarchy.