catopt-category-theoretic-compositional-
Problem space: distributed, offline-first optimization across heterogeneous edge devices (DERs, meters, controllers, EV chargers) in mesh networks. Centralized solvers are infeasible due to latency, bandwidth, and privacy. We need a modular, provably