61.535 Cessation of membership -- Conditions -- Forfeiture of retirement benefits.(Effective April 1, 2021)
(1) The membership of any person in the system shall cease:
(a) Upon withdrawal of his accumulated account balance at or any time after termination of employment, regardless of length of service;
(b) Upon disability retirement;
(c) Upon service retirement;
(d) Upon death;
(e) For persons hired prior to August 1, 2000, upon termination of employment with prejudice; or
(f) For persons hired on or after August 1, 2000, upon conviction of a felony relating to the person's employment as provided in subsection (3) of this section
It's going to depend on whether Stines started working for the Commonwealth before August 1, 2000