I don’t see that the version Dominion 5.5 we’ve heard was being installed on the suspect platforms was ever certified by NIST
My understanding is that it was rolled-out as a last minute update.
The receiving machines (especially GA, as it was in the election code) should have been isolated and recertified prior to use.
Since the unsupervised update was down in the wee hours of the morning, it was either undetected (likely since the machines were left /connected/ to the internet, against code) or, it was discovered too late to sit-down and recertify prior to the required hours of polling start.
Every vote in those machines is technically invalid by Georgia law.
Now, get a court at any level to invalidate a single vote, intentionally cast by an unsuspecting voter.
Even SCOTUS Gore v Bush couldn’t bring themselves to invalid votes because the invalid votes couldn’t be separated.
There is the nub...disenfranchising honest ANONYMOUS votes.