A House Monotone, Coherent, and Droop Proportional Ranked Candidate Voting Method

A Ranked candidate voting method based on Phragmen's procedure is described that can be used to produce a top-down proportional candidate list. The method complies with the Droop proportionality criterion satisfied by Single Transferable Vote. It also complies with house monotonicity and coherence, which are the ranked-candidate analogs of the divisor methods properties of always avoiding the Alabama and New State paradoxes. The highest ranked candidate in the list is the Instant Runoff winner, which is in at least one Droop proportional set of N winners for all N.