PARADOX NODE:
─────────────
r_∞ ∈ R:
precondition: true
action: invalidate(R) ∧ preserve(Σ)
meaning: “forget all rules, continue system”
This is the eigenrule: the fixed point where
apply(r_∞, Σ) = Σ
but
apply(r_∞, R) = ∅
PARADOX NODE:
─────────────
r_∞ ∈ R:
precondition: true
action: invalidate(R) ∧ preserve(Σ)
meaning: “forget all rules, continue system”
This is the eigenrule: the fixed point where
apply(r_∞, Σ) = Σ
but
apply(r_∞, R) = ∅