The Verification Economy

When capable agents make production cheap, the scarce work moves upstream into specification and downstream into proof.