Lichess.org actually does have a 5fold repetition rule that applies without players claiming it -- https://lichess.org/faq#threefold https://lichess.org/faq#thr

Lichess.org actually does have a 5fold repetition rule that applies without players claiming it -- https://lichess.org/faq#threefold https://lichess.org/faq#threefold Kind of funny that your hypothetical example was exactly reality in this case.