election_title: Resignation monotonicity — plain Approval, before the resignation
voting_method: Approval_Multi_Winner
num_winners: 5
scenario_description: |-
  Example 3.3 of Oh & Peters (arXiv:2608.06156), counted by plain multi-winner
  Approval — the ONE rule the paper proves is resignation monotone.

  Five voters, five seats, seven candidates. Two voters share Kai and split on a
  second name (Lena, Milo); the other three all approve the same slate of four
  (Nora, Omar, Pia, Quinn).

  Approval seats the four-strong slate plus Kai. Under PAV, seq-Phragmén and the
  Method of Equal Shares the answer is the SAME committee — and that is what makes
  this example sharp: the proportional rules cannot keep it together after Kai
  resigns, and Approval can. The after half is
  `resign_av_holds_after_kai_c6_b5.yaml`.
ballots: |-
  Kai,Lena,Milo,Nora,Omar,Pia,Quinn
  1,1,0,0,0,0,0     # Kai + Lena
  1,0,1,0,0,0,0     # Kai + Milo
  0,0,0,1,1,1,1     # the slate
  0,0,0,1,1,1,1     # the slate
  0,0,0,1,1,1,1     # the slate
expected_winners: [Kai, Nora, Omar, Pia, Quinn]