Re: Final proposed Board resolution for Board elections voting system

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.

Responses

Browse spi-general by date

  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