I'm interested to know what the actual minimum values were. Presumably that information is available from radar tapes (one report I think said 800m?)
The issue is that there is some doubt whether the ADC did provide separation.
Could the aircraft have collided without deviating from their clearances? Is that how class C is supposed to work?