7.1-A EMS, ballot definition

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.1-A.1 EMS, ballot definition details

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.1-B EMS, political and administrative subdivisions

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.1-C EMS, election districts

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.1-D EMS, voting variations

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.1-D.1 EMS, 1-of-M

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-1ofM.sql 1-basic-NoBallots-1ofM.sql 1-basic-Yes-or-No.sql 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-StraightParty.sql 1-basic-Primary-StraightParty.sql 1-basic-Primary.sql 1-basic-BallotRotation-StraightParty.sql 1-basic-AbsenteeByCategory-StraightParty.sql 1-basic-SplitPrecinct-StraightParty.sql 1-basic-BallotRotation.sql 1-basic-Primary-BallotRotation.sql 1-basic-StraightParty-WriteIns.sql 1-basic-AbsenteeByCategory.sql 1-basic-SplitPrecinct-1.sql 1-basic-SplitPrecinct-2.sql 1-basic-StraightParty-Provisional.sql 1-basic-CrossPartyEndorsement.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-SplitPrecinct-BallotRotation.sql 1-basic-NoChoices-1ofM.sql 1-basic-NoChoicesNoBallots-1ofM.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-WriteIns.sql 1-basic-Provisional.sql 1-basic-WriteInsAliases.sql 1-basic-Primary-WriteIns.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-AbsenteeByCategory-WriteIns.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-Primary-Provisional.sql 1-basic-BallotRotation-Provisional.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Yes-or-No.sql 1-basic-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-SplitPrecinct.sql 1-basic-SplitPrecinct-AbsenteeByCategory.sql 1-basic-BallotRotation-AbsenteeBySpecialPrecinct.sql 1-basic-BallotRotation-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-WriteIns.sql 1-basic-WriteInsAliases-AbsenteeBySpecialPrecinct.sql 1-basic-WriteInsAliases-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-StraightParty.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.1-D.2 EMS, yes/no question

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Yes-or-No.sql 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-AbsenteeBySpecialPrecinct-Yes-or-No.sql
\end{sloppypar}
\end{blockquote}

7.1-D.3 EMS, indicate party affiliations and endorsements

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty.sql 1-basic-Primary-StraightParty.sql 1-basic-StraightParty-RankedOrder.sql 1-basic-BallotRotation-StraightParty.sql 1-basic-AbsenteeByCategory-StraightParty.sql 1-basic-SplitPrecinct-StraightParty.sql 1-basic-StraightParty-Cumulative.sql 1-basic-StraightParty-WriteIns.sql 1-basic-StraightParty-NofM.sql 1-basic-StraightParty-Provisional.sql 1-basic-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql 1-basic-AbsenteeBySpecialPrecinct-StraightParty.sql
\end{sloppypar}
\end{blockquote}

7.1-D.4 EMS, primary elections, party-specific and non-party-specific contests

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Primary-StraightParty.sql 1-basic-Primary.sql 1-basic-Primary-RankedOrder.sql 1-basic-Primary-BallotRotation.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-Primary-WriteIns.sql 1-basic-Primary-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-Primary-NofM.sql 1-basic-Primary-Provisional.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.1-D.5 EMS, write-ins

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-StraightParty-WriteIns.sql 1-basic-RankedOrder-WriteIns.sql 1-basic-NoChoices-1ofM.sql 1-basic-NoChoicesNoBallots-1ofM.sql 1-basic-WriteIns.sql 1-basic-WriteInsAliases.sql 1-basic-Primary-WriteIns.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-AbsenteeByCategory-WriteIns.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-WriteInsAliases-Cumulative.sql 1-basic-NofM-WriteIns.sql 1-basic-WriteInsAliases-NofM.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-AbsenteeBySpecialPrecinct-WriteIns.sql 1-basic-WriteInsAliases-AbsenteeBySpecialPrecinct.sql 1-basic-WriteInsAliases-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.1-D.6 EMS, straight party voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty.sql 1-basic-Primary-StraightParty.sql 1-basic-StraightParty-RankedOrder.sql 1-basic-BallotRotation-StraightParty.sql 1-basic-AbsenteeByCategory-StraightParty.sql 1-basic-SplitPrecinct-StraightParty.sql 1-basic-StraightParty-Cumulative.sql 1-basic-StraightParty-WriteIns.sql 1-basic-StraightParty-NofM.sql 1-basic-StraightParty-Provisional.sql 1-basic-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql 1-basic-AbsenteeBySpecialPrecinct-StraightParty.sql
\end{sloppypar}
\end{blockquote}

7.1-D.7 EMS, cross-party endorsement

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql
\end{sloppypar}
\end{blockquote}

7.1-D.8 EMS, split precincts, define precincts and election districts

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-SplitPrecinct-StraightParty.sql 1-basic-SplitPrecinct-1.sql 1-basic-SplitPrecinct-2.sql 1-basic-SplitPrecinct-RankedOrder.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-SplitPrecinct-BallotRotation.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-SplitPrecinct-Cumulative.sql 1-basic-SplitPrecinct-NofM.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-SplitPrecinct.sql 1-basic-SplitPrecinct-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.1-D.9 EMS, N-of-M voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-samples-AlleganyGeneral2004.sql 1-basic-StraightParty-NofM.sql 1-basic-RankedOrder-NofM.sql 1-basic-NofM.sql 1-basic-Primary-NofM.sql 1-basic-Cumulative-NofM.sql 1-basic-BallotRotation-NofM.sql 1-basic-AbsenteeByCategory-NofM.sql 1-basic-SplitPrecinct-NofM.sql 1-basic-NofM-WriteIns.sql 1-basic-WriteInsAliases-NofM.sql 1-basic-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql 1-basic-AbsenteeBySpecialPrecinct-NofM.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.1-D.10 EMS, cumulative voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Cumulative-RankedOrder.sql 1-basic-StraightParty-Cumulative.sql 1-basic-Cumulative.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-AbsenteeByCategory-Cumulative.sql 1-basic-Primary-Cumulative.sql 1-basic-BallotRotation-Cumulative.sql 1-basic-AbsenteeBySpecialPrecinct-Cumulative.sql 1-basic-SplitPrecinct-Cumulative.sql 1-basic-WriteInsAliases-Cumulative.sql 1-basic-Cumulative-NofM.sql 1-basic-Cumulative-Provisional.sql
\end{sloppypar}
\end{blockquote}

7.1-D.11 EMS, ranked order voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-NoBallots-RankedOrder.sql 1-basic-RankedOrder-1.sql 1-basic-RankedOrder-2.sql 1-basic-StraightParty-RankedOrder.sql 1-basic-Primary-RankedOrder.sql 1-basic-BallotRotation-RankedOrder.sql 1-basic-AbsenteeByCategory-RankedOrder.sql 1-basic-Cumulative-RankedOrder.sql 1-basic-SplitPrecinct-RankedOrder.sql 1-basic-RankedOrder-WriteIns.sql 1-basic-RankedOrder-NofM.sql 1-basic-RankedOrder-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-RankedOrder.sql
\end{sloppypar}
\end{blockquote}

7.1-E Election definition accuracy

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.1-F Voting options accuracy

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.1-G EMS, confirm recording of election definition

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.1-H EMS, election definition distribution

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.2-A EMS, define ballot styles

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.2-A.1 EMS, auto-format

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.2-A.2 EMS, include votable contests

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.2-A.3 EMS, exclude nonvotable contests

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.2-A.4 EMS, nonpartisan formatting

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.2-A.5 EMS, jurisdiction-dependent content

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.2-A.6 EMS, primary elections, associate configurations with parties

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Primary-StraightParty.sql 1-basic-Primary.sql 1-basic-Primary-RankedOrder.sql 1-basic-Primary-BallotRotation.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-Primary-WriteIns.sql 1-basic-Primary-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-Primary-NofM.sql 1-basic-Primary-Provisional.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.2-A.7 EMS, ballot rotation

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-BallotRotation-StraightParty.sql 1-basic-BallotRotation.sql 1-basic-Primary-BallotRotation.sql 1-basic-BallotRotation-RankedOrder.sql 1-basic-SplitPrecinct-BallotRotation.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-BallotRotation-Cumulative.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-BallotRotation-NofM.sql 1-basic-BallotRotation-Provisional.sql 1-basic-BallotRotation-AbsenteeBySpecialPrecinct.sql 1-basic-BallotRotation-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.2-A.8 EMS, split precincts, associate ballot configurations

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-SplitPrecinct-StraightParty.sql 1-basic-SplitPrecinct-1.sql 1-basic-SplitPrecinct-2.sql 1-basic-SplitPrecinct-RankedOrder.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-SplitPrecinct-BallotRotation.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-SplitPrecinct-Cumulative.sql 1-basic-SplitPrecinct-NofM.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-SplitPrecinct.sql 1-basic-SplitPrecinct-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.2-B EMS, ballot style distribution

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.2-B.1 EMS, ballot style identification

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.2-C EMS, ballot style reuse

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.2-D EMS, ballot style protection

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.3.1-A Support L\&A testing

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.3.1-B Built-in self-test and diagnostics

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.3.1-C Verify proper preparation of ballot styles

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.3.1-D Verify proper installation of ballot styles

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.3.1-E Verify compatibility between software and ballot styles

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.3.1-F Test ballots

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.3.1-G Test all ballot positions

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.3.1-H Paper-based tabulators, testing calibration

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.3.1-I Ballot marker readiness

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.3.1-J L\&A testing, no side-effects

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.3.1-J.1 Isolate test ballots

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.4-A Programmed device, verify L\&A performed

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.4-B Programmed device, disable untested devices

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.4-C Paper-based tabulator activation

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.4-D Paper-based tabulator, verify activation

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.4-E Programmed vote-capture device, open poll function

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.4-E.1 Programmed vote-capture device, protect open poll function

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.4-E.2 Programmed vote-capture device, enforce correct poll opening process

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.4-E.3 Programmed vote-capture device, verify activation

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.5.1.1-A Activation device, DRE, EBP, ballot activation

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.1-A.1 Activation device, DRE, EBP, credential issuance

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.1-A.2 Activation device, DRE, EBP, at most one cast ballot per session

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.1-B Activation device, contemporaneous record

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.1-C Activation device, DRE, EBP, control ballot configuration

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.1-C.1 Activation device, DRE, EBP, enable only applicable contests

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.1-C.2 Activation device, DRE, EBP, select ballot configuration for party in primary elections

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.2-A Activation device, ballot secrecy

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.2-A.1 DRE and EBP, open primaries, party selection should be private

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.2-A.2 Activation device, records preserve secrecy of the ballot

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.2-A.3 Activation device, ballot activation provisional voting

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.3-A Activation device, credentials and tokens

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.3-A.1 Activation device, token limited in capacity

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.3-A.2 Activation device, DRE, EPB, token de-activated after casting

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.3-A.3 Activation device, token should be non-reusable

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.3-A.4 Activation device, integrity and authenticity of ballot activation information

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.4-A Activation device, may access remote registration database

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.4-A.1 Activation device, cannot connect to multiple networks

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.4-A.2 Activation device, access to remote registration database configurable

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.4-A.3 Activation device, notification of access to remote registration database

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.4-A.4 Activation device, remote access failure backup capability

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.4-A.5 Activation device, connects to router/firewall

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.1.4-B Activation device, source code reviews

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.2-A No advertising

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.5.2-B Capture votes

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.5.3-A Vote-capture device, voting variations

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.5.3-A.1 Vote-capture device, 1-of-M

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-1ofM.sql 1-basic-NoBallots-1ofM.sql 1-basic-Yes-or-No.sql 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-StraightParty.sql 1-basic-Primary-StraightParty.sql 1-basic-Primary.sql 1-basic-BallotRotation-StraightParty.sql 1-basic-AbsenteeByCategory-StraightParty.sql 1-basic-SplitPrecinct-StraightParty.sql 1-basic-BallotRotation.sql 1-basic-Primary-BallotRotation.sql 1-basic-StraightParty-WriteIns.sql 1-basic-AbsenteeByCategory.sql 1-basic-SplitPrecinct-1.sql 1-basic-SplitPrecinct-2.sql 1-basic-StraightParty-Provisional.sql 1-basic-CrossPartyEndorsement.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-SplitPrecinct-BallotRotation.sql 1-basic-NoChoices-1ofM.sql 1-basic-NoChoicesNoBallots-1ofM.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-WriteIns.sql 1-basic-Provisional.sql 1-basic-WriteInsAliases.sql 1-basic-Primary-WriteIns.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-AbsenteeByCategory-WriteIns.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-Primary-Provisional.sql 1-basic-BallotRotation-Provisional.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Yes-or-No.sql 1-basic-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-SplitPrecinct.sql 1-basic-SplitPrecinct-AbsenteeByCategory.sql 1-basic-BallotRotation-AbsenteeBySpecialPrecinct.sql 1-basic-BallotRotation-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-WriteIns.sql 1-basic-WriteInsAliases-AbsenteeBySpecialPrecinct.sql 1-basic-WriteInsAliases-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-StraightParty.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.2 Vote-capture device, yes/no question

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Yes-or-No.sql 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-AbsenteeBySpecialPrecinct-Yes-or-No.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.3 Vote-capture device, indicate party affiliations and endorsements

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty.sql 1-basic-Primary-StraightParty.sql 1-basic-StraightParty-RankedOrder.sql 1-basic-BallotRotation-StraightParty.sql 1-basic-AbsenteeByCategory-StraightParty.sql 1-basic-SplitPrecinct-StraightParty.sql 1-basic-StraightParty-Cumulative.sql 1-basic-StraightParty-WriteIns.sql 1-basic-StraightParty-NofM.sql 1-basic-StraightParty-Provisional.sql 1-basic-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql 1-basic-AbsenteeBySpecialPrecinct-StraightParty.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.4 Vote-capture device, closed primaries

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Primary-StraightParty.sql 1-basic-Primary.sql 1-basic-Primary-RankedOrder.sql 1-basic-Primary-BallotRotation.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-Primary-WriteIns.sql 1-basic-Primary-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-Primary-NofM.sql 1-basic-Primary-Provisional.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.5 Vote-capture device, open primaries

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Primary-StraightParty.sql 1-basic-Primary.sql 1-basic-Primary-RankedOrder.sql 1-basic-Primary-BallotRotation.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-Primary-WriteIns.sql 1-basic-Primary-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-Primary-NofM.sql 1-basic-Primary-Provisional.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.6 Vote-capture device, write-ins

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-StraightParty-WriteIns.sql 1-basic-RankedOrder-WriteIns.sql 1-basic-NoChoices-1ofM.sql 1-basic-NoChoicesNoBallots-1ofM.sql 1-basic-WriteIns.sql 1-basic-WriteInsAliases.sql 1-basic-Primary-WriteIns.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-AbsenteeByCategory-WriteIns.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-WriteInsAliases-Cumulative.sql 1-basic-NofM-WriteIns.sql 1-basic-WriteInsAliases-NofM.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-AbsenteeBySpecialPrecinct-WriteIns.sql 1-basic-WriteInsAliases-AbsenteeBySpecialPrecinct.sql 1-basic-WriteInsAliases-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.7 Vote-capture device, support write-in reconciliation

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-StraightParty-WriteIns.sql 1-basic-RankedOrder-WriteIns.sql 1-basic-NoChoices-1ofM.sql 1-basic-NoChoicesNoBallots-1ofM.sql 1-basic-WriteIns.sql 1-basic-WriteInsAliases.sql 1-basic-Primary-WriteIns.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-AbsenteeByCategory-WriteIns.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-WriteInsAliases-Cumulative.sql 1-basic-NofM-WriteIns.sql 1-basic-WriteInsAliases-NofM.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-AbsenteeBySpecialPrecinct-WriteIns.sql 1-basic-WriteInsAliases-AbsenteeBySpecialPrecinct.sql 1-basic-WriteInsAliases-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.8 Vote-capture device, ballot rotation

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-BallotRotation-StraightParty.sql 1-basic-BallotRotation.sql 1-basic-Primary-BallotRotation.sql 1-basic-BallotRotation-RankedOrder.sql 1-basic-SplitPrecinct-BallotRotation.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-BallotRotation-Cumulative.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-BallotRotation-NofM.sql 1-basic-BallotRotation-Provisional.sql 1-basic-BallotRotation-AbsenteeBySpecialPrecinct.sql 1-basic-BallotRotation-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.9 Ballot rotation, equal time for each contest choice

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-BallotRotation-StraightParty.sql 1-basic-BallotRotation.sql 1-basic-Primary-BallotRotation.sql 1-basic-BallotRotation-RankedOrder.sql 1-basic-SplitPrecinct-BallotRotation.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-BallotRotation-Cumulative.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-BallotRotation-NofM.sql 1-basic-BallotRotation-Provisional.sql 1-basic-BallotRotation-AbsenteeBySpecialPrecinct.sql 1-basic-BallotRotation-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.10 Vote-capture device, straight party voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty.sql 1-basic-Primary-StraightParty.sql 1-basic-StraightParty-RankedOrder.sql 1-basic-BallotRotation-StraightParty.sql 1-basic-AbsenteeByCategory-StraightParty.sql 1-basic-SplitPrecinct-StraightParty.sql 1-basic-StraightParty-Cumulative.sql 1-basic-StraightParty-WriteIns.sql 1-basic-StraightParty-NofM.sql 1-basic-StraightParty-Provisional.sql 1-basic-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql 1-basic-AbsenteeBySpecialPrecinct-StraightParty.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.11 Vote-capture device, cross-party endorsement

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.12 Vote-capture device, split precincts

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-SplitPrecinct-StraightParty.sql 1-basic-SplitPrecinct-1.sql 1-basic-SplitPrecinct-2.sql 1-basic-SplitPrecinct-RankedOrder.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-SplitPrecinct-BallotRotation.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-SplitPrecinct-Cumulative.sql 1-basic-SplitPrecinct-NofM.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-SplitPrecinct.sql 1-basic-SplitPrecinct-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.13 Vote-capture device, N-of-M voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-samples-AlleganyGeneral2004.sql 1-basic-StraightParty-NofM.sql 1-basic-RankedOrder-NofM.sql 1-basic-NofM.sql 1-basic-Primary-NofM.sql 1-basic-Cumulative-NofM.sql 1-basic-BallotRotation-NofM.sql 1-basic-AbsenteeByCategory-NofM.sql 1-basic-SplitPrecinct-NofM.sql 1-basic-NofM-WriteIns.sql 1-basic-WriteInsAliases-NofM.sql 1-basic-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql 1-basic-AbsenteeBySpecialPrecinct-NofM.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.14 Vote-capture device, cumulative voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Cumulative-RankedOrder.sql 1-basic-StraightParty-Cumulative.sql 1-basic-Cumulative.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-AbsenteeByCategory-Cumulative.sql 1-basic-Primary-Cumulative.sql 1-basic-BallotRotation-Cumulative.sql 1-basic-AbsenteeBySpecialPrecinct-Cumulative.sql 1-basic-SplitPrecinct-Cumulative.sql 1-basic-WriteInsAliases-Cumulative.sql 1-basic-Cumulative-NofM.sql 1-basic-Cumulative-Provisional.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.15 Vote-capture device, ranked order voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-NoBallots-RankedOrder.sql 1-basic-RankedOrder-1.sql 1-basic-RankedOrder-2.sql 1-basic-StraightParty-RankedOrder.sql 1-basic-Primary-RankedOrder.sql 1-basic-BallotRotation-RankedOrder.sql 1-basic-AbsenteeByCategory-RankedOrder.sql 1-basic-Cumulative-RankedOrder.sql 1-basic-SplitPrecinct-RankedOrder.sql 1-basic-RankedOrder-WriteIns.sql 1-basic-RankedOrder-NofM.sql 1-basic-RankedOrder-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-RankedOrder.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.16 Vote-capture device, provisional-challenged ballots

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty-Provisional.sql 1-basic-Provisional.sql 1-basic-Primary-Provisional.sql 1-basic-RankedOrder-Provisional.sql 1-basic-BallotRotation-Provisional.sql 1-basic-Cumulative-Provisional.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.17 DRE, categorize provisional ballots

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty-Provisional.sql 1-basic-Provisional.sql 1-basic-Primary-Provisional.sql 1-basic-RankedOrder-Provisional.sql 1-basic-BallotRotation-Provisional.sql 1-basic-Cumulative-Provisional.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql
\end{sloppypar}
\end{blockquote}

7.5.3-A.18 Vote-capture device, review-required ballots

\begin{blockquote}
Since the reasons for which a ballot might be flagged or separated for review are jurisdiction-dependent, the list of relevant tests will vary.
\end{blockquote}

7.5.4-A Record votes as voted

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.5.4-A.1 Records consistent with feedback to voter

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.5.4-B DRE, confirm votes recorded

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.5.4-C Casting

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.5.4-C.1 Equipment allows each eligible voter to vote

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.5.4-C.2 Paper-based, must have secure ballot boxes

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.5.4-D DRE, cast is committed

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.5.5-A DRE, at least two separate copies of CVR

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.5.5-A.1 DRE, redundant CVRs on physically separate media

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.5.6-A Tabulator, prevent counter overflow

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.5.6-A.1 DRE, stop when full

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.6-A DRE, no CVRs before close of polls

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.6-B Programmed vote-capture devices, poll-closing function

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.6-B.1 Programmed vote-capture devices, no voting when polls are closed

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.6-B.2 DRE, no ballot casting when polls are closed

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.6-B.3 Programmed vote-capture devices, poll closing integrity check

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.6-B.4 Programmed vote-capture devices, report on poll closing process

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.6-B.5 Programmed vote-capture devices, prevent reopening polls

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.6-C Precinct EMS, post-election reports

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.7.1-A Detect and prevent ballot style mismatches

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.7.1-B Detect and reject ballots that are oriented incorrectly

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.7.2-A Tabulator, voting variations

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.7.2-A.1 Tabulator, 1-of-M

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-1ofM.sql 1-basic-NoBallots-1ofM.sql 1-basic-Yes-or-No.sql 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-StraightParty.sql 1-basic-Primary-StraightParty.sql 1-basic-Primary.sql 1-basic-BallotRotation-StraightParty.sql 1-basic-AbsenteeByCategory-StraightParty.sql 1-basic-SplitPrecinct-StraightParty.sql 1-basic-BallotRotation.sql 1-basic-Primary-BallotRotation.sql 1-basic-StraightParty-WriteIns.sql 1-basic-AbsenteeByCategory.sql 1-basic-SplitPrecinct-1.sql 1-basic-SplitPrecinct-2.sql 1-basic-StraightParty-Provisional.sql 1-basic-CrossPartyEndorsement.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-SplitPrecinct-BallotRotation.sql 1-basic-NoChoices-1ofM.sql 1-basic-NoChoicesNoBallots-1ofM.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-WriteIns.sql 1-basic-Provisional.sql 1-basic-WriteInsAliases.sql 1-basic-Primary-WriteIns.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-AbsenteeByCategory-WriteIns.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-Primary-Provisional.sql 1-basic-BallotRotation-Provisional.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Yes-or-No.sql 1-basic-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-SplitPrecinct.sql 1-basic-SplitPrecinct-AbsenteeByCategory.sql 1-basic-BallotRotation-AbsenteeBySpecialPrecinct.sql 1-basic-BallotRotation-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-WriteIns.sql 1-basic-WriteInsAliases-AbsenteeBySpecialPrecinct.sql 1-basic-WriteInsAliases-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-StraightParty.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.2 Tabulator, yes/no question

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Yes-or-No.sql 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-AbsenteeBySpecialPrecinct-Yes-or-No.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.3 Tabulator, absentee voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-AbsenteeByCategory-StraightParty.sql 1-basic-AbsenteeByCategory-RankedOrder.sql 1-basic-AbsenteeByCategory.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-WriteIns.sql 1-basic-AbsenteeByCategory-Cumulative.sql 1-basic-AbsenteeBySpecialPrecinct-Cumulative.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-NofM.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Yes-or-No.sql 1-basic-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-SplitPrecinct.sql 1-basic-SplitPrecinct-AbsenteeByCategory.sql 1-basic-BallotRotation-AbsenteeBySpecialPrecinct.sql 1-basic-BallotRotation-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-WriteIns.sql 1-basic-WriteInsAliases-AbsenteeBySpecialPrecinct.sql 1-basic-WriteInsAliases-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-NofM.sql 1-basic-AbsenteeBySpecialPrecinct-RankedOrder.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-StraightParty.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.4 Tabulator, provisional-challenged ballots

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty-Provisional.sql 1-basic-Provisional.sql 1-basic-Primary-Provisional.sql 1-basic-RankedOrder-Provisional.sql 1-basic-BallotRotation-Provisional.sql 1-basic-Cumulative-Provisional.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.5 Tabulator, accept or reject provisional-challenged ballots individually

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty-Provisional.sql 1-basic-Provisional.sql 1-basic-Primary-Provisional.sql 1-basic-RankedOrder-Provisional.sql 1-basic-BallotRotation-Provisional.sql 1-basic-Cumulative-Provisional.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.6 Tabulator, accept or reject provisional-challenged ballots by category

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty-Provisional.sql 1-basic-Provisional.sql 1-basic-Primary-Provisional.sql 1-basic-RankedOrder-Provisional.sql 1-basic-BallotRotation-Provisional.sql 1-basic-Cumulative-Provisional.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.7 Tabulator, primary elections

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Primary-StraightParty.sql 1-basic-Primary.sql 1-basic-Primary-RankedOrder.sql 1-basic-Primary-BallotRotation.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-Primary-WriteIns.sql 1-basic-Primary-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-Primary-NofM.sql 1-basic-Primary-Provisional.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.8 Tabulator, write-ins

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-StraightParty-WriteIns.sql 1-basic-RankedOrder-WriteIns.sql 1-basic-NoChoices-1ofM.sql 1-basic-NoChoicesNoBallots-1ofM.sql 1-basic-WriteIns.sql 1-basic-WriteInsAliases.sql 1-basic-Primary-WriteIns.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-AbsenteeByCategory-WriteIns.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-WriteInsAliases-Cumulative.sql 1-basic-NofM-WriteIns.sql 1-basic-WriteInsAliases-NofM.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-AbsenteeBySpecialPrecinct-WriteIns.sql 1-basic-WriteInsAliases-AbsenteeBySpecialPrecinct.sql 1-basic-WriteInsAliases-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.9 Tabulator, support write-in reconciliation

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-StraightParty-WriteIns.sql 1-basic-RankedOrder-WriteIns.sql 1-basic-NoChoices-1ofM.sql 1-basic-NoChoicesNoBallots-1ofM.sql 1-basic-WriteIns.sql 1-basic-WriteInsAliases.sql 1-basic-Primary-WriteIns.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-AbsenteeByCategory-WriteIns.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-WriteInsAliases-Cumulative.sql 1-basic-NofM-WriteIns.sql 1-basic-WriteInsAliases-NofM.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-AbsenteeBySpecialPrecinct-WriteIns.sql 1-basic-WriteInsAliases-AbsenteeBySpecialPrecinct.sql 1-basic-WriteInsAliases-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.10 Tabulator, ballot rotation

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-BallotRotation-StraightParty.sql 1-basic-BallotRotation.sql 1-basic-Primary-BallotRotation.sql 1-basic-BallotRotation-RankedOrder.sql 1-basic-SplitPrecinct-BallotRotation.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-BallotRotation-Cumulative.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-BallotRotation-NofM.sql 1-basic-BallotRotation-Provisional.sql 1-basic-BallotRotation-AbsenteeBySpecialPrecinct.sql 1-basic-BallotRotation-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.11 Tabulator, straight party voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty.sql 1-basic-Primary-StraightParty.sql 1-basic-StraightParty-RankedOrder.sql 1-basic-BallotRotation-StraightParty.sql 1-basic-AbsenteeByCategory-StraightParty.sql 1-basic-SplitPrecinct-StraightParty.sql 1-basic-StraightParty-Cumulative.sql 1-basic-StraightParty-WriteIns.sql 1-basic-StraightParty-NofM.sql 1-basic-StraightParty-Provisional.sql 1-basic-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql 1-basic-AbsenteeBySpecialPrecinct-StraightParty.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.12 Tabulating straight party votes

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty.sql 1-basic-Primary-StraightParty.sql 1-basic-StraightParty-RankedOrder.sql 1-basic-BallotRotation-StraightParty.sql 1-basic-AbsenteeByCategory-StraightParty.sql 1-basic-SplitPrecinct-StraightParty.sql 1-basic-StraightParty-Cumulative.sql 1-basic-StraightParty-WriteIns.sql 1-basic-StraightParty-NofM.sql 1-basic-StraightParty-Provisional.sql 1-basic-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql 1-basic-AbsenteeBySpecialPrecinct-StraightParty.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.13 Tabulator, cross-party endorsement

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-BallotRotation-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.14 Tabulator, split precincts

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-SplitPrecinct-StraightParty.sql 1-basic-SplitPrecinct-1.sql 1-basic-SplitPrecinct-2.sql 1-basic-SplitPrecinct-RankedOrder.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-SplitPrecinct-BallotRotation.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-SplitPrecinct-Cumulative.sql 1-basic-SplitPrecinct-NofM.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-SplitPrecinct-CrossPartyEndorsement.sql 1-basic-AbsenteeBySpecialPrecinct-SplitPrecinct.sql 1-basic-SplitPrecinct-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.15 Tabulator, N-of-M voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-samples-AlleganyGeneral2004.sql 1-basic-StraightParty-NofM.sql 1-basic-RankedOrder-NofM.sql 1-basic-NofM.sql 1-basic-Primary-NofM.sql 1-basic-Cumulative-NofM.sql 1-basic-BallotRotation-NofM.sql 1-basic-AbsenteeByCategory-NofM.sql 1-basic-SplitPrecinct-NofM.sql 1-basic-NofM-WriteIns.sql 1-basic-WriteInsAliases-NofM.sql 1-basic-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-CrossPartyEndorsement-NofM.sql 1-basic-AbsenteeBySpecialPrecinct-NofM.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.16 Tabulator, cumulative voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Cumulative-RankedOrder.sql 1-basic-StraightParty-Cumulative.sql 1-basic-Cumulative.sql 1-basic-CrossPartyEndorsement-Cumulative.sql 1-basic-AbsenteeByCategory-Cumulative.sql 1-basic-Primary-Cumulative.sql 1-basic-BallotRotation-Cumulative.sql 1-basic-AbsenteeBySpecialPrecinct-Cumulative.sql 1-basic-SplitPrecinct-Cumulative.sql 1-basic-WriteInsAliases-Cumulative.sql 1-basic-Cumulative-NofM.sql 1-basic-Cumulative-Provisional.sql
\end{sloppypar}
\end{blockquote}

7.7.2-A.17 Tabulator, ranked order voting

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-NoBallots-RankedOrder.sql 1-basic-RankedOrder-1.sql 1-basic-RankedOrder-2.sql 1-basic-StraightParty-RankedOrder.sql 1-basic-Primary-RankedOrder.sql 1-basic-BallotRotation-RankedOrder.sql 1-basic-AbsenteeByCategory-RankedOrder.sql 1-basic-Cumulative-RankedOrder.sql 1-basic-SplitPrecinct-RankedOrder.sql 1-basic-RankedOrder-WriteIns.sql 1-basic-RankedOrder-NofM.sql 1-basic-RankedOrder-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-RankedOrder.sql
\end{sloppypar}
\end{blockquote}

7.7.3-A Central paper tabulator, ballot separation

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.7.3-A.1 Central paper tabulator, unreadable ballots

\begin{blockquote}
This requirement specifies a ``fail safe'' behavior for a condition that, ideally, would not be reproducible by a test lab.  The method to reproduce it, if there were one, would be specific to a particular voting system.  Thus there is no test in Votetest that attempts to create the conditions under which the requirement would apply.  For more information, see the discussion of Part~3 Req.~5.2.3-A in the VVSG.
\end{blockquote}

7.7.3-A.2 Central paper tabulator, write-ins

\begin{blockquote}
Since the reasons for which a ballot might be flagged or separated for review are jurisdiction-dependent, the list of relevant tests will vary.
\end{blockquote}

7.7.3-A.3 Central paper tabulator, overvotes, undervotes, blank ballots

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.7.3-B Precinct paper tabulator, write-ins

\begin{blockquote}
Since the reasons for which a ballot might be flagged or separated for review are jurisdiction-dependent, the list of relevant tests will vary.
\end{blockquote}

7.7.3-C ECOS, react to marginal marks and overvotes

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.7.4-A Paper-based tabulator, ability to clear misfeed

\begin{blockquote}
This requirement specifies a ``fail safe'' behavior for a condition that, ideally, would not be reproducible by a test lab.  The method to reproduce it, if there were one, would be specific to a particular voting system.  Thus there is no test in Votetest that attempts to create the conditions under which the requirement would apply.  For more information, see the discussion of Part~3 Req.~5.2.3-A in the VVSG.
\end{blockquote}

7.7.4-B Paper-based tabulator, indicate status of misfed ballot

\begin{blockquote}
This requirement specifies a ``fail safe'' behavior for a condition that, ideally, would not be reproducible by a test lab.  The method to reproduce it, if there were one, would be specific to a particular voting system.  Thus there is no test in Votetest that attempts to create the conditions under which the requirement would apply.  For more information, see the discussion of Part~3 Req.~5.2.3-A in the VVSG.
\end{blockquote}

7.7.5-A Optical scanner, ignore unmarked voting targets

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.7.5-B ECOS, accurately detect marks

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.7.5-C MCOS, accurately detect perfect marks

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.7.5-D MCOS, accurately detect imperfect marks

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.7.5-E Paper-based tabulators, ignore extraneous outside voting targets

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.7.5-F Optical scanner, ignore extraneous inside voting targets

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.7.5-G MCOS, ignore hesitation marks

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.7.5-H MCOS, marginal marks, no bias

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.7.5-I MCOS, marginal marks, repeatability

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.7.6-A Precinct EMS consolidation

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.7.6-A.1 DRE, consolidate in 5 minutes

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.1-A Reports are time stamped

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.1-B Timestamps should be ISO 8601 compliant

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.1-C Reporting is non-destructive

\begin{blockquote}
This requirement does not specify functional testing as an applicable test method, so it is out of scope for Votetest.
\end{blockquote}

7.8.2-A Audit reports

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.2-B Pre-election reports

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.2-C Status reports

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.2-D Readiness reports, per polling place

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.2-E Readiness reports, precinct tabulator

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.2-F Readiness reports, central tabulator

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.2-G Readiness reports, public network test ballots

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.1-A Reporting, ability to produce text

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.1-B Report all votes cast

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.1-C Account for all cast ballots and all valid votes

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.1-D Vote data reports, discrepancies can't happen

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.1-D.1 Discrepancies that happen anyway must be flagged

\begin{blockquote}
This requirement specifies a ``fail safe'' behavior for a condition that, ideally, would not be reproducible by a test lab.  The method to reproduce it, if there were one, would be specific to a particular voting system.  Thus there is no test in Votetest that attempts to create the conditions under which the requirement would apply.  For more information, see the discussion of Part~3 Req.~5.2.3-A in the VVSG.
\end{blockquote}

7.8.3.1-D.2 Discrepancies that happen anyway must be explainable

\begin{blockquote}
This requirement specifies a ``fail safe'' behavior for a condition that, ideally, would not be reproducible by a test lab.  The method to reproduce it, if there were one, would be specific to a particular voting system.  Thus there is no test in Votetest that attempts to create the conditions under which the requirement would apply.  For more information, see the discussion of Part~3 Req.~5.2.3-A in the VVSG.
\end{blockquote}

7.8.3.1-E Reporting, combined precincts

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.8.3.1-F Precinct tabulators, no tallies before close of polls

\begin{blockquote}
This requirement falls within the scope of security assessment, so it is out of scope for Votetest.
\end{blockquote}

7.8.3.2-A Report cast ballots

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.2-B Report read ballots

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.2-B.1 Report read ballots, multi-page

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.2-B.2 Report read ballots by party

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Primary-StraightParty.sql 1-basic-Primary.sql 1-basic-Primary-RankedOrder.sql 1-basic-Primary-BallotRotation.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-Primary-WriteIns.sql 1-basic-Primary-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-Primary-NofM.sql 1-basic-Primary-Provisional.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.8.3.2-B.3 Report read provisional ballots

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty-Provisional.sql 1-basic-Provisional.sql 1-basic-Primary-Provisional.sql 1-basic-RankedOrder-Provisional.sql 1-basic-BallotRotation-Provisional.sql 1-basic-Cumulative-Provisional.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql
\end{sloppypar}
\end{blockquote}

7.8.3.2-C Report counted ballots

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.2-C.1 Report counted ballots by party

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-Primary-StraightParty.sql 1-basic-Primary.sql 1-basic-Primary-RankedOrder.sql 1-basic-Primary-BallotRotation.sql 1-basic-Primary-SplitPrecinct.sql 1-basic-Primary-WriteIns.sql 1-basic-Primary-Cumulative.sql 1-basic-Primary-CrossPartyEndorsement.sql 1-basic-Primary-NofM.sql 1-basic-Primary-Provisional.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-samples-CecilRPrimary1998.sql
\end{sloppypar}
\end{blockquote}

7.8.3.2-C.2 Report counted provisional ballots

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty-Provisional.sql 1-basic-Provisional.sql 1-basic-Primary-Provisional.sql 1-basic-RankedOrder-Provisional.sql 1-basic-BallotRotation-Provisional.sql 1-basic-Cumulative-Provisional.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql
\end{sloppypar}
\end{blockquote}

7.8.3.2-C.3 Report blank ballots

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.2-D Report counted ballots by contest

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.3-A Report votes for each contest choice

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.3-B Report overvotes for each contest

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.3-B.1 Reporting overvotes, ad hoc queries

\begin{blockquote}
This requirement is discussed in \autoref{RequiredNotIncluded}.
\end{blockquote}

7.8.3.3-C Report undervotes for each contest

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.3-D Ranked order voting, report results

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-NoBallots-RankedOrder.sql 1-basic-RankedOrder-1.sql 1-basic-RankedOrder-2.sql 1-basic-StraightParty-RankedOrder.sql 1-basic-Primary-RankedOrder.sql 1-basic-BallotRotation-RankedOrder.sql 1-basic-AbsenteeByCategory-RankedOrder.sql 1-basic-Cumulative-RankedOrder.sql 1-basic-SplitPrecinct-RankedOrder.sql 1-basic-RankedOrder-WriteIns.sql 1-basic-RankedOrder-NofM.sql 1-basic-RankedOrder-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-RankedOrder.sql
\end{sloppypar}
\end{blockquote}

7.8.3.3-E Include in-person votes

\begin{blockquote}
All Votetest tests are traceable to this requirement.
\end{blockquote}

7.8.3.3-F Include absentee votes

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-AbsenteeByCategory-StraightParty.sql 1-basic-AbsenteeByCategory-RankedOrder.sql 1-basic-AbsenteeByCategory.sql 1-basic-AbsenteeByCategory-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-WriteIns.sql 1-basic-AbsenteeByCategory-Cumulative.sql 1-basic-AbsenteeBySpecialPrecinct-Cumulative.sql 1-basic-AbsenteeBySpecialPrecinct-CrossPartyEndorsement.sql 1-basic-AbsenteeByCategory-NofM.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Yes-or-No.sql 1-basic-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeBySpecialPrecinct.sql 1-basic-Primary-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-SplitPrecinct.sql 1-basic-SplitPrecinct-AbsenteeByCategory.sql 1-basic-BallotRotation-AbsenteeBySpecialPrecinct.sql 1-basic-BallotRotation-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-WriteIns.sql 1-basic-WriteInsAliases-AbsenteeBySpecialPrecinct.sql 1-basic-WriteInsAliases-AbsenteeByCategory.sql 1-basic-AbsenteeBySpecialPrecinct-NofM.sql 1-basic-AbsenteeBySpecialPrecinct-RankedOrder.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-StraightParty.sql
\end{sloppypar}
\end{blockquote}

7.8.3.3-G Include write-in votes

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-samples-AlleganyGeneral2004.sql 1-basic-samples-FairfaxGeneral2004.sql 1-basic-StraightParty-WriteIns.sql 1-basic-RankedOrder-WriteIns.sql 1-basic-NoChoices-1ofM.sql 1-basic-NoChoicesNoBallots-1ofM.sql 1-basic-WriteIns.sql 1-basic-WriteInsAliases.sql 1-basic-Primary-WriteIns.sql 1-basic-BallotRotation-WriteInsAliases.sql 1-basic-AbsenteeByCategory-WriteIns.sql 1-basic-SplitPrecinct-WriteIns.sql 1-basic-WriteInsAliases-Cumulative.sql 1-basic-NofM-WriteIns.sql 1-basic-WriteInsAliases-NofM.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-CrossPartyEndorsement-WriteIns.sql 1-basic-AbsenteeBySpecialPrecinct-WriteIns.sql 1-basic-WriteInsAliases-AbsenteeBySpecialPrecinct.sql 1-basic-WriteInsAliases-AbsenteeByCategory.sql
\end{sloppypar}
\end{blockquote}

7.8.3.3-H Include accepted provisional-challenged votes

\begin{blockquote}
The following tests are traceable to this requirement:

\begin{sloppypar} 1-basic-StraightParty-Provisional.sql 1-basic-Provisional.sql 1-basic-Primary-Provisional.sql 1-basic-RankedOrder-Provisional.sql 1-basic-BallotRotation-Provisional.sql 1-basic-Cumulative-Provisional.sql 1-basic-AbsenteeByCategory-Provisional.sql 1-basic-SplitPrecinct-Provisional.sql 1-basic-WriteInsAliases-Provisional.sql 1-basic-NofM-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-NofM-Provisional.sql 1-basic-CrossPartyEndorsement-Provisional.sql 1-basic-AbsenteeBySpecialPrecinct-Provisional.sql
\end{sloppypar}
\end{blockquote}

7.8.3.3-I Include accepted reviewed votes

\begin{blockquote}
Since the reasons for which a ballot might be flagged or separated for review are jurisdiction-dependent, the list of relevant tests will vary.
\end{blockquote}

