O mandado de segurança não é cabível para convalidar a compensação realizada pela empresa XY.

O mandado de segurança não é ação adequada para a declaração do direito à compensação, o que obsta a pretensão da empresa XY.

A declaração de extinção dos créditos tributários discriminados em contabilidade pretendida pela empresa XY é possível, por ser o mandado de segurança ação adequada para declaração do direito à compensação.

A pretensão da empresa XY pode ser deferida em tutela liminar, desde que esteja amparada exclusivamente em provas documentais.