Yes, she needs to fill out the Principal Residence Designation form. Even if she is not selling her principal residence, she is still giving up ownership of part of it. You don't have report anything on your own tax return until you sell the residence. At that time, if it's not your principal residence, you may have to pay tax on capital gains.