DIS: Re: [CotC] CFJ 2809 judged TRUE by Murphy

2010-07-05 Thread Ed Murphy
I wrote:

 The context of proposal awarding a win to one or more persons
 comes from Rule 2188 (Win by Proposal), where it is most naturally
 interpreted as proposal that, if it took effect, would thereby
 award a win to one or more persons.  Proposal 6745 is such a
 proposal; in particular, in the context of the text of a proposal,
 coppro wins is reasonably clear shorthand for Upon the adoption
 of this proposal, coppro is awarded a win.  No one has presented
 any specific counterarguments to any of this.

Gratuitous additional arguments:

I'm not sure how this would apply to a proposal that was adopted,
but prevented from taking effect; but I don't know of any reason
that Proposal 6745 would have been so prevented.


DIS: Re: BUS: Re: failure notice

2010-07-05 Thread comex

On Jul 5, 2010, at 10:32 PM, ais523 callforjudgem...@yahoo.co.uk wrote:

 Allegiance is a player switch, tracked by the Referee, whose values are
 none and all Teams, defaulting to none. Players whose Allegiance is
 none are said to be Independent; otherwise, players are said to be
 in the team, and a member of the team, which their Allegiance is set

miscomma.

 assigned to. (In other words, calculation of which player is going to
 which team can take positive time, but the final flipping of teams must
 be simultaneous and instant.)

This is ugly.  Why allow it to take time?

 
 If there is ever simultaneously one or more empty Teams, and two or more

are

 Whenever a non-Independent player gains an erg, that player's Allegiance
 gains a Fan. Whenever a Team owns at least 300 Fans,

This number strikes me as sufficiently large that actions to directly increase 
erg count are not worth taking: it's more who has the highest salary.

Re: DIS: Re: BUS: Re: failure notice

2010-07-05 Thread ais523
On Mon, 2010-07-05 at 23:11 +0200, comex wrote:
 On Jul 5, 2010, at 10:32 PM, ais523 callforjudgem...@yahoo.co.uk wrote:
  Allegiance is a player switch, tracked by the Referee, whose values are
  none and all Teams, defaulting to none. Players whose Allegiance is
  none are said to be Independent; otherwise, players are said to be
  in the team, and a member of the team, which their Allegiance is set
 miscomma.
No it isn't, unless you're using different grammar rules to me.

  assigned to. (In other words, calculation of which player is going to
  which team can take positive time, but the final flipping of teams must
  be simultaneous and instant.)
 This is ugly.  Why allow it to take time?
Because you can't pragmatically generate random numbers in zero time.

  
  If there is ever simultaneously one or more empty Teams, and two or more
 are
That one could go either way, I think; I won't object to you Cleaning
it.

  Whenever a non-Independent player gains an erg, that player's Allegiance
  gains a Fan. Whenever a Team owns at least 300 Fans,
 
 This number strikes me as sufficiently large that actions to directly
 increase erg count are not worth taking: it's more who has the
 highest salary.
Your reasoning is off here; a higher or lower number would not make
actions to directly increase erg count any more or less useful (unless
such actions are, say, only possible to do once ever, rather than
recurring every week), because in each case how quickly you reach the
target depends on how quickly you gain ergs.

-- 
ais523