Artificial intelligence in tax enforcement in Brazil: revenue collection efficiency, legal certainty, and the limits of algorithmic decision-making by the federal revenue service. ESMAT Magazine, v. 18, n. 2, p. 1–23, 3 Sep.2026.