Por que um argumento padrão mutável é considerado um bug esperando para acontecer?

Argumentos padrão são avaliados uma vez, quando a função é definida, não a cada chamada. Uma lista ou dict padrão é, portanto, um único objeto compartilhado que persiste entre todas as chamadas, então mutações se acumulam e vazam entre chamadores. A correção é usar None como padrão e criar um container novo dentro do corpo quando o argumento for None.

Porque o objeto padrão é criado uma vez, quando o Python executa a instrução def, e depois toda chamada que omite o argumento recebe aquele mesmo objeto. Se for uma lista e a função der append nela, a terceira chamada enxerga o que a primeira e a segunda deixaram para trás. Peguei isso num helper de cache que recebia um dict vazio de opções por padrão. Num worker de vida longa o dict cresceu por dias e no fim um request herdou configurações de um tenant sem relação nenhuma, o que não é um bug divertido de explicar. A correção é sem graça: padrão None, e aí dentro do corpo você checa explicitamente por None e monta um dict novo, para que um dict vazio passado de propósito continue sendo respeitado. Padrões imutáveis como inteiros, strings ou None são tranquilos porque nada pode mutá-los. O Ruff sinaliza isso como B006 já de fábrica, então é um daqueles bugs que nunca deveriam chegar ao review num projeto com lint plugado no CI.