I was thinking that this would require two distinct ballots. one for aliens that does not included fed offices with just the locals and one with everything.
Yup, there must be some mechanism by which the federal offices are voted for separately such that aliens are demonstrably and provably excluded from that vote.
I am inferring the conditions “demonstrably and provably” since otherwise lawsuits would be filed and would likely succeed (except in blue cities of course, but they would not skate easily IMHO without some pretext of accountability. Even Hitler and the Nazis bathed in their self-justifying and delusional rules and procedures for murdering 8 million Jews and thousands of other enemies).