Not sure if this counts as Rivalun cosplay for tagging.

I'm wondering that myself. This is technically "Pre-Transformation Rivalun". I thought her actual name may have been briefly mentioned in the theatre of the "Christmas Date" episode.

You're right! Mirakurun calls her Raika-chan.