Bidirectional devices is 530.3.201 which was added in Amendment 3 of BS7671 18th edition.
For PV not connected to RCDs which supply multiple circuits, in BS7671 this is mainly covered under disconnection times 411.3.2.1 where if the PV inverter is connected to multiple circuits, when the RCD disconnects the inverter will continue to supply power until it detects the loss of grid connection, which for most inverters is longer than 0.4s, so none of the other circuits connected to the shared RCD will comply on disconnection time.
The other item in BS7671 is excessive leakage current from the inverter, which together with leakage from the other circuits is very likely to be over the 30% (9ma) maximum for the RCD, 531.3.2
As for it being specifically stated as not permitted, that is in the IET Code of Practice for Solar PV, as discussed here:
https://engx.theiet.org/f/wiring-and-regulations/31539/solar-pv-into-load-side-of-rcd