“There must be a version control system”
Good point. The executable undoubtedly has a revision level that identifies the source code it was produced from. But do they know what revision was running during voting?
I assume in the discovery process, demand will be made for several versions prior to 3 November and several versions post-election. At that point, they would compare the changes and assess the behavior those revisions impelled.