comex wrote:
Within a judicial case, one or more judicial questions may
arise. Each judicial question is either inapplicable (default)
or applicable, as defined by the rules. Status is a judicial
question switch, tracked by the CotC, with values of open
(default), suspended, or judged. The possible types of
judgement for a judicial question vary according to the type of
question.
This would require the CotC's report to track all judged cases. Which
suggests the following generalization:
Proto-Proposal: Implicit Switches
(AI = 3, II = 1, please)
Amend Rule 2162 (Switches) by replacing this text:
b) One or more possible values for instances of that switch,
exactly one of which is designated as the default. No other
values are possible for instances of that switch.
c) Exactly one officer who tracks instances of that switch.
That officer's report includes the value of each instance of
that switch whose value is not Null.
with this text:
b) One or more possible values for instances of that switch,
exactly one of which is designated as the default. No other
values are possible for instances of that switch. Up to one
of these values may be designated as implicit.
c) Exactly one officer who tracks instances of that switch.
That officer's report includes the value of each instance of
that switch whose value is not implicit.
Amend Rule 2149 (Truthiness, or the Island of Knights and Knaves) by
replacing "knight (default)" with "knight (default) (implicit)".
Amend Rule 869 (How to Join and Leave Agora) by replacing "Null
(default)" with "Unregistered (default) (implicit)", and by replacing
every other instance of "Null" with "Unregistered".
Amend Rule 2130 (Activity) by replacing this text:
Activity is a player switch with values Active (default) and
Inactive, tracked by the Registrar. The Registrar's report
includes the date on which each player's activity last changed.
with this text:
Activity is a player switch with values Active (default)
(implicit) and Inactive, tracked by the Registrar. The
Registrar's report includes the date on which each non-Active
player's activity last changed.
Amend Rule 478 (Fora) by replacing "Null (default)" with "Foreign
(default) (implicit)", and by replacing "non-null" with "non-Foreign".
Amend Rule 1871 (The Standing Court) by replacing "Supine (default)"
with "Supine (default) (implicit)".
