iia_cycle_spoiler — STAR's IIA limit under a Condorcet cycle¶

STAR's honest Independence-of-Irrelevant-Alternatives (IIA) limit, shown mechanically: when the electorate has a genuine Condorcet cycle (no candidate beats everyone), a candidate who cannot win can still change who does, because their presence changes which two candidates reach STAR's automatic runoff. No strategy required — the ballots are perfectly sincere.

Case	What it shows	Live	Source
STAR's runoff is spoiler-sensitive under a Condorcet cycle	Dropping a losing finalist (Ben) flips the STAR winner Alice → Carla with no score changed; one election also splits STAR/RCV-IRV/Ranked Robin three ways	results ↗ (BV2212, `g3f7r2`)	yaml

Related: STAR — Honest Limits · sibling no-Condorcet-winner case BV830 (a top-two tie, broken by score) · Ranked Robin vs Condorcet.