And, for comparison, gamut compression using color calibration (+ agx):
AgX (no color calibration) vs AgX with color calibration:
If you try compressing further, the shadows become brighter than the blue-illuminated surfaces: