The below CFJ is 3896. I assign it to G..
status: https://faculty.washington.edu/kerim/nomic/cases/#3896
=============================== CFJ 3896 ===============================
If an AI 3.0 proposal with the text "Destroy Agora." were adopted,
it would be blocked from taking effect by Rule 1698, "Agora is a
Nomic".
==========================================================================
Caller: Aris
Judge: G.
==========================================================================
History:
Called by Aris: 01 Feb 2021 00:28:00
Assigned to G.: [now]
==========================================================================
Caller's Arguments:
[linked to CFJ 3897]
A proposal that would destroy Agora would be canceled by AiaN. After
all, proposals that would otherwise "cause Agora to cease to exist"
are explicitly listed among the categories of proposals that AiaN
blocks. The question, then, is whether the proposal would, but for
AiaN, successfully cause Agora to cease to exist. If causing Agora to
cease to exist would involve repealing more than one rule, the action
would fail per Rule 105, which requires that the order of rule changes
be unambiguous. If it could be done without changes to the rules, I
honestly have no clue whether another rule would block it from
happening.
CFJ 3580 is relevant, since it discusses the behavior of legal
fictions with respect to AiaN.
==========================================================================
