Verifiblity Expectations
Each step of each process must be verifiable. For each process, an "expected" outcome must be specified; also, a way to inspect in real-time and historically what "actually" occurred must be specified.
There is one exception to this requirement; when a voter marks their ballot only the voter can verify that the ballot is actually marked as the voter expected (intended). Once the ballot is cast, there is no way to associate a particular ballot with a particular voter.
The requirement for real-time inspection emanates from the transparency requirement. Poll watchers must be able to observe what is happening in order to exercise their right to object, since some processes are irreversible.
In addition to detailed inspection, every process must be auditable using statistical methods. Some reports describing these methods are: