election_title: "Reinforcement — combined 9 voters, counted by STAR (scoring round → Ada, runoff → Cara)"

scenario_description: |-
  The same merged 9-voter electorate as reinf_combined_c3_b9_rr.yaml, on STAR
  score ballots (top = 5, middle = 3, last = 0 — the natural encoding of each
  voter's ranking). It shows exactly where STAR sits on the reinforcement
  question from Brandt, Dong & Peters (2024):

    - Scoring Round: Ada 29, Cara 27, Ben 16 — Ada leads. This is the pure
      Score/Range result, and it AGREES with Ada winning both districts:
      additive point methods satisfy reinforcement (Young 1975), so no paradox.
    - Automatic Runoff: Cara beats Ada 5–4. STAR's runoff is a pairwise step,
      and it catches Cara's head-to-head win — flipping the result to Cara.

  So STAR's scoring round is consistent, but its runoff re-imports the same
  Condorcet flip Ranked Robin shows: a Runoff Reversal, with Cara the Condorcet
  winner. The engine's divergence block also reports Choose-One = Ada and
  Approval = Ada — the additive methods that keep the reinforcement promise here.
  Full discussion: the folder README.

paradoxes: [multiple-districts]

bv_test_id: BV2254
bv_election_id: t4by6x
bv_results_url: https://bettervoting.com/t4by6x/results
# Live results: https://bettervoting.com/t4by6x/results — this election's STAR race
# (one of two on the combined 9 ballots; the sibling Ranked Robin race is
# reinf_combined_c3_b9_rr.yaml). Frozen export: reinf_combined_c3_b9_bv_export.json.

voting_method: STAR
num_winners: 1

ballots: |-
  Count:Ada,Ben,Cara
  2:5,3,0
  2:0,5,3
  3:3,0,5
  2:5,0,3

expected_winners:
  - Cara

# file: reinf_combined_c3_b9_star.yaml