I know how this one goes! She’s likely vested in the state retirement. There’s also some special considerations for police. She’s probably grandfathered into the “20 years” rule where you might be able to collect early.

At any rate, it doesn’t matter. She will move to another state (Mass or Florida) and work there, getting another state (or county) retirement benefit.