Bilevel Carbon-Aware Dispatch and Market Coordination in Power Networks Under Distributional Uncertainty | Synapse