[anandoza]

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

Kind of funny that your hypothetical example was exactly reality in this case.