I want to know one scenario
Suppose want to send the SGI from core 1 to core 0 .
Core 1 redistributor is power down and core 0 redistributor is power on. So when SGI send from core 1 to core 0, what happen, is it received or not or unpredictable?
Your assumption scenario (CPU cluster redistributor is powered down while the CPU of that cluster is still powered up) is not valid.
GIC TRM says: only all the cores managed by the GIC redistributor are powered down, that GIC redistributor can be powered down.