Ementa: AÇÃO DIRETA DE INCONSTITUCIONALIDADE. DIREITO TRIBUTÁRIO. COMPENSAÇÃO. HOMOLOGAÇÃO. SANÇÕES TRIBUTÁRIAS. MULTA ISOLADA. LEI 9.430/96. LEI 12.249/2010. LEI 13.097/2015. IN RFB 1.717/2017. PROPORCIONALIDADE. DIREITO DE PETIÇÃO. 1. Perda superveniente do objeto da ação quanto ao § 15 do artigo 74 da Lei 9.430/96, alterado pela Lei 12.249/2010, tendo em vista a sua revogação pela Lei 13.137/2015. 2. Atendidos os requisitos previstos em lei, a compensação tributária se traduz em direito subjetivo do sujeito passivo, não estando subordinada à apreciação de conveniência e oportunidade da administração tributária. 3. A declaração de compensação é um pedido lato sensu, no exercício do direito subjetivo à compensação, submetido à Administração Tributária, que decide de forma definitiva sobre a matéria, homologando, de forma expressa ou tácita, a declaração. 4. É inconstitucional a aplicação de multa isolada em razão da mera não homologação de declaração de compensação, sem que esteja caracterizada a má-fé, falsidade, dolo ou fraude, por violar o direito fundamental de petição e o princípio da proporcionalidade. 5. Ação direta de inconstitucionalidade parcialmente conhecida e, nessa parte, julgada procedente para declarar a inconstitucionalidade do § 17 do art. 74 da Lei 9.430/1996 – incluído pela Lei 12.249/2010, alterado pela Lei 13.097/2015 –, bem como do inciso I do § 1º do art. 74 da Instrução Normativa RFB 1.717/2017, por arrastamento. (ADI 4905, Relator(a): GILMAR MENDES, Tribunal Pleno, julgado em 18/03/2023, PROCESSO ELETRÔNICO DJe-s/n DIVULG 17-05-2023 PUBLIC 18-05-2023)