I think we've not seen the last of Dom so he'll be back to help Boris next year or we'll see him working with Gove when the knives come out for Boris.
By the sounds of things him and Johnson have had quite the bust-up and I can't see Cummings being the kind to forgive and forget, but I reckon your second hypothesis might be spot on...