Yeah, but this is about player death stead level completion

In the clip the level maker cleverly constructed a trap wherein the player gets stuck between two blocked doors which creates an infinite loop passing Mario back and forth

The game engine realises what is happening after the second pass and just kills Mario closing the loop

True, but that's proving that the level can be finished. Proving the level will be finished is more analogous to the halting problem.