Mud raking here I suspect. TCAS is designed to give warnings based on RoC - it couldve been at FL200 over the top and still received a TA or maybe even an RA. Anyone who has flown using TCAS with Typhoon about will know what I mean.
Non-event
(Anyway, who flies over the top of the 313 believing the Reds would never break FL95 during practice?)