Joseph Kiniry

Included in this documentation is our use of ASMs to describe client and server state, our specification of endpoints, our use of JSON and specification of transport types, and our...

User should be able to change focus and act on forms with keyboard

5

E.g., pressing return or tab should move to the next textbox, etc.

All non-trivial UI components should have pop-up help. E.g., all column labels in Dashboards, the logout button, etc.

- [ ] create Free & Fair key pair and register it in the appropriate places - [ ] create a Free & Fair Keybase account and set it up...

estimated error rates for stage/round one RLA batch size

4

Stark's calculator uses estimated error rates for: - one vote overstatements of 0.001 (0.1%, or 1 in a thousand audited ballots contain such an error), - two vote overstatements of...

In particular, I'll be focusing on their notion of rounds, or what are called stages in the literature.

integrate JSON-format Election Definition files into into our knowledge base and Q/A process

6

Neal sent an email to Denver 08-06 inquiring whether we can put the data they sent in our repo.

use columns to render ballot verification page

2

On many displays we can fit two columns, if not three, to avoid vertical scrolling.

render server ASMs

1

Per @dmzimmerman's work on #327.

In particular, every automatically generated table in the deployed DB should map to a `table` concept in the specification, and every query realized in the `us.freeandfair.corla.query` package should be realized...