Index ← 3774 CFJ 3775 3775 → text
===============================  CFJ 3775  ===============================

      Ratifying the SLR also ratifies the fact that no other Rules
      (other than those in the ratified SLR) exist.

==========================================================================

Caller:                        G.

Judge:                         Trigon

==========================================================================

History:

Called by G.:                                     28 Sep 2019 16:46:47
Assigned to Trigon:                               04 Oct 2019 18:13:04
Trigon Recused:                                   20 Oct 2019 07:35:56
Assigned to Falsifian:                            20 Oct 2019 07:35:56

==========================================================================

Caller's Arguments:

By R1681, the SLR is a format of the ruleset:
>     The Short Logical Ruleset (SLR) is a format of the ruleset.

By R1051, it is also part of the Rulekeepor's Weekly Report:
>     The Rulekeepor's Weekly report includes the Short Logical Ruleset.

In the rules, "the ruleset" is not explicitly defined, but a common
definition would be "the set of all rules".

So does ratifying the SLR ratify the implication that there are no other
rules (i.e. that the ratified set is complete)?  Note that in some types
of reports we explicitly handle/cover missing values, e.g. in R2162 for
switches:
>                                                     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.

We don't have text like that for the SLR/the ruleset.

If it's useful, here's how Proposal 8175 (adopted 08-May-2019) phrased the
last SLR ratification:
> ID: 8175
> Title: SLR Ratification
> Adoption index: 3.0
> Author: Aris
> Co-authors:
>
>
> Ratify the Short Logical Ruleset published on the 24th of February, 2019,
> available here [1].
>
> [1] https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2019-February/012797.html

==========================================================================