[EM] coherent, house monotonic, droop proportional

[Ross Hyman]

Dear all,
Back in June I posted a preprint on arxiv describing an STV-like
method that satisfied Droop proportionality like conventional STV,
and, unlike conventional STV, was also coherent and house monotonic.
I never submitted it to publication because my gut was telling me that
there was an error. Well, it took a while, but I found the error and I
have now revised the paper: https://arxiv.org/abs/2506.12318
Unfortunately, the new method is cumbersome, but I believe the new
procedure corresponds to the proof. I would greatly appreciate it if
anyone can look it over to see if it is correct.
Best,
Ross