> the determination of whether requirements were met also being automated.
That seems like the sticking point. Most likely, someone "fulfilling" the contract would try to fool the (publicly available) verification code, rather than actually providing a PostgreSQL instance. It would be hard to create a bulletproof, automated way of verifying that something is a fully functioning PostgreSQL instance with working backups. If verification code was shared across many contracts, any bug discovered in that code could allow someone to wipe out the entire market.