Thank you, we will be applying for her citizenship in September if it's 3 years and we will get the requirements sorted first - so, yes, after ceremony 100%.
She is on the EEA Family Permit with 5 years resident card - it's not permanent resident card yet.