Sorry, but this actually does not need to be sorted out in the courts. There is no question in this issue to be resolved. “Just the facts...” per Dragnet... :-)
You may be right, and I’m not an attorney.
BUT I’ll bet my next SocSec deposit that if Cruz is the nominee, it will wind up being litigated by Democrats.