GitHub Pages prototype

STAR Pathology Generator

Search small 3-candidate profiles for participation failures and strategic incentives under STAR voting, with selectable pairwise and score-order conditions.

STAR: score 0 to 5, then automatic runoff between the top two. Sincere ballots force top = 5, bottom = 0, middle strictly between.

Controls

Search setup

Hard constraint or filter

Pairwise majority relations

A vs B
A vs C
B vs C

Hard constraint or filter

Aggregate score order

Ready to search.

Search uses automatic progressive horizons and prioritizes fewer ballot types before fewer voters.

Results

Minimal witness