Как как девочку зовут?⁠⁠

Скорее всего автора не поняли. Суть не в том, что Ефросинья - какое-то не такое имя, и им нельзя называть, потому что редкое, и лучше, что попроще. А в том, что общепринятые производные от имени Ефросинья - это Фрося, Фроша, никому в голову не придёт звать Рося/Росинка/Росиночка, это уже такие производные варианты имени, которыми наделяют именно близкие.
Я, когда читала, подумала, что в итоге окажется, что эта девочка - Россия, раз её уменьшительно зовут Рося.
Это как если бы был мальчик, и сказали бы, что его зовут Ник, и все бы подумали, что он - Николай, а он - Доминик.