Play it out. Lets say City are correct and it is all null and void and needs re-writing. The new version will likely look a lot like the November version but potentially with tweaked rules on loans. What are City trying to get to on shareholder loans? Reopening historic years for Everton? Charging Everton for bigger breaches? Even if it possible for the PL (unclear under the rules), for what point? They will get full mitigation where they did something that was permitted by the rules at the time. So it all appears pointless to me on shareholder loans. Again if it simply about 24/25 (ie a season not yet assessed), again, this only affects Everton and, at a squeeze, Forest. But again they will just get mitigation in full given they couldn't possibly have known the PL rules were unlawful.
So, aside from making a point, causing trouble, what are City actually trying to get to.