======================================================================
SOURCE FILE:     irv_district_A.yaml
TABULATED FILE:  irv_district_A_tabulated.txt
======================================================================

election_title: "Summability demo — RCV-IRV district A (B wins)"

scenario_description: |-
  District A of the RCV-IRV summability trio: C is eliminated, C's ballots
  transfer to B, B wins. Looks precinct-friendly — until you try to combine
  districts. See irv_combined.yaml: no fixed set of district-level IRV
  subtotals can be added into the combined answer, because who gets eliminated
  depends on ALL ballots at once.
voting_method: RCV_IRV
num_winners: 1
# Summability demo (IRV), district A. IRV winner: B (eliminate C, C>B>A transfers -> B 7, A 6).
ballots: |-
  6:A
  4:B
  3:C>B>A

expected_winners:
  - B

# file: irv_district_A.yaml

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

--- RCV / Instant-Runoff Voting (single winner) ---
  Summability demo — RCV-IRV district A (B wins)
 Tabulating 13 ballots (ranked ballots).

ROUND 1
Candidate      Votes  Status
-----------  -------  --------
A                  6  Hopeful
B                  4  Hopeful
C                  3  Rejected

FINAL RESULT
Candidate      Votes  Status
-----------  -------  --------
B                  7  Elected
A                  6  Rejected
C                  0  Rejected


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

--- 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): B
   Outside (2):        A, C
   One member ⇒ B is the Condorcet winner, beating every rival head-to-head.
   RCV-IRV winner B is INSIDE the Smith set. ✓
      Not guaranteed — RCV-IRV is not Smith-efficient — but it holds here.
   More: 07_Concepts/topics/smith_set.md