STV — 3 seats, 7 candidates (proportional RCV)¶
Generated from 03a_stv_3seats.yaml — do not edit by hand. Regenerate: python STARVote_LH_tabulation_engine/tools_adam/scripts/build_yaml_pages.py.
Method: STV (proportional, ranked ballots) · 3 seats · Expected winners: Housing, Schools, SmallBiz
Scenario¶
STV — the proportional method for RANKED ballots — fills 3 seats from a 100-voter, 7-candidate field: a 58-voter community-services wing and a 42-voter business wing. Proportionality gives the majority two seats (Housing, Schools) and the minority one (SmallBiz), where Bloc voting would hand the majority a 3-0 sweep. Score-ballot counterpart: 03_STAR_PR/ (same electorate logic under sss / allocated / rrv).
Ballots¶
Each row is one voter's ranking, most-preferred first (N: prefix = N identical ballots).
29:Housing>Schools>Parks>Transit>SmallBiz>BigBiz>TaxCuts
15:Schools>Housing>Parks>Transit>SmallBiz>BigBiz>TaxCuts
13:Parks>Schools>Housing>Transit>SmallBiz>BigBiz>TaxCuts
1:Transit>Schools>Housing>Parks>SmallBiz>BigBiz>TaxCuts
22:SmallBiz>BigBiz>TaxCuts>Housing>Schools>Parks>Transit
17:BigBiz>SmallBiz>TaxCuts>Housing>Schools>Parks>Transit
3:TaxCuts>SmallBiz>BigBiz>Housing>Schools>Parks>Transit
What the engine says¶

Where the votes went. Band thickness is votes; a band leaving an eliminated candidate lands on whoever that ballot ranked next, or on inactive if it ranked nobody who was left.
The count, step by step — the rounds and how the winner is reached:
--- STV / Single Transferable Vote (multi-winner — 3 seats) ---
STV — 3 seats, 7 candidates (proportional RCV)
Tabulating 100 ballots (ranked ballots).
3 seats; quota = 25.00 (exact Droop, votes/(seats+1)) — 25.0% of 100.
Elected at >= quota, and every surplus is measured from it.
(Hand-count Droop, floor(100/4)+1 = 26, is a different but equally standard rule.)
ROUND 1
Candidate Votes Status
----------- ------- --------
Housing 29 Elected
SmallBiz 22 Hopeful
BigBiz 17 Hopeful
Schools 15 Hopeful
Parks 13 Hopeful
TaxCuts 3 Hopeful
Transit 1 Hopeful
ROUND 2
Candidate Votes Status
----------- ------- --------
Housing 25.00 Elected
SmallBiz 22.00 Hopeful
Schools 19.00 Hopeful
BigBiz 17.00 Hopeful
Parks 13.00 Rejected
TaxCuts 3.00 Rejected
Transit 1.00 Rejected
ROUND 3
Candidate Votes Status
----------- ------- --------
Housing 25.00 Elected
Schools 33.00 Elected
SmallBiz 25.00 Hopeful
BigBiz 17.00 Hopeful
Parks 0.00 Rejected
TaxCuts 0.00 Rejected
Transit 0.00 Rejected
FINAL RESULT
Candidate Votes Status
----------- ------- --------
Housing 25.00 Elected
Schools 25.00 Elected
SmallBiz 33.00 Elected
BigBiz 17.00 Rejected
Parks 0.00 Rejected
TaxCuts 0.00 Rejected
Transit 0.00 Rejected
Winner(s) — STV / Single Transferable Vote (multi-winner — 3 seats)
Housing
Schools
SmallBiz
Full audit — preference matrix, Condorcet, and score distribution¶
--- Smith Set (the generalized Condorcet winner) ---
The smallest group whose every member beats every candidate outside it —
the honest answer to "who is even in contention?".
Smith set (1 of 7): Housing
Outside (6): Schools, Parks, Transit, SmallBiz, BigBiz, TaxCuts
One member ⇒ Housing is the Condorcet winner, beating every rival head-to-head.
More: 07_Concepts/topics/smith_set.md
Everything in one file: the _tabulated mirror (regenerated on every run; every analysis forced on).
Run it yourself:
python STARVote_LH_tabulation_engine/starvote_larry_hastings.py 06_Other/STV/cases/03a_stv_3seats.yaml