Building a regulated market for AI compute with verification, price discovery, clearing, and physically settled contracts.