that is, demonstrably handling every possible combination of inputs that has any effect in a game, perhaps with a formal solver or something, touching the entire possible state space of game states, while eliminating obvious and nonproductive loops like cyclic deaths or resets, thereby also having the most optimal possible 100%, any%, etc. run as well
I think some Atari 2600 games might be good targets for this.

