> A defining feature of blockchain computation models is that the same calculation must be run many, many times to verify it. Given that each individual one must run on the hardware that blockchain is competing with direct usage of, there's no plausible story for blockchain to close the gap.

This is not true - zero knowledge proofs allow you to verify work much more cheaply than the original computation, and they're used heavily in upcoming ethereum L2s.