exploratorily spec out missing registers
default flags inside map crdts to false