======================================================================
SOURCE FILE:     bv2138_cxrf8v_irv.yaml
TABULATED FILE:  bv2138_cxrf8v_irv_tabulated.txt
======================================================================

election_title: "No Condorcet Winner — IRV (Hare): Dave wins by elimination"
scenario_description: |-
  One of four races in the 'One Ranked Electorate, Many Tabulations' election (BV2138, bvid cxrf8v; BV-confirmed). 921 voters, five candidates, NO Condorcet winner (Smith set = Abby, Brad, Dave, Erin). Robert LeGrand's flagship 'the method decides' example: across ~15 methods the win splits five ways. IRV → Dave.
bv_test_id: BV2138
bv_election_id: cxrf8v
bv_results_url: https://bettervoting.com/cxrf8v/results
voting_method: IRV
num_winners: 1
ballots: |-
  98:Abby>Cora>Erin>Dave>Brad
  64:Brad>Abby>Erin>Cora>Dave
  12:Brad>Abby>Erin>Dave>Cora
  98:Brad>Erin>Abby>Cora>Dave
  13:Brad>Erin>Abby>Dave>Cora
  125:Brad>Erin>Dave>Abby>Cora
  124:Cora>Abby>Erin>Dave>Brad
  76:Cora>Erin>Abby>Dave>Brad
  21:Dave>Abby>Brad>Erin>Cora
  30:Dave>Brad>Abby>Erin>Cora
  98:Dave>Brad>Erin>Cora>Abby
  139:Dave>Cora>Abby>Brad>Erin
  23:Dave>Cora>Brad>Abby>Erin
expected_winners:
  - Dave

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

--- RCV / Instant-Runoff Voting (single winner) ---
  No Condorcet Winner — IRV (Hare): Dave wins by elimination
 Tabulating 921 ballots (ranked ballots).

ROUND 1
Candidate      Votes  Status
-----------  -------  --------
Brad             312  Hopeful
Dave             311  Hopeful
Cora             200  Rejected
Abby              98  Rejected
Erin               0  Rejected

FINAL RESULT
Candidate      Votes  Status
-----------  -------  --------
Dave             609  Elected
Brad             312  Rejected
Cora               0  Rejected
Abby               0  Rejected
Erin               0  Rejected


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

--- 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 (4 of 5): Abby, Brad, Erin, Dave
   Outside (1):        Cora
   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.
   Note: the Copeland leaders (Abby, Brad) are only part of the set — the
   win–loss table's top block understates how wide the contention is.
   RCV-IRV winner Dave is INSIDE the Smith set. ✓
      Not guaranteed — RCV-IRV is not Smith-efficient — but it holds here.
   More: 07_Concepts/topics/smith_set.md