======================================================================
SOURCE FILE:     margins_irv.yaml
TABULATED FILE:  margins_irv_tabulated.txt
======================================================================

election_title: "Margins matter — RCV-IRV elects the third answer (Cocoa)"
scenario_description: |-
  The same twelve gelato ballots, counted by instant runoff. First choices are Almond 5, Cocoa 4, Berry 3, so Berry — the BORDA winner and the margin-weighted Copeland winner — is eliminated FIRST. All three of Berry's ballots rank Cocoa next, so they transfer intact and Cocoa wins 7-5. This is the fourth distinct answer the same electorate produces: Plurality says Almond, RCV-IRV says Cocoa, Borda says Berry, and Copeland says nobody (a three-way tie). Not a center-squeeze case — there is no Condorcet winner for IRV to miss, because the pairwise contests form a cycle.
bv_test_id: BV2251
bv_election_id: kdjjkq
bv_results_url: https://bettervoting.com/kdjjkq/results
voting_method: IRV
num_winners: 1
ballots: |-
  Almond>Berry>Cocoa
  Almond>Berry>Cocoa
  Almond>Berry>Cocoa
  Almond>Berry>Cocoa
  Almond>Berry>Cocoa
  Berry>Cocoa>Almond
  Berry>Cocoa>Almond
  Berry>Cocoa>Almond
  Cocoa>Almond>Berry
  Cocoa>Almond>Berry
  Cocoa>Berry>Almond
  Cocoa>Berry>Almond

expected_winners:
  - Cocoa

# file: margins_irv.yaml

======================================================================
TABULATION RESULTS
======================================================================

--- RCV / Instant-Runoff Voting (single winner) ---
  Margins matter — RCV-IRV elects the third answer (Cocoa)
 Tabulating 12 ballots (ranked ballots).

ROUND 1
Candidate      Votes  Status
-----------  -------  --------
Almond             5  Hopeful
Cocoa              4  Hopeful
Berry              3  Rejected

FINAL RESULT
Candidate      Votes  Status
-----------  -------  --------
Cocoa              7  Elected
Almond             5  Rejected
Berry              0  Rejected


Winner(s) — RCV / Instant-Runoff Voting (single winner)
  Cocoa

--- 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 (3 of 3): Almond, Berry, Cocoa
   Outside (0):        —
   More than one member ⇒ NO Condorcet winner: the top of the tournament is a
   cycle, so the strongest "candidate" is a set, not a person. Which member of
   the set should win is exactly what Minimax / Ranked Pairs / Schulze disagree
   about — see 05_Ranked_Robin/01_Learn/cycle_resolution.md.
   RCV-IRV winner Cocoa is INSIDE the Smith set. ✓
      Not guaranteed — RCV-IRV is not Smith-efficient — but it holds here.
   More: 07_Concepts/topics/smith_set.md