I suspect she didn't actually retire at 48, but deferred it until 55. The only way to retire before 55 that I know of, was 30 and out. New hires can't retire before 67..
I don’t know the details, other than that she and spouse announced they were retiring, and they no longer work at jobs.