I don't know about that. But this is from Dan Gabriel, Cruz' PR director, at 7:02 IA time. He is not vague and not relaying CNN's story. He is saying Carson staff CONFIRMED that carson was OUT. Garbiel then deleted the tweets in the middle of the night after he accused the Trump campaign of a dirty trick.
This infighting is insane; it’s the one flaw that the GOP has. At least with the Dems, they act as one unit once they decide on a candidate.