Thursday, November 03, 2022

Declaration of Victory: Bucky Burgers

Passes 9-4. -Bucky

Adminned at 05 Nov 2022 00:40:52 UTC

While Rule 2.1 specifies Energy must be non-negative, it has no such provision for medals. “Numbers and Variables” means spending is a simple subtraction. I had the Ducky and there was a Grand Party on. So I could subtract 100 from my Medals under “Medal shower”, resulting in a negative Medal quantity, to achieve victory.

Comments

Bucky:

03-11-2022 00:19:33 UTC

Also, Local Objects clauses only apply to Partying Partygoers.

Snisbo: she/they

03-11-2022 02:06:02 UTC

for Gg, good scam

Darknight: he/him

03-11-2022 02:20:30 UTC

for

Habanero:

03-11-2022 02:31:35 UTC

mmmm delicious borgar for

Raven1207: he/they

03-11-2022 02:46:38 UTC

Unidle


And vote for

Trapdoorspyder: he/him

03-11-2022 03:02:19 UTC

for

Bucky:

03-11-2022 03:04:52 UTC

The preceding vote by Raven1207, who had according to the sidebar had not actually unidled himself, appears to be invalid.

Bucky:

03-11-2022 03:05:07 UTC

Explicit author for

lendunistus: he/him

03-11-2022 06:02:53 UTC

“If a set of valid values is not specified in their definition, game variables defined to hold numeric values can hold only non-negative integers. Any action that would set those values below zero is an illegal action unless explicitly otherwise stated in the Ruleset.”

against

lendunistus: he/him

03-11-2022 06:03:40 UTC

hm, medals are defined to hold an integer, not a numeric value
not sure if this applies then

Bucky:

03-11-2022 06:12:49 UTC

The set of valid values is specified - integers.

Snisbo: she/they

03-11-2022 06:30:36 UTC

Yeah, medals are allowed to be any integer value (this is specified, so we don’t use the default case), but it’s never specified that they must be non-negative.

Josh: Observer he/they

03-11-2022 07:58:28 UTC

against The other half of that sentence is imo more instructive: “Any action that would set those values below zero is an illegal action unless explicitly otherwise stated in the Ruleset.” To me that means that a role has to explicitly allow for a negative value to be held, not just implicitly through the use of “integers” rather than “non-negative integers”.

Josh: Observer he/they

03-11-2022 10:11:55 UTC

Reminder that this will need 7 FOR votes to enact.

Madrid:

03-11-2022 15:21:37 UTC

against

Bucky:

03-11-2022 15:33:26 UTC

Josh: So if there were a rule that states “The Drag Factor is a multiple of 0.1 between -1 and 0 exclusive”, you argue it would be illegal to take any action that sets it, because even though its values are specified and negative, satisfying the initial “if”, it doesn’t actually say outright that its value can be *set* to those negative values?

Josh: Observer he/they

03-11-2022 15:54:37 UTC

I don’t think I’m very interested in engaging in hypotheticals - the current situation is what it is, the ruletext is what it is, analogy doesn’t seem likely to serve to illuminate anything that isn’t already clear. In your scenario the inclusion of an explicit “-1” might change the way I interpreted the test of “explicitly otherwise stated” in the ruleset, as might the wording of the action that caused your Drag Factor to be amended, but none of that seems very relevant to Medals, which do not seem to have any explicit reference to negative numbers at all anywhere in the chain.

Bucky:

03-11-2022 16:05:41 UTC

See I had interpreted “those values” to be exactly the “only non-negative integers” assigned to numeric variables with no set of valid values.

I had thought it absurd to interpret it “those values” as referring to any numeric value regardless of whether it uses the same values that the previous sentence was talking about.

Bucky:

03-11-2022 16:06:43 UTC

The Drag Factor example was merely to highlight the absurdity by applying it to a variable where no legal value makes sense to apply it to.

Josh: Observer he/they

03-11-2022 16:39:28 UTC

The use of the word “absurd” in both of those posts has less persuasive effect than you might think!

But you do you I suppose. For the record, I think that “those values” in the second clause refers very clearly to “game variables defined to hold numeric values” in the first, using as it does the same terminology, but if you want to try to insult anyone else into changing their vote then by all means feel free to move on.

JonathanDark: he/him

03-11-2022 18:08:48 UTC

I sympathize with what Josh says about “explicit” but I think that the proximity of the game definitions makes the Medals definition explicit. The wording is:

“Each Partygoer has a set amount of Energy, which is a non-negative integer value that defaults to 10. Each Partygoer has a publicly tracked quantity of Medals, which is an integer value that defaults to 0”

Energy is said to be a “non-negative integer”, followed immediately by Medals which is said to be an “integer”, not including the words “non-negative” even though it follows right after Energy. Whether it was meant to or or not, a straight reading of this rule implies to me that the choice of leaving out “non-negative” was on purpose.

JonathanDark: he/him

03-11-2022 18:10:11 UTC

More than “on purpose”, it is explicit by its omission.

Josh: Observer he/they

03-11-2022 18:18:58 UTC

Oh I agree that it is on purpose, but ‘explicit’ by definition can’t be defined by omission - it requires a positive, declarative statement, in my opinion.

JonathanDark: he/him

03-11-2022 18:33:43 UTC

I realized that I didn’t explain myself well. When stating that Medals is an “integer”, I believe that it’s the explicit definition of the valid integer values and rules out all other integer value constraints.

As an example, if I said “the sky is blue”, would you say that since I didn’t explicitly state “and is no other colors” that you could also say the sky is red? It’s understood that classifying the sky as blue explicitly rules out all other choices.

Similarly, stating that Medals is an “integer” explicitly rules out “non-negative integers” as a constraint. It would also rule out “non-positive integers” as a constraint. It’s stating explicitly what the valid values are, which are all integers.

Snisbo: she/they

03-11-2022 18:46:02 UTC

That’s the way I see it - it was specified that negatives are allowed when the value type was (explicitly) set to “integers”, which explicitly includes negative integers as a part of that set.

Bucky:

03-11-2022 20:01:54 UTC

At some point when slots permit I’m going to propose to add a term like “standard number” to the glossary to cover stuff like this.

Benbot: he/him

04-11-2022 11:54:05 UTC

against  Because although good in concept, I don’t like burgers with cheese. (And also I don’t think it works)

Josh: Observer he/they

04-11-2022 12:21:53 UTC

Okay, so if I’m doing maths good this needs 8 FOR to enact, and the 4 AGAINST is enough to prevent that, without a vote being changed; however, it is not enough to make it Unpopular, which means that it has to time out.

Raven1207: he/they

04-11-2022 16:14:32 UTC

Now I believe I can vote for

Raven1207: he/they

04-11-2022 16:16:05 UTC

And if my vote is still null then I blame Bucky

Bucky:

04-11-2022 16:33:15 UTC

Who unidled you? I advised you under the mistaken impression that you were an admin.

snail:

04-11-2022 17:06:25 UTC

This really seem like it works, “integers” explicitly includes negative integers.  for

Raven1207: he/they

04-11-2022 17:08:53 UTC

:[ Bucky

Bucky:

04-11-2022 18:22:26 UTC

All you need to do is clearly ask to be unidled.

JonathanDark: he/him

04-11-2022 18:22:36 UTC

I realized I hadn’t voted yet so for

Raven1207: he/they

04-11-2022 19:36:02 UTC

Can you unidle me, Buck?

Raven1207: he/they

04-11-2022 19:36:22 UTC

Pretty please

Bucky:

04-11-2022 19:39:26 UTC

Done

Raven1207: he/they

04-11-2022 19:47:11 UTC

for ok

TyGuy6:

05-11-2022 00:02:54 UTC

I think I understand Josh’s objection at this point, and why my difference of philosophical (and historical, maybe) perspective motivates my difference of vote. for

I’ve unidled for the tiebreak. Quorum remains at 7. 2/3 increases to 26/3, which means 9 allows this to pass. (I think we’re there?)

Bucky:

05-11-2022 00:26:52 UTC

FOR:
TyGuy6
Raven1207
JonathanDark
Snail
Bucky
Trapdoorspyder
Habanero
Darknight
Snisbo
(9)

AGAINST:
Benbot
Madrid
Josh
Lendunistus
(4)

Threshold for passage is 9.