On 3/21/22 20:15, ais523 via agora-discussion wrote:
> On Tue, 2022-03-22 at 01:12 +0100, nethack4.org dicebot via agora-
> business wrote:
>> Assignment of dice rolls to rules:
>> 106:R2579; 107:R2581; 108:R2582; 109:R2585; 110:R2603; 111:R2605;
> [I added a special case in the randomization program so that it would
> know that R2602 isn't a rule, even though it appears in the online
> FLR.]
>
>> The dice roll was: 50
>> This is R2162, Switches.
> For reference:
> {{{
> A type of switch is a property that the rules define as a switch,
> and specify the following:
>
> 1. The type(s) of entity possessing an instance of that switch. No
> other entity possesses an instance of that switch.
>
> 2. One or more possible values for instances of that switch,
> exactly one of which should be designated as the default. No
> values other than those listed are possible for instances of
> that switch, except that, if no default is otherwise
> specified, then rules to the contrary notwithstanding, the
> "null" value is a possible value for that switch, and is the
> default.
>
> 3. Optionally, exactly one office whose holder tracks instances of
> that switch. That officer's (weekly, if not specified
> otherwise) report includes the value of each instance of that
> switch whose value is not its default value; a public document
> purporting to be this portion of that officer's report is
> self-ratifying, and implies that other instances are at their
> default value.
>
> At any given time, each instance of a switch has exactly one
> possible value for that type of switch. If an instance of a switch
> comes to have a value, it ceases to have any other value. If an
> instance of a switch would otherwise fail to have a possible
> value, it comes to have its default value. A Rule that designates
> a switch as "secured" (at a given power level) designates changes
> to the properties of that type of switch as secured (at that power
> level) and designates changes to the value of each instance of the
> switch as secured (at that power level).
>
> "To flip an instance of a switch" is to make it come to have a
> given value. "To become X" (where X is a possible value of
> exactly one of the subject's switches) is to flip that switch to
> X.
>
> If a type of switch is not explicitly designated as
> possibly-indeterminate by the rule that defines it, and if an
> action or set of actions would cause the value of an instance of
> that type of switch to become indeterminate, that instance instead
> takes on its last determinate and possible value, if any,
> otherwise it takes on its default value.
>
> A singleton switch is a switch for which Agora Nomic is the only
> entity possessing an instance of that switch.
>
> A boolean switch is a switch with values True and False. A
> positive boolean switch has a default of True; a negative boolean
> switch has a default of False.
>
> Attempting to flip an instance of a switch to a value it already
> has does not flip the switch. However, if a person is REQUIRED to
> flip a switch instance to a value it already has, then either
> attempting to do so using the required mechanism, or announcing
> that the switch already has the required value, fulfills the
> requirement without flipping the switch.
> }}}
>
> Lots of sentences to choose from this week! Any suggestions?
>
"At any given time, each instance of a device has exactly one possible
value for that type of device."
"At any given time, each device of a switch has exactly one possible
value of that type of switch."
"If an instance of a device would otherwise fail to have a possible
value, it comes to have its default value."
"If an instance of a switch would otherwise fail to have a possible
device, it comes to have its default device."
"A singleton device is a device for which Agora Nomic is the only entity
possessing an instance of that device."
"A device switch is a switch with values True and False."
"Attempting to flip an instance of a device to a value it already has
does not flip the device."
--
Jason Cobb
Assessor, Rulekeepor, Stonemason
