======================================================================
SOURCE FILE:     bv2154_wq6yv7_irv.yaml
TABULATED FILE:  bv2154_wq6yv7_irv_tabulated.txt
======================================================================

election_title: "Felsenthal Ex.8 — IRV: a third winner, Clara"
scenario_description: |-
  Race 2 of 3 in the three-winners election (BV2154, bvid wq6yv7; BV-confirmed). Source: Dan S. Felsenthal (2010), Appendix A3, Example 8 — see bv2154_wq6yv7_approval.yaml for the setup.
  The same 15 voters' full rankings under instant runoff: first choices April 6, Bruce 4, Clara 5, so BRUCE — the Condorcet winner — is deleted first, and Clara beats April 9–6. IRV elects Clara: neither the approval race's April (the absolute loser) nor the pairwise winner Bruce. One electorate, three winners across the three races.
  Live results: https://bettervoting.com/wq6yv7/results
bv_test_id: BV2154
bv_election_id: wq6yv7
bv_results_url: https://bettervoting.com/wq6yv7/results
paradoxes: [condorcet-winner]
voting_method: IRV
num_winners: 1
ballots: |-
  6:April>Bruce>Clara
  4:Bruce>Clara>April
  1:Clara>April>Bruce
  4:Clara>Bruce>April
expected_winners:
  - Clara

# file: bv2154_wq6yv7_irv.yaml

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

--- RCV / Instant-Runoff Voting (single winner) ---
  Felsenthal Ex.8 — IRV: a third winner, Clara
 Tabulating 15 ballots (ranked ballots).

ROUND 1
Candidate      Votes  Status
-----------  -------  --------
April              6  Hopeful
Clara              5  Hopeful
Bruce              4  Rejected

FINAL RESULT
Candidate      Votes  Status
-----------  -------  --------
Clara              9  Elected
April              6  Rejected
Bruce              0  Rejected


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

--- 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 3): Bruce
   Outside (2):        April, Clara
   One member ⇒ Bruce is the Condorcet winner, beating every rival head-to-head.
   RCV-IRV winner Clara is OUTSIDE the Smith set. ✗
      Every member of the set (Bruce) beats Clara head-to-head, yet
      RCV-IRV elected Clara anyway. RCV-IRV is not Smith-efficient (nor
      Condorcet-efficient) — this is the shape a center squeeze leaves behind.
   More: 07_Concepts/topics/smith_set.md