The IBA/IOC situation has been dealt with previously on this and other threads -
briefly, the IBA was found to be corrupt - financial dodginess, match fixing etc - by an independent review and was stripped of its credentials, or whatever the term is, by the IOC, so it is the IOC's own waffly eligibility rules - 'if it says female on your passport, you're female enough to fight females' - that governs boxing at the Paris Olympics.
The current IBA is a new reformed version, but still isn't 100% trusted, so any statements they make are open to question by supporters of Khelif and Lin.
I'm not saying that I think the current IBA is still dodgy, I'm just saying that a lot of people on SM are seizing on the IBA's past corruption to dismiss the validity tests that previously ruled Khelif and Lin out of women's boxing.
So saying 'The IBA ruled they were biological males' is easily waved away - unfortunately and unfairly, but that's how it is on SM.