Bit of a strange one - sorry. My question is: is the following correct?
Sacred Excavation is a sorcery which says:
Return up to two target cards with cycling from your graveyard to your hand.
If I cast it choosing no targets, to return no target cards to my hand, then Rule 608.2b states:
… The spell or ability is countered if all its targets, for every instance of the word "target," are now illegal.
It's vacuously true that every target of my spell is illegal: there are no targets, so every target is the King of France, and every target is legal, and every target is illegal. So Sacred Excavation is countered.
The effect is the same as if it had resolved, except in some very niche edge cases - "when something is countered" effects would trigger, and anything spliced onto that spell would not happen, for instance.