The Modular Execution Calculus: Engineering Scalable Economics through Data Availability Decoupling | Bottorring