If she’s CSRS, you all ought to be in great shape. If she’s FERS, not so great, but should be workable.
Yes, she is CSRS. I'll have 15+ for FERS, plus SS. We've lived in the same house for nearly 20 years, so there's some decent equity built up.
She knows she's stuck with me, because half of her pension is worth much more than half of my pension...lol.