A Fair, Event-Based, and Digitally Regulated Electricity Market:
A First-Principles Redesign Using Automatic Market Making and Shapley-Theoretic Fairness