Forcing the position to loop over and over loses more and more points and eventually it should be that you’ve accumulated enough points to lose the fight in the corner and still win?
And to answer you original question about how ppl keep track of that: i think that repetition is obvious even for someone who has never seen a game of go before ^_____^
Declaring a tie seems reasonable, but I think technically these games (if not already) should also be considered annulled, since the “no result” outcome should not be treated the same as a tie (e.g., from jigo with integer komi) by the rating system.
IIRC no-results, ties and annulments are all the same for ogs scoring algorithm, it only understands wins and losses, other results have no impact on rating calculations. Please correct me if i’m wrong.
Ties are ties, the rating algorithm can deal with them. Annulled games don’t count for rating, and no-result doesn’t exist on OGS for games which ended in any way.