Wisconsin recount observers discover five vote counting machines with tampered seals

[Ellipsis]

31. St Croix uses DS200 and Expressvote - there are procedures to follow as far as seals are concerned.

The ES&S DS200 is a precinct-based, voter-activated paper ballot counter and vote tabulator. The DS200 possesses a 12” LCD touch screen, which is used to provide voters with feedback, such as an overvote warning. When the polls close, the ES&S DS200 prints out the voter logs so election officials can have a paper tally. Like the Hart Intercivic eScan, the Dominion ImageCast and the Premier/Diebold OSX, the DS200 captures digitized images of all ballots scanned. This allows write-in votes and problematic ballot markings to be processed using the digitized images, so that once the ballots are scanned, they need not be handled except in the event of a recount or audit.

DS200The DS200 is a jurisdiction-wide election tabulation system. The DS200 scanners process single or dual-sided paper ballots for up to 18 Election Day precincts and 1639 Early Voting precincts, permit programming of separate election groups for the procedural processing and storage of provisional ballots separately from Election Day totals for inclusion, after determination of voter validity, automatically prints a Zero report when the polls open, can be configured to automatically print one or more reports (Status, Race Results, Certification or Audit Log,) have a public counter that displays the number of ballots cast, store paper ballots in attached ballot storage bins (key locked ballot boxes), and do not store any ballot data; all ballot data, election totals and optional ballot images are stored on an external USB flash drive which can be transported to a central count location. The Ds200 prevents access to the USB election flash drive via a key locked compartment. It prints reports including: Election Startup, Poll Closing, Diagnostic, Initial State, Audit Log, Zero and Certification and audit logging and reporting; The Ds200 operates on standard or two hour back-up battery power.

DS200 source code consists of C/C++ components. The ESSUNITY3200 baseline was modified during the Unity 3.2.1.0 EAC test effort. A total of 651 functions were changed. Each of the changed functions was reviewed by the EAC for conformance to the VVSG 2005. There were 42 instances of non-conformance reported to ES&S. ES&S submitted fixes and they were validated as resolved. All source code discrepancies were comment related. None of the discrepancies were against any of the software related VVSG 2005 requirements. The file function line count results identified no files or functions exceeded 240 eLOCs, 3.47% were between 60 and 120 lines, .23% were between 120 and 240 lines, the remaining 96.30% were less than 60 lines.