====================================================================== SOURCE FILE: star_combined.yaml TABULATED FILE: star_combined_tabulated.txt ====================================================================== election_title: "Summability demo — STAR combined A+B (Oak; precinct subtotals add up)" scenario_description: |- Districts A + B merged (all six ballots): Oak wins the combined STAR count. Check it against the two district files — every score total and every pairwise-matrix cell here is exactly the SUM of the districts' published subtotals. No central ballot pile, no recount: precincts report, totals add. That is summability; the irv_* trio shows RCV-IRV failing exactly this test. voting_method: STAR num_winners: 1 expected_winners: [Oak] ballots: |- Maple, Oak, Pine 5,4,0 5,3,1 0,2,5 1,5,4 0,5,3 4,0,5 lot_numbers: [Maple, Oak, Pine] # file: star_combined.yaml ====================================================================== TABULATION RESULTS ====================================================================== === Summability demo — STAR combined A+B (Oak; precinct subtotals add up) === Districts A + B merged (all six ballots): Oak wins the combined STAR count. Check it against the two district files — every score total and every pairwise-matrix cell here is exactly the SUM of the districts' published subtotals. No central ballot pile, no recount: precincts report, totals add. That is summability; the irv_* trio shows RCV-IRV failing exactly this test. --- Runoff (Preference) Matrix --- Head-to-head / pairwise comparison Legend: For - Equal Support - Against * indicates Top 2 Finalist | Maple | * Oak | * Pine | ----------------------------------------------------- Maple > | --- |3 - 0 - 3 |2 - 0 - 4 | * Oak > | 3 - 0 - 3 | --- |4 - 0 - 2 | * Pine > | 4 - 0 - 2 |2 - 0 - 4 | --- | [Condorcet Winner] No strict Condorcet winner; weak Condorcet winner: Oak — matches the STAR winner [Condorcet Loser] No strict Condorcet loser; weak Condorcet loser: Maple (never wins a matchup) — elected by Choose-One (Plurality)! [Divergence from STAR] STAR = Oak Choose-One (Plurality) = Maple (differs from STAR) --- STAR Voting Method (single winner) --- [STAR Voting] Tabulating 6 ballots. Maple,Oak,Pine 5, 4, 0 5, 3, 1 0, 2, 5 1, 5, 4 0, 5, 3 4, 0, 5 [Score Distribution] (how many ballots gave each star rating) Score Candidate 5 4 3 2 1 0 | Total Avg Maple 2 1 0 0 1 2 | 15 2.5 Oak 2 1 1 1 0 1 | 19 3.2 Pine 2 1 1 0 1 1 | 18 3.0 [STAR Voting: Scoring Round] The two highest-scoring candidates advance to the next round. Oak -- 19 -- First place Pine -- 18 -- Second place Maple -- 15 Oak and Pine advance. [STAR Voting: Automatic Runoff Round] The candidate preferred in the most head-to-head matchups wins. Oak -- 4 -- First place Pine -- 2 Equal Support -- 0 Oak wins. Runoff math: 6 ballots cast − 0 Equal Support (no preference between the two finalists) ─ 6 voters with a preference (majority = 4) Oak 4 (67%) · Pine 2 (33%) [STAR Voting: Winner — STAR Voting Method (single winner)] Oak