Another “don’t cheat” intuition is “you can’t statically know that a function call prior to the final result produces the correct answer”.

This fails that criterion, as you can just throw away all the calls except badsort 0.

My criterion isn’t well defined, because what you can statically know isn’t well defined, but I know a cheater when I see one :)