Sunday, November 12, 2023

Proposal: Meditation

Reached quorum 5 votes to 1. Enacted by Kevan.

Adminned at 13 Nov 2023 17:13:29 UTC

In “Personality Traits”, change “each Personality Trait is a number” to “each Personality Trait is a non-negative number”.

Add the following spell to “Spells”:

{{Flair top|Antique box}}
=== Meditate ===

Cost: 5

Inputs: The name of a personality trait

Effect: The specified personality trait of the wizard casting the spell is reduced by 1.

{{Flair bottom}}

Comments

Zack: he/him

12-11-2023 23:28:50 UTC

ExpressionEngine seems to be making the apostrophes like that after I submit the post but we can fix it in post.

Zack: he/him

12-11-2023 23:32:50 UTC

Nevermind, I just made them proper bold.

Clucky: he/him

13-11-2023 02:56:35 UTC

for

Snisbo: she/they

13-11-2023 04:30:44 UTC

for

Bucky:

13-11-2023 05:42:58 UTC

against

Kevan: City he/him

13-11-2023 10:00:25 UTC

for

JonathanDark: he/him

13-11-2023 15:25:37 UTC

@Zack: just FYI, within the last 6 months or so, the definition of “a number” was tightened up so that the current ruleset reads:

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

So the change to explicitly say non-negative was not strictly necessary.

JonathanDark: he/him

13-11-2023 15:26:36 UTC

for

Kevan: City he/him

13-11-2023 15:45:16 UTC

[JonathanDark] Having numeric values default to being non-negative integers has been in the ruleset since at least 2005.

I don’t think we ever actually fixed the problem that if someone writes “score is an integer”, a mathematician will understand that score can be negative (since a set is defined), and a non-mathematician may not (if they think of a set specification as being something more literal, like “score may be 0, 1, 2 or 3”).

Kevan: City he/him

13-11-2023 15:55:08 UTC

(This was a failed attempt to amend it in April, where mathematicians didn’t like the idea of taking a linguistic angle and saying to assume that when someone says integer without qualification they mean non-negative. I don’t think there was a follow-up.)