Questões de Exigibilidade da Obrigação de Pagar Quantia (Direito Processual Civil)

João, empregado público do Estado Alfa, ajuizou ação em face do ente público, na qual pleiteou a implementação de gratificação de representação, que é prevista no Estatuto dos Servidores Públicos como direito de todos os servidores estatutários e celetistas do Estado Alfa.
O juízo concedeu tutela provisória de urgência, determinando ao Estado Alfa que implementasse de imediato a gratificação.
A sentença julgou procedente o pedido, condenando o Estado Alfa a implementar a gratificação no contracheque de João, confirmando a tutela de urgência concedida, bem como a pagar as verbas devidas e em atraso, respeitada a prescrição quinquenal. Não houve interposição de recurso em face da sentença.
Quatro anos após o trânsito em julgado da sentença, o Supremo Tribunal Federal, em sede de controle difuso, declarou a inconstitucionalidade do artigo do Estatuto dos Servidores Públicos que previa a gratificação de representação.
Em tal caso, é correto afirmar que:

A Empresa ABC ajuizou ação contra o Município X. O pedido foi julgado improcedente, sendo a empresa ABC condenada ao pagamento de R$ 200 mil de honorários de sucumbência. A decisão transitou em julgado. Como não houve pagamento voluntário da verba relativa aos honorários, o município iniciou o cumprimento de sentença, requerendo a intimação da Empresa ABC para o pagamento. A empresa ofereceu impugnação ao cumprimento de sentença, em que alega ter um crédito líquido, certo e exigível com o Município no valor de R$ 100 mil e que, portanto, requer a compensação das dívidas. Diante do exposto, e considerando o atual entendimento dos Tribunais Superiores sobre o tema, assinalar a alternativa CORRETA.

De acordo com o Código de Processo Civil, o cumprimento provisório da sentença que reconhece a exigibilidade de obrigação de pagar quantia certa

Uma empresa, “Construtora Alfa S.A.”, ajuíza ação de cobrança contra um município, buscando o pagamento de valores devidos por um contrato de obras públicas. Após o trâmite regular, a empresa obtém decisão judicial favorável, condenando o município a pagar R$ 10 milhões. Após o trânsito em julgado, a empresa inicia a execução da sentença, requerendo a intimação da Fazenda Pública para pagamento. Ao ser intimada, a Fazenda Pública impugna a execução argumentando que a obrigação de pagar os R$ 10 milhões é inexigível, pois se fundamenta em uma interpretação de lei que o Supremo Tribunal Federal (STF) considerou inconstitucional, em sede de controle difuso, em decisão com efeitos ex tunc, antes do trânsito em julgado da decisão que fixou a obrigação.
Com base nesta situação hipotética, é correto afirmar que:

Tendo sido intimado para pagar o débito, conforme condenação proferida em seu desfavor, o réu, tempestivamente, ofertou a sua impugnação ao cumprimento de sentença.
Para tanto, invocaram-se dois fundamentos: o excesso de execução e a novação, esta ocorrida supervenientemente à sentença que decidira a fase de conhecimento do processo.
Constatando que o réu não havia indicado, na sua petição de impugnação ao cumprimento de sentença, o valor que entendia correto, tampouco tendo anexado demonstrativo discriminado e atualizado de seu cálculo, o juiz determinou-lhe que suprisse essas omissões, o que, todavia, não foi atendido.
É correto afirmar, nesse cenário, que o juiz deverá: