This graphically shows the implications of a set
of assertions about an IRV (instant runoff) contest
which hopefully combine to conclude that there is only one
possible winning candidate.
This is useful if you have been convinced (from auditing) that
each of the individual assertions is true, and now want to
see what that implies about the whole contest This page
demonstrates the logic in a manner that is reasonable for a human
(rather than a computer) to check.
Input
Input is a JSON file describing the assertions. Or load from file
Current formats accepted are:
The output of RAIRE, primarily by Michelle Blom (example : )
The output of raire-rs, a rewrite of the above primarily by Andrew Conway (examples : )
The log from SHANGRLA, primarily by Phillip Stark. (example : )
Show the effect of assertions