For basic primitives with known output it’s verifiable, but as long as you’re dealing with real systems with tons of inputs and side effects this no longer holds true.

> research showing with the right policy, Rest of the owl.