From: | Ian Jackson <ijackson(at)chiark(dot)greenend(dot)org(dot)uk> |
---|---|
To: | Josh berkus <josh(at)postgresql(dot)org> |
Cc: | spi-general(at)lists(dot)spi-inc(dot)org |
Subject: | Re: Final proposed Board resolution for Board elections voting system |
Date: | 2017-03-08 22:27:44 |
Message-ID: | 22720.34144.370781.730495@chiark.greenend.org.uk |
Views: | Raw Message | Whole Thread | Download mbox |
Thread: | |
Lists: | spi-general |
Josh berkus writes ("Re: Final proposed Board resolution for Board elections voting system"):
> > 8. The practical implementation will be by means of software; for
> > example, perhaps the openstv package in Debian. The choice of
> > software is up to the Secretary. However, any differences between
> > the Rules in the Order, and whatever software implementation is
> > chosen, are to be resolved in favour of the Rules.
>
> What the heck does that last sentence mean?
I don't understand how it's not clear.
"The Rules in the Order" is a reference to the previous paragraph,
which talks about "Rules 45-52 of the Scottish Local Government
Elections Order 2007".
The last sentence is saying that if the software gives different
answers to those specified by the UK legislation which defines
Scottish STV, then the winners of the election are the winners
according to the legislation, not the winners according to the
software.
Ie differences between the specification (taken from the UK law) and
the implementation (whatever software we use, perhaps multiple pieces
of software for verification) are bugs.
I'd be happy to entertain suggestions for a plainer wording.
Ian.
From | Date | Subject | |
---|---|---|---|
Next Message | Josh berkus | 2017-03-08 22:41:14 | Re: Final proposed Board resolution for Board elections voting system |
Previous Message | Ian Jackson | 2017-03-08 22:23:20 | Re: Final proposed Board resolution for Board elections voting system |