José é servidor do estado de Pernambuco desde 1.º/3/2005. Além disso, é segurado do RGPS, como contribuinte individual, desde 9/2/1990.
Considerando-se o entendimento dos tribunais superiores, nessa situação hipotética, José