In complete information games like chess, a player can always be certain about if and when an opponent cheats only given their own observations of the past and present state of the game because the decisions all players make (where to move a piece), and the board state are always fully public.
But Magic the Gathering has a lot of hidden state/information through zones like the library and hand, and mechanics like upside-down morph cards, which are only revealed later.
Do the game rules ensure that, at the very least when the game ends, each player knows for certain that the rules have been followed correctly - that no opponent cheated?
Which I could imagine happening through them manipulating hidden information in a way that is against the game's/cards' rules. Such as retrieving a card from their library that does not match the tutor's specifications (the tutors seem to require revealing the retrieved cards however, probably for this reason), or retroactively changing a decision to their advantage when it is revealed to the other player(s) (which might be prevented by making the player provably commit to it by writing their decision down)?
Do such situations actually exist which necessitate that an independent arbiter observes/tracks the game as well, so that evidence of the cheating does not get lost, and the matter of whether or not someone has cheated is adjudicated correctly?
If so, does the arbiter have to watch the entire game from both/all sides and note down every decision, or does the game ensure that they can always correctly reconstruct decisions once a player detects an incongruity, not using past observations?