There’s no such thing in the law for “de facto” renunciation. Immigration law and case law has established that the only renunciation recognized by the US is formal renunciation in front of a US consular officer abroad.
Well, it’s a little late to argue about it now.