======================================================================
SOURCE FILE:     bv2137_ywckmg_irv.yaml
TABULATED FILE:  bv2137_ywckmg_irv_tabulated.txt
======================================================================

election_title: "Center Squeeze — IRV (Hare): the center gets squeezed out"
scenario_description: |-
  One of four races in the Center Squeeze election (BV2137, bvid ywckmg; BV-confirmed). 100 voters, three candidates, ONE ranked electorate tabulated four ways. Anderson is the Condorcet winner (beats Reagan 55–45, Carter 65–35) but holds the fewest first-choices (20). IRV eliminates the low-first-choice centrist Anderson FIRST, then Carter beats Reagan 55–45. IRV → Carter, NOT the Condorcet winner.
bv_test_id: BV2137
bv_election_id: ywckmg
bv_results_url: https://bettervoting.com/ywckmg/results
paradoxes: [condorcet-winner]
voting_method: IRV
num_winners: 1
ballots: |-
  45:Reagan>Anderson>Carter
  20:Anderson>Carter>Reagan
  35:Carter>Anderson>Reagan
expected_winners:
  - Carter

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

--- RCV / Instant-Runoff Voting (single winner) ---
  Center Squeeze — IRV (Hare): the center gets squeezed out
 Tabulating 100 ballots (ranked ballots).

ROUND 1
Candidate      Votes  Status
-----------  -------  --------
Reagan            45  Hopeful
Carter            35  Hopeful
Anderson          20  Rejected

FINAL RESULT
Candidate      Votes  Status
-----------  -------  --------
Carter            55  Elected
Reagan            45  Rejected
Anderson           0  Rejected


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

--- 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): Anderson
   Outside (2):        Reagan, Carter
   One member ⇒ Anderson is the Condorcet winner, beating every rival head-to-head.
   RCV-IRV winner Carter is OUTSIDE the Smith set. ✗
      Every member of the set (Anderson) beats Carter head-to-head, yet
      RCV-IRV elected Carter 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