Uma IA achou o bug no meu código

Conferir minha própria conta me deixava inquieto. Uma calculadora que calcula errado é pior do que não ter calculadora. Então pedi a outra IA que refizesse cada função a partir da lei, como se nunca tivesse visto meu código.

Eu tratei o teto da dedução sobre rendimentos do trabalho como um valor fixo por faixa de renda. A lei, na verdade, reduz esse teto de forma gradual: dentro de cada faixa, quanto maior a renda, menor o teto. Perto de um salário de 70,1 milhões de wones, meu número errava por 110.000 wones.

Também revi as alíquotas. Em 2026 a previdência nacional coreana subiu para 4,75% e o salário mínimo passou a 10.320 wones. Depois de corrigir, cruzei com quatro números publicados por fontes diferentes: salário mínimo mensal 2.156.880 wones, teto da contribuição de saúde 9.183.480 wones, cuidados de longa duração a 0,9448%, teto da contribuição previdenciária 626.050 wones. Os quatro bateram.

O engraçado é que a outra IA também errou. Ela deu o teto da dedução em três faixas; a lei tem quatro. Erramos em lugares diferentes — e é exatamente por isso que valeu rodar as duas passagens.