election_title: "Reinforcement — South district alone (3 voters, Ada is the clear Condorcet winner)"

scenario_description: |-
  District 2 of the reinforcement-paradox pair from Brandt, Dong & Peters,
  "Condorcet-Consistent Choice Among Three Candidates" (2024), Theorem 2 (the
  profile P2). Three voters, and Ada beats both rivals head-to-head:

      Ada beats Cara 2–1 · Ada beats Ben 3–0 · Cara beats Ben 3–0

  So Ada is the Condorcet winner and every method elects her here. Combined with
  North (a dead tie in which Ada is also a co-winner), reinforcement/consistency
  demands that Ada win the merged 9-voter election too — but she doesn't. See the
  folder README.

  Companion cases: reinf_north_c3_b6_rr.yaml (a 3-way tie),
  reinf_combined_c3_b9_rr.yaml and reinf_combined_c3_b9_star.yaml (Cara wins).

paradoxes: [multiple-districts]

voting_method: RankedRobin
num_winners: 1

lot_numbers: [Ada, Ben, Cara]

ballots: |-
  2:Ada>Cara>Ben
  1:Cara>Ada>Ben

expected_winners:
  - Ada