Arkady wrote:
And the thing here is that total votes DO matter. There are Tv = Vf+Va voters, so if 1 person votes against (i.e. Va = 1) the highest possible adoption index that could be reached is (T-1). Thus by setting the adoption index greater than (T-1) a proposal can only pass unanimously (even if T is unknown).
I think this whole line of discussion stems from implicitly considering different aspects of R1950: a) why it imposes limits on AIs at all (more convenient formatting of reports) b) why it imposes those particular limits (the practical difference between any disallowed value and the nearest allowed value is small enough that we don't lose much by disallowing it) Proposal: Grumpy Old Men (AI = 2, co-author = Arkady) Amend Rule 2357 (Wisdom of the Elders) by replacing "4294967296" with "8". [The current clause is ineffective due to Rule 1950.]