[jpsb]

"Cruz is a citizen of the US, even if his birth was not registered at the US Consulate."

Maybe, and that is a slim maybe but for sure Ted Cruz is not a Natural Born Citizen. Sans his CRBA his is at best a grand fathered in naturalized US citizen, maybe.

[Cboldt]

-- ... but for sure Ted Cruz is not a Natural Born Citizen. --

I agree with that. His US citizenship depends on operation of a US Statute. If he was naturally a citizen, he would be so without operation of a statute.