I wonder why there is so much focus on one competitor and not on the whole competition / overall rules. (I must admit to being afraid that we are being distracted and there will be a revelation that undermines our arguments and puts us even further back than we are now).
When the IBA tested in 2022 (I hope that I have remembered the date correctly), they teated 5 boxers in the female category where questions had been raised and all five of them were male.
I think we also need to retain sight of the fact that the IOC have created these rules and they believe in them. The footballers played in Spain and currently have lucrative contracts in the US. Many cycling organisations in the US and Canada do not restrict the female category to biological females and UK cycling had to come under significant pressure from a very high profile female olympian in order to rethink their eligibility criteria.
It is not an issue that comes out of the global south, the cheating east or the uneducated women oppressing elsewhere... it is right here, everywhere sport is practiced.. at the centre of all sports.
Not one single sporting organisation has come out and stated unequivocally, without caveat, that the womens' category should be, will always be and always has been, exclusively for women.