It is a straightforward process. The military pension exclusion in North Carolina is not part of the Bailey Settlement but it operates the same way as Bailey; i.e. the military pension is not included as part of NC taxable income. Bailey applies to Federal pensions. but not sure creditable service in the military counts toward adding the civilian service time that would make one eligible under Bailey. What does her OPM Form 50 or retirement papers at separation state for her Service Computation Date/Entry on Duty Date. Generally, Bailey requires 5 years of vested creditable service before August 12, 1989 -- this would make virtually every CSRS retiree eligible for Bailey in NC. For FERS, it might be a bit of a challenge, but we've taken Bailey for BIL, who had AD military service from 1977-82, then Federal LEO service beginning in 1986 and retirement in 2011. But the Bailey exclusion for him does not impact him significantly because his itemized medical expenses result in zero Federal and State income tax liability, so we have that to fall back on.
I've attached a guide we use in AARP-TaxAide for Bailey. Personally, I've not had any problems with Bailey, except when I first started taking xxx,xxx distributions/conversions from TSP -- and NC asked for documentation establishing my vesting in TSP and requested I identify my SCD -- I had a official letter from TSP, included in my retirement papers, saying I was vested in TSP since 1984 (strange since TSP didn't permit contributions from CSRS folks until 1990) and OPM papers stated my SCD was March 1979.
The tax software I've used for Bailey, Taxslayer for my work as TaxAide, and FreeTaxUsa for myself and BIL, have straightforward approaches to claiming Bailey.